Lafforgue's theorem
{{short description|Completes the Langlands program for general linear groups over algebraic function fields}}
In mathematics, Lafforgue's theorem, due to Laurent Lafforgue, completes the Langlands program for general linear groups over algebraic function fields, by giving a correspondence between automorphic forms on these groups and representations of Galois groups.
The Langlands conjectures were introduced by {{harvs|txt|last=Langlands|year1=1967|year2=1970}} and describe a correspondence between representations of the Weil group of an algebraic function field and representations of algebraic groups over the function field, generalizing class field theory of function fields from abelian Galois groups to non-abelian Galois groups.
Langlands conjectures for GL<sub>1</sub>
The Langlands conjectures for GL1(K) follow from (and are essentially equivalent to) class field theory. More precisely the Artin map gives a map from the idele class group to the abelianization of the Weil group.
Automorphic representations of GL<sub>''n''</sub>(''F'')
The representations of GLn(F) appearing in the Langlands correspondence are automorphic representations.
Lafforgue's theorem for GL<sub>''n''</sub>(''F'')
Here F is a global field of some positive characteristic p, and ℓ is some prime not equal to p.
Lafforgue's theorem states that there is a bijection σ between:
- Equivalence classes of cuspidal representations π of GLn(F), and
- Equivalence classes of irreducible ℓ-adic representations σ(π) of dimension n of the absolute Galois group of F
that preserves the L-function at every place of F.
The proof of Lafforgue's theorem involves constructing a representation σ(π) of the absolute Galois group for each cuspidal representation π. The idea of doing this is to look in the ℓ-adic cohomology of the moduli stack of shtukas of rank n that have compatible level N structures for all N. The cohomology contains subquotients of the form
:π⊗σ(π)⊗σ(π)∨
which can be used to construct σ(π) from π. A major problem is that the moduli stack is not of finite type, which means that there are formidable technical difficulties in studying its cohomology.
Applications
Lafforgue's theorem implies the Ramanujan–Petersson conjecture that if an automorphic form for GLn(F) has central character of finite order, then the corresponding Hecke eigenvalues at every unramified place have absolute value 1.
Lafforgue's theorem implies the conjecture of {{harvtxt|Deligne|1980|loc=1.2.10}} that an irreducible finite-dimensional l-adic representation of the absolute Galois group with determinant character of finite order is pure of weight 0.
See also
References
{{no footnotes|date=March 2016}}
- {{Citation | last1=Borel | first1=Armand | author1-link=Armand Borel | editor1-last=Borel | editor1-first=Armand | editor1-link=Armand Borel | editor2-last=Casselman | editor2-first=W. | title=Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2 | chapter-url=https://www.ams.org/publications/online-books/pspum332-index | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-1437-6 | mr=546608 | year=1979 | volume= XXXIII | chapter=Automorphic L-functions | pages=27–61}}
- {{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=La conjecture de Weil. II | url=http://www.numdam.org/item?id=PMIHES_1980__52__137_0 | mr=601520 | year=1980 | journal=Publications Mathématiques de l'IHÉS | volume=52 | issn=1618-1913 | issue=52 | pages=137–252| doi=10.1007/BF02684780 | s2cid=189769469 | url-access=subscription }}
- {{Citation | last1=Gelfand | first1=I. M. | last2=Graev | first2=M. I. | last3=Pyatetskii-Shapiro | first3=I. I. | title=Representation theory and automorphic functions | orig-year=1966 | url=https://books.google.com/books?id=_p5qAAAAMAAJ | publisher=W. B. Saunders Co. | location=Philadelphia, Pa. | series=Generalized functions | isbn=978-0-12-279506-0 | mr=0220673 | year=1969 | volume=6}}
- {{Citation | last1=Lafforgue | first1=Laurent | title=Chtoucas de Drinfeld et applications | language=fr | trans-title=Drinfelʹd shtukas and applications | url=http://www.math.uni-bielefeld.de/documenta/xvol-icm/07/Lafforgue.MAN.html | mr=1648105 | year=1998 | journal=Documenta Mathematica | issn=1431-0635 | volume=II | pages=563–570}}
- Lafforgue, Laurent (2002), [https://arxiv.org/abs/math.NT/0212399 "Chtoucas de Drinfeld, formule des traces d'Arthur-Selberg et correspondance de Langlands."] (Drinfeld shtukas, Arthur-Selberg trace formula and Langlands correspondence) Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002), 383–400, Higher Ed. Press, Beijing, 2002.
- {{Citation | author2-link=Robert Langlands | last1=Jacquet | first1=H. | last2=Langlands | first2=Robert P. | title=Automorphic Forms on GL (2) | url=http://www.sunsite.ubc.ca/DigitalMathArchive/Langlands/JL.html#book | publisher=Springer-Verlag | location=Berlin, New York | series=Lecture Notes in Mathematics | doi=10.1007/BFb0058988 | mr=0401654 | year=1970 | volume=114| isbn=978-3-540-04903-6 | s2cid=122773458 | url-access=subscription }}
- {{citation|last=Langlands|first=Robert|title=Letter to Prof. Weil|year=1967|url=http://publications.ias.edu/rpl/section/21}}
- {{Citation | last1=Langlands | first1=R. P. | title=Lectures in modern analysis and applications, III | chapter-url=http://publications.ias.edu/rpl/section/21 | publisher=Springer-Verlag | location=Berlin, New York | series= Lecture Notes in Math | isbn=978-3-540-05284-5 | doi=10.1007/BFb0079065 | mr=0302614 | year=1970 | volume=170 | chapter=Problems in the theory of automorphic forms | pages=18–61}}
- Gérard Laumon (2002), [https://arxiv.org/abs/math.NT/0212417 "The work of Laurent Lafforgue"], Proceedings of the ICM, Beijing 2002, vol. 1, 91–97,
- G. Laumon (2000), [https://arxiv.org/abs/math.AG/0003131 "La correspondance de Langlands sur les corps de fonctions (d'après Laurent Lafforgue)"] (The Langlands correspondence over function fields (according to Laurent Lafforgue)), Séminaire Bourbaki, 52e année, 1999–2000, no. 873.
External links
- [https://www.ihes.fr/~lafforgue/publications.html Lafforgue's publications]
- [http://publications.ias.edu/rpl/ The work of Robert Langlands ]
- {{citation|last=Rapoport|title=The work of Laurent Lafforgue|date=2002 |arxiv=math/0212417 |bibcode=2002math.....12417L |url=http://www.math.uni-bonn.de/ag/alggeom/preprints/lafforgue.pdf}}
Category:Theorems in algebraic number theory