Pith. sign in

REVIEW 3 major objections 6 minor 48 references

Perfect $F$-gauges and finite flat group schemes

T0 review · 3 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Perfect F-gauges classify finite flat p-group schemes

desk verdict A serious, likely-correct extension of the Bhatt-Lurie/Anschütz-Le Bras classification that deserves refereeing, but the decisive reductions lean heavily on imported [23] and [43] and a couple of descent/approximation steps are left unwritten. read the letter →

arxiv 2509.01573 v1 pith:ZY3EM2KL submitted 2025-09-01 math.NT math.AG

Keerthi Madapusi , Shubhodip Mondal This is my paper · ORCID
classification math.NTmath.AG MSC 14L1514F3011G10
keywords finiteflatgroupschemesperfectF-gaugessyntomificationprismaticcohomologyDieudonnétheoryBreuil-Kisinmodulesp-divisiblegroupsfppf
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that finite locally free commutative p-power torsion group schemes over any p-complete discrete base ring are classified, by a canonical exact equivalence, by perfect F-gauges: perfect complexes on the syntomification of the base with Hodge-Tate weights in {0,1}, Tor amplitude in [-1,0], and p-power-torsion cohomology. The equivalence is compatible with arbitrary base change, fpqc descent, and Cartier duality, and it turns fppf cohomology of the group scheme into syntomic cohomology of the F-gauge. If correct, this gives one classification that specializes to all known frameworks such as windows, displays, crystals, and prismatic φ-modules, and it extends them past truncated Barsotti-Tate groups to general bases. It also yields representability of relative fppf cohomology under proper smooth maps and a proof of a purity theorem for fppf cohomology.

What carries the argument

The central object is a perfect F-gauge: a dualizable quasicoherent sheaf on the syntomification R_syn, the p-adic cohomological stack whose coherent cohomology computes syntomic cohomology, equipped with Hodge-Tate weights 0,1, Tor amplitude [-1,0], and p-power-torsion cohomology. The identity doing the work is the cofiber presentation: pro-étale locally, every such M is cofib(V^{-1} → V^0) with V^{-1}, V^0 vector-bundle F-gauges, and under the prior vector-bundle classification these correspond to an isogeny H^{-1}→H^0 of p-divisible groups, so G(M) is realized as the finite flat kernel of that isogeny. The marked twists M∨{1}[1] and the duality pairing G(M∨{1}[1]) ≃ G(M)^* are the Cartier

What would settle it

Take a non-perfect p-adic ring such as F_p[[t]] and compare Hom between two explicit F-gauges M_1, M_2 with Hom between the associated group schemes G(M_1), G(M_2), computed through τ≤0RΓ(R_syn, M); if a nonzero F-gauge map became zero at the level of group schemes, full faithfulness would fail. For exactness, compare the extension group Ext(G(M_1),G(M_2)) in fppf groups with Hom(M_1[1],M_2) in perfect F-gauges over a base where both can be computed by matrices, such as a semiperfectoid ring with non-F-nilpotent reduction; a mismatch would disprove Theorem A. A simpler global check is whether

Watch

Extended reading notes

Core claim

The central claim is Theorem A: over every p-complete discrete ring R, the category FFG(R) of finite locally free p-power-torsion commutative group schemes is equivalent to the category P_syn_{0,1}(R) of perfect F-gauges over R_syn with Hodge-Tate weights in {0,1}, Tor amplitude in [-1,0], and cohomology killed by a power of p. The functor G is truncated syntomic cohomology: on p-nilpotent test rings C, G(M)(C) = τ≤0 RΓ(C_syn, M|C_syn). The proof runs by combining an F-gauge analogue of Raynaud's theorem—every perfect F-gauge of the right weights is pro-étale locally the cofiber of a map V^{-1}→V^0 of vector-bundle F-gauges—with the known classification of n-truncated Barsotti-Tate groups by

Load-bearing premise

