mathematics

Lafforgue's theorem

Lafforgue's theorem is a mathematics topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand Lafforgue's theorem rather than just read about it. In short: 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 fun…

Key takeaways

Lafforgue's theorem belongs to mathematics; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Lafforgue's theorem to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Lafforgue's theorem from memory before moving on to harder problems.

Reference excerpt

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.

Langlands conjectures for GL1 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 GLn(F) The representations of GLn(F) appearing in the Langlands correspondence are automorphic representations.

Lafforgue's theorem for GLn(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 Deligne (1980, 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 Local Langlands conjectures

References

Borel, Armand (1979), "Automorphic L-functions", in Borel, Armand; Casselman, W. (eds.), Automorphic forms, representations and L-functions (Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore., 1977), Part 2, vol. XXXIII, Providence, R.I.: American Mathematical Society, pp. 27–61, ISBN 978-0-8218-1437-6, MR 0546608 Deligne, Pierre (1980), "La conjecture de Weil. II", Publications Mathématiques de l'IHÉS, 52 (52): 137–252, doi:10.1007/BF02684780, ISSN 1618-1913, MR 0601520, S2CID 189769469 Gelfand, I. M.; Graev, M. I.; Pyatetskii-Shapiro, I. I. (1969) [1966], Representation theory and automorphic functions, Generalized functions, vol. 6, Philadelphia, Pa.: W. B. Saunders Co., ISBN 978-0-12-279506-0, MR 0220673 Lafforgue, Laurent (1998), "Chtoucas de Drinfeld et applications" [Drinfelʹd shtukas and applications], Documenta Mathematica (in French), II: 563–570, ISSN 1431-0635, MR 1648105, archived from the original on 2018-04-27, retrieved 2011-07-03 Lafforgue, Laurent (2002), "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. Jacquet, H.; Langlands, Robert P. (1970), Automorphic Forms on GL (2), Lecture Notes in Mathematics, vol. 114, Berlin, New York: Springer-Verlag, doi:10.1007/BFb0058988, ISBN 978-3-540-04903-6, MR 0401654, S2CID 122773458 Langlands, Robert (1967), Letter to Prof. Weil Langlands, R. P. (1970), "Problems in the theory of automorphic forms", Lectures in modern analysis and applications, III, Lecture Notes in Math, vol. 170, Berlin, New York: Springer-Verlag, pp. 18–61, doi:10.1007/BFb0079065, ISBN 978-3-540-05284-5, MR 0302614 Gérard Laumon (2002), "The work of Laurent Lafforgue", Proceedings of the ICM, Beijing 2002, vol. 1, 91–97, G. Laumon (2000), "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 Lafforgue's publications The work of Robert Langlands Rapoport (2002), The work of Laurent Lafforgue (PDF), arXiv:math/0212417, Bibcode:2002math.....12417L, archived from the original (PDF) on 2016-03-03, retrieved 2011-07-03

Worked examples

Example 1 — a first encounter with Lafforgue's theorem

Start with the simplest possible case. Write down what Lafforgue's theorem claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In mathematics, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Lafforgue's theorem before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Lafforgue's theorem ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Lafforgue's theorem

In research: Lafforgue's theorem appears in mathematics research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Lafforgue's theorem in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Lafforgue's theorem is common in secondary-school and first-year university syllabi. It links to neighbouring topics Automorphic forms, Class field theory, Conjectures, so understanding it makes those chapters shorter.
In everyday life: Look for Lafforgue's theorem outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study Lafforgue's theorem in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Lafforgue's theorem means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Lafforgue's theorem out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Lafforgue's theorem in simple terms?

Why does Lafforgue's theorem matter?

Because it connects several mathematics ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Lafforgue's theorem?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Lafforgue's theorem.