pith. sign in

arxiv: 2604.17466 · v1 · submitted 2026-04-19 · 🧮 math.NT

Resolutions of spaces of crystalline representations and modularity

Robin Bartlett , Bao V. Le Hung , Brandon Levin (with an appendix by Andrea Dotto) This is my paper

Pith reviewed 2026-05-10 05:43 UTC · model grok-4.3

classification 🧮 math.NT
keywords crystalline Galois representationsdeformation ringspotential diagonalizabilityautomorphy liftingSerre's conjectureBreuil-Mézard conjectureHodge-Tate weightsmodularity lifting
0
0 comments X

The pith

A new partial resolution of crystalline Galois representation spaces shows that all components of the crystalline deformation rings are potentially diagonalizable when Hodge-Tate weight gaps are smaller than p.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a partial resolution for spaces of crystalline Galois representations applicable when the gaps in Hodge-Tate weights are smaller than the prime p, with no restriction on ramification. For three-dimensional representations of minimal regular weight, this resolution is proven normal when the ramification index is divisible by three. Base change techniques applied to the resolved space then establish that every component of the crystalline deformation rings is potentially diagonalizable. This property directly yields automorphy lifting, the weight part of Serre's conjecture, and the Breuil-Mézard conjecture in dimension three for minimal regular weight.

Core claim

We introduce a new partial resolution of crystalline spaces of Galois representations when the gaps in Hodge-Tate weights are smaller than p, with no bound on ramification. Furthermore, when n=3 in the case of minimal regular weight, we are able to show that the resolution is normal assuming the ramification index is divisible by 3. Employing base change techniques and further analysis of the resolution, we are able to show that all the components of the crystalline deformation rings are potentially diagonalizable. As a consequence, we deduce automorphy lifting, the weight part of Serre's conjecture, and the Breuil-Mézard conjecture in dimension three for minimal regular weight.

What carries the argument

Partial resolution of the crystalline space of Galois representations, which resolves the geometry sufficiently to prove potential diagonalizability of components in the associated deformation rings via base change.

If this is right

  • All components of the crystalline deformation rings are potentially diagonalizable under the stated weight gap condition.
  • Automorphy lifting holds for three-dimensional Galois representations with minimal regular weight.
  • The weight part of Serre's conjecture holds in dimension three for minimal regular weights.
  • The Breuil-Mézard conjecture holds in dimension three for minimal regular weight.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The resolution technique may extend to other weight configurations or slightly larger gaps if the base change arguments can be adapted.
  • Normality of the resolved space suggests the deformation rings have controlled singularities that could aid explicit computations in related Galois cohomology.
  • These results provide a template for attacking similar modularity questions in higher dimensions once comparable resolutions are found.

Load-bearing premise

The gaps in Hodge-Tate weights are smaller than p with no bound on ramification, plus the assumption that the ramification index is divisible by 3 to conclude the resolution is normal in the n=3 minimal regular weight case.

What would settle it

A three-dimensional crystalline Galois representation with minimal regular weight whose deformation ring contains a component that is not potentially diagonalizable, or a direct counterexample to the Breuil-Mézard conjecture under these conditions.

read the original abstract

We introduce a new partial resolution of crystalline spaces of Galois representations when the gaps in Hodge--Tate weights are smaller than $p$, with no bound on ramification. Furthermore, when $n =3$ in the case of minimal regular weight, we are able to show that the resolution is normal (assuming the ramification index is divisible by 3). Employing base change techniques and further analysis of the resolution, we are able to show that all the components of the crystalline deformation rings are potentially diagonalizable. As a consequence, we deduce automorphy lifting, the weight part of Serre's conjecture, and the Breuil-M\'ezard conjecture in dimension three for minimal regular weight.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript introduces a new partial resolution of crystalline spaces of Galois representations when the gaps in Hodge-Tate weights are smaller than p, with no bound on ramification. For n=3 in the minimal regular weight case, the resolution is shown to be normal assuming the ramification index is divisible by 3. Employing base change techniques and further analysis of the resolution, the authors conclude that all components of the crystalline deformation rings are potentially diagonalizable. As a consequence, they deduce automorphy lifting, the weight part of Serre's conjecture, and the Breuil-Mézard conjecture in dimension three for minimal regular weight.

Significance. If the central claims can be made unconditional or the scope of the applications clearly delimited, the work would advance the understanding of crystalline deformation rings and modularity lifting in dimension 3 by providing a new partial resolution and establishing potential diagonalizability of components, with direct implications for several key conjectures.

