Langlands reciprocity

Langlands reciprocity
Name	Langlands reciprocity
Field	Number theory, Representation theory, Algebraic geometry
Introduced	1967
Key people	Robert Langlands, Andrew Wiles, Pierre Deligne, Gérard Laumon, Laurent Lafforgue, Robert Kottwitz, Richard Taylor, Michael Harris

Langlands reciprocity is a central network of conjectures and theorems proposing deep correspondences between continuous Galois group representations and automorphic representations of reductive algebraic groups, linking arithmetic of number fields to spectral theory on adèle groups. It originated in a letter by Robert Langlands and has shaped modern research in number theory, representation theory, and algebraic geometry, influencing breakthroughs such as the proof of Fermat's Last Theorem via modularity results for elliptic curves. The program organizes results across work by Pierre Deligne, Andrew Wiles, Laurent Lafforgue, Richard Taylor, Michael Harris, and others.

Overview and Statement

The reciprocity principle asserts a correspondence between n‑dimensional continuous representations of the absolute Galois group of a global number field and automorphic representations of reductive groups over the adèle ring, matching L‑functions and local factors. In the case of GL(n) the conjecture predicts a bijection between cuspidal automorphic representations of GL(n) over a global field and n‑dimensional irreducible representations of the global Weil group or absolute Galois group, compatible with local reciprocity at places of the field. The formulation employs objects such as L‑functions, Hecke operators, Satake isomorphism, Local Langlands correspondence, and notions from the theory of automorphic forms, connecting arithmetic invariants (Frobenius eigenvalues) with spectral parameters (Satake parameters).

Historical Development

The program began with Robert Langlands's 1967 letter to André Weil proposing functoriality and reciprocity between representations of Galois groups and automorphic representations. Early milestones include the proof of the Artin conjecture in special cases by Hecke and the work of Eichler and Shimura relating modular forms to elliptic curves via the Taniyama–Shimura–Weil conjecture. Pierre Deligne formulated precise links between motives and automorphic forms; Gerald Frey and Ken Ribet connected this to Fermat's Last Theorem, enabling Andrew Wiles and Richard Taylor to prove modularity results. Later, Laurent Lafforgue proved the global correspondence for GL(n) over function fields, and Michael Harris with Richard Taylor advanced the number field case for low n.

Automorphic Forms and Galois Representations

Automorphic objects arise from representations of adelic groups such as GL(n), SL(2), and classical groups; Galois objects arise from ℓ‑adic cohomology of algebraic varieties over number fields and from étale cohomology studied by Alexander Grothendieck and Jean-Pierre Serre. The dictionary matches Euler factors: the characteristic polynomial of local Frobenius element acting on ℓ‑adic cohomology corresponds to the local L‑factor of a Hecke eigenform via the Satake isomorphism and the unramified local Langlands classification by Robert Kottwitz and George Lusztig. Constructions use automorphic representation theory developed by Harish-Chandra, Iwahori–Matsumoto theory, and the trace formula of James Arthur and André Weil.

Key Conjectures and Special Cases

Principal conjectures include functoriality, the global and local Langlands correspondence, and the conjectural relation between motives and automorphic representations posited by Serre and Deligne. Special proved cases: the classical modularity theorem for elliptic curves over Q proven by Andrew Wiles and Richard Taylor (building on Ken Ribet), the local correspondence for GL(n) by Harris–Taylor and others, and the global result for function fields by Laurent Lafforgue. Other notable advances involve the proof of potential automorphy results by Taylor and collaborators and progress on endoscopic classification by James Arthur and Robert Kottwitz.

Methods and Proofs

Techniques include the trace formula of James Arthur, the Taylor–Wiles method used by Andrew Wiles and refined by Richard Taylor and Fred Diamond, congruences between modular forms studied by Serre and Jean-Pierre Serre, ℓ‑adic representation theory from Pierre Deligne and Jean-Marc Fontaine, and geometric methods such as the use of moduli stacks in the work of Vincent Lafforgue and Gerard Laumon. For function fields, methods use the geometric Langlands program developed by Alexander Beilinson, Vladimir Drinfeld, and Edward Frenkel, while local correspondence proofs invoke p‑adic Hodge theory of Jean-Marc Fontaine and developments by Mark Kisin and Laurent Berger.

Examples and Applications

Concrete instances include the modularity of elliptic curves over Q (impacting Fermat's Last Theorem), the proof of the global correspondence for GL(n) over function fields by Laurent Lafforgue with applications to Weil conjectures contexts, and reciprocity laws for Artin L‑functions in low dimensions by Hecke and Artin. Applications extend to computational aspects of L‑functions by Andrew Booker and Dorian Goldfeld, arithmetic of Shimura varieties studied by George Pappas and Michael Rapoport, and influence on the geometric Langlands program led by Edward Frenkel and Vladimir Drinfeld.

Category:Number theory