summaryrefslogtreecommitdiffstats
path: root/chapitres/locaux-globaux.tex
Commit message (Collapse)AuthorAgeFilesLines
...
* [LG] relecture caractères adéliques.Fabrice (Darwin)2012-10-121-127/+122
| | | | | ⚠ il semblerait qu'il y ait un problème dans la définition du niveau ↔ formulaire dans transformée de Fourier locale...
* [LG] deux références (à inclure dans .bib)Fabrice (Darwin)2012-09-201-1/+3
|
* [LG] clarification/réécriture dualité Pontrâgin pour les adèles ↵Fabrice (Darwin)2012-09-201-49/+73
| | | | (passage de K à L étale sur K)
* [LG] modifications mineures de relecture (mise au propre)Fabrice (Darwin)2012-09-201-76/+70
|
* [LG] th. densité forte (déjà connu) déplacé (avec remarque sur ↵Fabrice (Darwin)2012-09-201-25/+12
| | | | existence démo. adélique).
* [LG] suppression blabla sur Pic déjà réécritesFabrice (Darwin)2012-09-201-41/+12
|
* [LG] Spec(𝒪_K(U))=U : fin ; changement d'étiquettesFabrice (Darwin)2012-09-201-52/+66
|
* [LG] coquille + questions de notationFabrice (eramangarria)2012-09-131-12/+21
|
* [LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et ↵Fabrice (eramangarria)2012-09-121-9/+27
| | | | application (début)
* [LG] reminimodificationsFabrice (Darwin)2012-09-121-3/+4
|
* [LG] légère réécriture finitude Pic(O_K)Fabrice (Darwin)2012-09-121-13/+6
|
* [LG] finitude Pic(𝒪_K) par méthode élémentaireFabrice (Darwin)2012-09-121-3/+41
| | | | Cf. Ribenboim.
* [LG] groupes de Picard, finitude (méthode adélique)Fabrice (Darwin)2012-09-061-70/+150
|
* [LG] sorites vers le groupe de PicardFabrice (eramangarria)2012-08-301-53/+59
|
* [LG] fin Dirichlet abstraitFabrice (eramangarria)2012-08-301-8/+32
|
* [LG] encore un lemme sorital d'intégration/topologieFabrice (eramangarria)2012-08-301-0/+14
|
* [LG] Dirichlet abstrait ⇒ Dirichlet usuelFabrice (eramangarria)2012-08-301-44/+79
|
* [LG] fin comparaison topologies adélique et idéliqueFabrice (eramangarria)2012-08-091-20/+57
|
* [LG] début comparaison topologies adélique et idéliqueFabrice (eramangarria)2012-08-081-42/+61
|
* [LG] correction bug extrêmement bizarreFabrice (eramangarria)2012-08-081-1/+1
| | | | | | | | | | | ssi .cv.tex est absent, le é de \label{définition ...} pose problème : (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd) ! Missing \endcsname inserted. <to be read again> \begingroup l.65 \label{définition corps locaux}
* [LG] iffileexits (cf. .cv.tex et affichage date/haché)Fabrice (eramangarria)2012-08-081-2/+2
|
* [LG] caractères additifs de Q_AFabrice (eramangarria)2012-07-181-79/+130
|
* [LG] relecture §1.1—§1.3.2Fabrice (eramangarria)2012-07-181-44/+48
|
* [LG] début idèlesFabrice (eramangarria)2012-07-131-30/+97
|
* [LG] formule du produit (première démonstration) et un résultat de finitude.Fabrice (eramangarria)2012-07-131-17/+53
|
* [LG] théorème de cocompacitéFabrice (eramangarria)2012-07-131-20/+72
|
* [LG] homogénéisation des notationsFabrice (eramangarria)2012-07-121-1/+1
|
* [LG] trace et dualité (suite et fin)Fabrice (eramangarria)2012-07-121-32/+23
| | | | | Il faudrait peut-être vérifier/justifier les passages à la limite (que je crois triviaux).
* [LG] trace et dualité (en cours) [sauvegarde avant de partir…]Fabrice (eramangarria)2012-07-121-32/+80
|
* [LG] fin démonstration K_𝐀 ⊗_K L ⥲ L_𝐀Fabrice (eramangarria)2012-07-121-64/+21
| | | | | | Ça me semble plus propre que ce qu'on trouve dans les bouquins (cas étale et radiciel ensembles, modulo {fonctorialité et clôture intégrale}). À vérifier.
* [LG] clarification sur O(U) de DedekindFabrice (eramangarria)2012-07-121-12/+18
|
* [AVD-D, LG] 日本式ローマ字Fabrice (eramangarria)2012-07-121-1/+1
| | | | Le nom étant あきづき (et pas son homophone あきずき)
* [LG] référence et coquilleFabrice (eramangarria)2012-06-221-2/+4
|
* [LG] début réécriture K_A tens L = L_A via argument moins ad hocFabrice (eramangarria)2012-06-211-23/+56
|
* [LG] p-rang + sauvegarde K_A (x) L = L_A avant réécritureFabrice (eramangarria)2012-06-211-11/+48
|
* [LG] cb pour adèlesFabrice (eramangarria)2012-06-211-8/+21
|
* [LG] début cocompacitéFabrice (Darwin)2012-06-141-3/+15
|
* [LG] esquisse K_𝐀 ⊗_K L = L_𝐀 dans cas étale.Fabrice (Darwin)2012-06-141-26/+51
| | | | | | | ⚠ Il manque des références et c'est mal rédigé... Il faudra aussi traiter le cas radiciel qui devrait être plus facile en fait {s′↦ s} de cardinal 1 dans les bons cas.
* [LG] fin (?) sorites mesure produit restreint + définition adèlesFabrice (Darwin)2012-06-141-26/+48
|
* [LG] début définition mesure adélique par produit restreintFabrice (eramangarria)2012-05-311-13/+21
|
* [LG] commentaires et mise en pageFabrice (eramangarria)2012-05-311-4/+4
|
* [LG] paquet pour faire joli produit restreintFabrice (eramangarria)2012-05-311-0/+1
|
* [LG] définition produit restreintFabrice (eramangarria)2012-05-311-1/+59
|
* [LG] rapides sorites sur produits de mesuresFabrice (eramangarria)2012-05-311-1/+38
|
* [LG] ajout définition morphisme propreFabrice (eramangarria)2012-05-311-3/+14
|
* [LG] sorites sur les コンパクト群を無視すれば同型Fabrice (Darwin)2012-05-101-31/+119
|
* [LG] relecture + suite sorites sur isomorphismes modulo les compactsFabrice (Darwin)2012-05-101-10/+31
|
* [LG] début sorites sur isom. modulo compacts (énoncés)Fabrice Orgogozo2012-04-261-7/+38
|
* [LG] sorite sur les quotients de groupes topologiques (séparation, etc.)Fabrice Orgogozo2012-04-261-14/+19
|
* [LG] début sorites sur groupes topologiques (bientôt : idèles)Fabrice Orgogozo2012-04-191-5/+46
|