---
title: Local Langlands Conjecture Overview
url: https://www.emergentmind.com/topics/local-langlands-conjecture
type: topic
---

# Local Langlands Conjecture Overview

Searching arXiv for recent and foundational papers on the Local Langlands Conjecture.
The Local Langlands Conjecture is the conjectural classification of irreducible admissible representations of \(G(F)\), for a connected reductive group \(G\) over a local field \(F\), in terms of \(L\)-parameters valued in the \(L\)-group \({}^LG\). In its modern formulation, it predicts a finite-to-one map from irreducible admissible representations to conjugacy classes of admissible homomorphisms from the Weil–Deligne group \(W'_F\) to \({}^LG\), together with a refined internal parametrization of each \(L\)-packet by irreducible representations of a finite component group attached to the parameter [2510.00632]. The conjecture is simultaneously local, functorial, and endoscopic: it is expected to encode parabolic induction, temperedness, discrete series, transfer factors, and the organization of inner forms into a single spectral structure.

## 1. Basic objects and formal statement

Let \(F\) be a local field of characteristic zero, \(W_F\) its Weil group, and \(\Gamma=\operatorname{Gal}(\bar F/F)\). If \(F\) is non-Archimedean, the Weil group sits in
\[
1 \longrightarrow I_F \longrightarrow W_F \longrightarrow \langle\!\operatorname{Frob}\!\rangle \simeq \mathbb Z \longrightarrow 1,
\]
and the Weil–Deligne group is
\[
W'_F=\mathbb G_a\rtimes W_F,
\]
where \(w\in W_F\) acts on \(\mathbb G_a\) by multiplication by \(|w|\). If \(F\) is Archimedean, one takes \(W'_F=W_F\); for instance \(W_\mathbb R=\mathbb C^\times\sqcup j\,\mathbb C^\times\) [2510.00632].

The dual group \(\widehat G\) is the connected complex reductive group whose based root datum is dual to that of \(G\). After choosing a pinning of \(\widehat G\), the Galois action \(\Gamma\to \operatorname{Out}(\widehat G)\) lifts uniquely to an action on \(\widehat G\) preserving the pinning, and the \(L\)-group is the resulting semidirect product
\[
{}^LG=\widehat G\rtimes \Gamma.
\]
A Langlands parameter is a continuous homomorphism
\[
\phi:W'_F\to {}^LG
\]
such that \(\phi\) is algebraic on the \(\mathbb G_a\)-factor, the composite \(W_F\to{}^LG\to\Gamma\) is the natural projection, \(\phi(w)\) is semisimple for a Frobenius element, and the induced nilpotent element \(N\in\operatorname{Lie}\widehat G\) satisfies \(\operatorname{Ad}(\phi(w))N=|w|N\). Equivalently, one may work with a morphism
\[
\phi:W_F\times SL_2(\mathbb C)\to {}^LG
\]
which is continuous and semisimple on \(W_F\) and algebraic on \(SL_2(\mathbb C)\) [2510.00632].

To such a parameter one attaches the centralizer \(S_\phi=\operatorname{Cent}_{\widehat G}(\phi)\) and the quotient
\[
\mathcal S_\phi=S_\phi/Z(\widehat G)^\Gamma.
\]
The parameter is called essentially discrete when \(S_\phi/Z(\widehat G)^\Gamma\) is finite, and relevant to \(G\) when the minimal Levi of \({}^LG\) containing \(\phi(W'_F)\) is a relevant Levi [2510.00632]. These conditions control which representations, and in particular which discrete series, may occur in the packet attached to \(\phi\).

## 2. The crude correspondence and its characterizing properties

A standard formulation of the conjecture asserts the existence of a map
\[
LL:\Pi(G)\longrightarrow \Phi(G),
\qquad
\Pi_\phi(G)=LL^{-1}(\{\phi\}),
\]
from isomorphism classes of irreducible admissible representations of \(G(F)\) to conjugacy classes of parameters, with finite fibers [2510.00632]. This “crude” correspondence is required to satisfy several compatibility properties.

For tori, \(LL\) is required to coincide with the local reciprocity-map parametrization of characters. It must be functorial under products, central isogenies, and Weil restriction. It must identify essentially square-integrable representations with essentially discrete parameters. It must also be compatible with the Langlands classification: if \(\pi=J(P,\sigma,\nu)\) is the Langlands quotient of a tempered discrete series representation \(\sigma\) of a Levi \(M\), twisted by a positive character \(\nu\), then
\[
LL\bigl(J(P,\sigma,\nu)\bigr)=\iota_P\bigl(LL(\sigma\otimes\nu)\bigr),
\]
where \(\iota_P:{}^LM\to{}^LG\) is the canonical Levi embedding. In the real case, \(LL\) must match the Harish–Chandra infinitesimal character of \(\pi\) with the restriction of \(\phi\) to \(W_\mathbb R\simeq\mathbb C^\times\) [2510.00632]. This formulation reduces the construction of the correspondence to the essentially square-integrable case.

For real groups, the packet map \(\phi\mapsto \Pi(\phi)\) admits a particularly explicit characterization. If \(G/\mathbb R\) is connected reductive and \(\phi:W_\mathbb R\to {}^LG\) is admissible, then the packet is uniquely determined by three properties: all members of \(\Pi(\phi)\) have the infinitesimal character \(X_{\inf}(\phi)\); their restriction to the real points of the maximal central torus agrees with the radical character \(X_{\mathrm{rad}}(\phi)\); and if \(\phi\) factors through a Levi subgroup \({}^LM\subset{}^LG\), then \(\Pi(\phi)\) is obtained by normalized parabolic induction from the packet for \(M(\mathbb R)\) [1201.0496]. In the discrete-series case, the infinitesimal and radical characters already determine the packet, while the general case follows by induction.

## 3. \(L\)-packets, endoscopy, and inner forms

Once the map \(LL\) is given, each parameter \(\phi\) determines a finite packet
\[
\Pi_\phi(G)=\{\pi\mid LL(\pi)=\phi\}.
\]
For quasi-split groups, the conjecture is refined by a Whittaker normalization. Fixing a Whittaker datum \(\mathfrak w\), one expects an injective map, bijective in the \(p\)-adic case,
\[
\iota_{\mathfrak w}:\Pi_\phi(G)\longhookrightarrow \operatorname{Irr}\bigl(\pi_0(\mathcal S_\phi)\bigr),
\]
normalized so that the unique \(\mathfrak w\)-generic member of the packet corresponds to the trivial character of \(\pi_0(\mathcal S_\phi)\) [2510.00632]. This turns the packet from a finite set into a representation-theoretically enhanced object.

The enhancement is characterized by endoscopic character identities. For each semisimple \(s\in\mathcal S_\phi\), one forms the twisted virtual character
\[
\Theta^{\mathfrak w}_{\phi,s}
=
\sum_{\pi\in\Pi_\phi(G)}
\operatorname{tr}\bigl(\iota_{\mathfrak w}(\pi)(s)\bigr)\Theta_\pi.
\]
If \((H,s,{}^L\eta)\) is the endoscopic datum determined by \((s,\phi)\), with induced parameter \(\phi_H\), then one compares \(\Theta^{\mathfrak w}_{\phi,s}\) with the stable character
\[
S\Theta_{\phi_H}=\sum_{\pi_H\in\Pi_{\phi_H}(H)}\Theta_{\pi_H}
\]
through the Langlands–Shelstad transfer factor \(\Delta[\mathfrak w,\mathfrak e](\gamma,\delta)\) on matching strongly regular elements. The fundamental identity
\[
\Theta^{\mathfrak w}_{\phi,s}(\delta)
=
\sum_{\gamma\leftrightarrow\delta}
\Delta[\mathfrak w,\mathfrak e](\gamma,\delta)\,
S\Theta_{\phi_H}(\gamma)
\]
is expected to determine the embedding \(\iota_{\mathfrak w}\) uniquely [2510.00632].

For inner forms, the refined conjecture replaces a single packet by a uniform packet ranging over all rigid or isocrystal inner twists \((G,\psi,z)\) of a quasi-split form \(G^*\). The parametrization then takes the form
\[
\iota_{\mathfrak w}:
\bigsqcup_{(G,\psi,z)}\Pi_\phi(G)
\xrightarrow{\sim}
\operatorname{Irr}\bigl(\pi_0(\mathcal S_\phi)\bigr),
\]
with a prescribed central character determined by the inner twist, and with endoscopic transfer governed by normalized transfer factors \(\Delta[\mathfrak w,\mathfrak e,\psi,z]\) together with the Kottwitz sign \(e(G_z)\) [2510.00632]. This refined statement is the standard mechanism by which LLC incorporates inner forms and stable endoscopy into a single formalism.

## 4. Archimedean involutions: contragredient and Hermitian dual

One of the most precise structural results for Archimedean LLC concerns the behavior of duality. Let \(G(\mathbb R)\) be the real points of a connected reductive group, and let \(C\) denote the Chevalley involution of \({}^LG\), obtained from the unique involution of \(\widehat G\) acting by \(h\mapsto h^{-1}\) on a pinned Cartan and exchanging the root vectors \(X^\vee_\alpha\leftrightarrow X^\vee_{-\alpha}\) [1201.0496]. The conjectural rule is
\[
\Pi(\phi)^\vee=\Pi(C\circ\phi),
\]
for all local fields and all connected reductive groups.

For real groups this statement is proved: if \(C_{W_\mathbb R}\) is the involution of \(W_\mathbb R\) acting by \(z\mapsto z^{-1}\) on \(\mathbb C^\times\), then
\[
\Pi(\phi)^\vee=\Pi(C\circ\phi)=\Pi(\phi\circ C_{W_\mathbb R}),
\]
so the contragredient of a packet is again an admissible \(L\)-packet [1201.0496]. The proof starts with tori, where the genuine character attached to \(\phi\) satisfies \(\chi_{C\circ\phi}=\chi_\phi^\vee\), proceeds through relative discrete series, and then passes to general parameters by normalized parabolic induction and the duality between submodules and quotients of induced modules.

For \(G=GL(n,\mathbb R)\), the same framework also describes the Hermitian dual. The ordinary contragredient is realized on the \(L\)-group by the Chevalley involution
\[
C(g)={}^{t}g^{-1}.
\]
To obtain the Hermitian dual, one uses the anti-holomorphic involution
\[
g\mapsto (\overline g)^{-t}
\]
and the induced involution on parameters
\[
\phi^h(w)={}^{t}\overline{\phi(w^{-1})}.
\]
The corresponding packets satisfy
\[
\Pi(\phi^h)=\Pi(\phi)^h.
\]
In particular, an irreducible representation \(\pi\) of \(GL(n,\mathbb R)\) is Hermitian if and only if \(\phi\simeq\phi^h\), and unitary if and only if \(\phi\) is tempered [1201.0496]. This identifies duality phenomena on the representation side with explicit involutions of the parameter side.

## 5. Established cases and construction techniques

A large part of the literature consists of proving LLC for specific families and identifying the mechanisms by which packets are built. Several constructions recur: restriction from groups of \(GL\)-type, theta correspondence, endoscopy, and affine Hecke algebras.

| Setting | Result | Source |
|---|---|---|
| \(GL_n\) | The correspondence is a theorem of Harris–Taylor and Henniart; in the \(GL_n\) case packets are singletons | [2504.07482], [2509.24902] |
| Principal series of split \(p\)-adic groups | A strengthened LLC is proved blockwise through the canonical bijection \(\Irr(G)_{\mathrm{ps}}\cong (T/\!/W)_2\cong \Phi(G)_{\mathrm{ps}}/G\) | [1211.0180] |
| Split exceptional \(G_2(F)\) | A uniquely characterized surjection \(\mathcal L:\Irr(G_2(F))\twoheadrightarrow\Phi(G_2)\) is proved; for \(p\neq 3\), packets are indexed by \(\Irr(S_\phi)\) | [2209.07346] |
| Inner form \(Sp_{1,1}\) of \(Sp_4\) | For each \(\phi\), one has a finite packet \(\Pi_\phi(Sp_{1,1})\) and a bijection \(\Pi_\phi(Sp_{1,1})\leftrightarrow \Irr(S_\phi^{sc},\mathrm{sgn})\) | [1510.00900] |
| \(GSpin_4\), \(GSpin_6\), and inner forms | Packets are built by restricting representations of suitable \(GL\)-products; \(\Pi_\phi\leftrightarrow \Irr(S_\phi^{sc},\chi)\) | [1510.02553] |

For classical \(p\)-adic groups more generally, the category of smooth complex representations and its pure inner forms admit a decomposition into tensor products of categories of unipotent representations, and each Bernstein block is equivalent to modules over an extended affine Hecke algebra with explicit parameters [1502.04357]. In the principal-series setting, the geometry of the extended quotient \((T/\!/W)_2\) provides a strengthened form of LLC in which both the smooth dual and the parameter side carry the same simple geometric structure [1211.0180].

These cases also exhibit distinct packet phenomena. For \(Sp_{1,1}\), two distinct members of a packet of \(GSp_{1,1}\) may restrict to the same representation of \(Sp_{1,1}\), so the \(Sp_{1,1}\)-packet can have size \(1\) although the ambient \(GSp_{1,1}\)-packet has size \(2\) [1510.00900]. For \(G_2\), the construction uses theta correspondence with \(\mathrm{PGL}_3\) and \(\mathrm{PGSp}_6\), together with functorial compatibility of standard and spin local factors [2209.07346]. For the small-rank spin groups, surjectivity of the parameter map is obtained באמצעות a lifting theorem for \(L\)-parameters through central tori, and packet structure is then read off from restriction and component groups [1510.02553].

## 6. Geometric, categorical, and “in families” formulations

Recent work reframes LLC as a statement about categories, stacks of parameters, and coherent sheaves. In the de Rham geometric setting over \(F=\mathbb C(\!(t)\!)\), a local parameter is a formal \({}^LG\)-connection
\[
\nabla\in \operatorname{Loc}_{{}^LG}(D^\times),
\]
and the Feigin–Frenkel isomorphism identifies the center of the affine Kac–Moody algebra at critical level with functions on the space of opers [2506.13179]. For toral supercuspidals, this leads to an explicit bijection between toral \(K\)-types and irreducible isoclinic connections of a fixed slope, and in the global Airy family it yields Hecke eigensheaves whose eigenvalues are explicit global Airy connections [2506.13179].

In the arithmetic categorical formulation, one constructs a “Local Langlands category” \(\mathrm{Shv}(\mathrm{Isoc}_G)\), whose Newton strata recover the representation categories of all inner forms \(G_b(F)\), and one expects or proves equivalences with coherent sheaves on a stack of \(L\)-parameters [2504.07482]. In the tame case for unramified quasi-split reductive groups, there is a canonical equivalence
\[
\mathcal E_{\mathrm{tame}}:
\mathrm{Shv}^{\mathrm{tame}}(\mathrm{Isoc}_G)
\xrightarrow{\sim}
\operatorname{Coh}\bigl(\operatorname{LocSys}_{{}LG}^{\mathrm{tame}}\bigr),
\]
compatible with Newton stratifications, Grothendieck–Serre duality up to Cartan involution, and Springer-type actions [2504.07482].

The Fargues–Scholze version places the correspondence on the stack \(\operatorname{Bun}_G\) of \(G\)-bundles on the Fargues–Fontaine curve and the spectral stack \(\Par_G\) of \(L\)-parameters. The conjectural equivalence
\[
D(\operatorname{Bun}_G,A)\simeq \operatorname{IndCoh}(\Par_G)
\]
is required to send Hecke operators to tensoring by tautological vector bundles, to match Bernstein–Zelevinsky duality with Grothendieck–Serre duality twisted by the Chevalley involution, and to identify the “hadal” \(t\)-structure on the automorphic side with a perverse coherent \(t\)-structure on the spectral side [2310.04533]. A later program proves an induction principle reducing the conjecture for a quasisplit group to proper Levi subgroups plus a small amount of cuspidal information, establishes a strong finiteness theorem for spectral constant terms, and defines an explicit functor \(t_\psi\) from the spectral to the automorphic side; under the stated hypotheses this yields the full categorical correspondence for \(GL_n\) and applies unconditionally to many classical groups [2606.00983].

Other extensions broaden the coefficient and moduli theory of LLC. An \(\ell\)-adic version formulates a bijection between irreducible smooth \(E\)-representations of \(G(F)\) and \(\ell\)-adic \(L\)-parameters, and recasts it in terms of \(C\)-parameters or Tannakian \(\ell\)-adic parameters so as to remove dependence on an auxiliary isomorphism \(E\simeq\mathbb C\) [2003.14154]. A “local Langlands in families” conjecture connects the Bernstein center over \(\mathbb Z[\sqrt q^{-1}]\), the ring of global functions on a stack of Langlands parameters, and the endomorphism ring of a Gelfand–Graev representation; in the banal case this is proved, after inverting an explicit integer depending only on \(G\), for symplectic, unitary, and split odd special orthogonal groups [2406.09283].

These categorical and geometric formulations do not replace the classical conjecture; rather, they reorganize it. A plausible implication is that LLC is most naturally viewed not merely as a map on isomorphism classes, but as the shadow of a richer equivalence in which packets, endoscopy, inner forms, Hecke actions, and duality become features of a single derived spectral geometry.

Source: https://www.emergentmind.com/topics/local-langlands-conjecture