The Langlands Program — Overview and Conjectures

⚡ Key Takeaways

One-line statement: The Langlands Program is a vast web of conjectures positing a deep correspondence between automorphic representations of reductive groups and Galois representations (or more precisely, parameters into a dual group), unifying number theory, representation theory, and harmonic analysis.

Key result in words: Roughly, the "spectral" data of automorphic forms on a reductive group $G$ over a global field should match the "Galois-theoretic" data of $L$ -parameters into the Langlands dual group $\widehat{G}$ , with $L$ -functions and functoriality serving as the dictionary.

Where it applies: Number theory (reciprocity, $L$ -functions), automorphic representation theory, arithmetic geometry (Shimura varieties), the geometric Langlands correspondence, and mathematical physics (S-duality, conformal field theory).

Who/when: Robert P. Langlands, in a 1967 letter to André Weil and subsequent papers; developed by Harish-Chandra, Jacquet, Shahidi, Arthur, Lafforgue, Ngô, Scholze, and many others, 1967–present.

💡 The Core Insight

Reciprocity in its broadest sense: arithmetic information encoded in how primes split (Galois theory, motives) is the same data as the spectrum of natural differential and Hecke operators on spaces of automorphic forms. The two languages — algebraic (Galois) and analytic (automorphic) — are dual descriptions of a single underlying structure, mediated by $L$ -functions. Functoriality, the master conjecture, says that any homomorphism of dual groups $\widehat{H}\to\widehat{G}$ should induce a transfer of automorphic representations from $H$ to $G$ — and almost every classical reciprocity law is a special case.

DefinitionAutomorphic Representation

An automorphic representation of $G$ is an irreducible constituent of the regular representation of $G(\mathbb{A}_F)$ on the space of automorphic forms — smooth functions

1

\quad \varphi: G(F)\backslash G(\mathbb{A}_F) \longrightarrow \mathbb{C}

that are $K$ -finite (for a maximal compact $K$ ), $\mathcal{Z}$ -finite (annihilated by a finite-codimension ideal of the center of the universal enveloping algebra), and of moderate growth. The cuspidal subspace $L^2_{\mathrm{cusp}}$ consists of those $\varphi$ with vanishing constant terms:

2

\quad \int_{N(F)\backslash N(\mathbb{A}_F)} \varphi(n g)\, dn = 0 \quad \text{for all unipotent radicals } N \text{ of proper parabolics}.

Derivation hint: [1] is the basic object — functions on the adelic quotient; [2] imposes the cuspidality condition by killing constant terms along every proper parabolic $P=MN$ , isolating the discrete, "primitive" part of the spectrum. By admissibility, an automorphic representation $\pi$ factors as a restricted tensor product over all places $v$ of $F$ :

3

\quad \pi \cong {\bigotimes_v}' \, \pi_v,

where $\pi_v$ is an irreducible admissible representation of $G(F_v)$ , and for almost all (finite, unramified) $v$ , $\pi_v$ is unramified — i.e. has a nonzero $G(\mathcal{O}_v)$ -fixed vector. Derivation hint: This is the tensor product theorem of Flath; it follows from the factorization of the global Hecke algebra into local components and the existence of spherical vectors away from a finite set of ramified places.

DefinitionThe Langlands Dual Group

