Deformations of Prismatic Higher (G,μ)-Displays over Quasi-Syntomic Rings
Pith reviewed 2026-05-24 03:39 UTC · model grok-4.3
The pith
Prismatic higher (G,μ)-displays admit deformations over quasi-syntomic rings.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors prove a deformation theorem for prismatic higher (G,μ)-displays over quasi-syntomic rings. As an application, they extend the classification of p-divisible groups via prismatic Dieudonné modules to a class of rings, properly containing quasi-syntomic rings. Finally, they relate the stack of prismatic higher (G,μ)-displays to integral local Shimura varieties.
What carries the argument
Prismatic higher (G,μ)-displays, the structures that generalize prismatic Dieudonné modules by incorporating group actions and filtrations for p-divisible groups.
If this is right
- The classification of p-divisible groups via prismatic Dieudonné modules extends to a class of rings properly containing quasi-syntomic rings.
- The stack of prismatic higher (G,μ)-displays relates to integral local Shimura varieties.
- Deformations of prismatic higher (G,μ)-displays exist over quasi-syntomic rings.
Where Pith is reading between the lines
- The deformation result may enable classification of p-divisible groups over rings with more general singularities arising in arithmetic geometry.
- The connection to integral local Shimura varieties could allow display techniques to study moduli problems attached to those varieties.
- Similar deformation theorems might be tested on rings that are not quasi-syntomic but satisfy related flatness or syntomic conditions.
Load-bearing premise
The definitions and properties of prismatic higher (G,μ)-displays and quasi-syntomic rings behave as in prior literature on prismatic cohomology, allowing deformations without extra obstructions.
What would settle it
An explicit quasi-syntomic ring together with a prismatic higher (G,μ)-display that fails to deform as the theorem predicts, or a p-divisible group over a ring in the extended class with no corresponding prismatic Dieudonné module.
read the original abstract
We prove a deformation theorem for prismatic higher $(G,\mu)$-displays over quasi-syntomic rings. As an application, we extend the classification of $p$-divisible groups via prismatic Dieudonn\'e modules to a class of rings, properly containing quasi-syntomic rings. Finally, we relate the stack of prismatic higher $(G,\mu)$-displays to integral local Shimura varieties.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves a deformation theorem for prismatic higher (G,μ)-displays over quasi-syntomic rings. As an application, it extends the classification of p-divisible groups via prismatic Dieudonné modules to a class of rings properly containing the quasi-syntomic rings. It also relates the stack of prismatic higher (G,μ)-displays to integral local Shimura varieties.
Significance. If the deformation theorem holds, this extends the prismatic framework for p-divisible group classification to more rings and connects it to integral local Shimura varieties. The approach of reducing to known lifting properties in prismatic cohomology without new obstructions for the (G,μ) data is a positive aspect of the work.
minor comments (1)
- [Abstract] Abstract: The abstract states the main results but does not provide an outline of the proof or key steps, which could help readers assess the approach quickly.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our work and the recommendation for minor revision. No specific major comments were provided in the report.
Circularity Check
No significant circularity; derivation self-contained against external benchmarks
full rationale
The paper proves a deformation theorem for prismatic higher (G,μ)-displays over quasi-syntomic rings and extends p-divisible group classification via prismatic Dieudonné modules. No equations, self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citation chains appear in the abstract or described argument. The proof reduces to known lifting properties in prismatic cohomology (independent prior literature) and verifies (G,μ) data deforms without new obstructions. This maintains independent mathematical content; the result is not equivalent to its inputs by construction. Self-citations to prismatic cohomology are standard and not circular per the rules, as they reference externally established frameworks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We prove a deformation theorem for prismatic higher (G,μ)-displays over quasi-syntomic rings... extend the classification of p-divisible groups via prismatic Dieudonné modules
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 0.1... natural bijection between deformations of an adjoint-nilpotent prismatic higher (G,μ)-display... and deformations of the associated Hodge filtration
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Nygaard filtration... Δ_S(1) = A0⟨Y^{1/p^∞}⟩{Y^p/[p]q}∧∧
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
An algebraicity conjecture of Drinfeld and the moduli of $p$-divisible groups
A uniform construction of stacks BT^{G,μ}_n using stacky prismatic technology verifies Drinfeld's algebraicity conjecture and yields a linear-algebraic classification of truncated p-divisible groups over general p-adic bases.
Reference graph
Works this paper leans on
-
[1]
Prismatic D ieudonn \'e T heory
Johannes Ansch \"u tz and Arthur-C \'e sar Le Bras. Prismatic D ieudonn \'e T heory. In Forum of Mathematics, Pi , volume 11, page e2. Cambridge University Press, 2023
work page 2023
-
[2]
\(G\) -Bundles on the Absolute Fargues - Fontaine Curve
Johannes Ansch \"u tz. \(G\) -Bundles on the Absolute Fargues - Fontaine Curve . Acta Arithmetica , 207(4):351--363, 2023
work page 2023
-
[3]
[BLR90] Siegfried Bosch, Werner Lütkebohmert, and Michel R aynaud
Sebastian Bartling. G - - D isplays and L ocal S htuka. arXiv preprint arXiv:2206.13194 , 2022
-
[4]
REFERENCES 35 [BP18] Oliver B¨ ultel and Georgios Pappas
Oliver Bueltel and Mohammad Hadi Hedayatzadeh. (G, ) - W indows and D eformations of (G, ) - D isplays. arXiv preprint arXiv:2011.09163 , 2020
-
[5]
Algebraization and Tannaka duality
Bhargav Bhatt. Algebraization and Tannaka duality. Camb. J. Math. , 4(4):403--461, 2016
work page 2016
-
[6]
Lectures on P rismatic C ohomology
Bhargav Bhatt. Lectures on P rismatic C ohomology. https://public.websites.umich.edu/ bhattb/teaching/prismatic-columbia/, 2018
work page 2018
-
[7]
Arnaud Beauville and Yves Laszlo. A descent lemma. C. R. Acad. Sci., Paris, S \'e r. I , 320(3):335--340, 1995
work page 1995
-
[8]
Bhargav Bhatt and Jacob Lurie. Prismatic F - G auges. Lecture notes available at https://www. math. ias. edu/\ bhatt/teaching/mat549f22/lectures. pdf , 2022
work page 2022
-
[9]
Integral p -adic H odge T heory
Bhargav Bhatt, Matthew Morrow, and Peter Scholze. Integral p -adic H odge T heory. Publications Math \'e matiques de l'IH \'E S , 128(1):219--397, 2018
work page 2018
-
[10]
Topological H ochschild H omology and I ntegral p -adic H odge T heory
Bhargav Bhatt, Matthew Morrow, and Peter Scholze. Topological H ochschild H omology and I ntegral p -adic H odge T heory. Publications Math \'e matiques de l'IH \'E S , 129(1):199--310, 2019
work page 2019
-
[11]
(G, ) - D isplays and R apoport-- Z ink S paces
Oliver B \"u ltel and George Pappas. (G, ) - D isplays and R apoport-- Z ink S paces. Journal of the Institute of Mathematics of Jussieu , 19(4):1211--1257, 2020
work page 2020
-
[12]
Prisms and P rismatic C ohomology
Bhargav Bhatt and Peter Scholze. Prisms and P rismatic C ohomology . Annals of Mathematics , 196(3):1135 -- 1275, 2022
work page 2022
-
[13]
PEL M oduli S paces without C - V alued P oints
Oliver B \"u ltel. PEL M oduli S paces without C - V alued P oints. arXiv preprint arXiv:0808.4091 , 2008
-
[14]
Problems A bout T orsors over R egular R ings
K e stutis C esnavi c ius. Problems A bout T orsors over R egular R ings. Acta Mathematica Vietnamica , 47(1):39--107, 2022
work page 2022
-
[15]
A T annakian F ramework for G - D isplays and R apoport-- Z ink S paces
Patrick Daniels. A T annakian F ramework for G - D isplays and R apoport-- Z ink S paces. International Mathematics Research Notices , 2021(22):16963--17024, 2021
work page 2021
-
[16]
Modules over A lgebraic C obordism
Elden Elmanto, Marc Hoyois, Adeel A Khan, Vladimir Sosnilo, and Maria Yakerson. Modules over A lgebraic C obordism. In Forum of Mathematics, Pi , volume 8, page e14. Cambridge University Press, 2020
work page 2020
-
[17]
Laurent Fargues and Peter Scholze. Geometrization of the L ocal L anglands C orrespondence. arXiv preprint arXiv:2102.13459 , 2021
-
[18]
Specialization M aps for S cholze's C ategory of D iamonds
Ian Gleason. Specialization M aps for S cholze's C ategory of D iamonds. arXiv preprint arXiv:2012.05483 , 2020
-
[19]
An algebraicity conjecture of Drinfeld and the moduli of $p$-divisible groups
Zachary Gardner and Keerthi Madapusi. An algebraicity conjecture of drinfeld and the moduli of p -divisible groups. arXiv preprint arXiv:2412.10226 , 2024
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[20]
Une P ropriété des C ouples H enséliens
Laurent Gruson. Une P ropriété des C ouples H enséliens. Publications Mathématiques et Informatique de Rennes , (4):1--13, 1972
work page 1972
-
[21]
Naoki Imai, Hiroki Kato, and Alex Youcis. The P rismatic R ealization F unctor for S himura V arieties of A belian T ype. arXiv preprint arXiv:2310.08472 , 2023
-
[22]
Kazuhiro Ito. Deformation T heory for P rismatic G - D isplays. arXiv preprint arXiv:2306.05361 , 2023
-
[23]
Kazuhiro Ito. Prismatic G - D isplay and D escent T heory. arXiv preprint arXiv:2303.15814 , 2023
-
[24]
\( \) - A nneaux et V ecteurs de W itt
Andr \'e Joyal. \( \) - A nneaux et V ecteurs de W itt. C. R. Math. Acad. Sci., Soc. R. Can. , 7:177--182, 1985
work page 1985
-
[25]
Some ring-theoretic properties of
Kiran S Kedlaya. Some ring-theoretic properties of. In p-adic Hodge Theory , pages 129--141. Springer, 2020
work page 2020
-
[26]
Displays and Formal p -Divisible Groups
Eike Lau. Displays and Formal p -Divisible Groups . Inventiones Mathematicae , 171(3):617--628, 2008
work page 2008
-
[27]
Frames and Finite Group Schemes over Complete Regular Local Rings
Eike Lau. Frames and Finite Group Schemes over Complete Regular Local Rings . Documenta Mathematica , 15:545--569, 2010
work page 2010
-
[28]
Eike Lau. Higher Frames and G -Displays . Algebra & Number Theory , 15(9):2315--2355, 2021
work page 2021
-
[29]
De Rham-Witt C ohomology and D isplays
Andreas Langer and Thomas Zink. De Rham-Witt C ohomology and D isplays. Documenta Mathematica , 12:147--191, 2007
work page 2007
-
[30]
J. S. Milne. \'E tale C ohomology (PMS-33) . Princeton University Press, 1980
work page 1980
-
[31]
p-adic shtukas and the theory of global and local shimura varieties
GEORGIOS PAPPAS and MICHAEL RAPOPORT. p-adic shtukas and the theory of global and local shimura varieties. 2022
work page 2022
-
[32]
On The Classification and Specialization Of F -Isocrystals with Additional Structure
Michael Rapoport and Melanie Richartz. On The Classification and Specialization Of F -Isocrystals with Additional Structure . Compositio Mathematica , 103(2):153--181, 1996
work page 1996
-
[33]
Peter Scholze. \'E tale Cohomology of Diamonds . arXiv preprint arXiv:1709.07343 , 2017
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[34]
The Stacks project authors . The Stacks Project . https://stacks.math.columbia.edu, 2024
work page 2024
-
[35]
Berkeley Lectures on p -adic Geometry:(AMS-207)
Peter Scholze and Jared Weinstein. Berkeley Lectures on p -adic Geometry:(AMS-207) . Princeton University Press, 2020
work page 2020
-
[36]
Windows for Displays of \(p\) -Divisible Groups
Thomas Zink. Windows for Displays of \(p\) -Divisible Groups . In Moduli of Abelian Varieties. Proceedings of the 3rd Texel Conference, April 1999 , pages 491--518. Basel: Birkh \"a user, 2001
work page 1999
-
[37]
The Display of a Formal p -Divisible Group
Thomas Zink. The Display of a Formal p -Divisible Group . Ast \'e risque , 278:127--248, 2002
work page 2002
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.