Fact-checked by Grok 2 weeks ago

Langlands program

The Langlands program is a grand unifying framework of conjectures in modern mathematics, proposed by Robert P. Langlands in 1967, that reveals deep interconnections between number theory, representation theory of reductive groups, automorphic forms, and algebraic geometry.^[1] At its core, it establishes expected bijections—known as Langlands correspondences—between n-dimensional Galois representations of the Galois group of a number field and irreducible automorphic representations of the general linear group GL_n over the adele ring of that field, preserving associated L-functions and epsilon factors.^[2] These conjectures generalize classical results like class field theory and aim to explain symmetries in mathematical objects ranging from elliptic curves to modular forms.^[3] Langlands formulated his ideas in a 17-page handwritten letter to André Weil in January 1967, while at Princeton University, drawing inspiration from earlier work by mathematicians such as Hermann Weyl on representation theory of Lie groups, Harish-Chandra on automorphic forms, and Weil himself on number-theoretic analogies.^[1]^[3] The program encompasses several key principles, including reciprocity, which links Galois groups (central to algebraic number theory) with automorphic forms (from harmonic analysis on adelic groups), and functoriality, a conjectural mechanism for transferring automorphic representations between different groups via their L-groups, enabling the construction of new forms and the verification of properties like the Ramanujan conjecture on Fourier coefficients.^[2]^[4] Over the decades, the Langlands program has profoundly influenced mathematics, with partial proofs establishing it as a cornerstone of contemporary research.^[3] Notable achievements include the modularity theorem for elliptic curves, proved by Andrew Wiles and others in the 1990s, which resolved Fermat's Last Theorem as a special case of the program's conjectures.^[4] More recently, Ngô Bảo Châu's 2008 proof of the fundamental lemma—a crucial tool for functoriality—earned the Fields Medal and advanced the global program.^[3] In 2024, a team of mathematicians including Sam Raskin proved the geometric Langlands conjecture.^[5] Extensions like the geometric Langlands program translate these ideas to the setting of algebraic curves and sheaves, bridging further with physics via connections to conformal field theory and quantum groups.^[6] Despite vast progress, core conjectures such as the full functoriality in the classical setting remain open, driving ongoing investigations at institutions like the Institute for Advanced Study.^[7]

Historical Context

Origins and Motivation

The Langlands program traces its origins to a seminal 1967 letter from Robert Langlands to André Weil, in which Langlands proposed a series of conjectures that sought to bridge two seemingly disparate areas of mathematics: the Galois representations arising in number theory and the automorphic forms from representation theory.^[1] This correspondence, spanning 17 handwritten pages, laid the groundwork for what would become a vast research endeavor by articulating a vision for reciprocity laws that extend beyond classical boundaries.^[1] Langlands' ideas were motivated by the desire to unify fundamental structures in arithmetic, drawing inspiration from earlier successes in the field while addressing unresolved challenges.^[8] A primary historical motivation stemmed from class field theory, particularly the Artin reciprocity law, which describes profound connections between ideals in number fields and their abelian Galois groups through explicit mappings.^[8] Langlands aimed to generalize this framework to non-abelian extensions, envisioning a non-abelian class field theory that would handle more complex Galois groups and higher-dimensional varieties.^[8] This quest addressed the limitations of abelian reciprocity, which had been well-understood since the early 20th century but failed to capture the full richness of non-commutative structures in algebraic number theory.^[8] By proposing such extensions, Langlands sought to create a more comprehensive arithmetic framework capable of incorporating broader classes of representations and functions.^[8] Central to Langlands' vision was the aspiration for a grand unified theory of number theory, one that would interconnect elliptic curves, modular forms, and zeta functions into a coherent whole, revealing hidden symmetries across these domains.^[1] This philosophical drive positioned the program as an attempt to synthesize analytic and algebraic insights, much like how earlier reciprocity laws had illuminated prime distribution and ideal factorization.^[8] An early hint of such connections appeared in the study of Ramanujan's tau function, whose coefficients in the expansion of the discriminant modular form suggested intriguing links between arithmetic invariants and analytic properties, foreshadowing the deeper correspondences Langlands would formalize.^[9] Automorphic forms emerged in this context as key objects poised to mediate these unifications, though their full role would unfold in subsequent developments.^[9]

Early Developments and Key Figures

The Langlands program originated in the late 1960s through the visionary work of Robert Langlands, who proposed a profound reciprocity between Galois representations and automorphic forms in a 1967 letter to André Weil, laying the groundwork for the program's core conjectures, including an early focus on the reciprocity conjecture.^[10] This initiative was further elaborated in Langlands' publications during 1969 and the 1970s, where he introduced the principle of functoriality, positing transfers between automorphic representations associated to different reductive groups, as detailed in his 1970 lecture notes on problems in the theory of automorphic forms. These developments built upon precursors like the Weil conjectures, proved by Pierre Deligne in 1974, which established analogies between the zeta functions of algebraic varieties over finite fields and those of number fields, providing a geometric foundation that influenced the program's number-theoretic aspects.^[11] In the 1980s, the program gained momentum with advances in endoscopic transfers, a refinement of functoriality that accounts for stable distributions in the trace formula to relate representations of inner forms of groups, as pioneered by Langlands in his work on the stable trace formula. A landmark achievement during this period was Vladimir Drinfeld's 1983 proof of the Langlands correspondence for GL(2) over function fields, demonstrating an explicit bijection between two-dimensional l-adic representations of the fundamental group of a curve and cuspidal automorphic representations, which served as a model for broader cases. Deligne contributed significantly to geometric interpretations, extending ideas from his Weil conjectures proof to the GL(1) case and perverse sheaves, bridging algebraic geometry with the program's representations. The 1990s marked further evolution through the geometric Langlands perspective, developed by Alexander Beilinson and Vladimir Drinfeld, who reformulated the correspondence in terms of categories of sheaves on moduli stacks, as outlined in their joint work establishing Hecke eigensheaves. This geometric framework, influenced by Deligne's earlier geometric tools, provided categorical equivalences that paralleled the classical program. A pivotal number-theoretic advance came with Andrew Wiles' 1995 proof of the Taniyama-Shimura conjecture for semistable elliptic curves, linking modular forms to elliptic curves over the rationals and thereby confirming a special case of Langlands reciprocity, which had profound implications for the program's modular aspects and culminated in the resolution of Fermat's Last Theorem. By the late 1980s, the "Langlands program" had solidified as a recognized field, with Edward Frenkel advancing its geometric and conformal field theory connections in subsequent works.^[6]