The load-bearing premise is the imported equivalence, from the paper's prior work, between n-truncated Barsotti-Tate groups and vector-bundle F-gauges over p-complete rings (with the representability theorems behind it); the new proof's full faithfulness, exactness, and essential surjectivity reduce at the final step to this equivalence, and the essential-surjectivity argument also relies on Raynaud's theorem that every finite flat group scheme is locally a kernel of an isoge

Editorial extensions

If this is right

  • Every finite flat p-power-torsion group scheme over any p-complete base has an associated perfect F-gauge, and its fppf cohomology is canonically the syntomic cohomology of that gauge.
  • The category of such group schemes becomes an exact category whose extensions are fiber sequences of F-gauges, so exactness of the equivalence means extension and obstruction problems can be computed in perfect complexes.
  • All existing classifications—windows, displays, divided crystals, and prismatic φ-modules—are special cases of one canonical functor, and new classifications follow in cases not previously covered.
  • Relative fppf cohomology of finite flat group schemes under proper smooth maps is representable once lower direct images are, generalizing previously known field and height-one cases.
  • The purity theorem for fppf cohomology follows by comparing fppf cohomology with syntomic cohomology of the associated F-gauge.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the canonical equivalence is as functorial as stated, the inverse functor may be definable on all p-adic formal stacks through moduli of classifying stacks and Nygaard-filtered prismatic cohomology, not only on p-quasisyntomic bases; this would turn the classification into a computational tool for finite flat group schemes in families.
  • Since the equivalence satisfies fpqc descent and is compatible with arbitrary base change, it likely globalizes to p-adic formal algebraic stacks and can transfer representability statements between syntomic cohomology and fppf cohomology beyond proper smooth morphisms.
  • The condition that R/pR be F-finite and F-nilpotent is probably sufficient rather than necessary for the classical-truncation classification; testing whether local nilpotence of the divided Frobenius on the cotangent complex alone yields the equivalence would be a direct extension of Theorem E.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper proves an exact, canonical, base-change-compatible equivalence of categories G : P_syn_{0,1}(R) -> FFG(R) for p-complete discrete rings R, carrying p^n-torsion F-gauges onto p^n-torsion finite flat commutative group schemes and compatible with Cartier duality (Theorem 7.1.1). The proof route is: (i) define G via truncated syntomic cohomology; (ii) prove exactness of Gamma_syn for truncated Barsotti-Tate groups (Theorem 5.1.1); (iii) prove an F-gauge analogue of Raynaud's theorem (Theorem 6.2.1); (iv) assemble full faithfulness, essential surjectivity, and exactness of Theorem 7.1.1. The paper also proves a syntomic/fppf cohomology comparison, representability of relative fppf cohomology along proper smooth maps, a Česnavičius-Scholze purity theorem, and several explicit classifications in terms of divided Dieudonné complexes and Breuil-Kisin frames.

Significance. If the proof is completed as intended, this is a substantial unification: finite flat group schemes over arbitrary p-adic bases are classified by one canonical cohomological object, specializing to truncated Barsotti-Tate groups, qrsp/prismatic Dieudonné theory, windows, and Breuil-Kisin modules. The paper is well structured and I did not find internal circularity: Theorems 5.1.1 and 6.2.1 are proved before and independently of Theorem A, and Theorem A is assembled from them by explicit five-lemma and descent arguments. The exactness theorem and the F-gauge Raynaud theorem are themselves valuable. The main risks are external dependencies and one or two unwritten descent steps; these are fixable within the manuscript's scope.

