On deformation rings of residual Galois representations with three Jordan-Holder factors and modularity
Xiaoyu Huang
TL;DR
The paper extends deformation theory of Galois representations to the case with three Jordan--Holder factors, proving that under precise Selmer-group conditions the Fontaine--Laffaille at $p$ deformation ring $R$ is a DVR and establishing an $R = T$ theorem in a broad setting. The approach harnesses pseudorepresentations and generalized matrix algebras to analyze the totally reducible locus via the reducibility ideal $I^{ ext{tot}}$, and uses lattice techniques to guarantee non-split extensions in prescribed directions. It then applies these structural results to two substantial arithmetic applications: (i) abelian surfaces with a rational $p$-isogeny, where $R$ is DVR and a unique isogeny class emerges, and (ii) automorphic forms congruent to Ikeda lifts, where the $oldsymbol{oldlambda}$-part of Bloch--Kato conjecture yields modularity and an $R=T$ theorem. Collectively, the work provides a scalable framework for modularity and deformation questions beyond two-Jordan–Holder-factor cases, with concrete consequences for abelian surfaces and Ikeda-type automorphic lifts.
Abstract
In this paper, we study Fontaine-Laffaille, self-dual deformations of a mod p non-semisimple Galois representation of dimension n with its Jordan-Holder factors being three mutually non-isomorphic absolutely irreducible representations. We show that under some conditions regarding the orders of certain Selmer groups, the universal deformation ring is a discrete valuation ring. Given enough information on the Hecke algebra, we also prove an R = T theorem in the general context. We then apply our results to abelian surfaces with cyclic rational isogenies and certain 6-dimensional representations arising from automorphic forms congruent to Ikeda lifts. Assuming the Bloch-Kato conjecture, our result identifies special L-value conditions for the existence of a unique abelian surface isogeny class and an R = T theorem for certain 6-dimensional Galois representations.