Fundamental Objects

Galois Representations

In the Langlands program, Galois representations form the foundational objects on the number-theoretic side, capturing the action of Galois groups arising from extensions of number fields. Specifically, an n-dimensional Galois representation over a number field F is defined as a continuous homomorphism ρ: Gal(¯F/F) → GL_n(ℂ), where ¯F denotes the algebraic closure of F and GL_n(ℂ) is the general linear group of n × n invertible complex matrices.^[12] These representations are typically finite-dimensional and semisimple, reflecting the structure of Galois extensions, and they are often studied in the context of l-adic cohomology or étale cohomology for compatibility with geometric interpretations.^[12] Key properties of Galois representations include irreducibility, which ensures that the representation cannot be decomposed into smaller invariant subspaces and is conjectured to yield entire L-functions under the Artin conjecture; the action of Frobenius elements Frob_p at unramified primes p, which encode local arithmetic data; the Artin conductor, a measure of the ramification at finite places that quantifies the "wildness" of the extension; and ramification behavior, where the representation is unramified outside a finite set of places, allowing global definitions of associated invariants.^[12]^[13] Irreducibility is particularly significant, as reducible representations can be analyzed via induction or restriction from irreducible components, facilitating connections to broader Galois theory.^[13] Illustrative examples abound. The cyclotomic character χ: Gal(¯ℚ/ℚ) → ℂ^×, defined by χ(σ)(ζ) = ζ^k for a primitive m-th root of unity ζ under σ ∈ Gal(¯ℚ/ℚ), provides the abelian case and underlies Dirichlet L-functions.^[14] Artin representations arise from finite Galois extensions K/F, where the regular representation of Gal(K/F) decomposes into irreducible components, each corresponding to characters of the group.^[13] From algebraic geometry, representations associated to motives, such as the Tate module of an elliptic curve E over F, yield 2-dimensional ρ_E: Gal(¯F/F) → GL_2(ℤ_l) via the action on l-adic cohomology, linking to potential modularity results.^[12] To each such representation ρ, one attaches the Artin L-function, defined for Re(s) > 1 by

L(s, \rho) = \prod_p \det\left(I - \rho(\mathrm{Frob}_p) p^{-s}\right)^{-1},

where the product runs over unramified primes p and local factors at ramified primes are adjusted via inertia invariants.^[13] This Euler product converges absolutely in the half-plane and is conjectured to extend meromorphically to the complex plane with a functional equation, with poles only if ρ contains the trivial representation.^[13] In the abelian case, where ρ is 1-dimensional, Galois representations play a central role in class field theory through the Artin reciprocity map, which establishes a canonical isomorphism between the idele class group of F and the abelianization of Gal(¯F/F), parametrizing all abelian extensions via ray class groups.^[14] This map, proven by Artin in the 1920s, reduces the description of maximal abelian extensions to arithmetic data and serves as the prototype for non-abelian generalizations in the Langlands framework.^[14]

Automorphic Forms and L-functions

In the Langlands program, automorphic forms are realized as cuspidal automorphic representations of the general linear group \mathrm{GL}_n(\mathbb{A}_F), where \mathbb{A}_F denotes the adele ring of the number field F. These representations are irreducible unitary representations that decompose the space L^2(\mathrm{GL}_n(F) \backslash \mathrm{GL}_n(\mathbb{A}_F)) into a direct sum of discrete and continuous spectrum components, with cuspidal ones forming the discrete part.^[15] They are characterized by their Hecke eigenvalue properties, where Hecke operators act as scalars on the representation space, encoding arithmetic data at unramified places.^[15]^[16] Key constructions in this framework include parabolic induction, which builds representations from those on Levi subgroups of parabolic subgroups, yielding induced representations that are not necessarily irreducible.^[15] Newforms are specific vectors in these spaces with normalized Hecke eigenvalues, often serving as bases for irreducible components.^[15] Eisenstein series arise from parabolic induction as meromorphic functions on the group, contributing to the continuous spectrum, while cuspidality requires vanishing constant terms along unipotent radicals, ensuring square-integrability modulo the center.^[15] Square-integrable representations, including cusp forms, have matrix coefficients in L^2, distinguishing them from the non-square-integrable induced series.^[15] Associated to an automorphic representation \pi of \mathrm{GL}_n(\mathbb{A}_F) is the standard L-function L(s, \pi), defined via the Euler product

L(s, \pi) = \prod_v L_v(s, \pi_v)

over all places v of F, where each local factor L_v(s, \pi_v) is a polynomial in q_v^{-s} determined by the local component \pi_v.^[16]^[17] This L-function encodes the arithmetic of \pi through its local behaviors at finite and infinite places.^[18] Classical examples include modular forms, which correspond to automorphic representations of \mathrm{GL}_2(\mathbb{A}_\mathbb{Q}) via their adelic lift, exhibiting holomorphic behavior on the upper half-plane.^[15] Maass forms provide non-holomorphic counterparts, also on \mathrm{GL}_2, as real-analytic cusp forms with Laplace eigenvalues.^[15] Rankin-Selberg products construct tensor L-functions L(s, \pi \times \sigma) from two representations \pi and \sigma, facilitating comparisons in the Langlands framework.^[15]^[19] The analytic properties of L(s, \pi) include holomorphy in the half-plane \mathrm{Re}(s) > 1, extendable to the entire complex plane except for possible poles, with a functional equation relating L(s, \pi) to L(1-s, \tilde{\pi}) via a root number and gamma factors.^[16]^[17] For cuspidal \pi, the L-function is entire, while non-cuspidal cases may have poles at s=1 or other points reflecting the induced structure.^[15]^[18]

