The mod p local Langlands correspondence for GL_2(Q_p)

In The Local Langlands Correspondence for General Linear Groups, we stated the local Langlands correspondence for \mathrm{GL}_n(F) where F is a finite extension of \mathbb{Q}_{p}. We recall that it states that there is a one-to-one correspondence between irreducible admissible representations of \mathrm{GL}_{n}(F) and F-semisimple Weil-Deligne representations of \mathrm{Gal}(\overline{F}/F). Here all the relevant representations are over \mathbb{C}.

In this post, we will consider representations over a finite field \mathbb{F} of characteristic p. While we may hope that some sort of “mod p local Langlands correspondence” will also hold in this case, at the moment all we know is the case of \mathrm{GL}_{2}(\mathbb{Q}_{p}), which we will discuss in this post. It is a sort of stepping stone to the “p-adic local Langlands correspondence” (where the representations are over some extension of \mathbb{Q}_{p}), which, as in the mod p case, is only known for the case of \mathrm{GL}_{2}(\mathbb{Q}_{p}). The p-adic local Langlands correspondence for \mathrm{GL}_{2}(\mathbb{Q}_{p}) plays an important role in the proofs of the known cases of the Fontaine-Mazur conjecture, which concerns when a Galois representation comes from the etale cohomology of some variety.

Let us start by discussing some representation theory of \mathrm{GL}_{2}(\mathbb{Q}_{p}) over \mathbb{F}. This will be somewhat similar to our discussion in The Local Langlands Correspondence for General Linear Groups, as we will see later when we state the classification of the irreducible admissible smooth representations of \mathrm{GL}_{2}(\mathbb{Q}_{p}), but we will also need some new ingredients.

A Serre weight is an absolutely irreducible representation (absolutely irreducible means it is irreducible over the algebraic closure of \mathbb{F}) of \mathrm{GL}_{2}(\mathbb{F}_{p}) over \mathbb{F}. This is the same as an absolutely irreducible smooth representation of \mathrm{GL}_{2}(\mathbb{Z}_{p}) over \mathbb{F}.

Serre weights are completely classified and can be explicitly described. Let r\in\lbrace 0,\ldots,p-1\rbrace and let s\in \lbrace 0,\ldots, p-2\rbrace. Then a Serre weight is always of the form \mathrm{Sym}^{r}\mathbb{F}^{2}\otimes\mathrm{det}^{s}.

The name “Serre weight” originates from its relationship to Serre’s modularity conjecture, which is a conjecture about when a residual representation comes from a modular form, and what the level and the weight of the modular form should be. Avner Ash and Glenn Stevens made the observation that a residual representation \overline{\rho} is modular of weight k (k\geq 2) and level \Gamma_{1}(N) if and only if H^{1}(\Gamma_{1}(N),\mathrm{Sym}^{k-2}\mathbb{F}^{2})_{\mathfrak{m}_{\overline{\rho}}} (here \mathfrak{m}_{\overline{\rho}} is a certain maximal ideal of the Hecke algebra associated to \overline{\rho}) is nonzero.

For convenience, from here on in this post we shall consider Serre weights not just as representations of \mathrm{GL}_{2}(\mathbb{Z}_{p}) but as representations of \mathrm{GL}_{2}(\mathbb{Z}_{p})\mathbb{Q}_{p}^{\times}, which sends the uniformizer of \mathbb{Q}_{p} to 1.

Serre weights are important because from them we can obtain induced representations of \mathrm{GL}_{2}(\mathbb{Q}_{p}). Let \mathrm{c-Ind}_{\mathrm{GL}_{2}(\mathbb{Z}_{p})\mathbb{Q}_{p}^{\times}}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\sigma be the representation of \mathrm{GL} _{2}(\mathbb{Q}_{p}) coming from compactly supported functions from \mathrm{GL}_{2}(\mathbb{Q}_{p}) to \sigma which satisfy f(kg)=\sigma(k)f(g).

