Langlands correspondence

Langlands correspondence
Name	Langlands correspondence
Caption	Robert Langlands, originator of the conjectural framework
Field	Number theory, Harmonic analysis, Representation theory
Introduced	1967
Key people	Robert Langlands, Pierre Deligne, Andrew Wiles, Gérard Laumon, Richard Taylor, Laurent Lafforgue, Ngô Bảo Châu, Edward Frenkel

Langlands correspondence is a far-reaching set of conjectures and theorems proposing deep links between arithmetic of prime number-related objects and the representation theory of reductive groups over local and global fields. It was initiated by Robert Langlands in 1967 and has shaped modern work in number theory, algebraic geometry, automorphic forms, harmonic analysis and mathematical physics. The framework unifies phenomena observed in results of Erich Hecke, Ernest Weil, Yves Meyer, Harish-Chandra, Atle Selberg and later breakthroughs such as the proof of Fermat's Last Theorem by Andrew Wiles and contributions by Richard Taylor.

Overview and Historical Background

Langlands' proposal grew from attempts to generalize the reciprocity laws exemplified by Kronecker and Artin to non-abelian settings, linking Galois groups of number fields to automorphic spectra on adelic groups. Early precursors include Hecke characters, Artin L-functions and the Taniyama–Shimura–Weil conjecture which connected elliptic curves over rational numbers to modular forms—work that involved Yutaka Taniyama, Goro Shimura and Andre Weil. Subsequent formalization by Langlands synthesized ideas from Harish-Chandra on harmonic analysis of Lie groups and from Jacquet and Langlands' own work on Eisenstein series. Landmark inputs came from Pierre Deligne's work on étale cohomology and the Grothendieck school, and later geometric reformulations influenced by Alexandre Grothendieck's vision and Edward Frenkel's exposition.

Statement and Variants of the Conjecture

The conjectural correspondence relates irreducible automorphic representations of a reductive group G over a global field F to equivalence classes of n-dimensional representations of the hypothetical Langlands group or the Weil group/Weil–Deligne group depending on context. Variants include the global correspondence for number fields and function fields, the local correspondence for completions such as p-adic number fields and real numbers, and the geometric Langlands program which reformulates the picture in terms of sheaves on moduli stacks over curves, influenced by Beilinson, Drinfeld and Laumon. There are also conjectures for classical groups, unitary groups, and Galois-cohomological refinements that incorporate epsilon factors and local constants first studied by Pierre Deligne.

Automorphic Representations and L‑functions

Automorphic representations arise in the spectral decomposition of L^2 spaces on adelic quotients such as GL(n)[/A_F] and are built from cuspidal automorphic forms, Eisenstein series, and parabolic induction pioneered by James Arthur and Ilya Piatetski-Shapiro. Associated to automorphic representations are automorphic L-functions—generalizations of the Riemann zeta function and Dirichlet L-series—constructed via local factors at places from Satake isomorphism and studied through methods of Rankin–Selberg, Godement–Jacquet and analytic continuation via trace formulas of Selberg and Arthur. These L-functions encode arithmetic information and satisfy functional equations shaped by gamma factors and root numbers analyzed by Jacquet and Langlands.

Galois Representations and Langlands Parameters

On the arithmetic side, one studies representations of absolute Galois groups of global fields into L-groups or algebraic groups such as GL(n, C), drawing on tools from étale cohomology, p-adic Hodge theory and the work of Jean-Pierre Serre on modular forms. Langlands parameters at local places are homomorphisms from local Weil or Weil–Deligne groups into L-groups, encoding inertia and Frobenius actions central to Artin reciprocity and local class field theory developed by Emil Artin and John Tate. Major inputs include Fontaine's classification of p-adic representations, the Cebotarev density theorem and compatibility results of Deligne and others linking motives, cohomology of Shimura varieties, and Galois modules.

Local and Global Correspondences

The local correspondence pairs admissible representations of reductive groups over local fields (real, complex, p-adic) with local Langlands parameters; achievements include the local Langlands correspondence for GL(n) proven by Michael Harris, Richard Taylor, and Guy Henniart in various cases and by Gérard Laumon and Laurent Lafforgue for function fields. The global correspondence predicts matching of automorphic spectra with global Galois representations and compatible L-functions; notable global results are the proof of the Taniyama–Shimura–Weil conjecture for semistable elliptic curves by Andrew Wiles and Richard Taylor, and complete reciprocity for function fields by Laurent Lafforgue.

Progress, Key Results and Techniques

Progress leverages analytic, geometric and algebraic tools: the trace formula of James Arthur and Atle Selberg; modularity lifting theorems of Wiles, Taylor–Wiles, and Diamond; deformation theory of Galois representations by Mazur; the geometric methods of Laumon, Drinfeld and Ngô Bảo Châu (the latter proving the fundamental lemma conjecture proposed by Robert Langlands and Robert Kottwitz), and p-adic methods of Kisin and Berger. Results include local Langlands for GL(n) over p-adic fields by Michael Harris and Richard Taylor, global reciprocity for function fields by Laurent Lafforgue, and applications of the trace formula to functoriality instances studied by Jacquet–Langlands correspondences.

Applications and Connections in Mathematics

Consequences span proofs of cases of reciprocity connecting elliptic curves and modular forms, progress on the Sato–Tate conjecture by Barnet-Lamb, Geraghty, Harris and Taylor, and implications for the theory of motives as envisioned by Grothendieck. The program informs geometric representation theory, ties to conformal field theory and quantum field theory in the geometric Langlands formulation championed by Edward Witten and Anton Kapustin, and impacts arithmetic geometry via the study of Shimura variety cohomology by Kottwitz and Rapoport–Zink methods. The Langlands landscape continues to drive research across Institute for Advanced Study, Institut des Hautes Études Scientifiques, and major universities and institutes worldwide.

Category:Number theory