summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Collapse)AuthorAgeFilesLines
* [calculs] Réécriture de la stratégie générale d'utilisation des ↵David A. Madore2011-05-041-26/+48
| | | | résolvantes.
* [calculs] Petit remaniement de la section sur les résolvantes suite à la ↵David A. Madore2011-05-041-14/+26
| | | | capitulation précédente.
* [calculs] Je capitule sur cette question en général.David A. Madore2011-05-041-8/+14
| | | | Je rédige de façon à ne pas me mouiller.
* [LC] modifications mineuresFabrice (iLiburu)2011-04-291-17/+35
|
* [LG] fonctions ζ locales ; soritesFabrice (iLiburu)2011-04-291-38/+94
| | | | | | À faire : prolongement méro et équation fonctionnelle. [Bushnell-Henniart] ont jolie démo dans cas ultramétrique. [Tate] fait archi/ultra en même temps mais c'est un chouïa moche :(
* [calcul] En fait, l'irréductibilité ne semble pas nécessaire ici.David A. Madore2011-04-291-4/+4
|
* Merge branch 'master' of git.madore.org:galoisFabrice (iLiburu)2011-04-291-68/+105
|\
| * [calculs] Encore une condition sans intérêt.David A. Madore2011-04-291-4/+10
| | | | | | | | Je m'embourbe complètement.
| * [calculs] Réorganisation pour plus de clarté (pas de changement ↵David A. Madore2011-04-291-58/+90
| | | | | | | | mathématique).
| * [calculs] Changements triviaux.David A. Madore2011-04-291-11/+10
| |
* | [LG] précisions + calcul d'intégraleFabrice (iLiburu)2011-04-291-39/+118
|/
* [LC] structure quasi-caractèresFabrice (iLiburu)2011-04-291-40/+47
|
* Merge branch 'master' of git.madore.org:galoisFabrice (iLiburu)2011-04-295-197/+433
|\
| * [Ent] suppression fichier devenu inutileFabrice (Polytechnique)2011-04-211-41/+0
| |
| * [AVD-D] étiquette + référenceFabrice Orgogozo2011-04-201-3/+4
| |
| * [LG] début sorites sur quasi-car. mult. et transformation MellinFabrice Orgogozo2011-04-201-21/+107
| |
| * Merge branch 'master' of git.madore.org:galoisFabrice Orgogozo2011-04-201-83/+172
| |\
| | * [calculs] Clarifications et corrections sur la construction de polynômes ↵David A. Madore2011-04-201-83/+172
| | | | | | | | | | | | invariants.
| * | [LG] transformation de Fourier locale : suite et fin du théorème principalFabrice Orgogozo2011-04-201-40/+116
| |/
| * [Fin] correction coquilleFabrice Orgogozo2011-04-201-2/+2
| |
| * [LG] réécriture démonstration dualité additive localeFabrice (Sorcerer)2011-04-201-20/+45
| |
* | [LC] ajout référenceFabrice (iLiburu)2011-04-291-0/+2
|/
* [AVD-D] ajout d'une référenceFabrice (iLiburu)2011-04-091-0/+2
|
* [AVD-D] ajout étiquettes/toudouFabrice (iLiburu)2011-04-071-11/+34
|
* [LG] début écriture en détailFabrice (iLiburu)2011-04-071-159/+214
|
* [calculs] Un lemme dépendant d'un sous-lemme qui pourrait être vrai (ou pas).David A. Madore2011-04-071-1/+46
|
* [calculs] Correction d'une erreur + remarques sur cette erreur.David A. Madore2011-04-071-23/+48
| | | | Ceci étant, je ne comprends toujours pas bien ce qui se passe...
* [LG] sauvegarde avant suppression...Fabrice (iLiburu)2011-04-071-17/+72
|
* [LG] ajout de références sur RR + quelques détailsFabrice (iLiburu)2011-04-071-8/+13
|
* [LG] ajout de ce qu'il faut pour contrôle de version (cv)Fabrice (iLiburu)2011-04-071-0/+4
|
* Merge branch 'master' of git.madore.org:galoisFabrice (iLiburu)2011-03-301-2/+27
|\
| * [calculs] Une équivalence complètement débile.David A. Madore2011-03-301-2/+27
| |
* | [LG] formule Poisson ⇒ Riemann-Roch (esquisse)Fabrice (iLiburu)2011-03-301-17/+175
|/ | | | + début plan pour hypothèse de Riemann (Bombieri-Katz).
* [calculs] Démonstration complète du lemme (au moyen du sous-lemme de ↵David A. Madore2011-03-301-13/+35
| | | | transitivité des Sylow).
* [LG] suite clarification sur mesures adéliques.Fabrice (iLiburu)2011-03-251-77/+103
|
* [locaux-globaux] réécriture rappels sur mesures.Fabrice (Polytechnique)2011-03-251-115/+168
|
* [locaux-globaux] blabla sur mesures (début)Fabrice (Polytechnique)2011-03-251-0/+41
| | | | | | | En fait, peut-être que le point de vue « mesure de Radon » est plus élémentaire/adapté ici. Ce qu'on veut, c'est juste intégrer des fonctions (hyper-régulières en l'occurence).
* [locaux-globaux] petites clarificationsFabrice (Polytechnique)2011-03-251-11/+24
|
* [locaux-globaux] clarification (imparfaite) sur les mesures + copié-collé ↵Fabrice (iLiburu)2011-03-251-204/+234
| | | | + suite plan
* [locaux-globaux] suite écriture plan détailléFabrice (Polytechnique)2011-03-241-142/+310
|
* [A(V)D] mini-toudouFabrice (Polytechnique)2011-03-241-1/+5
|
* [CG] unicodification de la racine ;) [oubli]Fabrice (Polytechnique)2011-03-241-3/+3
|
* [mod p] Ajout remarque optimiste : version forte sera également démontréeFabrice (Polytechnique)2011-03-241-1/+2
|
* [ucs,KASW,Azu,Alg,versel] unicodification de la racine ;)Fabrice (Polytechnique)2011-03-244-95/+95
|
* [AVD, corps locaux/globaux] petite réorganisation + précision sur plan ↵Fabrice (Darwin)2011-03-242-253/+349
| | | | adèles/idèles et Riemann-Roch
* [AVD] énoncé équation fonctionnelle pour ζ locale.Fabrice (Darwin)2011-03-231-13/+63
|
* [AVD] dualité des corps locaux (début)Fabrice (Sorcerer)2011-03-231-0/+140
| | | | Sauvegarde avant de redémarrer sous Fedora...
* [Calculs] Une bribe de démonstration.David A. Madore2011-03-231-0/+47
|
* [Alg] Extension séparable maximale dans une extension algébrique donnée.David A. Madore2011-03-231-5/+18
|
* [calculs] Petits demaniements pour la clarté de la section sur les ↵David A. Madore2011-03-231-43/+59
| | | | résolvantes.