On Ribet’s lemma for GL$$_2$$ modulo prime powers

Amit Ophir,Ariel Weiss
DOI: https://doi.org/10.1007/s40687-023-00419-6
2024-02-14
Research in the Mathematical Sciences
Abstract:Abstract Let $$\rho :G\rightarrow {{\,\textrm{GL}\,}}_2(K)$$ ρ : G → 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}$$ O and uniformiser $$\pi $$ π . We prove that $${{\,\textrm{tr}\,}}\rho $$ tr ρ is reducible modulo $$\pi ^n$$ π n if and only if $$\rho $$ ρ is reducible modulo $$\pi ^n$$ π n . More precisely, there exist characters $$\chi _1,\chi _2 :G\rightarrow (\mathcal {O}/\pi ^n\mathcal {O})^\times $$ χ 1 , χ 2 : G → ( O / π n O ) × such that $$\det (t - \rho (g))\equiv (t-\chi _1(g))(t-\chi _2(g))\pmod {\pi ^n}$$ det ( t - ρ ( g ) ) ≡ ( t - χ 1 ( g ) ) ( t - χ 2 ( g ) ) ( mod π n ) for all $$g\in G$$ g ∈ G , if and only if there exists a G -stable lattice $$\Lambda \subseteq K^2$$ Λ ⊆ K 2 such that $$\Lambda /\pi ^n\Lambda $$ Λ / π n Λ contains a G -invariant, free, rank one $$\mathcal {O}/\pi ^n\mathcal {O}$$ O / π n O -submodule. Our result applies in the case that $$\rho $$ ρ is not residually multiplicity-free, in which case it answers a question of Bellaïche and Chenevier (J Algebra 410:501–525, 2014, pp. 524). 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$$ χ 2 by $$\chi _1$$ χ 1 .
mathematics
What problem does this paper attempt to address?