The endomorphisms of \mathrm{c-Ind}_{\mathrm{GL}_{2}(\mathbb{Z}_{p})\mathbb{Q}_{p}^{\times}}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\sigma form the Hecke algebra, which is isomorphic to \mathbb{F}[T]. In other words, we can consider \mathrm{c-Ind}_{\mathrm{GL}_{2}(\mathbb{Z}_{p})\mathbb{Q}_{p}^{\times}}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\sigma as a module over \mathbb{F}[T], and we can take the quotient (\mathrm{c-Ind}_{\mathrm{GL}_{2}(\mathbb{Z}_{p})\mathbb{Q}_{p}^{\times}}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\sigma)/(T). This quotient is irreducible, and it is an important class of absolutely irreducible admissible smooth representations of \mathrm{GL}_{2}(\mathbb{Q}_{p}) called the supersingular representations.

The rest of the absolutely irreducible admissible smooth representations of \mathrm{GL}_{2}(\mathbb{Q}_{p}) are very similar to what we discussed in The Local Langlands Correspondence for General Linear Groups. Namely, they can be obtained from principal series representations, which are induced representations of characters from the Borel subgroup B(\mathbb{Q}_{p}) of \mathrm{GL}_{2}(\mathbb{Q}_{p}) (i.e. the upper-triangular matrices in \mathrm{GL}_{2}(\mathbb{Q}_{p})).

To recall, the principal representations are \mathrm{Ind}_{B(\mathbb{Q}_{p})}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\chi_{1}\otimes\chi_{2}, which means they come from functions f:\mathrm{GL}_{2}(\mathbb{Q}_{p})\to\mathbb{F} such that f(hg)=\chi_{1}\otimes\chi_{2}(h)f(g) for h\in B(\mathbb{Q}_{p}) and g\in\mathrm{GL}_{2}(\mathbb{Q}_{p}), where \chi_{1} and \chi_{2} are characters of \mathbb{Q}_{p}^{\times}, and \chi_{1}\otimes\chi_{2} as a function on B(\mathbb{Q}_{p}) means it sends an element \begin{pmatrix}a& b\\0& d\end{pmatrix} of B(\mathbb{Q}_{p}) to \chi_{1}(a)\otimes \chi_{2}(d).

In the case that \chi_{1}\neq\chi_{2}, the principal series representations will be absolutely irreducible, in which case we obtain another class of absolutely irreducible admissible smooth representations. Otherwise, we may obtain absolutely irreducible representations as a quotient. These will be twists (this means a tensor product by a character) of the Steinberg representation, which is defined as the quotient \mathrm{Ind}_{B(\mathbb{Q}_{p})}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}(1\otimes 1)/\mathbf{1} (here \mathbf{1} is the trivial representation of \mathrm{GL}_{2}(\mathbb{Q}_{p})). This gives a third class of absolutely irreducible admissible representations. Finally we have the characters, which give a fourth class.

In summary, the absolutely irreducible admissible smooth representations of \mathrm{GL}_{2}(\mathbb{Q}_{p}) over \mathbb{F} can be classified into the following four kinds as follows:

  • One-dimensional representations (characters) \delta: \mathrm{GL}_{2}(\mathbb{Q}_{p})\to\mathbb{F}^{\times}
  • Principal series representations \mathrm{Ind}_{B(\mathbb{Q}_{p})}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\chi_{1}\otimes\chi_{2} for \chi_{1},\chi_{2}: \mathbb{Q}_{p}^{\times}\to\mathbb{F^{\times}}, \chi_{1}\neq\chi_{2}
  • Twists of Steinberg representations \delta\otimes\mathrm{Ind}_{B(\mathbb{Q}_{p})}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}(1\otimes 1)/\mathbf{1} for \delta:\mathrm{GL}_{2}(\mathbb{Q}_{p})\to\mathbb{F}^{\times}
  • Supersingular representations (\mathrm{c-Ind}_{\mathrm{GL}_{2}(\mathbb{Z}_{p})\mathbb{Q}_{p}^{\times}}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\sigma)/(T) for \sigma a Serre weight