major comments (3)
  1. [§7.3, essential surjectivity] The text says, after proving full faithfulness, that by Raynaud's theorem [6, Théorème 3.1.1] one may assume the group scheme is étale-locally a kernel of an isogeny of p-divisible groups. As stated in [6], the classical theorem gives an fppf-local presentation, not an étale-local one. If the cover is only fppf, one must descend the F-gauge V and the isogeny data along that cover using fpqc/fppf descent. At this point in the paper fpqc descent for P_syn_{0,1} has not yet been established, and the descent step is not written. Since this is the final step of essential surjectivity, add an explicit descent argument or give a reference for an étale-local version.
  2. [§5.1 / Remark 5.1.3] Theorem 5.1.1 is load-bearing: it supplies the outer vertical isomorphisms in the five-lemma of Lemma 7.3.1 and the final exactness assertion in §7.4. Its proof reduces to the qrsp case by invoking [43, Remark 3.83] and [43, §3]. The exact content of the imported statement—in particular, that the inverse functor carries short exact sequences of finite flat group schemes to fiber sequences of perfect F-gauges for every qrsp ring, compatibly with Gamma_syn—is not restated. A hidden hypothesis there would propagate directly to Theorem A. Please state the imported theorem precisely, or prove the needed qrsp case. Also make explicit the step from isomorphism on qrsp R-algebras to an isomorphism of formal stacks in (5.1.4.1).
  3. [§8.2 / Proposition 8.2.6] Theorem 8.2.1 depends on the bound that Rπ^syn_* M is again a perfect F-gauge with Hodge-Tate weights in [n-d,m] and Tor amplitude [a,b+2d]. The proof is only sketched ('can be deduced from results of Guo-Li'), and the final reduction to coherent cohomology of proper morphisms is indicated rather than proved. Since Theorem C is advertised as a main application, please provide a complete proof or a precise reference that covers F-gauges over p-adic formal algebraic spaces in the required generality.
minor comments (6)
  1. [§1.4 vs §7.3] The introduction says Raynaud's theorem gives a Zariski-local reduction, while §7.3 says étale-locally. Align these statements once the correct topology is fixed.
  2. [Lemma 6.3.3] The notation P^syn_{[0,1],n}(R) appears to conflict with the paper's usual P^syn_{n,{0,1}}(R). Please clarify which category is meant in this lemma.
  3. [Theorem 7.1.1 / Remark 1.1.3] The body states Theorem A for affine Spf R, while the introduction states it for arbitrary p-adic formal schemes. The globalization by Zariski/fpqc descent is asserted rather than demonstrated; a short explanation would help.
  4. [Remark 7.2.2] The identification Gamma_syn(O_syn{1}[1]) ≃ lim_{←m} B μ_{p^m} is used for Cartier duality. Please give a reference or a proof for this identification.
  5. [Corollary 8.3.7] The reduction from a general qcqs scheme to 'X lci of dimension ≤ d' via [15, Lemma 7.1.1] is too terse; please spell out the constructibility and dimension hypotheses.
  6. [§9.9.7(1)] The statement 'R^∆ is already classical [11, Corollary 8.13]' should be made precise: classical as a prestack, as a ring object, or as having discrete structure sheaf on semiperfectoid test objects? This is needed for the advertised reduction to classical divided Dieudonné complexes.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem A's proof reduces to narrower prior results (Theorem 4.3.1 / [23, Thm 11.1.4], qrsp exactness from [43], and Raynaud's theorem), none of which is equivalent to Theorem A.

full rationale

