On Ribet's lemma for GL₂ modulo prime powers

DOI10.1007/S40687-023-00419-6arXiv2111.01559WikidataQ124801732 ScholiaQ124801732MaRDI QIDQ6202881FDOQ6202881

Authors: Amit Ophir, A. Weiss 

Publication date: 27 February 2024

Published in: Research in the Mathematical Sciences (Search for Journal in Brave)

Abstract: Let $hocolonGomathrm{GL}_2(K)$ be a continuous representation of a compact group $G$ over a complete discretely valued field $K$, ring of integers $mathcalO$ and uniformiser $pi$. We prove that $operatornametrho$ is reducible modulo $p{i}^n$ if and only if $ho$ is reducible modulo $p{i}^n$. More precisely, there exist characters $ch{i}_1,ch{i}_{2}colonGo(mathcalO/p{i}^{n}mathcalO{)}^{imes}$ such that $det(t-ho(g))equiv(t-ch{i}_1(g))(t-ch{i}_2(g))pmodp{i}^n$ for all $ginG$, if and only if there exists a $G$-stable lattice $Lambdasubset{K}^2$ such that $Lambda/p{i}^{n}Lambda$ contains a $G$-invariant, free, rank $1$ $mathcalO/p{i}^{n}mathcalO$-submodule. This 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 $ch{i}_2$ by $ch{i}_1$.

Full work available at URL: https://arxiv.org/abs/2111.01559

Recommendations

• On a lemma of Ribet.
• On the modularity of certain 2-adic Galois representations
• Strong modularity of reducible Galois representations
• Highly reducible Galois representations attached to the homology of \(\mathrm{GL}(n,\mathbb{Z})\)
• Residually reducible representations and modular forms

zbMATH Keywords

Bruhat-Tits treesrepresentations over discretely valued fieldsRibet's lemma

Mathematics Subject Classification ID

Elliptic curves over global fields (11G05) Groups acting on trees (20E08) (p)-adic representations of finite groups (20C11) Linear algebraic groups over local fields and their integers (20G25) Integral representations (11S23)

Cites Work

• Families of Galois representations and Selmer groups
• Title not available (Why is that?)
• The Iwasawa Main Conjectures for \(\mathrm{GL}_{2}\)
• Title not available (Why is that?)
• Subgroups of \(\mathrm{GL}_2\) and trees.
• Galois properties of torsion points on abelian varieties
• Powerful \(p\)-groups. II: \(p\)-adic analytic groups
• The Iwasawa conjecture for totally real fields
• The \(p\)-adic analytic space of pseudocharacters of a profinite group and pseudorepresentations over arbitrary rings
• A modular construction of unramified p-extensions of \(\mathbb{Q}(\mu_p)\)
• On a lemma of Ribet.
• Representations on a complete discrete valuation ring.
• On residually reducible representations on local rings
• Tetrahedral elliptic curves and the local-global principle for isogenies
• Selmer groups and the Eisenstein-Klingen ideal.
• A local-global principle for rational isogenies of prime degree
• A classification of isogeny-torsion graphs of \(\mathbb{Q}\)-isogeny classes of elliptic curves
• A local-global principle for isogenies of prime degree over number fields
• A local-global principle for isogenies of composite degree
• Residually reducible representations of algebras over local Artinian rings

This page was built for publication: On Ribet's lemma for \(\mathrm{GL}_2\) modulo prime powers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6202881)