Core Conjectures

Reciprocity and Local Correspondence

The reciprocity conjectures form the cornerstone of the Langlands program, establishing conjectural bijections between Galois representations and automorphic representations. These conjectures posit a deep correspondence that links number-theoretic objects, such as Galois groups arising from field extensions, with analytic objects from representation theory and harmonic analysis on reductive groups. In the local setting, the Local Langlands conjecture asserts a bijection between the n-dimensional irreducible Galois representations of the absolute Galois group \Gal(\overline{F}/F) of a local field F (such as a p-adic field or the real numbers) and the irreducible admissible representations of the general linear group \GL_n(F). This correspondence is parameterized by continuous homomorphisms, known as Langlands parameters, from the Weil group W_F of F to the Langlands dual group \widehat{\GL_n} = \GL_n(\mathbb{C}), up to conjugation. For finite-dimensional representations, the conjecture has been fully established for \GL_n over non-archimedean local fields through the work of Bernstein and Zelevinsky, who developed the theory of supercuspidal representations and their Langlands parameters. At the archimedean places, the correspondence for \GL_n(\mathbb{R}) and \GL_n(\mathbb{C}) follows from classical results on principal series representations and Harish-Chandra modules. The global reciprocity conjecture extends this local picture to number fields, proposing that for a number field K, the local correspondences at each place are compatible in a manner that produces a global automorphic representation on \GL_n(\mathbb{A}_K), the adelic points of \GL_n over the adele ring \mathbb{A}_K of K. Specifically, an n-dimensional Galois representation \rho: \Gal(\overline{K}/K) \to \GL_n(\mathbb{C}) should correspond to a cuspidal automorphic representation \pi on \GL_n(\mathbb{A}_K) whose local components \pi_v at each place v match the local Langlands parameters of the restriction \rho_v of \rho to \Gal(\overline{K}_v/K_v). This global compatibility ensures that the L-functions attached to \rho and \pi coincide, providing an analytic bridge between algebraic and automorphic worlds. The conjecture implies a multiplicity-one principle, stating that each such global Galois representation corresponds to at most one cuspidal automorphic form on \GL_n(\mathbb{A}_K), which has been verified in various cases through endoscopy and stabilization techniques. For n=1, the conjecture recovers the classical abelian reciprocity law of class field theory, where 1-dimensional Galois characters of \Gal(\overline{F}/F) biject with characters of the multiplicative group F^\times, and globally with idèle class characters on \mathbb{A}_K^\times / K^\times. In the case n=2 for \GL_2 over the rationals \mathbb{Q}, the correspondence links 2-dimensional Galois representations to modular forms, as realized by the modularity theorem, which establishes that every such representation arises from a cuspidal newform on \GL_2(\mathbb{A}_\mathbb{Q}). This specific instance underscores the conjecture's role in unifying elliptic curves, modular forms, and Galois theory. The Langlands parameter for an automorphic representation \pi is formally defined as a homomorphism \phi_\pi: W_F \to {}^L G, where {}^L G is the Langlands dual group, capturing the Frobenius-semisimple conjugacy classes that determine the representation's behavior.

Functoriality and Transfer Principles

The functoriality conjecture, a cornerstone of the Langlands program, asserts that for reductive algebraic groups G and H over a number field F, and an admissible homomorphism \rho: {}^L H \to {}^L G of their L-groups (where {}^L G = \widehat{G} \rtimes W_F denotes the Langlands dual group extended by the Weil group), every automorphic representation \pi of G(\mathbb{A}_F) transfers to an automorphic representation \pi' of H(\mathbb{A}_F).^[20] This transfer preserves the local parameters outside a finite set of places and ensures that the associated L-functions match in a precise sense: for any cuspidal automorphic representation \sigma of \mathrm{GL}_n(\mathbb{A}_F), the Rankin-Selberg product satisfies

