The Langlands Program: An Introduction

An honest, step‑by‑step guide to the classical, relative, p‑adic, and geometric facets of the Langlands vision, based on the latest scholarly surveys.

1. The Big Picture – What the Langlands Program Tries to Connect

The Langlands program is a network of conjectures that seeks a deep bridge between two major areas of mathematics: automorphic representations (analytic objects built from functions on groups) and Galois representations (algebraic objects encoding field extensions). A 2003 lecture at the AMS meeting in Baltimore gave a concise overview of this “Langlands correspondence” and highlighted its many incarnations, from number fields to function fields — the record notes that the talk reviewed “the Langlands correspondence for …” (Bulletin of the American Mathematical Society, 2003) 【4】.

At its core, the program predicts that every automorphic representation of a reductive group over a global field should match a compatible Galois representation of the field’s absolute Galois group. This vision unifies disparate results—class field theory, modular forms, and the proof of Fermat’s Last Theorem—under a single, far‑reaching framework. The breadth of the program is reflected in the variety of surveys that have appeared in the 2025 Proceedings of Symposia in Pure Mathematics, each focusing on a different “flavor” of the conjectures — relative, p‑adic, geometric, and more 【1】【2】【8】.

2. Classical Automorphic Forms – The Starting Point

The classical side of Langlands is most concretely illustrated by modular forms on the upper half‑plane. These are holomorphic functions that transform in a prescribed way under the action of the modular group SL(2,ℤ) and its congruence subgroups. As the OpenAlex entry on “Automorphic forms and the Langlands program” explains, such forms have “arisen naturally in number theory, complex analysis, topology, mathematical physics, and many other subjects” 【5】.

In the Langlands framework, a modular form of weight k gives rise to a two‑dimensional Galois representation (via the Eichler–Shimura construction). More generally, automorphic forms on higher‑rank groups (e.g., GL(n)) are expected to correspond to n‑dimensional Galois representations. The OpenAlex record emphasizes that the automorphic representation attached to a modular form is the analytic side of the correspondence, while the Galois representation is the arithmetic side 【5】.

Practically, this means that when a mathematician computes Fourier coefficients of a modular form, those numbers encode information about the action of the absolute Galois group on the associated algebraic object. The correspondence has been proved in many cases (e.g., for GL(2) over ℚ) and serves as the prototype for the broader Langlands vision.

3. The Relative Langlands Program – Extending the Correspondence

While the classical program relates automorphic forms on a group G to Galois data for the whole field, the relative Langlands program asks a subtler question: how do periods of automorphic forms—integrals of an automorphic function over a subgroup H—reflect arithmetic information? Raphaël Beuzart‑Plessis’s 2025 survey “Introduction to the relative Langlands program” outlines this extension, describing how one replaces the global Galois group by a relative object attached to the pair (G, H) 【1】.

The relative viewpoint is motivated by concrete examples such as the Gan–Gross–Prasad conjectures, which predict precise relationships between branching laws (restriction of representations from G to H) and special values of L‑functions. Beuzart‑Plessis’s article explains that the relative program “provides a systematic way to formulate and attack period‑integral conjectures” 【1】.

From a practical standpoint, researchers use the relative program to study distinguished representations—those admitting non‑zero H‑invariant linear forms. The survey details several techniques (relative trace formulas, spherical varieties) that have already yielded new cases of the conjectures, illustrating how the relative perspective enriches the original Langlands dictionary.

4. The Categorical p‑adic Langlands Program – A Modern Algebraic Lens

The p‑adic Langlands program replaces complex‑analytic automorphic representations with p‑adic Banach‑space representations, aiming to connect them to p‑adic Galois representations. The 2025 proceedings also contain an “introduction to the categorical p‑adic Langlands program” by Emerton, Gee, and Hellmann 【8】.

This work emphasizes a categorical reformulation: rather than matching individual representations, one seeks an equivalence of derived (or triangulated) categories of p‑adic representations on both sides. The authors argue that such a categorical viewpoint “captures the deformation‑theoretic nature of p‑adic families” and aligns with the emerging mod p and p‑adic Hodge theory tools 【8】.

