pith. sign in

arxiv: 2402.12879 · v3 · submitted 2024-02-20 · 🧮 math.NT · math.AG

Deformations of Prismatic Higher (G,μ)-Displays over Quasi-Syntomic Rings

Pith reviewed 2026-05-24 03:39 UTC · model grok-4.3

classification 🧮 math.NT math.AG
keywords prismatic displaysdeformation theoremp-divisible groupsDieudonne modulesquasi-syntomic ringsShimura varietiesprismatic cohomologyhigher displays
0
0 comments X

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.

The paper proves a deformation theorem for prismatic higher (G,μ)-displays over quasi-syntomic rings. This theorem is applied to extend the classification of p-divisible groups via prismatic Dieudonné modules to a class of rings properly containing the quasi-syntomic rings. The authors also relate the stack of these displays to integral local Shimura varieties. A sympathetic reader cares because the result broadens the rings over which p-divisible groups can be classified and deformed using prismatic methods.

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

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

  • 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.

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

0 major / 1 minor

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)
  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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents full enumeration; the work relies on standard axioms from prismatic cohomology and quasi-syntomic ring theory without new invented entities visible.

pith-pipeline@v0.9.0 · 5596 in / 1084 out tokens · 23739 ms · 2026-05-24T03:39:22.678733+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. An algebraicity conjecture of Drinfeld and the moduli of $p$-divisible groups

    math.NT 2024-12 unverdicted novelty 8.0

    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

37 extracted references · 37 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [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

  2. [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

  3. [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. [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. [5]

    Algebraization and Tannaka duality

    Bhargav Bhatt. Algebraization and Tannaka duality. Camb. J. Math. , 4(4):403--461, 2016

  6. [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

  7. [7]

    A descent lemma

    Arnaud Beauville and Yves Laszlo. A descent lemma. C. R. Acad. Sci., Paris, S \'e r. I , 320(3):335--340, 1995

  8. [8]

    Prismatic F - G auges

    Bhargav Bhatt and Jacob Lurie. Prismatic F - G auges. Lecture notes available at https://www. math. ias. edu/\ bhatt/teaching/mat549f22/lectures. pdf , 2022

  9. [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

  10. [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

  11. [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

  12. [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

  13. [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. [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

  15. [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

  16. [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

  17. [17]

    Geometrization of the local

    Laurent Fargues and Peter Scholze. Geometrization of the L ocal L anglands C orrespondence. arXiv preprint arXiv:2102.13459 , 2021

  18. [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. [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

  20. [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

  21. [21]

    [Ito22] Kazuhiro Ito

    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. [22]

    [Ito23b] Kazuhiro Ito

    Kazuhiro Ito. Deformation T heory for P rismatic G - D isplays. arXiv preprint arXiv:2306.05361 , 2023

  23. [23]

    [Ked19] Kiran S

    Kazuhiro Ito. Prismatic G - D isplay and D escent T heory. arXiv preprint arXiv:2303.15814 , 2023

  24. [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

  25. [25]

    Some ring-theoretic properties of

    Kiran S Kedlaya. Some ring-theoretic properties of. In p-adic Hodge Theory , pages 129--141. Springer, 2020

  26. [26]

    Displays and Formal p -Divisible Groups

    Eike Lau. Displays and Formal p -Divisible Groups . Inventiones Mathematicae , 171(3):617--628, 2008

  27. [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

  28. [28]

    Higher Frames and G -Displays

    Eike Lau. Higher Frames and G -Displays . Algebra & Number Theory , 15(9):2315--2355, 2021

  29. [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

  30. [30]

    J. S. Milne. \'E tale C ohomology (PMS-33) . Princeton University Press, 1980

  31. [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

  32. [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

  33. [33]

    Etale cohomology of diamonds

    Peter Scholze. \'E tale Cohomology of Diamonds . arXiv preprint arXiv:1709.07343 , 2017

  34. [34]

    The Stacks Project

    The Stacks project authors . The Stacks Project . https://stacks.math.columbia.edu, 2024

  35. [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

  36. [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

  37. [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