The paper's central claim, Theorem 7.1.1, is an exact equivalence between perfect F-gauges of Tor amplitude [-1,0] and finite flat commutative p-power torsion group schemes over arbitrary p-complete discrete rings. The proof is not circular: full faithfulness in Lemma 7.3.1 is reduced, via an explicit five-lemma, to isomorphisms coming from Theorem 4.3.1 (namely [23, Theorem 11.1.4]) and Theorem 5.1.1; the quoted text says 'All arrows except the middle one are known to be isomorphisms: the first two from Theorem 4.3.1 and the last two from Theorem 5.1.1. From this and the five lemma it follows.' These are prior, narrower results: Theorem 4.3.1 classifies n-truncated Barsotti-Tate groups by vector-bundle F-gauges (Tor amplitude [0,0]), while Theorem A extends to Tor amplitude [-1,0] and arbitrary finite flat group schemes. Essential surjectivity uses Raynaud's theorem [6, Théorème 3.1.1] as an external input, plus Theorem 4.3.1. Exactness in §7.4 is reduced to Theorem 5.1.1, whose qrsp case is imported from [43]; again, this is a prior special case, not the target theorem. The F-gauge analogue of Raynaud (Theorem 6.2.1) is proved independently in §6 before Theorem A, using moduli-theoretic arguments and the representability theorems from [23]. No parameter is fitted to the target data, no category in the statement is defined in terms of the other side, and the cited prior work does not contain Theorem A. The self-citations are load-bearing in the proof but are not circular: they are narrower, independently stated results with stated hypotheses, and the central claim has independent content along the Tor-amplitude and generality axes. Any concern about hidden hypotheses in [23] or [43] is a correctness/robustness risk, not evidence of circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 3 invented entities

The central claim rests on a large imported apparatus: prismatic cohomology and F-gauges (Bhatt-Lurie, Drinfeld), the authors' prior results [23] and [43], classical Dieudonné theory [6], and Lau's frame theory [32, 33]. All of these are citable published or posted work, and no free parameter is fitted to make the theorems true. The genuinely new construction, the subcategory P_syn_{0,1}(R), carries no empirical handle and is justified entirely by the internal equivalences.

assumptions (5)
  • domain assumption Raynaud's theorem: every finite locally free commutative p-power torsion group scheme is Zariski locally the kernel of an isogeny of p-divisible groups [6, Theoreme 3.1.1].
    Invoked for essential surjectivity of G in §7.3 and named in the strategy §1.4. Not reproven; if it failed in the needed generality the surjectivity argument would not go through. Theorem I is the paper's F-gauge analogue, proven internally, but the classical theorem is the group-side input.
  • domain assumption The full theory of the syntomification X_syn, prismatization X_Delta, and F-gauges over them (Bhatt-Lurie [10, 11, 8], Drinfeld [19]), including flat covers of prismatizations (Prop 3.1.12), the filtered Rees-stack description (Thm 3.2.9), and quasisyntomic descent (Remark 3.3.8, Prop 3.2.10).
    Section 3 imports this framework wholesale; every theorem in the paper is stated inside it, and nothing in it is reproved.
  • domain assumption The authors' own prior results: Theorem 4.3.1 ([23, Thm 11.1.4], n-truncated BT groups equivalent to level-n vector bundle F-gauges), the representability and deformation theorems 4.1.1 and 4.2.1 ([23, Thms 8.13.1 and 8.12.1]), and the p-quasisyntomic case of the full equivalence ([43], used in Rema
    These are the platform for Sections 4-7. The final steps of the proofs of full faithfulness and essential surjectivity in §7.3 reduce to them, so Theorem A extends [23] exactly on the axis [23] did not cover.
  • domain assumption Crystalline Dieudonné theory of Berthelot-Breen-Messing [6] (Dieudonné crystals D(G*), filtered structures, Mazur-Roberts-type fiber sequences as in [15, Thm 5.2.8]).
    Used to identify Hodge-filtered pieces with Lie complexes (Prop 4.3.4) and to prove the crystalline-comparison statements (Prop 8.1.4) and the Mazur-Roberts carpet (Cor 4.3.5, Cor 8.1.6).
  • domain assumption Lau's theory of frames, weak lifts, and divided Dieudonné crystals, in particular Lemma 9.9.13 (the delta-ideals K_m in W(R^flat)) from [33, §6] and [32, §7], and the F-finite/F-nilpotent quasisyntomic covers of [33, Lemma 2.6].
    The proof of Proposition 9.9.9, which makes the classical prismatization suffice (Theorem 9.9.7 case 2), rests on these imported constructions, cited explicitly rather than reproven.
