Lafforgue's theorem
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 Langlands (1967, 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.
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.
The representations of GLn(F) appearing in the Langlands correspondence are automorphic representations.
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:
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.
...
Wikipedia