On Ribet's lemma for GL₂ modulo prime powers

DOI10.1007/S40687-023-00419-6MaRDI QIDQ6202881zbMATH OpenWikidataFDO

Authors Amit Ophir, A. Weiss

Publication date 27 February 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

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)

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$.

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

Cites work

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