Conjectures de Langlands locales
En mathématiques, les conjectures de Langlands locales, énoncées par Robert Langlands en 1967 et 1970, forment une partie du programme de Langlands. Elles décrivent une correspondance entre les représentations complexes d'un groupe algébrique réductif G sur un corps local F et les représentations du groupe de Langlands de F dans le groupe dual de Langlands de G. Cette correspondance n'est pas une bijection en général. Ces conjectures constituent une vaste généralisation de la théorie des corps de classes locaux des groupes de Galois abéliens aux groupes Galois non abéliens.
Conjectures de Langlands locales pour GL1
Les conjectures de Langlands locales pour GL1(K) découlent de (et sont essentiellement équivalentes à) la théorie des corps de classes locaux. Plus précisément, l'application d'Artin fournit un isomorphisme du groupe GL1(K) = K* sur l'abélianisé du groupe de Weil. En particulier, les représentations lisses irréductibles de GL1(K) sont de dimension 1 car le groupe est abélien, elles peuvent donc être identifiées avec les morphismes du groupe de Weil vers GL1(C). C'est exactement la correspondance de Langlands souhaitée entre les morphismes du groupe de Weil vers GL1(C) et les représentations lisses irréductibles de GL1(K).
Représentations du groupe de Weil
Les représentations du groupe de Weil ne correspondent pas tout à fait aux représentations lisses irréductibles des groupes linéaires généraux. Pour obtenir une bijection, il faut modifier légèrement la notion de représentation du groupe de Weil et passer à la notion de représentation de Weil-Deligne. C'est la donnée d'une représentation du groupe de Weil sur un espace vectoriel V et d'un endomorphisme nilpotent N de V tel que wNw−1 = ||w||N, ou, de manière équivalente, une représentation du groupe Weil-Deligne. On impose de plus que la représentation du groupe de Weil ait un noyau ouvert et soit semi-simple (au sens de Frobenius).
Pour toute représentation de Weil-Deligne ρ complexe, semi-simple au sens de Frobenius et de dimension n du groupe de Weil de F, il existe une fonction L notée L(s,ρ) et un facteur ε-local ε(s,ρ,ψ) (qui dépend d'un caractère ψ de F).
Représentations de GLn(F)
Les représentations de GLn(F) apparaissant dans la correspondance de Langlands locale sont des représentations complexes irréductibles lisses :
- « lisse » signifie que le stabilisateur de tout vecteur est un sous-groupe ouvert ;
- « irréductible » signifie que la représentation est de dimension non nulle et n'a pas de sous-représentation autre que 0 et elle-même.
Les représentations complexes irréductibles lisses sont automatiquement admissibles.
La classification de Bernstein-Zelevinsky réduit la classification des représentations lisses irréductibles aux représentations cuspidales.
Pour toute représentation complexe admissible irréductible π il existe une fonction L notée L(s,π) et un ε-facteur local ε(s,π,ψ) (qui dépend d'un caractère ψ de F). Plus généralement, pour deux représentations irréductibles admissibles π et π' de groupes linéaires généraux, il existe des fonctions L de convolution de Rankin-Selberg locales L(s,π×π') et des ε-facteurs ε(s,π×π',ψ).
L'article (Bushnell et Kutzko 1993) décrit les représentations admissibles des groupes linéaires généraux sur les corps locaux.
Conjectures de Langlands locales pour GL2
La conjecture de Langlands locale pour GL2 d'un corps local dit qu'il existe une bijection (unique) π entre les représentations de Weil-Deligne semi-simples de dimension 2 du groupe de Weil et les représentations lisses irréductibles de GL2(F) qui préserve les fonctions L, les facteurs ε, et commute avec la torsion par les caractères de F*.
(Jacquet et Langlands 1970) ont vérifié les conjectures de Langlands locales pour GL2 dans le cas où le corps résiduel n'est pas de caractéristique 2. Dans ce cas les représentations du groupe de Weil sont toutes de type cyclique ou diédral. Or (Gelfand et Graev 1962) avaient classé les représentations lisses irréductibles de GL2(F) lorsque la caractéristique résiduelle de F est impaire (voir aussi (Gelfand, Graev et Pyatetskii-Shapiro 1969, chapitre 2)) ; ils avaient affirmé de façon erronée que la classification pour un corps résiduel de caractéristique paire ne différait pas de façon significative du cas qu'ils avaient traité. (Weil 1974) a signalé que quand le corps résiduel est de caractéristique 2, il apparaît des représentations de dimension 2 exceptionnelle du groupe de Weil dont l'image dans PGL2(C) est de type tétraédral ou octaédral. (Pour les conjectures de Langlands globales, les représentations de dimension 2 peuvent même être de type icosaédral mais cela ne peut pas se produire dans le cas local puisque les groupes de Galois sont résolubles.) (Tunnell 1978) a démontré les conjectures de Langlands locales pour GL2(K) sur les nombres dyadiques et les corps locaux contenant une racine cubique de l'unité. (Kutzko et 1980 1980a) a démontré les conjectures de Langlands locales pour le groupe GL2(K) sur n'importe quel corps local.
(Cartier 1980) et (Bushnell et Henniart 2006) proposent un exposé de la démonstration.
Conjectures de Langlands locales pour GLn
Les conjectures locales de Langlands pour les groupes linéaires généraux stipulent qu'il existe des bijections uniques π ↔ ρπ entre les classes d'équivalence de représentations admissibles irréductibles π de GLn(F) et les classes d'équivalence de représentations de Weil-Deligne continues complexes semi-simples au sens de Frobenius de dimension n ρπ du groupe de Weil de F, qui préservent les fonctions L et les facteurs ε des paires de représentations, et coïncident avec l'applicaiton d'Artin pour les représentations de dimension 1. Autrement dit,
- L(s,ρπ⊗ρπ') = L(s,π×π') ;
- ε(s,ρπ⊗ρπ',ψ) = ε(s,π×π',ψ).
(Laumon, Rapoport et Stuhler 1993) ont démontré les conjectures de Langlands locales pour le groupe linéaire GLn(K) sur un corps local de caractéristique finie. (Carayol 1992) présente ce travail.
(Harris et Taylor 2001) démontrent les conjectures de Langlands locales pour le groupe linéaire GLn(K) sur un corps local K de caractéristique 0. (Henniart 2000) en donne une autre preuve. (Carayol 2000) et (Wedhorn 2008) présentent ces travaux.
Conjectures de Langlands locales pour d'autres groupes
(Borel 1979) et (Vogan 1993) étudient les conjectures de Langlands pour des groupes plus généraux. Les conjectures de Langlands pour les groupes réductifs G arbitraires sont plus difficiles à énoncer que pour les groupes linéaires GL puisqu'elles font intervenir le groupe dual de Langlands et la meilleure façon de les énoncer n'est même pas claire. En gros, les représentations admissibles d'un groupe réductif sont groupées en parties finies appelées L-paquets, qui devraient correspondre à certaines classes de morphismes appelées L-paramètres du groupe de Langlands local vers le groupe dual de Langlands de G. Certaines versions antérieures utilisaient le groupe de Weil-Deligne ou le groupe de Weil à la place du groupe de Langlands local, ce qui conduisait à une forme un peu plus faible de la conjecture.
(Langlands 1989) démontre les conjectures éponyme Langlands conjectures pour les groupes sur les corps archimédiens R et C en donnant la classification de Langlands de leurs représentations admissible irréductibles (à équivalence infinitésimale près) ou, de façon équivalente, de leurs -modules irréductibles.
(Gan et Takeda 2011) ont démontré les conjectures de Langlands locales pour le groupe symplectique GSp(4) et les ont utilisées dans (Gan et Takeda 2010) pour les déduires pour le « vrai » groupe symplectique Sp(4).
Références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Local Langlands conjectures » (voir la liste des auteurs).
- Armand Borel, « Automorphic L-functions », dans Armand Borel et Bill Casselman, Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, Providence, R.I., American Mathematical Society, coll. « Proc. Sympos. Pure Math. » (no XXXIII), (ISBN 978-0-8218-1437-6, MR 546608, lire en ligne), p. 27-61
- Colin J. Bushnell et Guy Henniart, The local Langlands conjecture for GL(2), Berlin, New York, Springer-Verlag, coll. « Grundlehren der Mathematischen Wissenschaften » (no 335), (ISBN 978-3-540-31486-8, DOI 10.1007/3-540-31511-X, MR 2234120)
- Colin J. Bushnell et Philip C. Kutzko, The admissible dual of GL(N) via compact open subgroups, Princeton University Press, coll. « Annals of Mathematics Studies » (no 129), (ISBN 978-0-691-03256-6, MR 1204652, lire en ligne)
- Henri Carayol, « Variétés de Drinfeld compactes, d'après Laumon, Rapoport et Stuhler », Astérisque, Société mathématique de France, vol. 206, , p. 369-409 (ISSN 0303-1179, MR 1206074, lire en ligne)
- Henri Carayol, « Preuve de la conjecture de Langlands locale pour GLn : travaux de Harris-Taylor et Henniart : Séminaire Bourbaki, volume 1998-1999 », Astérisque, Société mathématique de France, vol. 266, , p. 191-243 (ISSN 0303-1179, MR 1772675, lire en ligne)
- Pierre Cartier, « La conjecture locale de Langlands pour GL(2) et la démonstration de Ph. Kutzko », dans Bourbaki Seminar, Vol. 1979/80, Berlin, New York, Springer-Verlag, coll. « Lecture Notes in Mathematics » (no 842), (ISBN 978-3-540-10292-2, DOI 10.1007/BFb0089931, MR 636520, lire en ligne), p. 112-138
- Wee Teck Gan et Shuichiro Takeda, « The local Langlands conjecture for Sp(4) », International Mathematics Research Notices, vol. 2010, no 15, , p. 2987-3038 (ISSN 1073-7928, DOI 10.1093/imrn/rnp203, MR 2673717, arXiv 0805.2731, S2CID 5990821)
- Wee Teck Gan et Shuichiro Takeda, « The local Langlands conjecture for GSp(4) », Annals of Mathematics, vol. 173, no 3, , p. 1841-1882 (DOI 10.4007/annals.2011.173.3.12, arXiv 0706.0952, S2CID 5990821)
- I. M. Gelfand et M. I. Graev, « Construction of irreducible representations of simple algebraic groups over a finite field », Doklady Akademii Nauk SSSR, vol. 147, , p. 529-532 (ISSN 0002-3264, MR 0148765) (traduction en anglais dans le volume 2 des œuvres complètes de Gelfand)
- I. M. Gelfand, M. I. Graev et I. I. Pyatetskii-Shapiro, Representation theory and automorphic functions, vol. 6, Philadelphia, Pa., W. B. Saunders Co., coll. « Generalized functions », (1re éd. 1966) (ISBN 978-0-12-279506-0, MR 0220673, lire en ligne)
- Michael Harris et Richard Taylor, The geometry and cohomology of some simple Shimura varieties, Princeton University Press, coll. « Annals of Mathematics Studies » (no 151), (ISBN 978-0-691-09090-0, MR 1876802, lire en ligne)
- Guy Henniart, « Une preuve simple des conjectures de Langlands pour GL(n) sur un corps p-adique », Inventiones Mathematicae, vol. 139, no 2, , p. 439-455 (ISSN 0020-9910, DOI 10.1007/s002220050012, Bibcode 2000InMat.139..439H, MR 1738446, S2CID 120799103)
- Guy Henniart, « On the local Langlands and Jacquet-Langlands correspondences », dans Marta Sanz-Solé et Javier Soria, Juan Luis Varona et Joan Verdera, International Congress of Mathematicians. Vol. II, Zurich, Société mathématique européenne, (ISBN 978-3-03719-022-7, MR 2275640, lire en ligne), p. 1171-1182
- Hervé Jacquet et Robert P. Langlands, Automorphic forms on GL(2), Berlin, New York, Springer-Verlag, coll. « Lecture Notes in Mathematics » (no 114), (ISBN 978-3-540-04903-6, DOI 10.1007/BFb0058988, MR 0401654, S2CID 122773458, lire en ligne)
- Stephen S. Kudla, « The local Langlands correspondence: the non-Archimedean case », dans Uwe Jannsen, Steven Kleiman et Jean-Pierre Serre, Motives (Seattle, WA, 1991), vol. 55, Providence, R.I., American Mathematical Society, coll. « Proc. Sympos. Pure Math. », (ISBN 978-0-8218-1637-0, MR 1265559), p. 365-391
- Philip Kutzko, « The Langlands conjecture for GL2 of a local field », Bulletin of the American Mathematical Society, new series, vol. 2, no 3, , p. 455-458 (ISSN 0002-9904, DOI 10.1090/S0273-0979-1980-14765-5
, MR 561532)
- Philip Kutzko, « The Langlands conjecture for Gl2 of a local field », Annals of Mathematics, 2e série, vol. 112, no 2, 1980b, p. 381-412 (ISSN 0003-486X, DOI 10.2307/1971151, JSTOR 1971151, MR 592296, lire en ligne)
- Robert Langlands, Letter to André Weil (lettre manuscrite), Institute for Advanced Study, (lire en ligne)
- R. P. Langlands, « Problems in the theory of automorphic forms », dans Lectures in modern analysis and applications, III, Berlin, New York, Springer-Verlag, coll. « Lecture Notes in Mathematics » (no 170), (ISBN 978-3-540-05284-5, DOI 10.1007/BFb0079065, MR 0302614, lire en ligne), p. 18-61
- Robert P. Langlands, « On the classification of irreducible representations of real algebraic groups », dans Paul J. Sally et David A. Vogan, Representation theory and harmonic analysis on semisimple Lie groups, Providence, R.I., American Mathematical Society, coll. « Mathematical Surveys Monographies » (no 31), (1re éd. 1973) (ISBN 978-0-8218-1526-7, MR 1011897, lire en ligne), p. 101-170
- Gérard Laumon, Michael Rapoport et Ulrich Stuhler, « D-elliptic sheaves and the Langlands correspondence », Inventiones Mathematicae, vol. 113, no 2, , p. 217-338 (ISSN 0020-9910, DOI 10.1007/BF01244308, Bibcode 1993InMat.113..217L, MR 1228127, S2CID 124557672)
- Jerrold B. Tunnell, « On the local Langlands conjecture for GL(2) », Inventiones Mathematicae, vol. 46, no 2, , p. 179-200 (ISSN 0020-9910, DOI 10.1007/BF01393255, Bibcode 1978InMat..46..179T, MR 0476703, S2CID 117747963)
- David A. Vogan, « The local Langlands conjecture », dans Jeffrey Adams, Rebecca Herb, Stephen Kudla, Jian-Shu Li, Ron Lipsman et Jonathan Rosenberg, Representation theory of groups and algebras, vol. 145, Providence, R.I., American Mathematical Society, coll. « Contemporary Mathematics », (ISBN 978-0-8218-5168-5, MR 1216197, lire en ligne), p. 305-379
- Torsten Wedhorn, « The local Langlands correspondence for GL(n) over p-adic fields », dans Lothar Göttsche, G. Harder et M. S. Raghunathan, School on Automorphic Forms on GL(n), Trieste, Abdus Salam Int. Cent. Theoret. Phys., coll. « ICTP Lecture Notes » (no 21), (ISBN 978-92-95003-37-8, Bibcode 2000math.....11210W, MR 2508771, arXiv math/0011210, lire en ligne), p. 237-320
- André Weil, « Exercices dyadiques », Inventiones Mathematicae, vol. 27, nos 1–2, , p. 1-22 (ISSN 0020-9910, DOI 10.1007/BF01389962, Bibcode 1974InMat..27....1W, MR 0379445, S2CID 189830448)
Liens externes
- Publications de Robert Langlands
- Automorphic Forms - The local Langlands conjecture conférence de Richard Taylor
Portail des mathématiques