summaryrefslogtreecommitdiffstats
path: root/chapitres/locaux-globaux.tex
Commit message (Collapse)AuthorAgeFilesLines
...
* [LG] erreur de signe important corrigéeFabrice (eramangarria)2012-10-261-1/+1
| | | | ⚠ vérifier que la formule fausse n'a pas été utilisée
* [LG] copier-collerFabrice (eramangarria)2012-10-261-58/+53
|
* Merge branch 'master' of git.madore.org:galoisFabrice (eramangarria)2012-10-261-20/+47
|\ | | | | | | | | Conflicts: chapitres/locaux-globaux.tex
| * [LG] style (suppression de « déjà » inutiles) + εFabrice (Darwin)2012-10-261-17/+14
| |
| * [LG] coquilleFabrice (Darwin)2012-10-261-2/+2
| |
| * [LG] 1+2+3+4+… = -1/12 ; remarque sur approche un chouïa différente.Fabrice (Darwin)2012-10-261-1/+31
| |
* | [LG] changement de variableFabrice (eramangarria)2012-10-261-3/+3
|/
* [LG] début réécriture/relecture bref ❡ (§?) sur lien corps de ↵Fabrice (eramangarria)2012-10-191-23/+32
| | | | fonctions ↔ courbes algébriques
* [LG] deux conséquences (triviales) de RRFabrice (eramangarria)2012-10-191-55/+68
|
* [LG] formule générale de Poisson-Riemann-Roch : fin de la démonstrationFabrice (eramangarria)2012-10-191-42/+49
|
* [LG] fin détails sur convergence uniforme (pour Poisson)Fabrice (eramangarria)2012-10-191-23/+23
|
* [LG] quelques \cite{} et modifications mineuresFabrice (Darwin)2012-10-191-11/+15
|
* [LG] formule de Poisson adélique : début réécriture.Fabrice (eramangarria)2012-10-121-91/+98
|
* [LG] clarification sur les signes (Poisson adélique)Fabrice (eramangarria)2012-10-121-14/+18
|
* [LG] début correction perplexité sur niveau...Fabrice (Darwin)2012-10-121-5/+3
| | | | | | | | mais la formule de Poisson semble être p = # F_p = ∑ 𝟭(𝒪_k)(λ) = ∑ p (...) avec (...) nécessairement multiple de p :( ↳ à corriger
* [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
|