invented entities (3)
  • The infty-category P_syn_{0,1}(R) of perfect F-gauges of Hodge-Tate weights {0,1} and Tor amplitude [-1,0] as the canonical parameter space for finite flat group schemes.
    purpose: The new classification object of Theorem A.
    F-gauges themselves are inherited from Bhatt-Lurie [8]; the specific subcategory with Tor amplitude [-1,0] and weights {0,1} is the paper's chosen classifying structure. It has no falsifiable handle outside the paper; its justification is the internal equivalence Theorem A.
  • Divided Dieudonné complexes DDC_A(R) and classical prismatic divided Dieudonné complexes DDC_{Delta_cl}(R) (Defs 9.2.1 and 9.9.1).
    purpose: Concrete frame-based classifications that interpolate between Zink windows and Lau's divided Dieudonné crystals.
    New definitions, but Remarks 9.2.10 and 9.2.12 show they reduce to existing notions (windows, admissible prismatic Dieudonné modules); the equivalences in §9 establish their validity internally.
  • Laminated prismatic frames and Breuil-Kisin frames (Defs 9.1.10 and 9.5.2).
    purpose: Intermediate frame-theoretic layers through which the classification is routed to known frameworks.
    Explicit generalizations of Zink's frames and Lau's generalized frames, as acknowledged in Remark 9.1.3; constructs of the theory, not empirical entities.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Perfect $F$-gauges and finite flat group schemes." pith.science (2026). https://pith.science/paper/ZY3EM2KL

@misc{pith2026250901573,
  author       = {Pith},
  title        = {Pith review of: Perfect $F$-gauges and finite flat group schemes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZY3EM2KL}},
  note         = {Machine review of arXiv:2509.01573}
}
abstract

We show an equivalence of categories, over general $p$-adic bases, between finite locally $p^n$-torsion commutative group schemes and $\Int/p^n\Int$-modules in perfect $F$-gauges of Tor amplitude $[-1,0]$ with Hodge-Tate weights $0,1$. By relating fppf cohomology of group schemes and syntomic cohomology of $F$-gauges, we deduce some consequences: These include the representability of relative fppf cohomology of finite flat group schemes under proper smooth maps of $p$-adic formal schemes, as well as a reproof of a purity result of \v{C}esnavi\v{c}ius-Scholze. We also give a general criterion for a classification in terms of objects closely related to Zink's windows over frames and Lau's divided Dieudonn\'e crystals, and we use this to recover several known classifications, and also give some new ones.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

48 extracted references · 36 canonical work pages

  1. [23]

    An algebraicity conjecture of Drinfeld and the moduli ofp-divisible groups

    Zachary Gardner and Keerthi Madapusi. “An algebraicity conjecture of Drinfeld and the moduli ofp-divisible groups”. In: (2025). eprint:2412.10226. url: https://arxiv.org/abs/2412.10226

    arXiv 2025

  2. [43]

    DieudonnétheoryviacohomologyofclassifyingstacksII

    ShubhodipMondal.“DieudonnétheoryviacohomologyofclassifyingstacksII”.In:(2024).eprint: 2405.12967. url: https://arxiv.org/abs/2405.12967

    work page arXiv 2024

  3. [6]

    Théorie de Dieudonné cristalline

    Pierre Berthelot, Lawrence Breen, and William Messing. Théorie de Dieudonné cristalline. II. Vol. 930. Lecture Notes in mathematics. Berlin: Springer-Verlag, 1982

    work page 1982

  4. [1]

    Beauville-Laszlo gluing of algebraic spaces

    Piotr Achinger and Alex Youcis. “Beauville-Laszlo gluing of algebraic spaces”. In: (2024). eprint:2410.20500. url: https://arxiv.org/abs/2410.20500

    work page Pith review arXiv 2024

  5. [2]

    Prismatic Dieudonné theory

    Johannes Anschütz and Arthur-César Le Bras. “Prismatic Dieudonné theory”. In:Forum Math. Pi11 (2023), Paper No. e2, 92

    work page 2023

  6. [3]

    Duality in the flat cohomology of curves

    M. Artin and J. S. Milne. “Duality in the flat cohomology of curves”. In:Invent. Math.35 (1976), pp. 111–129

    work page 1976

  7. [4]

    Michael Artin, Alexander Grothendieck, and Jean-Louis Verdier.Theorie de Topos et Cohomologie Etale des Schemas I, II, III. Vol. 269, 270, 305. Lecture Notes in Mathematics. Springer, 1971

    1971

  8. [5]

    Moduli Spaces of Nilpotent Displays

    Sebastian Bartling and Manuel Hoff. “Moduli Spaces of Nilpotent Displays”. In:International Mathematics Research Notices2025.3 (2025), rnaf005.url: https://doi.org/10.1093/imrn/rnaf005. 70 REFERENCES

    work page doi:10.1093/imrn/rnaf005 2025

