summaryrefslogtreecommitdiffstats
path: root/chapitres
Commit message (Collapse)AuthorAgeFilesLines
* [LG] Poisson-Riemann-Roch : fin du premier jetFabrice (Darwin)2011-12-141-79/+97
| | | | | | | L'essentiel y est mais il faut pas mal peaufiner... Idéalement, la théorie de l'intégration devrait disparaître : tout est discret/fini dans le cas des corps de fonctions (s'en convaincre).
* [LG] sorite sur l'intégration (mesure quotient etc.)Fabrice (Darwin)2011-12-141-0/+46
| | | | Pas clair ; à détailler, vérifier, améliorer
* Merge git.madore.org:galoisFabrice (Darwin)2011-12-091-0/+29
|\
| * [calculs] Fin de la description en degré 5.David A. Madore2011-12-091-0/+29
| | | | | | | | Sans doute faudrait-il encore ajouter quelques exemples.
* | [LG] Poisson (suite)Fabrice (Darwin)2011-12-091-39/+113
|/
* Merge git.madore.org:galoisFabrice (Darwin)2011-12-091-76/+121
|\
| * [calculs] Comment relier Q à δ.David A. Madore2011-12-091-1/+32
| |
| * [calculs] Tentative d'éclaircissements pour le degré 5 analogues au degré 4.David A. Madore2011-12-091-26/+30
| |
| * [calculs] Tentative de désembrouillage entre groupes de Galois contenus ↵David A. Madore2011-12-091-35/+46
| | | | | | | | | | | | dans D_4 exactement ou à conjugaison près. Ça reste malheureusement encore assez confus, j'en ai peur.
| * [calculs] Changement de notation pour le groupe métacyclique d'ordre 20.David A. Madore2011-12-091-18/+17
| |
* | [LG] clarification sur Pontrâgin + début Poisson dans cas des corps de ↵Fabrice (Darwin)2011-12-091-15/+95
| | | | | | | | fonctions
* | Merge git.madore.org:galoisFabrice (Darwin)2011-12-091-4/+4
|\ \ | |/
| * Un changement d'avis sur le choix de certains polynômes pour les résolvantes.David A. Madore2011-12-081-4/+4
| |
* | Merge git.madore.org:galoisFabrice (Darwin)2011-11-251-0/+12
|\ \ | |/
| * Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-11-252-97/+964
| |\
| * | [calculs] Minuscule remarque sur la résolvante relativev (D_5 dans M_20).David A. Madore2011-11-251-0/+12
| | |
* | | [AVD-D] notation à changerFabrice (Darwin)2011-11-251-0/+5
| |/ |/|
* | [LG] suite préparatifs Fourier-Poisson adéliqueFabrice (Darwin)2011-11-251-97/+161
| |
* | Merge git.madore.org:galoisFabrice (Darwin)2011-11-251-21/+27
|\ \ | |/
| * [LG] Pontrâgin adélique corrigé (?)Fabrice (iLiburu)2011-11-151-19/+26
| | | | | | | | À vérifier !
| * [LG] esquisse d'argument pour calcul K^⊥ fausseFabrice (iLiburu)2011-11-151-2/+1
| |
| * [LG] coquille tikzFabrice (iLiburu)2011-11-151-1/+1
| |
* | [AVD-D, LG] minuscules modificationsFabrice (Darwin)2011-11-252-0/+803
|/
* [locaux-globaux] esquisse de Pontrâgin adéliqueFabrice (Darwin)2011-11-151-3/+29
| | | | | Le dévissage est censé être trivial mais pas encore clair...
* [LG] caractères adéliques : fin préparatifs avant dualité de PontrâginFabrice (Darwin)2011-11-151-23/+46
|
* [calculs] Changements triviaux pour pouvoir faire la suite plus clairement.David A. Madore2011-11-151-6/+21
|
* [LG] caractères adéliques (suite)Fabrice (Darwin)2011-11-151-26/+29
| | | | À faire : définir résidu dans [AVD-D]
* Merge branch 'master' of git.madore.org:galoisFabrice (iLiburu)2011-10-272-44/+130
|\
| * [calculs, ExG] Remaniement de tout ce où je parle de bases de Gröbner.David A. Madore2011-10-272-44/+130
| | | | | | | | | | Ce n'est sans doute pas encore au point : il faudrait vraiment éclaircir ces choses.
* | [LG] caractères adéliques de 𝐅_p(t) [suite]Fabrice (iLiburu)2011-10-271-30/+86
|/
* [LG] clarifications mineures sur Fourier adéliqueFabrice (Polytechnique)2011-10-131-50/+101
|
* [LG] Fourier adélique (début)Fabrice (iLiburu)2011-10-121-46/+122
|
* [calculs] La résolvante pour le groupe M_20 ne peut être réductible qu'en ↵David A. Madore2011-10-121-2/+15
| | | | ayant une racine.
* [calculs] Reformulation stylistique du théorème principal sur les ↵David A. Madore2011-10-121-15/+17
| | | | résolvantes.
* [calculs] Relecture pour me rafraîchir la mémoire : petites corrections.David A. Madore2011-10-121-5/+6
|
* [LG] cite{Mackey}Fabrice (iLiburu)2011-06-221-1/+3
|
* [LG] mini-ajout de référencesFabrice (iLiburu)2011-06-221-5/+22
|
* Merge branch 'master' of git.madore.org:galoisDavid A. Madore2011-06-221-13/+65
|\
| * Merge branch 'master' of git.madore.org:galoisFabrice (iLiburu)2011-06-221-41/+73
| |\
| * | [LG] formule de Poisson : esquisse.Fabrice (iLiburu)2011-06-221-13/+65
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Visiblement, on n'a *pas* besoin de la théorie générale. À faire : — clarifier les notations (isomorphisme entre dual de G∕Γ ↔ Γ) ; — énoncer proprement l'orthogonalité des caractères (déjà utilisé) dans le cas compact au moins ; — dire comment étendre la seconde démonstration (corps de nombres) de 𝐐 au cas général ; — énoncer la formule ∫_G = ∫_G∕Γ (∑_Γ ) et préciser les mesures (cf. [BNT], p. 36).
* | | [calculs] Résolvante sextique d'un polynôme de degré 5 (pour tester si le ↵David A. Madore2011-06-221-0/+112
| | | | | | | | | | | | | | | | | | | | | groupe de Galois est inclus dans M_20). Bon, il va falloir arrêter le concours de gros polynômes explicites, à la fin, quand même.
* | | [calculs] Sous-groupes de 𝔖_5.David A. Madore2011-06-221-0/+36
| |/ |/|
* | [calculs] Diagramme des inclusions de sous-groupes transitifs de 𝔖_4.David A. Madore2011-06-221-0/+15
| |
* | [calculs] Utilisation des résolvantes : énoncé un chouïa plus général ↵David A. Madore2011-06-221-41/+58
|/ | | | | | + démonstration adaptée. Cf. Cohen, proposition 6.3.8 page 327.
* [calculs] mini-coquilleFabrice (iLiburu)2011-06-101-1/+1
|
* [AVD-D] petit toudou (fonctorialité ensemble des classes de valeurs absolues)Fabrice (iLiburu)2011-06-081-0/+4
|
* [LG] reprise des sorites sur corps *globaux* (toudou)Fabrice (iLiburu)2011-06-081-24/+51
|
* [LG] renewcommand div nécessaire (\!\?)Fabrice (iLiburu)2011-06-081-0/+2
|
* [LG] suppression structure EVT dimension finie sur corps localement compactsFabrice (iLiburu)2011-06-081-58/+0
| | | | | | il semblerait que le cas particulier plus facile (et a posteriori général) où le corps de base est *valué* suffise. → Pourquoi Weil s'emm****-t-il ?
* [LG] fin caractérisation corps locaux (synthèse faite)Fabrice (iLiburu)2011-06-081-92/+129
|