Let $G$ have root datum $(X^*, \Delta, X_*, \Delta^\vee)$ — characters, roots, cocharacters, coroots. The Langlands dual group (or $L$ -group's connected component) $\widehat{G}$ is the complex reductive group with the dual root datum $(X_*, \Delta^\vee, X^*, \Delta)$ — roots and coroots, characters and cocharacters interchanged. The full $L$ -group incorporates the Galois action on the based root datum:

4

\quad {}^L G = \widehat{G} \rtimes \mathrm{Gal}(\overline{F}/F).

Derivation hint: The duality of root data swaps $\Delta \leftrightarrow \Delta^\vee$ ; the semidirect product encodes how the absolute Galois group acts on the Dynkin diagram (the "outer form" data), trivially when $G$ is split. Examples: $\widehat{\mathrm{GL}_n}=\mathrm{GL}_n(\mathbb{C})$ , $\widehat{\mathrm{SL}_n}=\mathrm{PGL}_n(\mathbb{C})$ , $\widehat{\mathrm{SO}_{2n+1}}=\mathrm{Sp}_{2n}(\mathbb{C})$ , $\widehat{\mathrm{Sp}_{2n}}=\mathrm{SO}_{2n+1}(\mathbb{C})$ , $\widehat{\mathrm{SO}_{2n}}=\mathrm{SO}_{2n}(\mathbb{C})$ .

DefinitionL-Parameter and the Langlands Group

A (global) $L$ -parameter is a continuous homomorphism, commuting with projection to $\mathrm{Gal}(\overline F/F)$ ,

5

\quad \phi: \mathcal{L}_F \longrightarrow {}^L G,

where $\mathcal{L}_F$ is the conjectural Langlands group — a global object whose finite-dimensional representations should classify automorphic representations of $\mathrm{GL}_n$ , generalizing the Weil group. Locally, for $v$ archimedean or non-archimedean, the parameter is

6

\quad \phi_v: W_{F_v}\times \mathrm{SL}_2(\mathbb{C}) \longrightarrow {}^L G,

where $W_{F_v}$ is the Weil group and the $\mathrm{SL}_2$ -factor (the Arthur or Weil–Deligne $\mathrm{SL}_2$ ) records unipotent/monodromy data. Derivation hint: [5] is conjectural because $\mathcal{L}_F$ has no construction; [6] is well-defined locally — the Weil–Deligne group $W_{F_v}\times\mathrm{SL}_2$ replaces the elusive global group and captures ramification through the $\mathrm{SL}_2$ "Steinberg" direction.

TheoremThe Langlands Correspondence (Conjectural Form)

There should be a canonical bijection (more precisely a finite-to-one map with $L$ -packets as fibers) between

7

\quad \big\{ \text{automorphic representations } \pi \text{ of } G(\mathbb{A}_F) \big\} \;\longleftrightarrow\; \big\{ \text{admissible } L\text{-parameters } \phi: \mathcal{L}_F \to {}^L G \big\},

compatible at every place with the local Langlands correspondence, and such that $L$ -functions and $\varepsilon$ -factors match:

8

\quad L(s,\pi,r) = L(s, r\circ\phi), \qquad \varepsilon(s,\pi,r) = \varepsilon(s, r\circ\phi),

for every finite-dimensional representation $r$ of ${}^L G$ . Derivation hint: [7] is the existence of the dictionary; [8] is its defining compatibility — the automorphic $L$ -function (defined via the Langlands–Shahidi method or integral representations) must equal the Artin/motivic $L$ -function of the composed parameter, place by place.

TheoremFunctoriality (The Master Conjecture)

Given an $L$ -homomorphism of dual groups

9

\quad \rho: {}^L H \longrightarrow {}^L G

between $L$ -groups of two reductive groups $H, G$ over $F$ , there exists a transfer of automorphic representations $\pi_H \rightsquigarrow \pi_G = \rho_*(\pi_H)$ such that, at every unramified place $v$ , the Satake/Hecke parameters (semisimple conjugacy classes $t_{\pi_{H,v}}\in \widehat{H}$ ) map correctly:

10

\quad t_{\pi_{G,v}} = \rho\big(t_{\pi_{H,v}}\big) \quad \text{in } \widehat{G}(\mathbb{C}).

Derivation hint: [9] is just a group homomorphism on the dual side; [10] is the prescription that determines the transferred representation at almost all places via its unramified parameters — the Satake isomorphism turns the spherical Hecke algebra into $\mathbb{C}[\widehat{G}]^{\widehat{G}}$ , so $\pi_v$ is encoded by a conjugacy class which $\rho$ then transports.

ProofClass Field Theory as Langlands for GL₁

Step 1. Take $G = \mathrm{GL}_1 = \mathbb{G}_m$ . Then $\widehat{G}=\mathbb{C}^\times = \mathrm{GL}_1(\mathbb{C})$ , and ${}^L G = \mathrm{GL}_1(\mathbb{C})\times\mathrm{Gal}$ .

Step 2. Automorphic representations of $\mathrm{GL}_1(\mathbb{A}_F)=\mathbb{A}_F^\times$ trivial on $F^\times$ are exactly Hecke characters (Größencharaktere):

11

\quad \chi: F^\times\backslash \mathbb{A}_F^\times \longrightarrow \mathbb{C}^\times.

Step 3. $L$ -parameters $\phi:\mathcal{L}_F^{\mathrm{ab}}\to\mathbb{C}^\times$ are exactly continuous characters of the abelianized Weil group $W_F^{\mathrm{ab}}$ .

Step 4. The Artin reciprocity isomorphism of class field theory,

12

\quad \mathrm{Art}_F: F^\times\backslash \mathbb{A}_F^\times \xrightarrow{\;\sim\;} W_F^{\mathrm{ab}},

gives the bijection $\chi \leftrightarrow \chi\circ\mathrm{Art}_F^{-1}$ . This is equation [7] for $G=\mathrm{GL}_1$ , and it is a theorem.

Step 5. Matching of $L$ -functions [8]: the Hecke $L$ -function $L(s,\chi)$ equals the Artin $L$ -function $L(s,\chi\circ\mathrm{Art}_F^{-1})$ , including the analytic continuation and functional equation — Tate's thesis (1950) supplies the local–global proof via adelic Fourier analysis. $\blacksquare$

∎

ProofSketch: Why Functoriality Implies Reciprocity (Function-Field Case)

Step 1. Over a function field $F=\mathbb{F}_q(X)$ , V. Drinfeld ( $n=2$ ) and L. Lafforgue (general $n$ ) proved the global Langlands correspondence for $\mathrm{GL}_n$ using moduli of shtukas $\mathrm{Sht}_n$ — function-field analogues of elliptic curves with extra structure.

Step 2. The $\ell$ -adic cohomology of $\mathrm{Sht}_n$ carries commuting actions of $\mathrm{GL}_n(\mathbb{A}_F)$ (Hecke) and $\mathrm{Gal}(\overline F/F)^n$ (Frobenius). Decomposing it realizes the correspondence [7] geometrically:

13

\quad H^*_c(\mathrm{Sht}_n,\overline{\mathbb{Q}}_\ell) \;\supset\; \bigoplus_{\pi}\; \pi \otimes \sigma(\pi)^{\otimes\bullet},

where $\sigma(\pi)$ is the associated $n$ -dimensional Galois representation.

Step 3. Matching of Frobenius eigenvalues at unramified $v$ with Satake parameters yields [10]; the Ramanujan–Petersson bound (purity, by Weil II) follows from the geometry. $\blacksquare$

∎

RP

Robert P. Langlands

1936–

A Canadian-American mathematician, Langlands was a young faculty member at Princeton when, over the 1966–67 winter, he wrote a now-legendary 17-page handwritten letter to André Weil sketching the conjectures. He had developed the theory of Eisenstein series and the constant term, leading to the spectral decomposition of $L^2(G(F)\backslash G(\mathbb{A}_F))$ — the analytic foundation. His subsequent works defined the $L$ -group, $L$ -functions for all reductive groups, and the principle of functoriality. With Hervé Jacquet he proved the correspondence for $\mathrm{GL}_2$ (the "Jacquet–Langlands" theory). He received the Abel Prize in 2018 for "his visionary program connecting representation theory to number theory." His later "beyond endoscopy" proposal seeks to attack functoriality directly through the trace formula and analytic number theory.

🧠 Intuition

Think of three parallel worlds, each with its own "spectrum": 1. The Galois world — how primes factor in extensions, encoded by Frobenius conjugacy classes $\mathrm{Frob}_p$ in a Galois group. This is arithmetic. 2. The automorphic world — eigenvalues of Hecke operators $T_p$ acting on modular/automorphic forms. This is analytic/harmonic. 3. The geometric/motivic world — the cohomology of algebraic varieties, where both of the above appear simultaneously. Langlands says these are the same spectrum viewed three ways. Concretely, for an elliptic curve $E/\mathbb{Q}$ , the number $a_p = p+1-\#E(\mathbb{F}_p)$ (Galois/geometric data) equals the $p$ -th Hecke eigenvalue of a weight-2 modular form (automorphic data) — this is modularity, proven by Wiles–Taylor–Breuil–Conrad–Diamond. The Langlands Program asserts such a dictionary for every reductive group and every compatible system of representations. The role of the dual group is the deepest surprise. Why should the automorphic side of $G$ be parametrized into $\widehat{G}$ , not $G$ ? Because the Satake isomorphism identifies the spherical Hecke algebra of $G(F_v)$ with the representation ring of $\widehat{G}$ — Hecke eigenvalues are semisimple conjugacy classes in the dual group. The arithmetic naturally lives on the dual side.

Figure

The Langlands correspondence as a dictionary between two worlds, mediated by L-functions

ExampleModularity of an Elliptic Curve:

E: y^2 + y = x^3 - x^2

Given. The elliptic curve $E$ of conductor $N=11$ (Cremona label 11a). We test modularity via point counts mod small primes, computing $a_p = p + 1 - \#E(\mathbb{F}_p)$ .

Step 1 — count points mod 2. Over $\mathbb{F}_2$ : solutions to $y^2+y = x^3 - x^2$ . Checking $(x,y)$ : $x=0\Rightarrow y^2+y=0\Rightarrow y\in\{0,1\}$ ; $x=1\Rightarrow y^2+y=0\Rightarrow y\in\{0,1\}$ . With the point at infinity, $\#E(\mathbb{F}_2)=2+2+1=5$ . So

a_2 = 2 + 1 - 5 = -2.

Step 2 — count points mod 3. Tabulating $x=0,1,2$ : one finds $\#E(\mathbb{F}_3)=5$ , giving

a_3 = 3 + 1 - 5 = -1.

Step 3 — count points mod 5. Direct enumeration yields $\#E(\mathbb{F}_5)=5$ , so

a_5 = 5 + 1 - 5 = 1.

Step 4 — compare with the weight-2 newform $f\in S_2(\Gamma_0(11))$ . This form has $q$ -expansion

f = q\prod_{n\ge1}(1-q^n)^2(1-q^{11n})^2 = q - 2q^2 - q^3 + 2q^4 + q^5 + 2q^6 - 2q^7 - \cdots

Its Fourier coefficients are $a_2(f)=-2$ , $a_3(f)=-1$ , $a_5(f)=1$ .

Answer.

\boxed{a_p(E) = a_p(f) \text{ for } p=2,3,5 \;(\text{and all }p\neq 11)}

This is the $\mathrm{GL}_2/\mathbb{Q}$ Langlands correspondence: the 2-dimensional $\ell$ -adic Galois representation on $T_\ell E$ matches the automorphic representation generated by $f$ .

ExampleSatake Parameters and Unramified Local Langlands for

\mathrm{GL}_2(\mathbb{Q}_p)

Given. An unramified principal series representation $\pi_p = \mathrm{Ind}_{B}^{\mathrm{GL}_2}(\chi_1,\chi_2)$ of $\mathrm{GL}_2(\mathbb{Q}_p)$ , with unramified characters $\chi_i$ of $\mathbb{Q}_p^\times$ determined by $\alpha_i = \chi_i(p)$ . Take the situation of the prime $p=5$ for the curve $E$ above, where $a_5=1$ .

Step 1 — Satake parameter. The Satake isomorphism assigns to $\pi_p$ the semisimple conjugacy class in $\widehat{\mathrm{GL}_2}=\mathrm{GL}_2(\mathbb{C})$ :

t_{\pi_p} = \begin{pmatrix} \alpha_1 & 0 \\ 0 & \alpha_2\end{pmatrix}.

Step 2 — match to Hecke eigenvalues. For the spherical (unramified) vector, the Hecke operator $T_p$ acts with eigenvalue $a_p = p^{1/2}(\alpha_1+\alpha_2)$ (in suitable normalization), and $\langle T_{p,p}\rangle = p\,\alpha_1\alpha_2$ . For the modular form normalization the cleaner statement is the local $L$ -factor:

L(s,\pi_p) = \big[(1-\alpha_1 p^{-s})(1-\alpha_2 p^{-s})\big]^{-1} = (1 - a_p p^{-s} + p^{1-2s})^{-1}.

Step 3 — insert numbers for $p=5$ . With $a_5 = 1$ :

L(s,\pi_5) = (1 - 5^{-s} + 5^{1-2s})^{-1}.

The roots satisfy $\alpha_1+\alpha_2 = 1$ and $\alpha_1\alpha_2 = 5$ (after un-normalizing by $p^{(s)}$ ), so $\{\alpha_1,\alpha_2\}$ are roots of $T^2 - T + 5 = 0$ , giving $\alpha = \tfrac{1\pm\sqrt{-19}}{2}$ , with $|\alpha_i| = \sqrt 5 = p^{1/2}$ — the Ramanujan–Petersson bound verified.

Answer.

\boxed{t_{\pi_5} \sim \mathrm{diag}\!\left(\tfrac{1+\sqrt{-19}}{2},\ \tfrac{1-\sqrt{-19}}{2}\right) \in \mathrm{GL}_2(\mathbb{C}),\quad |\alpha_i|=\sqrt5}

These eigenvalues are exactly the Frobenius eigenvalues of $\mathrm{Frob}_5$ acting on $T_\ell E$ — equation [10] in action.

⚠️ Common mistake

"The Langlands correspondence is a bijection." Only for $\mathrm{GL}_n$ is it (essentially) a bijection. In general it is finite-to-one: a single $L$ -parameter $\phi$ corresponds to an $L$ -packet of several automorphic representations, organized by the component group $S_\phi = \pi_0(\mathrm{Cent}(\phi,\widehat G))$ . The internal structure of packets is governed by the Arthur conjectures and characters of $S_\phi$ .
"The dual group is $G$ over $\mathbb{C}$ ." No — it is the group with dual root datum. For $G=\mathrm{Sp}_{2n}$ , $\widehat G = \mathrm{SO}_{2n+1}(\mathbb{C})$ , a genuinely different group. Forgetting this is the single most common error.
"Automorphic = cuspidal." Cuspidal representations are the discrete, "atomic" pieces, but the full spectrum includes the continuous spectrum (Eisenstein series) and residual discrete spectrum. The Langlands spectral decomposition organizes all of these.
" $L$ -functions automatically have analytic continuation." This is part of what must be proven; functoriality and the Langlands–Shahidi method are precisely the tools that establish continuation and functional equations for broad families.
"The geometric Langlands program is just the function-field case." It is a categorical, sheaf-theoretic reformulation (an equivalence of derived categories) that is conceptually distinct, though deeply analogous, and now has its own near-complete proof (Gaitsgory–Raskin et al.).

CounterexampleFailure of naive 1–1 matching:

L

-packets for

\mathrm{SL}_2

For $G=\mathrm{GL}_2$ the local correspondence is a clean bijection. But descend to $G=\mathrm{SL}_2(\mathbb{Q}_p)$ , whose dual is $\widehat G = \mathrm{PGL}_2(\mathbb{C})$ . A single discrete $L$ -parameter $\phi: W_{\mathbb{Q}_p}\to \mathrm{PGL}_2(\mathbb{C})$ whose image is the normalizer of a torus (dihedral type) has centralizer component group $S_\phi \cong \mathbb{Z}/2\mathbb{Z}$ . Correspondingly the $L$ -packet contains two inequivalent supercuspidal representations of $\mathrm{SL}_2(\mathbb{Q}_p)$ , distinguished by a character of $S_\phi$ . Thus the parameter does not determine the representation uniquely — a fact invisible at the level of $\mathrm{GL}_n$ and a warning against expecting bijections in general.

connection

The Langlands Program sits at the crossroads of much of modern mathematics:

Class Field Theory is the abelian ( $\mathrm{GL}_1$ ) case, fully proven; the program is its non-abelian generalization.
Modular Forms and Automorphic Representations supply the classical avatar: holomorphic modular forms are automorphic representations of $\mathrm{GL}_2/\mathbb{Q}$ with specific archimedean type.
Galois Representations and Étale Cohomology furnish the arithmetic side; modularity lifting theorems (Taylor–Wiles patching) are the engine connecting them to automorphy.
The Arthur–Selberg Trace Formula is the principal analytic tool for proving functoriality and characterizing the discrete spectrum.
Shimura Varieties geometrize the correspondence over number fields, their cohomology realizing both Hecke and Galois actions simultaneously.
<a class="wiki-link" href="/wiki/geometric-langlands-correspondence">Geometric Langlands Correspondence</a> reframes everything categorically: $\mathcal{D}$ -modules on $\mathrm{Bun}_G$ versus quasi-coherent sheaves on the moduli of $\widehat G$ -local systems.
The Fundamental Lemma (Ngô's theorem) is the keystone of endoscopy, comparing orbital integrals across groups.
S-duality in Gauge Theory in physics (Kapustin–Witten) realizes geometric Langlands as electric–magnetic duality of $\mathcal{N}=4$ super Yang–Mills.

🔬 Where this appears

⏳ History

- 1880s–1920s — Reciprocity foundations. Hilbert's reciprocity laws and the development of class field theory (Takagi, Artin) settle the abelian case, culminating in Artin reciprocity (1927), the prototype of all Langlands reciprocity.

- 1950 — Tate's thesis. John Tate recasts Hecke

L

-functions adelically, proving analytic continuation and functional equation via local–global Fourier analysis — the

\mathrm{GL}_1

template.

- 1956–1965 — Harish-Chandra & Selberg. Harish-Chandra builds the harmonic analysis of real reductive groups (discrete series, Plancherel); Selberg introduces the trace formula. Together they create the analytic engine.

- 1967 — The Langlands letter. Robert Langlands writes to André Weil, conjecturing functoriality, defining the

L

-group, and predicting the

L

-function correspondence. Weil has it typed; it circulates as a foundational document.

- 1970 — Jacquet–Langlands. *Automorphic Forms on $\mathrm{G

The Langlands Program — Overview and Conjectures

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development