GL₂(mathbb{Q}_p)-ordinary families and automorphy lifting
Pith reviewed 2026-05-24 20:31 UTC · model grok-4.3
The pith
Automorphy lifting holds for essentially conjugate self-dual p-adic Galois representations over CM fields when p splits and local restrictions at p are reducible with small factors.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By establishing an R=T-type result over the GL2(Qp)-ordinary families of Breuil-Ding, the paper shows that certain essentially conjugate self-dual p-adic Galois representations over CM fields F, with p splitting in F and reducible local restrictions at p having small Jordan-Hölder factors, are automorphic. Additional results are obtained for Breuil's locally analytic socle conjecture in non-trianguline cases.
What carries the argument
The R=T result established inside the GL_2(Q_p)-ordinary families of Breuil-Ding, which carries the patching argument for the lifting theorems.
If this is right
- Automorphy lifting theorems apply directly to the specified class of Galois representations over CM fields.
- Some instances of Breuil's locally analytic socle conjecture hold in non-trianguline cases.
- The R=T results inside ordinary families provide a new route to automorphy lifting beyond previously treated settings.
Where Pith is reading between the lines
- If the ordinary families can be enlarged to cover additional local conditions at p, similar lifting theorems might apply to wider classes of representations.
- The approach may connect to other parts of the Langlands correspondence by providing new ways to match Galois representations to automorphic forms over CM fields.
- Further development could test whether the same families yield results on related conjectures such as the global Langlands correspondence in higher rank.
Load-bearing premise
The ordinary families must satisfy the necessary local and global properties required for the patching argument in the R=T proof.
What would settle it
A concrete counterexample would be a Galois representation satisfying all the stated conditions on F, rho, and the local restrictions at p that is nevertheless shown not to be automorphic, or an explicit failure of the R=T equality inside one of the Breuil-Ding ordinary families.
read the original abstract
We prove automorphy lifting results for certain essentially conjugate self-dual $p$-adic Galois representations $\rho$ over CM imaginary fields $F$, which satisfy in particular that $p$ splits in $F$, and that the restriction of $\rho$ on any decomposition group above $p$ is reducible with all the Jordan-H\"older factors of dimension at most $2$. We also show some results on Breuil's locally analytic socle conjecture in certain non-trianguline case. The main results are obtained by establishing an $R=\mathbb{T}$-type result over the $\mathrm{GL}_2(\mathbb{Q}_p)$-ordinary families considered by Breuil-Ding.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to prove automorphy lifting results for certain essentially conjugate self-dual p-adic Galois representations ρ over CM imaginary fields F (with p splitting in F and ρ restricted to any decomposition group at p being reducible with all Jordan-Hölder factors of dimension at most 2). It also claims results on Breuil's locally analytic socle conjecture in certain non-trianguline cases. Both are obtained by establishing an R=T-type result over the GL₂(ℚ_p)-ordinary families considered by Breuil-Ding.
Significance. If the R=T result holds inside the Breuil-Ding families and feeds a valid patching argument, the work would extend automorphy lifting to a class of representations with reducible local conditions at p (beyond the usual irreducible or trianguline settings). The explicit use of existing ordinary families and standard patching techniques is a positive feature that keeps the argument within the scope of current methods.
major comments (1)
- The central R=T result over the GL₂(ℚ_p)-ordinary families is load-bearing for all stated lifting theorems, yet the provided text supplies no equations, local-condition verifications, or multiplicity-one statements that would allow checking whether the families satisfy the required global and local properties used in the patching argument.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting the need for greater explicitness around the central R=T result. We address the major comment below and will revise the paper accordingly.
read point-by-point responses
-
Referee: The central R=T result over the GL₂(ℚ_p)-ordinary families is load-bearing for all stated lifting theorems, yet the provided text supplies no equations, local-condition verifications, or multiplicity-one statements that would allow checking whether the families satisfy the required global and local properties used in the patching argument.
Authors: We agree that the manuscript would benefit from more explicit detail on this point. The R=T isomorphism is established by adapting the Breuil-Ding ordinary families to the essentially conjugate self-dual setting with the given reducible local conditions at p (JH factors of dimension ≤2). The local conditions at primes above p are inherited directly from the Breuil-Ding construction and are verified to be compatible with the global patching setup in the CM field case (p split in F). Multiplicity one follows from the fact that the ordinary Hecke algebras in these families are étale over the weight space after the R=T identification. Nevertheless, the current text does not spell out the equations or the verifications in sufficient detail for independent checking. In the revised version we will add an expanded subsection (likely in Section 3) containing the explicit local-condition statements, the relevant multiplicity-one result, and the precise form of the patched module used in the argument. revision: yes
Circularity Check
No significant circularity
full rationale
The derivation chain rests on establishing a new R=T result inside the GL2(Qp)-ordinary families of Breuil-Ding, then feeding that into standard patching for automorphy lifting. The abstract presents the R=T step as the novel contribution rather than a re-derivation or fit of the input families themselves. No equations or sections are supplied that reduce any claimed prediction to a fitted parameter or to a self-citation chain by construction. Reliance on the prior Breuil-Ding families is external to the new result and does not trigger any of the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Potential automorphy and change of weight
Thomas Barnet-Lamb, Toby Gee, David Geraghty, and Richa rd Taylor. Potential automorphy and change of weight. Annals of Mathematics , 179(2):501–609, 2014
work page 2014
-
[2]
A family of calabi- yau varieties and potential automorphy ii
Tom Barnet-Lamb, David Geraghty, Michael Harris, and Ri chard Taylor. A family of calabi- yau varieties and potential automorphy ii. Publications of the Research Institute for Mathe- matical Sciences Kyoto , 47:29–98, 2011
work page 2011
-
[3]
Families of Galois representations and Selmer groups
Jo¨ el Bella ¨ ıche and Ga¨ etan Chenevier. Families of Galois representations and Selmer groups. Ast´ erisque, 324:1–314, 2009
work page 2009
-
[4]
Sur quelques repr ´ esentations potentiellement cristallines de GL 2(Qp)
Laurent Berger and Christophe Breuil. Sur quelques repr ´ esentations potentiellement cristallines de GL 2(Qp). Ast´ erisque, 330:155–211, 2010
work page 2010
-
[5]
Vers le socle localement analytique pour GLn, II
Christophe Breuil. Vers le socle localement analytique pour GLn, II. Mathematische Annalen , 361:741–785, 2015
work page 2015
-
[6]
Vers le socle localement analytique pour GL n, I
Christophe Breuil. Vers le socle localement analytique pour GL n, I. Annales de l’Institut Fourier, 66:633–685, 2016
work page 2016
-
[7]
Higher $\mathcal{L}$-invariants for $\mathrm{GL}_3(\mathbb{Q}_p)$ and local-global compatibility
Christophe Breuil and Yiwen Ding. Higher L-invariants for GL 3(Qp) and local-global compat- ibility. arXiv preprint arXiv:1803.10498
work page internal anchor Pith review Pith/arXiv arXiv
-
[8]
A local model for the trianguline variety and applications
Christophe Breuil, Eugen Hellmann, and Benjamin Schrae n. A local model for the trianguline variety and applications. 2017. to appear in Publications math´ ematiques de l’IH´ES
work page 2017
-
[9]
Smoothness and classicality on eigenvarieties
Christophe Breuil, Eugen Hellmann, and Benjamin Schrae n. Smoothness and classicality on eigenvarieties. Inventiones mathematicae, 209(1):197–274, 2017
work page 2017
-
[10]
Towards the finit e slope part for GL n
Christophe Breuil and Florian Herzig. Towards the finit e slope part for GL n. 2018. to appear in Int. Math. Res. Not
work page 2018
-
[11]
Winferied Bruns and J¨ rgen Herzog. Cohen-Macaulay rings. Number 39. Cambridge university press, 1998
work page 1998
-
[12]
Monodromy and local-global compatibili ty for ℓ =p
Ana Caraiani. Monodromy and local-global compatibili ty for ℓ =p. Algebra Number Theory , 8:1597–1646, 2014
work page 2014
-
[13]
Patching and the p-adic local Langlands correspondence
Ana Caraiani, Matthew Emerton, Toby Gee, David Geraght y, Vytautas Paˇ sk¯ unas, and Sug Woo Shin. Patching and the p-adic local Langlands correspondence. Cambridge jour- nal of mathematics , 4(2):197–287, 2016
work page 2016
-
[14]
Patching and the p-adic langlands program for G L2(Qp)
Ana Caraiani, Matthew Emerton, Toby Gee, David Geraght y, Vytautas Paˇ sk¯ unas, and Sug Woo Shin. Patching and the p-adic langlands program for G L2(Qp). Compositio Mathe- matica, 154(3):503–548, 2018
work page 2018
-
[15]
Au tomorphy for some l-adic lifts of automorphic mod l galois representations
Laurent Clozel, Michael Harris, and Richard Taylor. Au tomorphy for some l-adic lifts of automorphic mod l galois representations. Publications math´ ematiques de l’IH´ES, 108(1):1– 181, 2008
work page 2008
-
[16]
Repr´ esentations de GL2(Qp) et (ϕ, Γ)-modules
Pierre Colmez. Repr´ esentations de GL2(Qp) et (ϕ, Γ)-modules. Ast´ erisque, 330:281–509, 2010. 49
work page 2010
-
[17]
Companion points and locally analytic socl e for GL 2(L)
Yiwen Ding. Companion points and locally analytic socl e for GL 2(L). Israel Journal of Mathematics, 231:47–122, 2019
work page 2019
-
[18]
Jacquet modules of locally analytic r epresentations of p-adic reductive groups I
Matthew Emerton. Jacquet modules of locally analytic r epresentations of p-adic reductive groups I. Construction and first properties. Annales scientifiques de l’ ´Ecole normale sup´ erieure, 39(5):775–839, 2006
work page 2006
-
[19]
On the interpolation of systems of eig envalues attached to automorphic Hecke eigenforms
Matthew Emerton. On the interpolation of systems of eig envalues attached to automorphic Hecke eigenforms. Inventiones mathematicae, 164:1–84, 2006
work page 2006
-
[20]
Jacquet modules of locally analytic r epresentations of p-adic reductive groups II
Matthew Emerton. Jacquet modules of locally analytic r epresentations of p-adic reductive groups II. The relation to parabolic induction. 2007. to app ear in J. Institut Math. Jussieu
work page 2007
-
[21]
Ordinary parts of admissible represe ntations of p-adic reductive groups I
Matthew Emerton. Ordinary parts of admissible represe ntations of p-adic reductive groups I. Definition and first properties. Ast´ erisque, 331:355–402, 2010
work page 2010
-
[22]
Local-global compatibility in the p-adic Langlands programme for GL 2/ Q
Matthew Emerton. Local-global compatibility in the p-adic Langlands programme for GL 2/ Q
-
[23]
A geometric perspective o n the Breuil-M´ ezard conjecture
Matthew Emerton and Toby Gee. A geometric perspective o n the Breuil-M´ ezard conjecture. Journal of the Institute of Mathematics of Jussieu , 13(1):183–223, 2014
work page 2014
-
[24]
Patching and the completed ho mology of locally symmetric spaces
Toby Gee and James Newton. Patching and the completed ho mology of locally symmetric spaces. arXiv preprint arXiv:1609.06965 , 2016
-
[25]
Modularity lifting theorems for ordin ary galois representations
David Geraghty. Modularity lifting theorems for ordin ary galois representations. Mathematis- che Annalen , 373(3):1341–1427, 2019
work page 2019
-
[26]
The Fontaine-Mazur conjecture for GL 2
Mark Kisin. The Fontaine-Mazur conjecture for GL 2. Journal of the American Mathematical Society, 22:641–690, 2009
work page 2009
-
[27]
On Jordan-H¨ older s eries of some locally analytic repre- sentations
Sascha Orlik and Matthias Strauch. On Jordan-H¨ older s eries of some locally analytic repre- sentations. Journal of the American Mathematical Society , 28(1):99–157, 2015
work page 2015
-
[28]
The Fontaine-Mazur conjecture in the residual ly reducible case
Lue Pan. The Fontaine-Mazur conjecture in the residual ly reducible case. arXiv preprint arXiv: 1901.07166 , 2019
-
[29]
On some crystalline representations of GL 2(Qp)
Vytautas Paˇ skunas. On some crystalline representations of GL 2(Qp). Algebra Number Theory, 3:411–421, 2009
work page 2009
-
[30]
The image of Colmez’s Montreal functor
Vytautas Paˇ sk¯ unas. The image of Colmez’s Montreal functor. Publications math´ ematiques de l’IH ´ES, 118(1):1–191, 2013
work page 2013
-
[31]
Blocks for modp representations of GL 2(Qp)
Vytautas Paˇ sk¯ unas. Blocks for modp representations of GL 2(Qp). London Math. Soc. Lecture Note Ser. , 415:231–247, 2014
work page 2014
-
[32]
On some consequences of a theorem of J
Vytautas Paˇ sk¯ unas. On some consequences of a theorem of J. Ludwig. ArXiv preprint: arXiv:1804.07567, 2018
-
[33]
Banach space re presentations and Iwasawa theory
Peter Schneider and Jeremy Teitelbaum. Banach space re presentations and Iwasawa theory. Israel journal of mathematics , 127(1):359–380, 2002
work page 2002
-
[34]
On the p-adic cohomology of the Lubin-Ta te tower
Peter Scholze. On the p-adic cohomology of the Lubin-Ta te tower. Ann. Sci. ´Ec. Norm. Sup´ er., 51(4):811–863, 2018. 50
work page 2018
-
[35]
Automorphy for some ℓ-adic lifts of automorphic mod ℓ Galois representations, II
Richard Taylor. Automorphy for some ℓ-adic lifts of automorphic mod ℓ Galois representations, II. Publications math´ ematiques de l’IH´ES, 108(1):183–239, 2008
work page 2008
-
[36]
On the automorphy of ℓ-adic Galois representations with small residual image
Jack Thorne. On the automorphy of ℓ-adic Galois representations with small residual image. J. Inst. Math. Jussieu , 11:855–920, 2012. 51
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.