REVIEW 1 major objections 7 minor 27 references
Reduction modulo p of crystalline Galois representations via {\mu}_p-equivariance
T0 review · 1 major / 7 minor · reviewed 2026-07-10 · glm-5.2
Pith's one-line read μ_p-symmetry constrains how crystalline Galois representations reduce mod p
desk verdict New structural result on crystalline representation reductions, with two independent proofs of the key step read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument has three load-bearing components. First, the prismatization W(k)^Δ and syntomification W(k)^Syn of W(k): a new map ρ†: Spf(S)/μ_p → W(k)^Δ is constructed that is congruent to the standard Breuil–Kisin prism map ρ_std modulo p but does not come from a prism structure integrally. Pulling back a prismatic F-crystal along ρ† produces the μ_p-equivariant modification N. Second, the geometry of μ_p-fixed points in affine Grassmannians: the orbits of L^+_p G on Gr^{μ_p} are indexed by dominant cocharacters, but their closure relations are governed by the ↑ partial order rather than the usual dominance order (Proposition 2.4.10, combining a combinatorial result on the Bruhat order with
What would settle it
If there exists a crystalline representation whose Breuil–Kisin module's canonical modification (from the Hodge filtration) fails to be congruent to the Frobenius modification modulo p, then the μ_p-equivariant structure on M/pM is not established, the ↑ constraint on inertial weights need not hold, and the weight elimination result would fail for that representation.
Extended reading notes
Core claim
The central discovery is that crystallinity of a p-adic Galois representation imprints a μ_p-equivariant structure on the mod p reduction of its Breuil–Kisin module. This structure is invisible classically but emerges from prismatic cohomology: the Frobenius pullback of the Breuil–Kisin module is automatically μ_p-equivariant because the Frobenius endomorphism u ↦ u^p factors through the quotient by μ_p loop rotation. For crystalline representations, a canonical modification N of the Frobenius pullback — constructed from the Hodge filtration via the Rees module — is shown to be congruent to the Frobenius modification modulo p (Theorem 4.5.12, proved via the syntomification stack). This congr
Load-bearing premise
The load-bearing step is Theorem 4.5.12: that the canonical μ_p-equivariant modification of a Breuil–Kisin module, built from the Hodge filtration, agrees with the Frobenius modification modulo p. This is proved using the syntomification stack and a specific compatibility of pullbacks, and without it the μ_p-equivariant structure on the mod p reduction is not guaranteed.
Editorial extensions
If this is right
- The constraint λ ↑ μ provides a uniform weight elimination result for Serre's conjecture for arbitrary unramified reductive groups, with no genericity assumptions — any Serre weight not satisfying the constraint cannot occur.
- For GL_2 with Hodge–Tate weights (k,0) and p ≤ k ≤ 2p, the constraint recovers all four Berger–Breuil possibilities, confirming compatibility with known examples.
- The μ_p-equivariant structure on mod p Breuil–Kisin modules is a new invariant that could distinguish reductions invisible to classical semisimplification, potentially sharpening local-global compatibility for automorphic forms.
- The conjecture that W_cris(ρ) = W_explicit(ρ) = W(ρ) for p-restricted weights, if true, would give a complete and uniform Serre weight recipe for all unramified reductive groups.
- The specialization argument via the p-Hecke stack (Corollary 2.7.4) provides a bridge between characteristic zero and characteristic p geometry that may apply to other mod p reduction problems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper establishes new constraints on the inertial weights of the mod p reduction of a crystalline p-adic Galois representation with prescribed Hodge-Tate weights. The main result (Theorem 5.5.6) states that if ρ: Gal_{Q_p} → ^LG(Z_p) is a crystalline L-parameter with Hodge-Tate weights μ(ρ), then there exist λ ∈ X*(^bT) with λ^dom ↑ μ(ρ) and w ∈ W such that ρ^ss|_{I_{Q_p}} ≅ τ(λ,w), where ↑ is the partial order from the representation theory of reductive groups in characteristic p. The proof proceeds by showing that the mod p reductions of Breuil-Kisin modules attached to crystalline representations acquire a natural μ_p-equivariant structure (Theorem 4.2.3), and then combining this with a geometric study of μ_p-fixed points in affine Grassmannians (§2) to derive the ↑ constraint. The paper also formulates an explicit Serre weight conjecture (Conjecture 6.3.4) for unramified reductive groups and proves the elimination direction. Two independent proofs of the key structural theorem are provided: one via the prismatization (§4.4) and one via the syntomification (§4.8).
Significance. This is a substantial contribution to the interface of p-adic Hodge theory and the mod p representation theory of reductive groups. The key innovation — that crystalline Breuil-Kisin modules acquire a μ_p-equivariant structure — is a genuinely new structural insight, and its geometric origin (the map ρ†: Spf(S)/μ_p → W(k)^∆ in Proposition 4.4.1) is both natural and surprising. The paper provides two independent proofs of the central structural result, which significantly strengthens confidence in its correctness: the prismatization proof (§4.4) is short and direct, while the syntomification proof (§4.8) provides a more intrinsic characterization. The combinatorial core (§2) is developed carefully and self-containedly, building on results of Riche-Williamson [RW22] and Wang [Wan23]. The application to Serre weight conjectures (§6) and the comparison with the Gee-Herzig-Savitt predictions (Proposition 6.4.6) give the results concrete arithmetic significance. The explicit GL_2 verification matching the Berger-Breuil classification provides a welcome sanity check. The generality of the formulation (L-parameters for unramified reductive groups) and the absence of genericity assumptions,
major comments (1)
- §4.8, end of proof of Theorem 4.5.12: The key compatibility r*_K((id_R)_*E_N)^alg ≅ j*(f*E_N)^alg is established by tracing through a large commutative diagram. While the individual steps are indicated, the final verification that the two paths through the diagram agree is stated rather than spelled out. Given that this is the load-bearing step for the syntomification proof, a sentence or two making the final identification explicit would strengthen the argument. This is not a correctness concern — the prismatization proof in §4.4 provides an independent route that does not use Theorem 4.5.12 — but would improve the readability of the more conceptual proof.
minor comments (7)
- §1.2, Theorem 1.2: The notation τ(λ,w) is used before its definition in §5.3.9. A forward reference would help the reader.
- §2.3, Figure 2.3.4: The figure is informative but the labeling of alcoves could be clearer; some labels overlap in the rendering.
- §4.6.6, item (3): The construction of the isomorphism Z^∆_p ≃ (Z^N_p)_{y_univ≠0} in both directions is described in detail, but the overall logical flow would benefit from a brief summary sentence stating which direction is used where in the sequel.
- §5.5, equation (5.5.5): The decomposition M ∼ u^{-μ} j u_μ · u^{θ-μ+pwγμ} t w is central to the proof of Proposition 5.5.4. The role of the Iwahori element y and the application of Lemma 5.5.3 could be flagged more prominently, as they are the key inputs from Chen-Nie [CN22].
- §6.3, Conjecture 6.3.4: The conjecture W(ρ) = W_cris(ρ) = W_explicit(ρ) is stated for semisimple ρ. It would be useful to briefly comment on whether the authors expect the equality W_cris = W_explicit to hold without the p-restricted hypothesis, or whether this is genuinely a restricted-range phenomenon.
- Typo in §4.1: 'the Breuil–Kisin prism and its µp-action' — the section title uses µp but the body text sometimes writes μ_p; consistency would be welcome.
- §4.10.13: The proof of Proposition 4.10.13 was found 'with assistance from ChatGPT-5.4 Pro' (acknowledged in §1.8). The proposition is a purely combinatorial lemma with a self-contained proof; the acknowledgment is appropriate and transparent.
Circularity Check
No significant circularity found; the main theorem is a necessary condition derived from geometric and algebraic structures independent of the target inertial weights.
full rationale
The paper's central result (Theorem 5.5.6) is a weight elimination statement: it constrains the mod p inertial weights of a crystalline Galois representation in terms of its Hodge–Tate weights. The derivation chain proceeds as follows: (1) crystalline representations yield prismatic F-crystals (Theorem 4.7.1, citing [BS23]); (2) the Breuil–Kisin module M associated to such a crystal acquires a μ_p-equivariant structure (Theorem 4.2.3, proved via the prismatization in §4.4 and independently via the syntomification in §4.8); (3) μ_p-equivariance forces the mod p relative position μ_M to satisfy μ_M ↑ μ_M = μ(ρ) (Corollary 4.2.6, via the orbit closure geometry of μ_p-fixed points in affine Grassmannians from §2, building on [RW22] and [Wan23]); (4) the Chen–Nie adaptation (§5.5) handles γ-twisted Frobenius conjugation for L-groups, yielding λ ↑ s(M(ρ)) and thus λ^dom ↑ μ(ρ). At no point is the target inertial weight τ(λ, w) used as an input to define the ↑ relation or the μ_p-equivariant structure. The ↑ partial order is defined purely in terms of affine reflections in the p-dilated Weyl group (Definition 2.3.1), and the orbit closure result (Proposition 2.4.10) is a geometric theorem about μ_p-fixed Grassmannians. The two independent proofs of Theorem 4.2.3 (prismatization in §4.4, syntomification in §4.8) provide cross-verification: the prismatization proof constructs ρ† directly from the element [u]−zV(1) ∈ W(S) and verifies its properties by computation, without invoking specializability. Self-citations ([Kis06], [Kis10]) are used as standard tools for the Breuil–Kisin module formalism and are not load-bearing for the new constraint. The Berger–Breuil GL_2 check in the introduction confirms consistency with known results rather than fitting parameters. No step reduces to its own inputs by construction.
Assumptions & free parameters
assumptions (5)
- domain assumption Crystalline Galois representations correspond to prismatic F-crystals on W(k)^Δ (Theorem 4.7.1, citing [BS23])
- domain assumption The Breuil-Kisin prism (S, (E)) gives a faithfully flat cover of W(k)^Δ (Lemma 4.3.8, citing [BL22a])
- domain assumption Orbits of L^+_p G on (Gr_G)^{mu_p} are indexed by X*(T)^+ with closure relations given by ↑ (Proposition 2.4.10, building on [RW22])
- domain assumption Semisimple mod p L-parameters are tamely ramified and conjugate into N_{LG}(T)(F_p) (Proposition 5.3.3, citing [Lin23])
- domain assumption The syntomification stack W(k)^Syn and its relationship to W(k)^N and W(k)^Δ (Theorem 4.7.1, citing [Dri24], [Bha22])
invented entities (2)
-
The map ρ^†: Spf(S)/μ_p → W(k)^Δ (Proposition 4.4.1)
independent evidence
-
The map f: Y → W(k)^N (Example 4.6.13)
independent evidence
Cite this review
Pith. "Pith review of Reduction modulo p of crystalline Galois representations via {\mu}_p-equivariance." pith.science (2026). https://pith.science/paper/YPSW2V2H
@misc{pith2026260708660,
author = {Pith},
title = {Pith review of: Reduction modulo p of crystalline Galois representations via \mu_p-equivariance},
year = {2026},
howpublished = {\url{https://pith.science/paper/YPSW2V2H}},
note = {Machine review of arXiv:2607.08660}
}
read the original abstract
For a crystalline representation of the absolute Galois group of Q_p, with given Hodge-Tate weights, we obtain new constraints on the inertial weights of its mod p reduction. This allows us to formulate an explicit Serre weight conjecture, in the generality of L-parameters for unramified connected reductive groups over Q_p, and to prove the elimination direction of this conjecture. The proof uses prismatic techniques to show that the reductions modulo p of the Breuil-Kisin modules attached to crystalline Galois representations acquire a natural {\mu}_p-equivariant structure. Combining this with results on the geometry of the {\mu}_p-fixed points of affine Grassmannians leads to our new constraint.
Figures
Reference graph
Works this paper leans on
-
[1]
Adequate moduli spaces and geometrically reductive group schemes
[Alp14] Jarod Alper. “Adequate moduli spaces and geometrically reductive group schemes”.Algebr. Geom.1.4 (2014), 489–531. [Ans22] Johannes Anschütz. “Extending torsors on the puncturedSpec(Ainf)”. J. Reine Angew. Math.783 (2022), 227–268. [Bar20] Robin Bartlett. “Inertial and Hodge-Tate weights of crystalline repre- sentations”.Math. Ann.376.1-2 (2020), 6...
work page 2014
-
[2]
London Math. Soc. Lecture Note Ser. Cambridge Univ. Press, Cambridge, 2014, 135–187. [Bha22] Bhargav Bhatt.Prismatic F-gauges. 2022.url: https://www.math. ias.edu/~bhatt/teaching/mat549f22/lectures.pdf. [BL22a] Bhargav Bhatt and Jacob Lurie.Absolute prismatic cohomology
work page 2014
-
[3]
arXiv:2201.06120 [math.AG]. [BL22b] Bhargav Bhatt and Jacob Lurie.The prismatization ofp-adic formal schemes
-
[4]
The prismatization of $p$-adic formal schemes
arXiv:2201.06124 [math.AG]. [BL23] Jeremy Booher and Brandon Levin. “G-valued crystalline deformation rings in the Fontaine-Laffaille range”.Compos. Math.159.8 (2023), 1791–
work page Pith review arXiv 2023
-
[5]
G-torsors over a Dedekind scheme
[Bou02] Nicolas Bourbaki.Lie groups and Lie algebras. Chapters 4–6. Elements of Mathematics (Berlin). Translated from the 1968 French original by Andrew Pressley. Springer-Verlag, Berlin, 2002, xii+300. [Bro13] Michael Broshi. “G-torsors over a Dedekind scheme”.J. Pure Appl. Algebra217.1 (2013), 11–19. REFERENCES 87 [BS22] Bhargav Bhatt and Peter Scholze....
work page 1968
-
[6]
Connectedness of Kisin varieties associated to absolutely irreducible Galois representations
[CN22] Miaofen Chen and Sian Nie. “Connectedness of Kisin varieties associated to absolutely irreducible Galois representations”.J. Reine Angew. Math. 785 (2022), 31–54. [Con14] Brian Conrad. “Reductive group schemes”. In:Autour des schémas en groupes. Vol. I. Vol. 42/43. Panor. Synthèses. Soc. Math. France, Paris, 2014, 93–444. [Dou90] J. Matthew Douglas...
work page 2022
-
[7]
‘Scheme-theoretic images’ of mor- phisms of stacks
[EG21] Matthew Emerton and Toby Gee. “‘Scheme-theoretic images’ of mor- phisms of stacks”.Algebr. Geom.8.1 (2021), 1–132. [EK23] Ben Elias and Hankyung Ko. “A singular Coxeter presentation”.Proc. Lond. Math. Soc. (3)126.3 (2023), 923–996. [Enn19] John Enns. “On weight elimination forGLn(Qpf )”.Math. Res. Lett. 26.1 (2019), 53–66. [Fon90] Jean-Marc Fontain...
work page 2021
-
[8]
General Serre weight conjectures
Progr. Math. Boston, MA: Birkhäuser Boston, 1990, 249–309. [Gee23] Toby Gee.The Reduction modulop of Crystalline Breuil-—Kisin Mod- ules. Youtube, 2023.url: https : / / www . youtube . com / watch ? v = aUvMf7__GS8. [GHS18] Toby Gee, Florian Herzig, and David Savitt. “General Serre weight conjectures”.J. Eur. Math. Soc. (JEMS)20.12 (2018), 2859–2949. [GL2...
work page 1990
Show all 27 references
-
[9]
The Buzzard-Diamond-Jarvis conjecture for unitary groups
arXiv:2411.11084 [math.NT]. [GLS14] Toby Gee, Tong Liu, and David Savitt. “The Buzzard-Diamond-Jarvis conjecture for unitary groups”.J. Amer. Math. Soc.27.2 (2014), 389–
2014
-
[10]
The weight part of Serre’s conjecture forGL(2)
[GLS15] Toby Gee, Tong Liu, and David Savitt. “The weight part of Serre’s conjecture forGL(2)”.Forum Math. Pi3 (2015), e2,
2015
-
[11]
A prismatic approach to crys- talline local systems
arXiv:2412.10226 [math.NT]. [GR24] Haoyang Guo and Emanuel Reinecke. “A prismatic approach to crys- talline local systems”.Invent. Math.236.1 (2024), 17–164. 88 REFERENCES [Hai25] Thomas J. Haines. “Cellular pavings of fibers of convolution morphisms”. Épijournal Géom. Algébri...
2024 arXiv
-
[12]
The weight in a Serre-type conjecture for tamen- dimensional Galois representations
arXiv:2405.17174 [math.RT]. [Her09] Florian Herzig. “The weight in a Serre-type conjecture for tamen- dimensional Galois representations”.Duke Math. J.149.1 (2009), 37–
2009 arXiv
-
[13]
Cambridge University Press, Cambridge, 1990, xii+204
Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1990, xii+204. [IKY24] Naoki Imai, Hiroki Kato, and Alex Youcis.A Tannakian framework for prismaticF-crystals
1990
-
[14]
On some Bruhat decomposition and the structure of the Hecke rings ofp-adic Chevalley groups
arXiv:2406.08259 [math.NT]. [IM65] N. Iwahori and H. Matsumoto. “On some Bruhat decomposition and the structure of the Hecke rings ofp-adic Chevalley groups”.Inst. Hautes Études Sci. Publ. Math.25 (1965), 5–48. [Jan03] Jens Carsten Jantzen.Representations of algebraic groups. ...
1965 arXiv
-
[15]
Crystalline representations andF-crystals
Mathematical Surveys and Monographs. American Mathemat- ical Society, Providence, RI, 2003, xiv+576. [Kis06] Mark Kisin. “Crystalline representations andF-crystals”. In:Algebraic geometry and number theory. Vol
2003
-
[16]
Moduli of finite flat group schemes, and modularity
Progr. Math. Birkhäuser Boston, Boston, MA, 2006, 459–496. [Kis09] Mark Kisin. “Moduli of finite flat group schemes, and modularity”.Ann. of Math. (2)170.3 (2009), 1085–1180. [Kis10] Mark Kisin. “Integral models for Shimura varieties of abelian type”.J. Amer. Math. Soc.23.4 (2...
2006
-
[17]
[Liu24] Tong Liu.Torsion graded pieces of Nyggard filtration for crystalline representation
arXiv:2306.02093 [math.NT]. [Liu24] Tong Liu.Torsion graded pieces of Nyggard filtration for crystalline representation
-
[18]
Serre weights, Galois deformation rings, and local models
arXiv:2408.13422 [math.NT]. [LL24] Daniel Le and Bao V. Le Hung. “Serre weights, Galois deformation rings, and local models”. In:Arithmetic geometry. Vol
-
[19]
The Weight Part of Serre’s Conjecture over CM Fields
Tata Inst. Fundam. Res. Stud. Math. Tata Inst. Fund. Res., Mumbai, 2024, 385–420. [LL26] Daniel Le and Bao V. Le Hung. “The Weight Part of Serre’s Conjecture over CM Fields”.Vietnam J. Math.54.2 (2026), 405–439. [LLLM23] Daniel Le, Bao V. Le Hung, Brandon Levin, and Stefano Mo...
2024
-
[20]
[Qua23] Julian Quast.Deformations of G-valued pseudocharacters
arXiv: 2411.04069 [math.NT]. [Qua23] Julian Quast.Deformations of G-valued pseudocharacters
-
[21]
Schubert varieties in twisted affine flag varieties and local models
arXiv: 2310.14886 [math.NT]. [Ric] Simon Riche.Lectures on modular representation theory of reductive algebraic groups.url: https://riche.perso.math.cnrs.fr/curso- riche-total.pdf. [Ric13] Timo Richarz. “Schubert varieties in twisted affine flag varieties and local models”.J. ...
2013
-
[22]
Smith-Treumann theory and the linkage principle
[RW22] Simon Riche and Geordie Williamson. “Smith-Treumann theory and the linkage principle”.Publ. Math. Inst. Hautes Études Sci.136 (2022), 225–
2022
-
[23]
Groupes de Grothendieck des schémas en groupes réductifs déployés
[Ser68] Jean-Pierre Serre. “Groupes de Grothendieck des schémas en groupes réductifs déployés”.Inst. Hautes Études Sci. Publ. Math.34 (1968), 37–
1968
-
[24]
Sur les représentations modulaires de degré2de Gal(Q/Q)
[Ser87] Jean-Pierre Serre. “Sur les représentations modulaires de degré2de Gal(Q/Q)”.Duke Math. J.54.1 (1987), 179–230. [SGA3] M. Artin, J. E. Bertin, M. Demazure, P. Gabriel, A. Grothendieck, M. Raynaud, and J.-P. Serre.Schémas en groupes. Troisième édi- tion, Séminaire de Gé...
1987
-
[25]
Princeton University Press, Princeton, NJ, 2020, x+250
Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2020, x+250. [VWC25] Eva Viehmann, Torsten Wedhorn, and Appendix by Christopher Lang. Moduli of truncated shtukas and displays
2020
-
[26]
Partial orderings on affine Weyl groups
arXiv:2506.01740 [math.AG]. [Wan23] Jianpan Wang. “Partial orderings on affine Weyl groups”. In:Forty years of algebraic groups, algebraic geometry, and representation theory in 90 REFERENCES China—in memory of the centenary year of Xihua Cao’s birth. Vol
-
[27]
Partial orderings on affine Weyl groups
East China Norm. Univ. Sci. Rep. Translated from the Chinese original by Wang and Xin Wang. World Sci. Publ., Singapore, 2023, 109–126. [Wan87] Jian Pan Wang. “Partial orderings on affine Weyl groups”.J. East China Norm. Univ. Natur. Sci. Ed.4 (1987), 15–25. Email address:bhar...
2023
Reviewed July 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.