The local Langlands conjectures are certain conjectures in the context of the Langlands program. Where the genuine Langlands correspondence concerns global fields, the local Langlands correspondence concerns local fields.
In the case of the algebraic group $GL_n$ (the general linear group), the local Langlands conjectures assert a correspondence between:
F-semisimple Weil-Deligne representations (see Def. below) of the Weil group of a local field $F$;
irreducible admissible representations of $GL_n(F)$ (see Def. below),
generalizing local class field theory from abelian Galois groups to non-abelian Galois groups.
More generally, it states that for a local field $F$ and a reductive group $G$, the isomorphism classes of irreducible admissible representations of $G(F)$ are partitioned into L-packets by the equivalence classes of L-parameters.
We discuss some of the basic definitions, see also Tate 77.
Throughout:
$F$ is a p-adic field with $\kappa$ denoting its residue field;
$G$ is a reductive group.
(irreducible and admissible representations) A linear representation of $G(F)$ on a vector space $V$ is called:
irreducible if the only $G(F)$-invariant subspaces are $0$ and $V$.
admissible if for any open subgroup $U$ of $G(F)$ the fixed subspace $V^{U}$ is finite-dimensional.
(Weil group)
The Weil group $W_F$ is the subgroup of the Galois group $\mathrm{Gal}(\overline{F}/F)$ defined as the inverse image of Frobenius automorphisms $\mathrm{Frob}^{\mathbb{Z}}\subset \mathrm{Gal}(\overline{\kappa}/\kappa)$ under the surjective map $\mathrm{Gal}(\overline{F}/F)\to\mathrm{Gal}(\overline{\kappa}/\kappa)$.
(Weil-Deligne representation)
A Weil-Deligne representation is a pair $(\rho_{0},N)$ where $\rho_{0}:W_{F}\to GL_{n}(\mathbb{C})$ is a representation of the Weil group (Def. ) and $N$ is a nilpotent monodromy operator satisfying $\rho_{0}(\sigma)N\rho_{0}(\sigma)^{-1}=\left\Vert\sigma\right\Vert N$ for all $\sigma\in W_{F}$, where $\Vert\sigma\Vert$ is the valuation of the corresponding element of $F^{\times}$ under the isomorphism of local class field theory.
Let $F$ be a $p$-adic field. The only irreducible admissible representations of $GL_1(F)$ ($=F^\times$) are continuous group homomorphisms $\chi:F^\times\to\mathbb{C}^{\times}$. The $1$-dimensional Weil-Deligne representations $(\rho_{0},N)$ of $W_F$ must have monodromy operator $N=0$ and must factor through the abelianization $W_F^{\mathrm{ab}}$. The local Langlands correspondence in this case is the same as local class field theory, and sends $\chi$ to the Weil-Deligne representation $(\rho_{0},0)$, where $\rho_{0}$ is the composition $W_{F}\to W_{F}^{\mathrm{ab}}\xrightarrow{\mathrm{rec}^{-1}}F^{\times}\xrightarrow{\chi}\mathbb{C}^{\times}$, with $\mathrm{rec}:F^{\times}\xrightarrow{\sim}W_{F}^{\mathrm{ab}}$ being the Artin reciprocity map of local class field theory.
Let $F$ be a $p$-adic field, $p\neq 2$. Given continuous admissible characters $\chi_{1}$ and $\chi_{2}$, we define $I(\chi_{1},\chi_{2})$ to be the vector space of function $\phi:GL_{2}(F)\to \mathbb{C}$ which are locally constant with respect to the $p$-adic topology on $GL_{2}(F)$ and satisfying
Letting $GL_2(F)$ act on this by translation gives us a representation of $GL_2(F)$. This representation is said to belong to the principal series.
Whether a principal series is irreducible or not is governed by the following theorem:
[Bernstein-Zelevinsky]
If $\chi_{1}/\chi_{2}\neq\Vert\cdot\Vert^{\pm 1}$ then $I(\chi_{1},\chi_{2})$ is irreducible.
If $\chi_{1}/\chi_{2}=\Vert\cdot\Vert^{1}$ then we have an exact sequence
where $\rho$ is the $1$-dimensional representation of $GL_2(F)$ given by $\chi_{1}\Vert\cdot\Vert^{1/2}\det$, and $S(\chi_{1},\chi_{2})$ is an irreducible representation.
If $\chi_{1}/\chi_{2}=\Vert\cdot\Vert^{-1}$ then we have an exact sequence
with $\rho$ and $S(\chi_{1},\chi_{2})$ as above.
Therefore the irreducible admissible representations of $GL_2(F)$ are the following:
Principal series representations $I(\chi_{1},\chi_{2})$ for $\chi_{1}/\chi_{2}\neq \Vert\cdot\Vert^{\pm 1}$.
Special representations $S(\chi_{1},\chi_{1}\times\Vert\cdot\Vert)$.
$1$-dimensional representations $\chi\circ\det$.
“Base change” representations $BC_{E}^{F}(\psi)$ for $E$ a quadratic extension of $F$ and $\psi$ an admissible character $\psi:E\to\mathbb{C}^{\times}$.
Let $\rho_{i}:W_{F}\to \mathbb{C}^{\times}$ be the representation of the Weil group associated to the character $\chi_{i}:F^{\times}\to \mathbb{C}^{\times}$ by the local Langlands correspondence for $GL_1$. Then the local Langlands correspondence associates to each irreducible admissible representation of $GL_2(F)$ a $2$-dimensional Weil-Deligne representation as follows:
To the principal series representation $I(\chi_{1},\chi_{2})$ we associate the Weil-Deligne representation $(\rho_{1}\oplus\rho_{2},0)$.
To the special representation $S(\chi_{1},\chi_{1}\times\Vert\cdot\Vert)$, we associate the Weil-Deligne representation $\left(\begin{pmatrix}\Vert\cdot\Vert\rho_{1} & 0\\0 & \rho_{1}\end{pmatrix},\begin{pmatrix} 0 & 1\\0 & 0\end{pmatrix}\right)$.
To the $1$-dimensional representation $\chi_{1}\circ\det$, we associate the Weil-Deligne representation $\left(\begin{pmatrix}\rho_{1}\times\Vert\cdot\Vert^{1/2} & 0\\0 & \rho_{1}\times\Vert\cdot\Vert^{-1/2}\end{pmatrix},0\right)$.
To the “base change” representation $BC_{E}^{F}(\psi)$ we associate the Weil-Deligne representation ($Ind_{W_{E}}^{W_{F}}\sigma,0$), where $\sigma$ is the unique nontrivial element of $\mathrm{Gal}(E/F)$.
Fargues-Scholze have developed a geometric approach to the local Langlands conjecture in FarguesScholze21. In this formulation the local Langlands correspondence is expressed as an equivalence between the category of certain $\ell$-adic sheaves on the moduli stack $\mathrm{Bun}_{G}$ of $G$-torsors on the Fargues-Fontaine curve on one hand, and the category of certain coherent sheaves on the moduli stack of L-parameters in the other (compare geometric Langlands correspondence). More precisely:
There is an equivalence
of stable $\infty$-categories equipped with actions of $\Perf(Z^{1}(W_{F},\widehat{G})_{\mathcal{O}_{L}}/\widehat{G})$.
Fargues-Scholze are also able to associate an L-parameter $\varphi_{A}:W_{F}\to\widehat{G}(\mathbb{Q}_{\ell})$ to a Schur object $A$ in $D(\mathrm{Bun}_{G},\overline{\mathbb{Q}}_{\ell})$ using the method of V. Lafforgue involving excursion operators.
The $p$-adic (resp. mod $p$) local Langlands correspondence concerns $p$-adic (resp. mod $p$) representations of the absolute Galois group of a $p$-adic field $F$, as opposed to complex Weil-Deligne or $\ell$-adic representations. It is related to p-adic Hodge theory. Currently the only known case is the case $GL_2(\mathbb{Q}_{p})$, see also Breuil2010.
See also:
Wikipedia, Local Langlands conjectures.
Colin Bushnell, Guy Henniart, The local Langlands conjecture for $GL(2)$
Topics on Automorphic Forms, course notes by Chao Li from a course taught by Jack Thorne
Basic definitions are discussed in:
An approach via the Fargues-Fontaine curve:
The $p$-adic and mod $p$ local Langlands correspondence is discussed in:
Last revised on April 23, 2021 at 22:48:55. See the history of this page for a list of all contributions to it.