pith. sign in

arxiv: 2604.16066 · v1 · submitted 2026-04-17 · 🧮 math.AG

Height 1 Group Schemes and Prismatic F-Gauges

Shubhodip Mondal , Martin Olsson This is my paper

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

classification 🧮 math.AG
keywords height one group schemesprismatic F-gaugescrystalline Dieudonné moduleflat cohomologyHoobler sequencepositive characteristicsmooth varietiesfinite flat group schemes
0
0 comments X

The pith

Finite flat height one group schemes over smooth varieties in positive characteristic have their prismatic F-gauges described explicitly.

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

The paper establishes a direct description of the prismatic F-gauge attached to a finite flat height one group scheme over a smooth variety in positive characteristic. This links the group scheme data to the prismatic site in a functorial way. A sympathetic reader would care because the construction connects classical theory of group schemes in characteristic p to prismatic cohomology. The description immediately yields the crystalline Dieudonné module and a Hoobler-type sequence for flat cohomology.

Core claim

We describe the prismatic F-gauge associated to a finite flat height one group scheme over a smooth variety of positive characteristic. As applications, we derive the description of the crystalline Dieudonné module of Berthelot-Breen-Messing in this case and recover results of Bragg-Olsson describing flat cohomology using a Hoobler-type sequence.

What carries the argument

The prismatic F-gauge associated to the finite flat height one group scheme, which carries the Frobenius action and group structure data into the prismatic site.

If this is right

  • The crystalline Dieudonné module of Berthelot-Breen-Messing is recovered directly from the F-gauge.
  • Flat cohomology is described by a Hoobler-type sequence.
  • The association is functorial for all such group schemes on smooth positive-characteristic varieties.

Where Pith is reading between the lines

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

  • The same construction could be tested on explicit examples such as mu_p or alpha_p to confirm consistency with classical invariants.
  • If the prismatic site extends to non-smooth bases, a similar description might hold for height one group schemes there.

Load-bearing premise

The prismatic site and F-gauge functor are well-defined and functorial precisely for finite flat height one group schemes over smooth varieties in positive characteristic.

What would settle it

For the specific height one group scheme given by the kernel of Frobenius on the additive group over a smooth curve in characteristic p, compute the F-gauge and check whether it reproduces the known crystalline Dieudonné module.

read the original abstract

We describe the prismatic F-gauge associated to a finite flat height one group scheme over a smooth variety of positive characteristic. As applications, we derive the description of the crystalline Dieudonn\'e module of Berthelot-Breen-Messing in this case and recover results of Bragg-Olsson describing flat cohomology using a Hoobler-type sequence.

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 / 2 minor

Summary. The manuscript describes the prismatic F-gauge attached to a finite flat height-1 group scheme over a smooth variety in positive characteristic. It reduces to the affine case, defines the gauge via the prismatic site, and verifies that the height-1 condition yields the expected Frobenius and Verschiebung data; the two applications recover the Berthelot-Breen-Messing crystalline Dieudonné module and Bragg-Olsson's flat-cohomology results via a Hoobler-type sequence.

Significance. If the description holds, the work supplies a prismatic-cohomological interpretation of height-1 group schemes that is consistent with classical crystalline and flat-cohomology results. The explicit translation of the height-1 condition into gauge data and the recovery of prior theorems constitute a useful bridge between the prismatic formalism and established Dieudonné theory.

minor comments (2)
  1. [§2] §2: the functoriality of the F-gauge with respect to the base change from the smooth variety to its affine open covers is invoked without an explicit citation to the relevant statement in the prismatic-site literature.
  2. [§4] The comparison with Berthelot-Breen-Messing in §4 would be clearer if the precise identification of the underlying module with the prismatic gauge were written as an equality of filtered Dieudonné modules rather than left implicit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. No specific major comments appear in the report, so we have no individual points to address.

Circularity Check

0 steps flagged

No significant circularity detected in derivation chain

full rationale

The paper constructs the prismatic F-gauge for a finite flat height-1 group scheme over a smooth positive-characteristic variety by reducing to the affine case via smoothness, then associating the gauge directly through the prismatic site of the base and checking that the height-1 condition produces the expected Frobenius and Verschiebung operators. This uses the prismatic site and F-gauge functor as already-established objects from the cited literature, without defining the gauge in terms of its own outputs, fitting parameters to data and relabeling them as predictions, or invoking self-citations as the sole justification for uniqueness or ansatz choices. The two applications recover independent known results (Berthelot-Breen-Messing crystalline Dieudonné modules and Bragg-Olsson flat cohomology) by direct comparison rather than by construction. No load-bearing step reduces to an input by definition or self-referential loop.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no explicit list of free parameters, axioms, or invented entities; the work relies on standard background from prismatic cohomology and the theory of finite flat group schemes.