Let us now discuss the other side of the correspondence, the “Galois side”. For ease of notation let us also denote \mathrm{Gal}(\overline{\mathbb{Q}}_{p}/\mathbb{Q}_{p}) by G_{\mathbb{Q}_{p}}.

Let g be an element of the inertia subgroup of G_{\mathbb{Q}_{p}}. Serre’s level 2 fundamental character \omega_{2} is given by composing the map

\displaystyle g\mapsto \frac{g(\sqrt[p^{2-1}]{-p})}{\sqrt[p^{2-1}]{-p}}

which takes values in \mathbb{\mu}_{p^{2}-1} with the isomorphism \mu_{p^{2}-1}\xrightarrow{\sim}\mathbb{F}_{p^{2}}^{\times}.

Let h be a natural number which is mutually prime to p+1. We have that \mathrm{Ind}_{G_{\mathbb{Q}_{p^{2}}}}^{G_{\mathbb{Q}_{p}}}\omega_{2}^{h} is an irreducible 2-dimensional representation of G_{\mathbb{Q}_{p}}. In fact, any absolutely irreducible representation of G_{\mathbb{Q}_{p}} over \mathbb{F} is of this form, possibly tensored with the unramified character \lambda_{a} which takes the inverse of the Frobenius to a\in\mathbb{F}^{\times}.

The mod p local Langlands correspondence is now the bijection described explicitly as follows:

To the supersingular representation (\mathrm{c-Ind}_{\mathrm{GL}_{2}(\mathbb{Z}_{p})\mathbb{Q}_{p}^{\times}}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\sigma)/(T) where \sigma=\mathrm{Sym}^{r}\mathbb{F}^{2}, we associate the Galois representation \mathrm{Ind}_{G_{\mathbb{Q}_{p^{2}}}}^{G_{\mathbb{Q}_{p}}}\omega^{r+1}.

To the representation \pi which is obtained as the extension 0\to\mathrm{Ind}_{B(\mathbb{Q}_{p})}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\chi_{1}\otimes\chi_{2}\varepsilon^{-1}\to\pi\to \mathrm{Ind}_{B(\mathbb{Q}_{p})}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}\chi_{2}\otimes\chi_{1}\varepsilon^{-1}\to 0 we associate the Galois representation \overline{\rho} which is obtained as an extension 0\to\chi_{1}\to\overline{\rho}\to\chi_{2}\to 0. Here \varepsilon is the reduction mod p of the p-adic cyclotomic character, and \chi_{1} and \chi_{2} are characters \mathbb{Q}_{p}^{\times}\to\mathbb{F}^{\times} which are not equal to each other nor to the product of the other by the p-adic cyclotomic character or its inverse.

The p-adic local Langlands correspondence, which, as stated earlier concerns representations over some finite extension of \mathbb{Q}_{p} and is important in the Fontaine-Mazur conjecture, needs to be compatible with the mod p local Langlands correspondence as well. Its statement is more involved than the mod p local Langlands correspondence, and its proof involves (\varphi,\Gamma)-modules. We reserve further discussion of the p-adic local Langlands correspondence to future posts.


The emerging p-adic Langlands programme by Christophe Breuil

Representations of Galois and of GL_2 in characteristic p by Christophe Breuil

Towards a modulo p Langlands correspondence for GL_2 by Christophe Breuil and Vytautas Paskunas


2 thoughts on “The mod p local Langlands correspondence for GL_2(Q_p)

  1. Pingback: Moduli Stacks of (phi, Gamma)-modules | Theories and Theorems

  2. Pingback: Completed Cohomology and Local-Global Compatibility | Theories and Theorems

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s