Practically, the categorical approach provides a framework for constructing p‑adic families of automorphic forms (e.g., eigenvarieties) and for understanding how Galois representations vary in p‑adic families. It also clarifies the role of local–global compatibility at p‑adic places, a subtle point that the classical correspondence does not address directly. The article presents several concrete examples (e.g., GL(2) over ℚₚ) where the categorical equivalence has been verified, offering a roadmap for extending the theory to higher rank groups.

5. Geometric Langlands – From Number Theory to Gauge Theory

The geometric Langlands program translates the arithmetic correspondence into a statement about sheaves on algebraic curves. Two recent surveys illuminate this bridge between mathematics and physics.

First, the Communications in Number Theory and Physics article “Electric‑magnetic duality and the geometric Langlands program” explains that one can compactify a twisted N = 4 super‑Yang–Mills theory on a Riemann surface C; the resulting four‑dimensional theory exhibits electric‑magnetic duality, which mathematically manifests as the geometric Langlands duality 【7】. The paper highlights three key ingredients:

Electric‑magnetic duality of gauge theory, providing a physical symmetry that exchanges the Langlands dual group G^∨ with G.
Mirror symmetry of sigma‑models, which translates into a Fourier–Mukai transform on the derived categories of coherent sheaves.
Braiding and line operators, corresponding to Hecke modifications on the geometric side.

Second, the Current Developments in Mathematics note “Gauge theory, ramification, and the geometric Langlands program” expands the picture by introducing surface operators—two‑dimensional defects that model ramified (i.e., wildly branching) behavior in the Langlands correspondence 【10】. The authors describe how these operators are analogous to Wilson and ’t Hooft line operators, and how they allow one to treat ramified geometric Langlands problems via gauge‑theoretic techniques.

Together, these works show that the geometric program is not merely a reformulation but a new computational toolkit: one can use supersymmetric localization, S‑duality, and topological field theory to produce explicit sheaves (or D‑modules) that solve Langlands‑type problems. For a practitioner, the take‑away is that physics‑inspired constructions now provide concrete examples of the otherwise abstract geometric correspondence.

6. Recent Advances – Where the Program Stands Today

The 2003 AMS lecture notes (Bulletin of the American Mathematical Society) give a snapshot of the state of the art at the turn of the millennium, summarizing progress on the classical Langlands correspondence, the emergence of the relative and geometric variants, and early hints of p‑adic ideas 【4】. Since then, the three 2025 symposia contributions have pushed each branch forward:

Relative Langlands – new trace‑formula comparisons and explicit period formulas (Beuzart‑Plessis) 【1】.
p‑adic categorical – a systematic derived‑category framework (Emerton, Gee, Hellmann) 【8】.
Geometric Langlands – a gauge‑theoretic formulation that incorporates ramification via surface operators (Witten‑style dualities) 【7】【10】.

These advances illustrate a convergence: techniques from representation theory, algebraic geometry, and quantum field theory now interact routinely. The surveys collectively suggest that the Langlands program is evolving from a collection of isolated conjectures into a unified, multi‑disciplinary research agenda.

7. A Note on Names – “Langland” in the Legal Record

The surname “Langland” appears in a 1984 district‑court case, Langland v. Vanderbilt University (D. M.D. Tennessee, docket 3‑83‑0115) 【3】. This case is unrelated to the mathematical Langlands program; it simply shares a similar spelling. The inclusion of this record serves as a reminder that search results can surface homonyms, and readers should verify context before assuming a connection.

This is not legal advice; consult counsel.

Checklist – Getting Started with the Langlands Program

Read a foundational overview – the 2003 AMS lecture notes (Bulletin of the AMS) for the classical correspondence 【4】.
Study automorphic forms – begin with classical modular forms on SL(2,ℤ) as described in the OpenAlex entry 【5】.
Explore the relative perspective – consult Beuzart‑Plessis’s 2025 introduction for period‑integral conjectures 【1】.
Delve into p‑adic categorical theory – work through Emerton, Gee, and Hellmann’s survey for derived‑category formulations 【8】.
Enter geometric Langlands – read the duality‑focused paper (Communications in Number Theory and Physics) and the gauge‑theory ramification article 【7】【10】.
Stay updated – follow proceedings of the Symposia in Pure Mathematics (2025) for the latest research directions.

Maintaining Your Langlands Knowledge Base

Subscribe to the Proceedings of Symposia in Pure Mathematics (especially future volumes) to receive new