Table of Contents
Fetching ...

On the structure of modular principal series representations of $\mathrm{GL}_2$ over some finite rings

Michael M. Schein, Re'em Waxman

Abstract

The submodule structure of mod $p$ principal series representations of $\mathrm{GL}_2(k)$, for $k$ a finite field of characteristic $p$, was described by Bardoe and Sin and has played an important role in subsequent work on the mod $p$ local Langlands correspondence. The present paper studies the structure of mod $p$ principal series representations of $\mathrm{GL}_2(\mathcal{O} / \mathfrak{m}^n)$, where $\mathcal{O}$ is the ring of integers of a $p$-adic field $F$ and $\mathfrak{m}$ its maximal ideal. In particular, the multiset of Jordan-Hölder constituents is determined. In the case $n = 2$, more precise results are obtained. If $F / \mathbb{Q}_p$ is totally ramified, the submodule structure of the principal series is determined completely. Otherwise the submodule structure is infinite. When $F$ is ramified but not totally ramified, the socle and radical filtrations are determined and a specific family of submodules, providing a filtration of the principal series with irreducible quotients, is studied; this family is closely related to the image of a functor of Breuil. In the case of unramified $F$, the structure of a particular submodule of the principal series is studied; this provides a more precise description of the structure of a module constructed by Breuil and Pauskūnas in the context of their work on diagrams giving rise to supersingular mod $p$ representations of $\mathrm{GL}_2(F)$.

On the structure of modular principal series representations of $\mathrm{GL}_2$ over some finite rings

Abstract

The submodule structure of mod principal series representations of , for a finite field of characteristic , was described by Bardoe and Sin and has played an important role in subsequent work on the mod local Langlands correspondence. The present paper studies the structure of mod principal series representations of , where is the ring of integers of a -adic field and its maximal ideal. In particular, the multiset of Jordan-Hölder constituents is determined. In the case , more precise results are obtained. If is totally ramified, the submodule structure of the principal series is determined completely. Otherwise the submodule structure is infinite. When is ramified but not totally ramified, the socle and radical filtrations are determined and a specific family of submodules, providing a filtration of the principal series with irreducible quotients, is studied; this family is closely related to the image of a functor of Breuil. In the case of unramified , the structure of a particular submodule of the principal series is studied; this provides a more precise description of the structure of a module constructed by Breuil and Pauskūnas in the context of their work on diagrams giving rise to supersingular mod representations of .

Paper Structure

This paper contains 35 sections, 58 theorems, 87 equations, 1 figure.

Key Result

Theorem 1.1

For each $\beta = (\beta_0, \dots, \beta_{f-1}) \in S$, the subspace $W_\beta$ is a $\mathrm{GL}_2(\mathcal{O} / \mathfrak{m}^n)$-submodule of $I_n(\chi)$. Moreover, there is an isomorphism of $\mathrm{GL}_2(\mathcal{O} / \mathfrak{m}^n)$-modules where $\mathrm{GL}_2(\mathcal{O} / \mathfrak{m}^n)$ acts on the right-hand side via its natural projection to $\mathrm{GL}_2(\mathcal{O} / \mathfrak{m}^

Figures (1)

  • Figure 1: Submodule structure of $V_{2,r}$ for $F / \mathbb{Q}_p$ totally ramified, $r$ odd

Theorems & Definitions (129)

  • Theorem 1.1
  • Theorem 1.2
  • Theorem 1.3
  • Theorem 1.4
  • Theorem 1.5
  • Lemma 2.1
  • proof
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • ...and 119 more