pith-pipeline@v0.9.0 · 5340 in / 1113 out tokens · 42787 ms · 2026-05-10T07:35:28.418245+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

16 extracted references · 16 canonical work pages · 1 internal anchor

  1. [1]

    Ansch¨ utz and A.-C

    J. Ansch¨ utz and A.-C. Le Bras,Prismatic Dieudonn´ e theory, Forum Math. Pi11(2023), Paper No. e2, 92

    work page 2023

  2. [2]

    Berthelot, L

    P. Berthelot, L. Breen, and W. Messing,Th´ eorie de Dieudonn´ e cristalline. II, Lecture Notes in Mathematics, vol. 930, Springer-Verlag, Berlin, 1982

    work page 1982

  3. [3]

    Berthelot and A

    P. Berthelot and A. Ogus,Notes on crystalline cohomology, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1978

    work page 1978

  4. [4]

    Bhatt,PrismaticF-gauges, 2023, available athttps://www.math.ias.edu/ ~bhatt/teaching/mat549f22/ lectures.pdf

    B. Bhatt,PrismaticF-gauges, 2023, available athttps://www.math.ias.edu/ ~bhatt/teaching/mat549f22/ lectures.pdf

    work page 2023

  5. [5]

    Absolute prismatic cohomology

    B. Bhatt and J. Lurie,Absolute prismatic cohomology, 2022, arXiv:2201.06120. 16 SHUBHODIP MONDAL AND MARTIN OLSSON

    work page arXiv 2022

  6. [6]

    ,The prismatization ofp-adic formal schemes, 2022, arXiv:2201.06124

    work page arXiv 2022

  7. [7]

    Representability of cohomolog y of finite flat abelian group schemes

    D. Bragg and M. Olsson,Representability of cohomology of finite flat abelian group schemes, 2025, arXiv:2107.11492

    work page arXiv 2025

  8. [8]

    A. J. de Jong and W. Messing,Crystalline Dieudonn´ e theory over excellent schemes, Bull. Soc. Math. France127 (1999), no. 2, 333–348

    work page 1999

  9. [9]

    Fontaine and U

    J.-M. Fontaine and U. Jannsen,Frobenius gauges and a new theory ofp-torsion sheaves in characteristicp, Doc. Math.26(2021), 65–101

    work page 2021

  10. [10]

    Gille and P

    P. Gille and P. Polo (eds.),Sch´ emas en groupes (SGA 3). Tome I. Propri´ et´ es g´ en´ erales des sch´ emas en groupes, Documents Math´ ematiques (Paris) [Mathematical Documents (Paris)], vol. 7, Soci´ et´ e Math´ ematique de France, Paris, 2011, S´ eminaire de G´ eom´ etrie Alg´ ebrique du Bois Marie 1962–64

    work page 2011

  11. [11]

    PerfectF-gauges and finite flat group schemes

    K. Madapusi and S. Mondal,PerfectF-gauges and finite flat group schemes, 2025, arXiv:2509.01573

    work page arXiv 2025

  12. [12]

    Mazur and W

    B. Mazur and W. Messing,Universal extensions and one dimensional crystalline cohomology, Lecture Notes in Mathematics, vol. Vol. 370, Springer-Verlag, Berlin-New York, 1974

    work page 1974

  13. [13]

    Mondal,Dieudonn´ e theory via cohomology of classifying stacks, Forum Math

    S. Mondal,Dieudonn´ e theory via cohomology of classifying stacks, Forum Math. Sigma9(2021), Paper No. e81, 25

    work page 2021

  14. [14]

    Mondal,Dieudonn´ e theory via classifying stacks and prismatic F-gauges, (2024), available athttps://www

    S. Mondal,Dieudonn´ e theory via classifying stacks and prismatic F-gauges, (2024), available athttps://www. math.purdue.edu/~mondalsh/papers/DieudonneII.pdf

    work page 2024

  15. [15]

    Pentland,Syntomification and crystalline local systems, 2025, arXiv:2510.16961

    D. Pentland,Syntomification and crystalline local systems, 2025, arXiv:2510.16961

    work page internal anchor Pith review arXiv 2025

  16. [16]

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

    work page 2026