major comments (1)
  1. Abstract (and the corresponding statements in the introduction and main theorems): the normality of the resolution is established only under the assumption that the ramification index is divisible by 3. The subsequent base-change argument that all components of the crystalline deformation rings are potentially diagonalizable therefore inherits this restriction. The deductions of automorphy lifting, the weight part of Serre's conjecture, and the Breuil-Mézard conjecture are stated without this hypothesis, making the scope of the main applications unclear and the argument incomplete as currently presented.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to clarify the hypotheses in our statements. We address the major comment below and will make corresponding revisions to ensure the scope is precise.

read point-by-point responses

  1. Referee: Abstract (and the corresponding statements in the introduction and main theorems): the normality of the resolution is established only under the assumption that the ramification index is divisible by 3. The subsequent base-change argument that all components of the crystalline deformation rings are potentially diagonalizable therefore inherits this restriction. The deductions of automorphy lifting, the weight part of Serre's conjecture, and the Breuil-Mézard conjecture are stated without this hypothesis, making the scope of the main applications unclear and the argument incomplete as currently presented.

    Authors: We agree that the abstract and introduction should explicitly track the hypothesis that the ramification index is divisible by 3 when stating normality of the resolution for n=3 in minimal regular weight. However, the base-change argument is designed precisely to remove this restriction for the final conclusions: we perform a base change to a finite extension of the base field in which the ramification index becomes divisible by 3. Normality then applies after this base change, yielding that every irreducible component of the crystalline deformation ring becomes potentially diagonalizable. Because automorphy lifting, the weight part of Serre's conjecture, and the Breuil-Mézard conjecture are themselves statements that are compatible with finite base change (they concern potential automorphy or potential diagonalizability), the applications hold unconditionally. We will revise the abstract, introduction, and theorem statements to make this logical flow explicit, add a short paragraph after the base-change construction explaining why the hypothesis is absorbed, and update the main theorems to reflect that the conclusions are unconditional while the intermediate normality step requires the divisibility condition after base change. revision: partial

Circularity Check

0 steps flagged

Minor reliance on prior base change techniques without load-bearing circularity

full rationale

The paper introduces a new partial resolution of crystalline spaces (with gaps in Hodge-Tate weights < p) and proves normality for the n=3 minimal regular weight case under the explicit additional assumption that the ramification index is divisible by 3. Applications to potential diagonalizability, automorphy lifting, Serre's conjecture, and Breuil-Mézard are then deduced via base change and further analysis. No derivation step reduces by construction to its own inputs, no fitted parameter is renamed as a prediction, and no uniqueness theorem or ansatz is smuggled solely via self-citation. The explicit conditional assumption prevents hidden circularity, and the chain remains self-contained against external benchmarks, justifying a low score.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The claims rest on standard p-adic Hodge theory and deformation ring properties from prior literature, plus the new resolution construction whose independent verification is not possible from the abstract.

axioms (1)
  • domain assumption Standard properties of crystalline Galois representations, Hodge-Tate weights, and deformation rings hold as in prior p-adic Hodge theory literature.
    Invoked implicitly to define the spaces being resolved and the deformation rings whose components are analyzed.
invented entities (1)
  • Partial resolution of crystalline spaces of Galois representations no independent evidence
    purpose: To resolve the spaces when Hodge-Tate weight gaps are smaller than p.
    New geometric object introduced in the paper to enable the subsequent analysis and proofs.