Show all 48 references
  1. [7]

    p-adic derived de Rham cohomology

    Bhargav Bhatt. “p-adic derived de Rham cohomology”. In: (Apr. 2012). arXiv:1204.6560 [math.AG]. url: http://arxiv.org/abs/1204.6560

    2012 arXiv

  2. [8]

    Prismatic F-gauges

    Bhargav Bhatt. Prismatic F-gauges. url: https://www.math.ias.edu/~bhatt/teaching/mat549f22/ lectures.pdf

  3. [9]

    Tannaka duality revisited

    Bhargav Bhatt and Daniel Halpern-Leistner. “Tannaka duality revisited”. In:Advances in Mathematics316 (2017), pp. 576–612

    2017

  4. [10]

    Absolute prismatic cohomology

    Bhargav Bhatt and Jacob Lurie. “Absolute prismatic cohomology”. In: (2022). eprint: 2201 . 06120. url: https://arxiv.org/abs/2201.06120

    2022 arXiv

  5. [11]

    Theprismatizationof p-adicformalschemes

    BhargavBhattandJacobLurie.“Theprismatizationof p-adicformalschemes”.In:(2022).eprint: 2201.06124. url: https://arxiv.org/abs/2201.06124

    2022 arXiv

  6. [12]

    Representability of cohomology of finite flat abelian group schemes

    Daniel Bragg and Martin Olsson. “Representability of cohomology of finite flat abelian group schemes”. In: (2021). eprint: 2107.11492

    2021 arXiv

  7. [13]

    Groupes p-divisibles, groupes finis et modules filtrés

    Christophe Breuil. “Groupes p-divisibles, groupes finis et modules filtrés”. In:Ann. of Math. (2)152.2 (2000), pp. 489–549

    2000

  8. [14]

    Dieudonn{é} crystals and Wach modules forp-divisible groups

    Bryden Cais and Eike Lau. “Dieudonn{é} crystals and Wach modules forp-divisible groups”. In:Proc. Lond. Math. Soc. (3)114.4 (Apr. 2017), pp. 733–763.url: https://onlinelibrary.wiley.com/doi/abs/10. 1112/plms.12021

    2017

  9. [15]

    Purity for flat cohomology

    Kęstutis Česnavičius and Peter Scholze. “Purity for flat cohomology”. In:Ann. of Math. (2)199.1 (2024), pp. 51–180

    2024

  10. [16]

    Finite group schemes over bases with low ramification

    Brian Conrad. “Finite group schemes over bases with low ramification”. In:Compositio Math.119.3 (1999), pp. 239–320

    1999

  11. [17]

    Crystalline Dieudonné module theory via formal and rigid geometry

    Aise Johan de Jong. “Crystalline Dieudonné module theory via formal and rigid geometry”. In:Inst. Hautes Études Sci. Publ. Math.82.1 (1995), pp. 5–96

    1995

  12. [18]

    Finite locally free group schemes in characteristicp and Dieudonné modules

    Aise Johan de Jong. “Finite locally free group schemes in characteristicp and Dieudonné modules”. In:Invent. Math. 114.1 (1993), pp. 89–137

    1993

  13. [19]

    Prismatization

    Vladimir Drinfeld. “Prismatization”. In: (2022). eprint: 2005.04746. url: https://arxiv.org/abs/2005. 04746

    2022 arXiv

  14. [20]

    Cohomology theory of Abelian groups and homotopy theory. I

    Samuel Eilenberg and Saunders MacLane. “Cohomology theory of Abelian groups and homotopy theory. I”. In: Proc. Nat. Acad. Sci. U.S.A.36 (1950), pp. 443–447

    1950

  15. [21]

    Group Schemes with Strict O-action

    Gerd Faltings. “Group Schemes with Strict O-action”. In:Mosc. Math. J.2.2 (2002), pp. 249–279

    2002

  16. [22]

    Frobenius gauges and a new theory ofp-torsion sheaves in character- istic p

    Jean-Marc Fontaine and Uwe Jannsen. “Frobenius gauges and a new theory ofp-torsion sheaves in character- istic p”. In:Doc. Math.26 (2021), pp. 65–101.url: http://dx.doi.org/10.4171/dm/809

    2021 doi

  17. [24]

    Letter to L

    Alexander Grothendieck. Letter to L. Illusie

  18. [25]

    Frobenius height of prismatic cohomology with coefficients

    Haoyang Guo and Shizhang Li. “Frobenius height of prismatic cohomology with coefficients”. In: (2023).url: https://arxiv.org/abs/2309.06663

    2023 arXiv

  19. [26]

    Mapping stacks and categorical notions of properness

    Daniel Halpern-Leistner and Anatoly Preygel. “Mapping stacks and categorical notions of properness”. In: Compos. Math. 159.3 (2023), pp. 530–589. issn: 0010-437X,1570-5846. doi: 10.1112/S0010437X22007667 . url: https://doi.org/10.1112/S0010437X22007667

    2023 doi

  20. [27]

    Derived δ-Rings and Relative Prismatic Cohomology

    Adam Holeman. “Derived δ-Rings and Relative Prismatic Cohomology”. In: (2023). eprint:2303.17447. url: https://arxiv.org/abs/2303.17447

    2023 arXiv

  21. [28]

    Comparison theorems

    Roland Huber. “Comparison theorems”. In: Étale Cohomology of Rigid Analytic Varieties and Adic Spaces. Aspects of Mathematics. Wiesbaden: Vieweg+Teubner Verlag, 1996, pp. 162–237.url: http://dx.doi.org/ 10.1007/978-3-663-09991-8_4

    1996 doi

  22. [29]

    Déformations de groupes de Barsotti-Tate (d’après A. Grothendieck)

    Luc Illusie. “Déformations de groupes de Barsotti-Tate (d’après A. Grothendieck)”. In: 127. Seminar on arithmetic bundles: the Mordell conjecture (Paris, 1983/84). 1985, pp. 151–198. REFERENCES 71

    1983

  23. [30]

    Revisiting deformations of truncated Barsotti-Tate groups

    Luc Illusie. Revisiting deformations of truncated Barsotti-Tate groups. url: https://www.imo.universite- paris-saclay.fr/~luc.illusie/Illusie-Chicago-2023-1.pdf

    2023

  24. [31]

    CrystallinerepresentationsandF-crystals

    MarkKisin.“CrystallinerepresentationsandF-crystals”.In: Algebraic Geometry and Number Theory.Vol.253. Progress in Mathematics. Birkhäuser Boston, 2006, pp. 459–496

    2006

  25. [32]

    Dieudonné theory over semiperfect rings and perfectoid rings

    Eike Lau. “Dieudonné theory over semiperfect rings and perfectoid rings”. In:Compos. Math.154.9 (2018), pp. 1974–2004

    2018

  26. [33]

    Divided Dieudonné crystals

    Eike Lau. “Divided Dieudonné crystals”. In: (2018).url: https://arxiv.org/abs/1811.09439

    2018 arXiv

  27. [34]

    Frames and finite group schemes over complete regular local rings

    Eike Lau. “Frames and finite group schemes over complete regular local rings”. In:Doc. Math. 15 (2010), pp. 545–569

    2010

  28. [35]

    Higher frames and G-displays

    Eike Lau. “Higher frames and G-displays”. In:Algebra Number Theory15.9 (2021), pp. 2315–2355

    2021

  29. [36]

    Relations between Dieudonné displays and crystalline Dieudonné theory

    Eike Lau. “Relations between Dieudonné displays and crystalline Dieudonné theory”. In: Algebra Number Theory 8.9 (2014), pp. 2201–2262

    2014

  30. [37]

    Smoothness of the truncated display functor

    Eike Lau. “Smoothness of the truncated display functor”. In:J. Amer. Math. Soc.26.1 (2013), pp. 129–165

    2013

  31. [38]

    p-isogenies with G-structure and their applications

    Si Ying Lee and Keerthi Madapusi. “ p-isogenies with G-structure and their applications”. In: (2025). in preparation

    2025

  32. [39]

    On endomorphisms of the de Rham cohomology functor

    Shizhang Li and Shubhodip Mondal. “On endomorphisms of the de Rham cohomology functor”. In:Geom. Topol.28.2 (2024), pp. 759–802

    2024

  33. [40]

    Derived algebraic geometry

    Jacob Lurie. Derived algebraic geometry. Thesis (Ph.D.)–Massachusetts Institute of Technology. ProQuest LLC, Ann Arbor, MI, 2004, (no paging)

    2004

  34. [41]

    The crystals associated to Barsotti-Tate groups: with applications to abelian schemes

    William Messing. The crystals associated to Barsotti-Tate groups: with applications to abelian schemes. Lec- ture Notes in Mathematics, Vol. 264. Springer-Verlag, Berlin-New York, 1972, pp. iii+190.url: http://www. ams.org/mathscinet-getitem?mr=0347836

    1972

  35. [42]

    Dieudonné theory via cohomology of classifying stacks

    Shubhodip Mondal. “Dieudonné theory via cohomology of classifying stacks”. In:For. Math. Sigma9 (Feb. 2020)

    2020

  36. [44]

    F-zips with additional structure

    Richard Pink, Torsten Wedhorn, and Paul Ziegler. “F-zips with additional structure”. In:Pacific J. Math. 274.1 (Mar. 2015), pp. 183–236.url: http://msp.org/pjm/2015/274-1/p09.xhtml

    2015

  37. [45]

    The Stacks project

    The Stacks project authors. The Stacks project. https://stacks.math.columbia.edu. 2023

    2023

  38. [46]

    Purity results forp-divisible groups and abelian schemes over regular bases of mixed characteristic

    Adrian Vasiu and Thomas Zink. “Purity results forp-divisible groups and abelian schemes over regular bases of mixed characteristic”. In:Doc. Math.15 (2010), pp. 571–599

    2010

  39. [47]

    The display of a formal p-divisible group

    Thomas Zink. “The display of a formal p-divisible group”. In: Astérisque 278 (2002), pp. 127–248. url: http://www.ams.org/mathscinet-getitem?mr=1922825

    2002

  40. [48]

    Windows for displays ofp-divisible groups

    Thomas Zink. “Windows for displays ofp-divisible groups”. In:Moduli of Abelian Varieties. Basel: Birkhäuser Basel, 2001, pp. 491–518.url: http://dx.doi.org/10.1007/978-3-0348-8303-0_17. Keerthi Madapusi, Department of Mathematics, Maloney Hall, Boston College, Chestnut Hill, M...

    2001 doi

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.