summaryrefslogtreecommitdiffstats
path: root/chapitres/locaux-globaux.tex
Commit message (Expand)AuthorAgeFilesLines
...
* [LG] RR implique Dedekind et de type fini : suite et finFabrice Orgogozo2012-04-191-58/+57
* [LG] application RR, suite (pas sûr de moi)Fabrice (Darwin)2012-04-191-15/+37
* [LG] esquisse preuve (enfin correcte ?) finitude O_K(U) sur kFabrice (Darwin)2012-04-191-22/+9
* [LG] mini mise en gardeFabrice Orgogozo2012-04-121-0/+3
* [LG] début finitude sections globalesFabrice Orgogozo2012-04-051-1/+23
* [LG] résultat de séparabilitéFabrice Orgogozo2012-04-051-2/+22
* [LG] finitude sur k : plus compliqué qu'annoncé...Fabrice (Polytechnique)2012-03-231-28/+32
* [LG] re-clarificationsFabrice Orgogozo2012-03-221-21/+29
* [LG] DedekindFabrice Orgogozo2012-03-221-103/+96
* [LG] début correction DedekineriesFabrice (Darwin)2012-03-221-10/+12
* [LG] tout debut corps globaux et anneaux de Dedekind.Fabrice Orgogozo2012-03-151-22/+86
* [LG] modification ε-esque, avant de travailler sur eramangarria avec le nouv...Fabrice (Phare)2012-03-151-4/+3
* [LG] petit copié-colléFabrice (Phare)2012-03-081-12/+17
* [LG] K = Frac 𝒪_K(U)Fabrice (Phare)2012-03-081-17/+67
* [LG] les éléments d'un corps global sont entiers en presque tout point.Fabrice (Phare)2012-03-081-8/+39
* [LG] ajout observation trivialeFabrice (Polytechnique)2012-03-071-1/+4
* [LG] début version 1.0 sorites sur corps globaux + exemple fonction ζ de ...Fabrice (Darwin)2012-03-011-37/+85
* [LG] ε=𝔤Fabrice (Darwin)2012-03-011-7/+43
* [LG] \BourbakiXYFabrice (Darwin)2012-03-011-7/+7
* [LG] début calcul facteurs epsilon locauxFabrice (Darwin)2012-02-241-14/+98
* [LG] changement de signe dans niveau (cas ultramétrique)Fabrice (Darwin)2012-02-241-31/+21
* [LG] conducteur : changement de signe dans cas archimédienFabrice (Darwin)2012-02-241-3/+4
* Merge git.madore.org:galoisFabrice (Darwin)2012-02-241-27/+42
|\
| * [LG] continuité implique locale constance (vieille modification)Fabrice (Polytechnique)2012-02-241-27/+43
| * [LG] modification vide (sauf erreur)Fabrice (Polytechnique)2012-02-151-42/+27
| * [LG] suite mise au propre (suppression progressive des XXX)Fabrice Orgogozo2012-02-151-27/+42
* | [LG] sauvegarde avant fusion...Fabrice (Darwin)2012-02-241-8/+10
|/
* [LG] début réécriture en détail (après la phase « esquisse »). Clari...Fabrice (Darwin)2012-02-151-37/+59
* [LG] fin esquisse ζ(s)=ζ(1-s) [ou presque]Fabrice (Darwin)2012-02-151-33/+49
* [LG] correction de signesFabrice (Darwin)2012-02-151-17/+13
* [LG] ε sur équation fonctionnelle de ζFabrice (Darwin)2012-02-081-14/+43
* [LG] début argument zêta(corps de fonctions)=fraction rationnelleFabrice (Darwin)2012-02-011-15/+41
* [LG] modifications mineures pour clarifier dépendance en ψ, choix des mesur...Fabrice (Darwin)2012-02-011-60/+88
* [LG] équation fonctionnelle globale ; énoncé en formeFabrice (Darwin)2012-01-251-18/+44
* [LG] correction : Re(s)>0 ⤳ Re(s)>1 …Fabrice (Darwin)2012-01-251-48/+54
* [LG] relecture Iwasawa-Tate. Ajout d'étiquettes et clarificationsFabrice (Darwin)2012-01-251-54/+91
* [LG] smfart ⤳ amsartFabrice (Darwin)2012-01-251-1/+1
* [LG] Iwasawa-Tate implique équ. fonct. zêta (début esquisse)Fabrice (Darwin)2012-01-181-14/+26
* [LG] 岩沢-Tate (fin esquisse)Fabrice (Darwin)2012-01-181-68/+169
* [LG] petites permutations et clarifications (ζ/Mellin local)Fabrice (Polytechnique)2012-01-061-182/+179
* [LG] modifications triviales suite à relecture en diagonaleFabrice (Polytechnique)2012-01-051-9/+26
* [LG] esquisse méthode 岩沢-TateFabrice (Darwin)2012-01-041-1/+63
* [LG] changement de notation Mf ⤳ ζ(f,s) pour transformée de MellinFabrice (Darwin)2012-01-041-24/+35
* [LG] correction coquille : 1-s ⤳ ½-sFabrice (Darwin)2012-01-041-6/+3
* [LG] sorites sur Mellin réel et application à la fonction ζFabrice (Darwin)2012-01-041-41/+152
* [LG] ζ(2k) ∈ π^k 𝐐 par récurrence suivant Zagier et CalabiFabrice (Darwin)2012-01-041-4/+35
* [LG] références à Zagier. (À regarder.)Fabrice (Polytechnique)2012-01-031-1/+9
* [LG] référence utile sur adèles, thèse de Tate etc.Fabrice (Darwin)2011-12-291-1/+2
* [LG] suppression démonstration ad hoc pôle simple en s=1Fabrice (Darwin)2011-12-291-79/+0
* [LG] suppression démonstration ad hoc finitude PicFabrice (Darwin)2011-12-291-39/+0
generated by cgit v1.2.1 (git 2.18.0) at 2021-04-11 01:10:04 +0000