pith-pipeline@v0.9.0 · 5418 in / 1475 out tokens · 39027 ms · 2026-05-10T05:43:03.880147+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    Anderson, A polytope calculus for semisimple groups, Duke Math

    Jared E. Anderson, A polytope calculus for semisimple groups, Duke Math. J. 116 (2003), no. 3, 567--588. 1958098

    work page 2003

  2. [2]

    Sigma 8 (2020), Paper No

    Robin Bartlett, On the irreducible components of some crystalline deformation rings, Forum Math. Sigma 8 (2020), Paper No. e22, 55. 4091084

    work page 2020

  3. [3]

    , Potentially diagonalisable lifts with controlled H odge- T ate weights , Doc. Math. 26 (2021), 795--827. 4493567

    work page 2021

  4. [4]

    , Cycles relations in the affine G rassmannian and applications to B reuil-- M \'ezard for G -crystalline representations , arXiv:2305.06455, 2023, preprint, arXiv

    work page arXiv 2023

  5. [5]

    Th\' e or

    , Potential diagonalisability of pseudo- B arsotti- T ate representations , J. Th\' e or. Nombres Bordeaux 35 (2023), no. 2, 335--371. 4655362

    work page 2023

  6. [6]

    (N.S.) 30 (2024), no

    , Degenerating products of flag varieties and applications to the B reuil- M \' e zard conjecture , Selecta Math. (N.S.) 30 (2024), no. 1, Paper No. 17, 48. 4691943

    work page 2024

  7. [7]

    , Irreducibility of some crystalline loci with irregular H odge- T ate weights , Proc. Amer. Math. Soc. 153 (2025), no. 1, 15--30. 4840254

    work page 2025

  8. [8]

    Bushnell and Philip C

    Colin J. Bushnell and Philip C. Kutzko, Smooth representations of reductive p -adic groups: structure theory via types , Proc. London Math. Soc. (3) 77 (1998), no. 3, 582--634

    work page 1998

  9. [9]

    Thomas Barnet-Lamb, Toby Gee, and David Geraghty, Serre weights for rank two unitary groups, Math. Ann. 356 (2013), no. 4, 1551--1598. 3072811

    work page 2013

  10. [10]

    Thomas Barnet-Lamb, Toby Gee, David Geraghty, and Richard Taylor, Potential automorphy and change of weight, Ann. of Math. (2) 179 (2014), no. 2, 501--609. 3152941

    work page 2014

  11. [11]

    Tom Barnet-Lamb, David Geraghty, Michael Harris, and Richard Taylor, A family of C alabi- Y au varieties and potential automorphy II , Publ. Res. Inst. Math. Sci. 47 (2011), no. 1, 29--98. 2827723

    work page 2011

  12. [12]

    Christophe Breuil and Ariane M\'ezard, Multiplicit\'es modulaires et repr\'esentations de GL _2( Z _p) et de Gal ( Q _p/ Q _p) en l=p , Duke Math. J. 115 (2002), no. 2, 205--310, With an appendix by Guy Henniart. 1944572

    work page 2002

  13. [13]

    Bhargav Bhatt, Matthew Morrow, and Peter Scholze, Integral p -adic H odge theory , Publ. Math. Inst. Hautes \' E tudes Sci. 128 (2018), 219--397. 3905467

    work page 2018

  14. [14]

    Carayol, Représentations cuspidales du groupe linéaire, Ann

    H. Carayol, Représentations cuspidales du groupe linéaire, Ann. Sci. École Norm. Sup. (4) 17 (1984), no. 2, 191--225

    work page 1984

  15. [15]

    Ana Caraiani, Matthew Emerton, Toby Gee, David Geraghty, Vytautas Pa sk\=unas, and Sug Woo Shin, Patching and the p -adic local L anglands correspondence , Camb. J. Math. 4 (2016), no. 2, 197--287. 3529394

    work page 2016

  16. [16]

    Pierre Deligne and George Lusztig, Representations of reductive groups over finite fields, Ann. of Math. 103 (1976), 103--161

    work page 1976

  17. [17]

    Matthew Emerton and Toby Gee, A geometric perspective on the B reuil- M \'ezard conjecture , J. Inst. Math. Jussieu 13 (2014), no. 1, 183--223. 3134019

    work page 2014

  18. [18]

    215, Princeton University Press, Princeton, NJ, [2023] 2023

    , Moduli stacks of \'etale ( , )-modules and the existence of crystalline lifts , Annals of Mathematics Studies, vol. 215, Princeton University Press, Princeton, NJ, [2023] 2023. 4529886

    work page 2023

  19. [19]

    Matthew Emerton, Toby Gee, and Florian Herzig, Weight cycling and S erre-type conjectures for unitary groups , Duke Math. J. 162 (2013), no. 9, 1649--1722. 3079258

    work page 2013

  20. [20]

    I , The G rothendieck F estschrift, V ol

    Jean-Marc Fontaine, Repr\' e sentations p -adiques des corps locaux. I , The G rothendieck F estschrift, V ol. II , Progr. Math., vol. 87, Birkh\" a user Boston, Boston, MA, 1990, pp. 249--309. 1106901

    work page 1990

  21. [21]

    Toby Gee, Florian Herzig, and David Savitt, General S erre weight conjectures , J. Eur. Math. Soc. (JEMS) 20 (2018), no. 12, 2859--2949. 3871496

    work page 2018

  22. [22]

    Pi 2 (2014), e1, 56

    Toby Gee and Mark Kisin, The B reuil- M \' e zard conjecture for potentially B arsotti- T ate representations , Forum Math. Pi 2 (2014), e1, 56. 3292675

    work page 2014

  23. [23]

    Hui Gao and Tong Liu, A note on potential diagonalizability of crystalline representations, Math. Ann. 360 (2014), no. 1-2, 481--487. 3263170

    work page 2014

  24. [24]

    Haines, Equidimensionality of convolution morphisms and applications to saturation problems, Adv

    Thomas J. Haines, Equidimensionality of convolution morphisms and applications to saturation problems, Adv. Math. 207 (2006), no. 1, 297--327. 2264075

    work page 2006

  25. [25]

    Howe, Tamely ramified supercuspidal representations of GL_n , Pacific J

    Roger E. Howe, Tamely ramified supercuspidal representations of GL_n , Pacific J. Math. 73 (1977), no. 2, 437--460

    work page 1977

  26. [26]

    Math., vol

    Mark Kisin, Crystalline representations and F -crystals , Algebraic geometry and number theory, Progr. Math., vol. 253, Birkh\" a user Boston, Boston, MA, 2006, pp. 459--496. 2263197

    work page 2006

  27. [27]

    , Potentially semi-stable deformation rings, J. Amer. Math. Soc. 21 (2008), no. 2, 513--546. 2373358

    work page 2008

  28. [28]

    , Moduli of finite flat group schemes, and modularity, Ann. of Math. (2) 170 (2009), no. 3, 1085--1180. 2600871

    work page 2009

  29. [29]

    Brandon Levin, Local models for W eil-restricted groups , Compos. Math. 152 (2016), no. 12, 2563--2601. 3594288

    work page 2016

  30. [30]

    Le Hung, The weight part of S erre's conjecture over CM fields , arXiv:2501.02382, 2025, preprint, arXiv

    Daniel Le and Bao V. Le Hung, The weight part of S erre's conjecture over CM fields , arXiv:2501.02382, 2025, preprint, arXiv

    work page arXiv 2025

  31. [31]

    Le Hung, Brandon Levin, and Stefano Morra, Potentially crystalline deformation rings and S erre weight conjectures: shapes and shadows , Invent

    Daniel Le, Bao V. Le Hung, Brandon Levin, and Stefano Morra, Potentially crystalline deformation rings and S erre weight conjectures: shapes and shadows , Invent. Math. 212 (2018), no. 1, 1--107. 3773788

    work page 2018

  32. [32]

    Pi 8 (2020), e5, 135

    , Serre weights and B reuil's lattice conjecture in dimension three , Forum Math. Pi 8 (2020), e5, 135. 4079756

    work page 2020

  33. [33]

    , Local models for G alois deformation rings and applications , Invent. Math. 231 (2023), no. 3, 1277--1488. 4549091

    work page 2023

  34. [34]

    Sigma 11 (2023), Paper No

    Jo\ a o Louren c o, Grassmanniennes affines tordues sur les entiers, Forum Math. Sigma 11 (2023), Paper No. e12, 65. 4554780

    work page 2023

  35. [35]

    Algebra 49 (1977), no

    George Lusztig and Bhama Srinivasan, The characters of the finite unitary groups, J. Algebra 49 (1977), no. 1, 167--171

    work page 1977

  36. [36]

    Lusztig, Divisibility of projective modules of finite C hevalley groups by the S teinberg module , Bull

    G. Lusztig, Divisibility of projective modules of finite C hevalley groups by the S teinberg module , Bull. London Math. Soc. 8 (1976), no. 2, 130--134. 401900

    work page 1976

  37. [37]

    Mirkovi\'c and K

    I. Mirkovi\'c and K. Vilonen, Geometric L anglands duality and representations of algebraic groups over commutative rings , Ann. of Math. (2) 166 (2007), no. 1, 95--143. 2342692

    work page 2007

  38. [38]

    B. C. Ng\^ o and P. Polo, R\' e solutions de D emazure affines et formule de C asselman- S halika g\' e om\' e trique , J. Algebraic Geom. 10 (2001), no. 3, 515--547. 1832331

    work page 2001

  39. [39]

    Pappas and M

    G. Pappas and M. Rapoport, Local models in the ramified case. I . T he EL -case , J. Algebraic Geom. 12 (2003), no. 1, 107--145. 1948687

    work page 2003

  40. [40]

    , -modules and coefficient spaces , Mosc. Math. J. 9 (2009), no. 3, 625--663, back matter. 2562795

    work page 2009

  41. [41]

    Pappas and X

    G. Pappas and X. Zhu, Local models of S himura varieties and a conjecture of K ottwitz , Invent. Math. 194 (2013), no. 1, 147--254. 3103258

    work page 2013

  42. [42]

    Alan Roche, Types and hecke algebras for principal series representations of split reductive p -adic groups , Ann. Sci. École Norm. Sup. (4) 31 (1998), no. 3, 361--413

    work page 1998

  43. [43]

    The Stacks Project Authors , Stacks Project , https://stacks.math.columbia.edu, 2018

    work page 2018

  44. [44]

    Xiyuan Wang, Weight elimination in two dimensions when p = 2 , Math. Res. Lett. 29 (2022), no. 3, 887--901. 4516043

    work page 2022

  45. [45]

    Ser., vol

    Xinwen Zhu, An introduction to affine G rassmannians and the geometric S atake equivalence , Geometry of moduli spaces and representation theory, IAS/Park City Math. Ser., vol. 24, Amer. Math. Soc., Providence, RI, 2017, pp. 59--154. 3752460

    work page 2017