On Ribet's Lemma for $\mathrm{GL}_2$ modulo prime powers

TL;DR

This paper establishes a criterion linking the reducibility of a 2-dimensional Galois representation modulo prime powers to the existence of certain G-stable lattices, extending Ribet's Lemma to non-residually multiplicity free cases.

Contribution

It proves an optimal version of Ribet's Lemma for $ ext{GL}_2$ modulo prime powers, addressing cases where the residual representation is not multiplicity free.

Findings

Proves equivalence between trace reducibility and representation reducibility modulo $oldsymbol{ ext{pi}^n}$.

Provides conditions for the existence of G-stable lattices realizing non-split extensions.

Answers a question of Bella"iche--Chenevier regarding non-residually multiplicity free representations.

Abstract

Let $\rho\colon G\to \mathrm{GL}_2(K)$ be a continuous representation of a compact group $G$ over a complete discretely valued field $K$, with ring of integers $\mathcal O$ and uniformiser $\pi$. We prove that $\operatorname{tr}\rho$ is reducible modulo $\pi^n$ if and only if $\rho$ is reducible modulo $\pi^n$. More precisely, there exist characters $\chi_1,\chi_2 \colon G\to(\mathcal O/\pi^n\mathcal O)^{\times}$ such that $\det(t - \rho(g))\equiv (t-\chi_1(g))(t-\chi_2(g))\pmod{\pi^n}$ for all $g\in G$, if and only if there exists a $G$-stable lattice $\Lambda\subset K^2$ such that $\Lambda/\pi^n\Lambda$ contains a $G$-invariant, free, rank one $\mathcal O/\pi^n\mathcal O$-submodule. Our result applies in the case that $\rho$ is not residually multiplicity free, in which case it answers a question of Bella\"iche--Chenevier. As an application, we prove an optimal version of Ribet's Lemma, which gives a condition for the existence of a $G$-stable lattice $\Lambda$ that realises a non-split extension of $\chi_2$ by $\chi_1$