L(s, \pi \times \sigma) = L(s, \pi' \times \sigma),

where the equality holds as meromorphic functions, with the same functional equation and possible poles.^[21] The conjecture generalizes the reciprocity conjecture by mapping between representations of different groups rather than within the same group, providing a mechanism to lift automorphic forms while maintaining analytic properties of their L-functions.^[12] A fundamental example of functoriality is base change, which lifts automorphic representations from \mathrm{[GL](/page/GL)}_n(\mathbb{Q}) to \mathrm{[GL](/page/GL)}_n(K) for a finite Galois extension K/\mathbb{Q}. Here, the L-homomorphism arises from the natural embedding of the Weil group W_K into W_\mathbb{Q}, and the transfer \pi \mapsto \pi_K preserves the L-function via L(s, \pi_K) = \prod_{\mathfrak{p}} L(s, \pi_\mathfrak{p}), where the product runs over primes of K above a prime p of \mathbb{Q}.^[22] This case has been established for n=2 using the trace formula and for solvable extensions in general degrees.^[20] Another key instance is the symmetric power lift \mathrm{Sym}^k: \mathrm{[GL](/page/GL)}_2 \to \mathrm{[GL](/page/GL)}_{k+1}, where a cuspidal representation \pi of \mathrm{[GL](/page/GL)}_2(\mathbb{A}_F) transfers to \mathrm{Sym}^k(\pi) on \mathrm{[GL](/page/GL)}_{k+1}(\mathbb{A}_F), preserving L-functions such as L(s, \mathrm{Sym}^k(\pi)) = L(s, \pi, \mathrm{Sym}^k). This has been proven for k=2 (symmetric square) using Eisenstein series and cohomology.^[23] Endoscopic transfers form a specialized class of functoriality, involving homomorphisms from L-groups of endoscopic subgroups H (smaller groups embedded in G via centralizers of semisimple elements) to {}^L G. These include stable transfers, which account for the global distribution of representations, and twisted endoscopic groups, where the twisting incorporates outer automorphisms from the Weyl group.^[24] For instance, transfers from unitary groups like U(2) to U(3) have been realized using the twisted trace formula, ensuring the lifted representation \pi' matches the endoscopic contribution in the spectral decomposition.^[21] Such transfers are essential for classifying discrete spectrum and resolving multiplicity issues in the automorphic representations of classical groups.^[25] The functoriality principle extends beyond tempered representations to include non-tempered ones via limits of discrete series, and converse theorems provide partial confirmations by constructing automorphic forms from L-functions with suitable analytic properties. The Jacquet-Langlands theorem exemplifies this for dihedral cases, transferring cuspidal representations from \mathrm{GL}_2(\mathbb{A}_F) to the multiplicative group of a quaternion algebra over F, with matching L-factors.^[26] Similarly, Shahidi's converse theorems, leveraging local intertwining operators and Eisenstein series, establish the automorphy of lifts for Rankin-Selberg products and support broader functorial transfers by verifying functional equations and holomorphy.^[27] These results underscore the conjecture's role in unifying Galois and automorphic sides of the program.^[19]

Multiplicity-One and Other Auxiliary Conjectures

The multiplicity-one conjecture in the Langlands program posits that distinct isomorphism classes of cuspidal automorphic representations on a reductive group over a number field are uniquely determined by their associated L-parameters, ensuring that no two non-isomorphic representations share the same parameter at every place.^[28] This principle, often referred to as strong multiplicity one, implies that the space of global automorphic forms decomposes into a direct sum of distinct irreducible cuspidal representations, each appearing with algebraic multiplicity one. For the general linear group GL_n, this has been established as a theorem, confirming that cuspidal automorphic representations appear with multiplicity at most one in the discrete spectrum.^[28] In broader settings, such as inner forms of GL_n, the conjecture supports the injectivity of the map from automorphic representations to their L-parameters, facilitating the classification of the cuspidal spectrum.^[29] A key auxiliary result tied to these uniqueness properties is the Ramanujan-Petersson conjecture, which provides bounds on the growth of Hecke eigenvalues associated to automorphic representations. For GL_2 over the rationals, the conjecture asserts that for a cuspidal automorphic representation π, the Hecke eigenvalues satisfy |λ_π(p)| ≤ 2 for unramified primes p, where λ_π(p) are the normalized eigenvalues.^[30] This generalizes to higher rank groups: for a cuspidal automorphic representation π of GL_n, the Satake parameters α_{π,v}(p) at an unramified finite place v corresponding to prime p satisfy |α_{π,v}(p)| ≤ p^{(n-1)/2}.^[30] In the normalized form, this bound corresponds to the representation being tempered, with Satake parameters lying on the unit circle, which ensures optimal analytic behavior for associated L-functions. These bounds underpin the Ramanujan conjecture's role in controlling the growth of coefficients, essential for the convergence and meromorphic continuation of L-functions in the program.^[31] Other auxiliary conjectures further bolster the analytic and geometric foundations of the Langlands correspondences. The Artin conjecture on the holomorphy of Artin L-functions states that for an irreducible non-trivial Galois representation φ of degree n over a number field k, the associated Artin L-function L(s, φ) extends to an entire meromorphic function on the complex plane, with a possible pole only at s=1 if φ is the trivial representation.^[32] Within the Langlands framework, this is strengthened to the automorphic Artin conjecture, predicting that L(s, φ) coincides with an automorphic L-function L(s, π) for a cuspidal representation π of GL_n(A_k), thereby linking Galois representations directly to automorphic forms.^[32] Additionally, cohomology conjectures connect these objects to motives: for instance, the Langlands program anticipates that automorphic representations arise in the cohomology of Shimura varieties or arithmetic quotients, where motives provide a universal framework linking étale cohomology realizations to the Galois side of the correspondence.^[33] These conjectures posit that the motive attached to an automorphic representation encodes its L-parameters via cohomology groups, ensuring compatibility with the global reciprocity map.^[33] Under the multiplicity-one conjecture, for a cuspidal automorphic representation π of a reductive group, the multiplicity space—such as the dimension of the π-isotypic component in the space of automorphic forms—equals one, i.e.,

\dim \Hom_G(\pi, \mathcal{A}_0(G)) = 1,

where \mathcal{A}_0(G) denotes the space of cusp forms.^[28] More precise dimension formulas arise from endoscopic classification, where Arthur's conjectures predict that the multiplicity is given by the sum over stable conjugacy classes in the endoscopic groups, yielding explicit integers that refine the global parametrization.^[34] Collectively, these auxiliary conjectures ensure the injectivity of the Langlands correspondences by guaranteeing unique parametrizations and the necessary analytic properties, such as meromorphic continuation and functional equations for L-functions, which are crucial for establishing bijections between Galois and automorphic sides.^[32]

Geometric and Categorical Perspectives

Geometric Langlands Correspondence

The geometric Langlands correspondence reformulates the classical Langlands program in an algebro-geometric setting, replacing number fields with function fields of curves over finite fields. Consider a smooth projective curve X over \mathbb{F}_q. On the "Galois" or Betti side, the relevant objects are flat connections on vector bundles over X, which encode representations of the étale fundamental group \pi_1^{\ét}(X) and thus geometrize the Galois representations central to the arithmetic Langlands program. On the automorphic side, these correspond to D-modules (or more precisely, perverse sheaves) on the moduli stack \Bun_G(X) of principal G-bundles on X, for a reductive algebraic group G over \mathbb{F}_q, capturing the geometric analogue of automorphic forms. This duality posits a precise matching between these categories, establishing a function-field version of the reciprocity conjecture.^[6] In the complex analytic context, the correspondence admits realizations via de Rham and Dolbeault cohomologies. The de Rham side features local systems, which are holomorphic vector bundles equipped with flat connections, directly analogous to the Betti-side flat connections over finite fields. The Dolbeault side, conversely, involves Higgs bundles: pairs (E, \phi) where E is a holomorphic vector bundle on X and \phi is a Higgs field (a holomorphic section of \End(E) \otimes \Omega_X^1 satisfying the Higgs stability condition \tr(\phi) = 0). The non-abelian Hodge correspondence provides a homeomorphism between the moduli spaces of stable local systems and stable Higgs bundles of fixed topological type, interrelating these perspectives and enabling analytic tools in the geometric program.^[35]^[6] The core conjecture, now established as a theorem by a monumental proof announced in May 2024 and published in full in June 2025, asserts an equivalence of derived categories:

\QCoh(\Loc_{\GL_n}(X)) \simeq \IndCoh^*(\Bun_{\GL_n}(X)),

where \Loc_{\GL_n}(X) is the moduli stack of rank-n local systems on X, \QCoh denotes the category of quasi-coherent sheaves, \Bun_{\GL_n}(X) is the moduli stack of \GL_n-bundles on X, and \IndCoh^* is the category of ^*-ind-coherent sheaves on \Bun_{\GL_n}(X). This equivalence extends the basic correspondence to a categorical level, predicting that every irreducible local system corresponds to a Hecke-eigensheaf on \Bun_{\GL_n}(X) with eigenvalues determined by the local system. The proof, spanning over 800 pages and led by Dennis Gaitsgory with collaborators including David Ben-Zvi, Lin Chen, and Vladimir Drinfeld, resolves the unramified case over the complex numbers, earning Gaitsgory the 2025 Breakthrough Prize in Mathematics.^[36]^[6]^[5]^[37]^[38] Illustrative examples clarify the structure. For G = \GL_1, the correspondence reduces to the classical abelian case: rank-1 local systems on X (characters of \pi_1(X)) pair with line bundles on the Picard variety \Pic^0(X), the Jacobian of X, via the Fourier-Mukai transform, establishing a Pontryagin duality between the category of line bundles and the étale cohomology of the curve. More generally, the Hitchin fibration provides a pivotal geometric mechanism, projecting the cotangent bundle T^* \Bun_G(X) onto the Hitchin base A = \bigoplus_{i=1}^r H^0(X, \Omega_X^{\otimes i}) (for invariants of degrees up to the dual Coxeter number), with generic fibers being compact abelian varieties that integrate the spectral data and facilitate the sheaf constructions.^[6]^[36] The program originated with Vladimir Drinfeld's 1983 proof of the correspondence for \GL_2 over function fields, establishing the bijection explicitly using l-adic representations and automorphic forms on \GL_2. In the 1990s, Alexander Beilinson and Vladimir Drinfeld refined the framework, introducing Hecke eigensheaves as twisted D-modules on \Bun_G and leveraging the quantization of the Hitchin integrable system to construct the automorphic side functorially.^[36]

Categorical Formulations and Equivalence

The categorical Langlands program elevates the geometric Langlands correspondence to the level of derived categories. The categorical geometric Langlands conjecture, proved in 2024 as part of the aforementioned monumental result, establishes a triangulated equivalence between the DG category of D-modules on the moduli stack \Bun_G of G-bundles over a curve and the DG category of quasi-coherent sheaves on the Ran space \Ran(X, G), where X is the curve. The spectral side, corresponding to Galois representations, involves quasi-coherent sheaves on the Ran space, while the automorphic side features D-modules on \Bun_G. This equivalence preserves the monoidal structure, enabling a deeper categorical understanding of the reciprocity between number-theoretic and geometric objects.^[39]^[5] Key developments in the spectral aspect were advanced by Dennis Gaitsgory and Jacob Lurie, who constructed the relevant categories and outlined the equivalence for \GL(2), later generalized in their collaborative work on the unramified case. Their approach leverages higher categorical techniques to define the spectral side rigorously, with the full conjecture now verified through factorization algebras and chiral algebras on the Ran space. Complementarily, Anton Kapustin and Edward Witten provided a physics-inspired perspective via S-duality in twisted N=4 super Yang-Mills theory compactified on a Riemann surface, interpreting the categorical equivalence as a manifestation of electric-magnetic duality between boundary conditions (branes) in the gauge theory. This duality maps the Higgs branch (automorphic side) to the Coulomb branch (spectral side), offering a non-perturbative framework for the categorical Langlands duality.^[40]^[41]^[42] A central feature of the categorical formulation is the existence of a fiber functor that bridges the two sides while preserving tensor structures. Specifically, the conjecture includes a fiber functor \omega: \operatorname{Rep}(\mathrm{Gal}(\overline{K}/K)) \to D\text{-}\mathrm{mod}(Bun_G) that is tensor-preserving, allowing reconstruction of the Galois group from the automorphic category via Tannakian duality. This functor encodes the Hecke action and ensures compatibility with the monoidal structures on both categories.^[43] To circumvent reliance on explicit Galois groups, the program employs a non-abelianization via the étale fundamental group of the base scheme, reformulating representations of \mathrm{Gal}(\overline{K}/K) in terms of étale local systems on the curve, whose non-abelian nature captures the full duality without abelian approximations. This shift aligns the categorical framework with non-abelian Hodge theory, where flat connections correspond to Higgs bundles, facilitating the equivalence.^[44] Applications of these categorical formulations extend to quantum field theory, where the S-duality realization provides tools for studying non-perturbative effects in gauge theories, and to mirror symmetry, linking the Langlands duality to homological mirror symmetry between Fukaya and derived categories of coherent sheaves on mirror Calabi-Yau varieties. In particular, the categorical equivalence mirrors the A-model/B-model duality, with Langlands dual groups playing roles analogous to mirror pairs in string theory compactifications. The 2024 proof has profound implications, opening new avenues in algebraic geometry and representation theory while strengthening ties to physics.^[42]^[45]^[5]

Progress and Open Problems

Achievements in Local and Global Settings

The local Langlands correspondence has been fully established for the general linear group \mathrm{GL}_n over all non-archimedean local fields. For p-adic fields, Harris and Taylor proved the existence of the correspondence using geometric methods involving Shimura varieties, constructing Galois representations attached to cuspidal automorphic representations.^[46] Henniart completed the proof by establishing the full bijection between irreducible smooth representations of \mathrm{GL}_n(F) and n-dimensional Frobenius-semisimple Weil-Deligne representations, including the explicit matching of L-parameters and epsilon factors. In the tame ramification case over local fields of positive characteristic, Lafforgue constructed the correspondence using excursion algebras and compatibility with parabolic induction. In the global setting, significant achievements include the modularity theorem, which establishes the Langlands correspondence for \mathrm{GL}_2 over \mathbb{Q}. Initially proved by Wiles for semistable elliptic curves using Galois deformations and the Euler system of Heegner points, it was extended to all elliptic curves over \mathbb{Q} by Breuil, Conrad, Diamond, and Taylor through refinements of the Taylor-Wiles method and ordinary deformation theory. For unitary groups, Arthur and Clozel established base change lifting from unitary groups over a CM extension to \mathrm{GL}_n over the base field, using the trace formula and stable distribution theory to transfer automorphic representations. Key specific proofs demonstrate local-global compatibility for \mathrm{GL}_n. Taylor proved that the local Langlands parameters from the global Galois representations coincide with those from the local components of the automorphic representation, up to semisimplification, using base change and Hecke eigenvalue comparisons.^[47] For unitary groups, base change results allow lifting cuspidal automorphic representations while preserving Langlands parameters, enabling the transfer of functorial properties across fields.^[48] The explicit local Langlands map for non-archimedean local fields F associates to each irreducible smooth representation \pi of \mathrm{GL}_n(F) a Frobenius-semisimple n-dimensional Weil-Deligne representation \phi(\pi) of the Langlands dual group {}^L \mathrm{GL}_n = \mathrm{GL}_n(\mathbb{C}) \rtimes W_F, where W_F is the Weil group of F, satisfying compatibility with parabolic induction and L-functions.^[49] Partial results include Arthur's endoscopic classification of automorphic representations for classical groups, which parametrizes discrete spectrum representations via global Arthur parameters, incorporating endoscopic transfers and the fundamental lemma as a key tool in the trace formula computations.^[50]

Recent Advances and Unresolved Challenges

The proof of the fundamental lemma by Ngô in 2008 has continued to underpin significant progress in endoscopic aspects of the Langlands program, particularly in stabilizing trace formulas and advancing relative Langlands correspondences since 2020.^[51] This foundational result has enabled computations of orbital integrals and transfers in higher-rank groups, facilitating partial resolutions in functoriality for specific endoscopic settings. For instance, recent work on relative endoscopy by Ben-Zvi, Sakellaridis, and Venkatesh has leveraged these tools to establish categorical connections between automorphic periods and L-functions, bridging local and global phenomena.^[52] A landmark development occurred in 2024 with the proof of the categorical geometric Langlands conjecture, announced in a series of five papers by Gaitsgory, Ben-Zvi, and collaborators. This establishes an equivalence between the category of automorphic D-modules on the moduli stack of G-bundles over a curve and the category of Hecke eigensheaves on the moduli stack of local systems, in characteristic zero and for general reductive groups. The proof proceeds via microlocal sheaf theory and factorization algebras, confirming long-standing predictions and providing a framework for de Rham, Betti, and tempered variants of the correspondence. This achievement was recognized by the 2025 Breakthrough Prize in Mathematics awarded to Dennis Gaitsgory. For GL_2 specifically, this builds on earlier outlines but extends to full categorical equivalence, with implications for higher-rank cases.^[53] Complementing this, machine learning techniques have been applied to compute properties of L-functions since 2024, notably in predicting vanishing orders of rational L-functions through data-driven models trained on spectral data. Edgar Costa and others have demonstrated how neural networks can approximate central values and orders of zeros, accelerating verifications in the Langlands program where classical methods are computationally intensive.^[54] In 2025, partial results on global functoriality were obtained for Spin groups using triality automorphisms of type D_4, proving lifts of cuspidal automorphic representations from smaller groups to Spin(8) via explicit transfers of L-functions. This advances endoscopic functoriality but remains limited to specific cases. Despite these advances, global functoriality remains unresolved for general reductive groups over number fields, with no complete transfer principle established beyond unitary and classical groups. The Langlands correspondence for function fields in positive characteristic is also incomplete, though partial geometric versions have been proven for tamely ramified cases and via lifts from characteristic zero; full equivalences, including wild ramification, persist as open problems. The p-adic Langlands program, building on Scholze's local correspondences for GL_n, continues to evolve in its categorical formulation, with ongoing work on Banach and analytic representations but no global reciprocity yet.^[55] Key challenges include the monodromy conjecture, which posits compatibility between weight filtrations on cohomology and monodromy actions in étale sheaves, remaining unproven in higher dimensions and linking to potential automorphy. The full Ramanujan conjecture for cuspidal automorphic representations of GL_n (n > 2) over number fields is also open, with bounds on Satake parameters available but temperedness unestablished beyond GL_2. Additionally, the global multiplicity-one theorem, conjecturing that \dim \Hom(\pi, \Ind(\sigma)) = 1 for irreducible cuspidal \pi and induced \sigma under functoriality assumptions, lacks a proof outside specific endoscopic contexts. Emerging connections between categorical Langlands and quantum information theory, via quantum geometric deformations and topological quantum field theories, suggest potential applications in quantum computing but remain exploratory.^[56]^[30]^[41]

References

[1]
Letter to André Weil - publications.ias.edu
A letter of 17 hand-written pages to Andre Weil outlining what quickly became known as `the Langlands conjectures'. This letter even today is worth reading ...
[2]
[PDF] Introduction to the Langlands Program - Mathematics
This article is an introduction to automorphic forms on the adeles of a linear reductive group over a number field. The first half is a summary of aspects ...
[3]
Modern Mathematics and the Langlands Program - Ideas
In his conjectures, now collectively known as the Langlands program, Robert Langlands drew on the work of Hermann Weyl (above), André Weil, and Harish-Chandra.Missing: authoritative sources
[4]
What Is the Langlands Program? | Quanta Magazine
Jun 1, 2022 · The Langlands program provides a beautifully intricate set of connections between various areas of mathematics, pointing the way toward novel solutions for old ...Missing: authoritative sources
[5]
[PDF] Lectures on the Langlands Program and Conformal Field Theory
Based on the lectures given by the author at the Les Houches School “Number. Theory and Physics” in March of 2003 and at the DARPA Workshop “Langlands Program ...
[6]
https://math.berkeley.edu/~frenkel/houches.pdf
[7]
[PDF] The work of Robert Langlands James G. Arthur Robert ... - arXiv
May 22, 2018 · extend the Artin reciprocity law, and thereby create a nonabelian class field theory. The Principle of Functoriality was of course his ...
[8]
None
Summary of each segment:
[9]
[PDF] Dear Professor Weil, While trying to formulate clearly the question I ...
Dear Professor Weil,. While trying to formulate clearly the question I was asking you before Chern's talk I was led to two more general questions.Missing: Robert | Show results with:Robert
[10]
La conjecture de Weil : I - Numdam
273-307. La conjecture de Weil : I. Deligne, Pierre. Publications Mathématiques de l'IHÉS, Tome 43 (1974), pp. ... TY - JOUR AU - Deligne, Pierre TI - La ...Missing: proof | Show results with:proof
[11]
Introduction to the Langlands program, by J. Bernstein and S ...
Jan 20, 2004 · This is an analogue of the Langlands cor- respondence described above, in which Galois representations are replaced by n- dimensional `-adic ...
[12]
[PDF] 1 Frobenius elements of Galois groups 2 Linear representations and ...
Conjecture 2 (Artin). The function L(ρ, s) extends to a meromorphic function on all of C, with no poles away from s = 1, and order of pole at s = 1 equal to ...
[13]
[PDF] Class Field Theory
Class field theory describes the abelian extensions of a local or global field in terms of the arithmetic of the field itself.
[14]
[PDF] An Introduction to Automorphic Representations
Apr 22, 2022 · Automorphic representations draw on algebraic geometry, harmonic analysis, number theory, and representation theory, and is a broad and deep ...Missing: GL_n | Show results with:GL_n
[15]
[PDF] AUTOMORPHIC REPRESENTATIONS AND L-FUNCTIONS FOR GL ...
An automorphic representation π of GL(n) over a number field F is related to an L-function L(s, π). Smooth representations of G(F) are also discussed.
[16]
[PDF] automorphic l-functions - University of Utah Math Dept.
Euler products L{s, x, r) and e(s, z, r), whose factors are defined (at ... automorphic representation of GLI, with respect to the standard representation?
[17]
[PDF] L-Functions and Automorphic Representations
The idea of factoring an L-function into Euler products of smaller degree is very important. It led Artin from the zeta-function of K to the L-functions ...
[18]
[PDF] Automorphic L-Functions: A Survey - Purdue Math
3. Langlands' Euler products method. In a series of lectures in 1967, Langlands expressed constant terms of Eisenstein series on certain split algebraic groups ...
[19]
[PDF] The principle of functoriality - Clay Mathematics Institute
Oct 10, 2002 · By the 1970s, Deligne and Langlands were pre- pared to conjecture very general relations between motivic Galois groups and the automorphic ...
[20]
[PDF] Lectures on automorphic L-functions - Clay Mathematics Institute
of the Galois group there is an automorphic representation TT 6 II(G), neces- sarily unique, such that oV(a-) = cr,,(r) for all v outside some finite set S 2 ...<|control11|><|separator|>
[21]
[PDF] Base change for GL(2) Robert P. Langlands
These are the notes from a course of lectures given at The Institute for Advanced Study in the fall of 1975. Following a suggestion of A. Borel, ...
[22]
https://publications.ias.edu/sites/default/files/base-change-for-gl2_rpl.pdf
[23]
[PDF] The Endoscopic Classification of Representations
This is the local Langlands correspondence for G, or rather a slightly weaker version in the case G = SO(2n) that classifies orbits in Πtemp(G) under a group of ...
[24]
[PDF] endoscopy and beyond - robert p. langlands
Arthur's program is to use, in a manner to be explained, the twisted trace formula to establish the existence of a transfer from the classical groups to GL(n).
[25]
[PDF] Automorphic forms on GL(2) Hervé Jacquet and Robert P. Langlands
The results, with the exception of the converse theorem in the Hecke theory, may. The right way to establish the functional equation for the Dirichlet ...
[26]
[PDF] L-functions, Converse Theorems, and Functoriality - Shahidi
In what follows, I will explain how Langlands-Shahidi plus certain recent converse theorems of Cogdell-. Piatetski-Shapiro can lead to quantum jumps towards ...
[27]
Global Jacquet-Langlands correspondence, multiplicity one ... - arXiv
Apr 23, 2007 · Global Jacquet-Langlands correspondence, multiplicity one and classification of automorphic representations. Authors:A. I. Badulescu, N. Grbac.
[28]
Global Jacquet–Langlands correspondence, multiplicity one and ...
Jan 25, 2008 · Global Jacquet–Langlands correspondence, multiplicity one and classification of automorphic representations. Published: 25 January 2008.
[29]
[PDF] Notes on the Generalized Ramanujan Conjectures - Math (Princeton)
Ramanujan's original conjecture is concerned with the estimation of Fourier coefficients of the weight 12 holomorphic cusp form ∆ for SL(2, Z) on the upper ...Missing: program | Show results with:program<|separator|>
[30]
Langlands Program and Ramanujan Conjecture: a survey - arXiv
Dec 13, 2018 · We look at modern approaches to the generalized Ramanujan conjecture, which is an open problem over number fields, and present known cases over function fields.
[31]
On Artin £-Functions - Project Euclid
One of the objectives of the Langlands program has been to create the theoretical framework with which to attack Artin's conjecture. The notions of base change, ...
[32]
[PDF] Motives and the Langlands programme
The theory of motives exists within algebraic geometry in an effort to unify a set of theories, so-called cohomology theories, that typically relate to topology ...
[33]
[PDF] A Note on the Automorphic Langlands Group
would parametrize the same cuspidal automorphic representation of GL(n), by the theorem of strong multiplicity one, yet would be inequivalent, by construction.
[34]
[PDF] Higgs bundles and local systems - Numdam
This provides a natural quasiisomorphism between the de Rham complex of forms with coefficients in the flat bundle, and the Dolbeault complex with coefficients ...Missing: Langlands | Show results with:Langlands
[35]
[PDF] QUANTIZATION OF HITCHIN'S INTEGRABLE SYSTEM AND ...
Nov 7, 2012 · Page 1. QUANTIZATION OF HITCHIN'S INTEGRABLE SYSTEM. AND HECKE EIGENSHEAVES. A. BEILINSON AND V. DRINFELD. 1991 Mathematics Subject ...
[36]
[PDF] outline of the proof of the geometric langlands conjecture for gl2
The goal of this paper is to describe work-in-progress by. D. Arinkin, V. Drinfeld and the author 1 towards the proof of the (categorical) geometric. Langlands ...Missing: Vladimir | Show results with:Vladimir
[37]
Outline of the proof of the geometric Langlands conjecture for GL(2)
Feb 11, 2013 · We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements ...Missing: Lurie | Show results with:Lurie
[38]
Proof of the geometric Langlands conjecture
This page contains five papers, the combined content of which constitutes the proof of the (categorical, unramified) geometric Langlands conjecture. ... Gaitsgory ...Missing: Lurie | Show results with:Lurie
[39]
Electric-Magnetic Duality And The Geometric Langlands Program
Apr 21, 2006 · Access Paper: View a PDF of the paper titled Electric-Magnetic Duality And The Geometric Langlands Program, by Anton Kapustin and Edward Witten.
[40]
[PDF] LANGLANDS CORRESPONDENCE FOR LOOP GROUPS
The Langlands Program has emerged in recent years as a blueprint for a Grand. Unified Theory of Mathematics. Conceived initially as a bridge between Number.
[41]
[PDF] Geometric Langlands and non-abelian Hodge theory
Contents. 1. Introduction. 85. 2. A brief review of the geometric Langlands conjecture. 89. 3. Higgs bundles, the Hitchin system, and abelianization.
[42]
[PDF] Gauge theory and Langlands duality - Numdam
May 6, 2025 · The upper arrow represents Homological Mirror Symmetry (5.2) whereas the lower arrow represents the categorical Langlands correspondence (3.1).
[43]
https://math.berkeley.edu/~frenkel/loop.pdf
[44]
Compatibility of local and global Langlands correspondences - arXiv
Dec 18, 2004 · We prove the compatibility of local and global Langlands correspondences for GL_n, which was proved up to semisimplification by Harris-Taylor.
[45]
Conditional Base Change for Unitary Groups - Project Euclid
The present article develops a technique for obtaining conditional base change and functorial transfer.
[46]
[PDF] Local Langlands Correspondence for GLn over p-adic fields
The aim of this paper is to give a new proof of the Local Langlands Correspondence for GLn over p-adic fields, and to simplify some of the arguments in the book ...Missing: GL_n | Show results with:GL_n
[47]
The Endoscopic Classification of Representations
Within the Langlands program, endoscopy is a fundamental process for relating automorphic representations of one group with those of another. In this book ...
[48]
The Fundamental Lemma: From Minor Irritant to Central Problem
In the geometric Langlands program, created by former Member Vladimir Drinfeld and collaborators, some of the ideas are converted from number theory into ...Missing: developments | Show results with:developments
[49]
[2405.03599] Proof of the geometric Langlands conjecture I - arXiv
We prove that various forms of the conjecture (de Rham vs Betti, restricted vs. non-restricted, tempered vs. non-tempered) are equivalent. We ...
[50]
Machine learning the vanishing order of rational L-functions - arXiv
Feb 14, 2025 · In this paper, we study the vanishing order of rational L-functions from a data scientific perspective. Each L-function is represented in our ...Missing: Langlands 2020-2025
[51]
[PDF] An introduction to the categorical p-adic Langlands program
... Langlands, which is better adapted to the problem of relating automorphic forms and Galois representations; we also recall the definition below. Page 4. 4. M ...
[52]
The monodromy-weight-, Ramanujan-, Langlands-landscape
Dec 9, 2009 · On the lower right of the diagram, one has the generalized Ramanujan conjecture, stating that the local factor of Π at p should be tempered, ...Roadmap to understand the Scholze's proof of the local Langlands ...Implications and consequences of the recent proof of the geometric ...More results from mathoverflow.netMissing: Scholze GL_n