Pith. sign in

REVIEW 3 major objections 6 minor 2 cited by

Ring stacks conjecturally related to the stacks $BT_n^{G,\mu}$

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

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

Pith's one-line read A new family of ring stacks built from sheared Witt vectors is conjecturally the natural coefficient object for truncated p-divisible groups and their related generalizations.

desk verdict A precise, clearly written construction paper whose central definitions and models are new, but whose foundations rest on unpublished work and one unproved identification a referee must chase down. read the letter →

arxiv 2510.04958 v3 pith:7IY3I7I4 submitted 2025-10-06 math.AG

Vladimir Drinfeld This is my paper · ORCID
classification math.AG MSC 14L0514F30
keywords ringstacksshearedWittvectorsBarsotti-Tategroupsp-divisibletruncateddisplaysframeprismatizationCartierduality
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

The paper defines two ring stacks, $sR_n$ and its graded companion $sR^\oplus_n$, using the sheared Witt vector ring space $sW$, and proves they are well-defined $Z/p^nZ$-algebra stacks with several equivalent models. The motivating claim is that these stacks describe the stacks $BT^{G,\mu}_n$ of n-truncated Barsotti-Tate groups, in the sense that the relevant bundles are encoded by maps into or out of $sR_n$. If the conjecture holds, the complicated moduli of p-divisible groups would be governed by explicit, Witt-vector-built ring objects whose structural maps $F$ and $\tilde V$ carry all the group law data. The paper's own contribution is the definitions and the proof that the various models are quasi-isomorphic, not the conjecture itself.

What carries the argument

The sheared Witt vector ring space $sW = W \times_Q Q^{perf}$, equipped with Frobenius $F$ and a twisted Verschiebung $\tilde V$ (which equals $V$ in characteristic $p>2$ but must be corrected by a unit $u$ when $p=2$), together with the ideal $\hat W$ of nilpotent, finite-support Witt vectors. The cone construction for ring groupoids turns a quasi-ideal $d: I \to A$ into a ring stack; iterating it on $sW$ (and on the $Z$-graded $sW^\oplus$ obtained via the graded-ring equivalence) produces $sR_n$ and $sR^\oplus_n$. Exact sequences (3.5)-(3.6) and (3.13)-(3.14), plus derived $p$-completeness, are what make the comparisons between models valid.

What would settle it

Compute $sR_n(R)$ for a concrete $p$-nilpotent ring such as $R=F_p[\epsilon]/(\epsilon^2)$ using the definition $sR_n=\mathrm{Cone}(sW \xrightarrow{p^n} sW)(R)$ and using the claimed model $\mathrm{Cone}(\hat W(F^n) \rightarrow W_n)(R)$; any disagreement disproves the model for $p>2$. Equally, test (3.16)-(3.17) by searching for an element of $sW(R)$ not in the image of $1-\tilde V$, or by checking that the kernel is not exactly $Z_p(1)$.

Watch

Extended reading notes

Core claim

Taking the ring space $sW := W \times_Q Q^{perf}$ of sheared Witt vectors, the author sets $sR_n := \mathrm{Cone}(sW \xrightarrow{p^n} sW)$ and, after applying a graded-ring reconstruction equivalence to the pair $(sW, F, \tilde V)$, $sR^\oplus_n := \mathrm{Cone}(sW^\oplus \xrightarrow{p^n} sW^\oplus)$, obtaining stacks of $Z/p^nZ$-algebras and $Z$-graded $Z/p^nZ$-algebras, respectively. The paper proves several models for $sR_n$ are canonically quasi-isomorphic to these definitions: for $p>2$, $sR_n \cong \mathrm{Cone}(\hat W(F^n) \rightarrow W_n)$, and over $F_p$ a similar cone model holds for every $p$, while an additional economic model exists for all $p$ with a small modification when $p=2$. It also proves the projective limit of the $sR_n$ is $sW$, so the family is essentially the decompletion of the u

Load-bearing premise

The entire edifice rests on unpublished results on sheared Witt vectors — surjectivity of $F$ on $\hat W$, fppf/fpqc triviality of $\hat W$-torsors, Proposition 2.3.4 about $Q/\tilde V(Q)$, and derived $p$-completeness of $sW$ — so if any of these fails, the exact sequences and hence all models for $sR_n$ collapse.

Editorial extensions

If this is right

  • If the motivating conjecture holds, the stack of n-truncated Barsotti-Tate groups of height d and dimension d' is isomorphic to the relevant G-bundles over the ring stack sR_n for G=GL(d), so the moduli problem is governed by a single ring object.
  • The economic model for p>2, sR_n ≅ Cone(\hat W(F^n)→W_n), gives an explicit, ind-finite description that makes commutation with filtered colimits immediate and may make deformation-theoretic computations tractable.
  • The equality lim_{←n} sR_n = sW gives a universal sheared-Witt coefficient ring from which all truncated versions are recovered, placing sW on the same footing as the ordinary Witt scheme.
  • The self-dual model of §6 and the Cartier duality between \hat W(F^n) and W_n suggest that duality of truncated p-divisible groups is visible at the level of the ring stacks themselves.
  • The p=2 case requires a modified model, so the conjecture's behavior at the prime 2 is marked by genuinely different algebra.

Reading between the lines

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

  • One can read the construction as a proposal that truncated displays can be encoded by ring homomorphisms out of sR_n; if so, deformation theory of p-divisible groups would reduce to deformation theory of ring homomorphisms.
  • The economic model over F_p for every p suggests an F_p-flavored version of the dictionary that might be testable via explicit computations with perfect and semiperfect rings.
  • The autoduality conjecture of §3.7, if proved, would give a clean Ext-formulation of Cartier duality on sW and could serve as the algebraic engine behind the conjectural description of BT stacks.
  • Because the paper stops short of proving the motivating conjecture, the models here are the machinery one would use to attempt a proof; the natural next step is to construct a comparison map from BT^{G,μ}_n to the corresponding bundles on sR_n.
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 defines, for each n ∈ N, ring stacks sRn := Cone(sW --p^n--> sW) and graded analogs sR⊕n := Cone(sW⊕ --p^n--> sW⊕), using the ring space sW of sheared Witt vectors, following constructions from the unpublished works [BMVZ] and [BKMVZ]. It then proposes several 'models' for these ring stacks, i.e. realizations as cones of quasi-ideals, including a mixed-characteristic economic model Cone(Ŵ(F^n) → W_n) for p > 2 and more refined models for general p. The motivating conjecture, not proved here, is that sRn and sR⊕n describe the stacks BT^{G,μ}_n from [GM]. The paper also develops auxiliary structures: the ring space Q = W/Ŵ, the operator V-tilde, the Lau equivalence for Z-graded rings, derived p-completeness of sW, and a self-dual model A-tilde_n. Several proofs are referenced to unpublished works, and one key Proposition 4.1.4 is left to the reader.

Significance. If the constructions and models are correct, the paper provides concrete, computable algebraic models for objects conjecturally related to moduli of Barsotti–Tate groups and their Shimurian analogs. The definitions are explicit, and a substantial number of quasi-isomorphisms between the proposed models are proved within the text (or justifiably delegated to [BKMVZ, BMVZ] modulo the caveats below). The paper is honest about its conjectural status and about which statements are imported from unpublished sources. The Lau equivalence, though not proved here, is a natural algebraic tool that may have independent value. The main significance is conditional: the central claims hinge on a small number of externally supplied facts, especially the analysis of Q/˜V(Q) in §2.3.4, whose proof is not actually supplied in the manuscript.

major comments (3)
  1. [§2.3.4, proof of Proposition 2.3.4] The proof of Proposition 2.3.4 contains a load-bearing unproved assertion: “Therefore Q/˜V(Q) is the fpqc-sheafification of the presheaf R ↦ R_red.” No derivation is given. This statement is used to prove Corollary 2.3.6, which is then used verbatim in Lemma 3.2.5 and in Proposition 5.3.4, and the later economic models of §8.3.6 all depend on that chain. Since the cited sources [BMVZ]/[M1] are unpublished, the reader cannot verify the key identification. Please provide a complete proof, or a precise theorem statement with a proof sketch sufficient to check the fpqc-sheafification claim and the behavior of ˜V.
  2. [§4.1.4, Proposition 4.1.4] The Lau equivalence L: C_ec → C is stated as a proposition but its proof is “left to the reader.” This is not a cosmetic omission: the definition of sW⊕ in §4.2.1 and hence of sR⊕n in (5.2) depends on the equivalence being an equivalence of categories. The remarks in §4.1.5 illustrate the formula but do not establish the inverse functor or the isomorphisms of graded rings. Please provide a complete proof or a precise reference to a published version of [L21] that contains this statement.
  3. [§3.5.3, proof of Lemma 3.5.1] Derived p-completeness of sW is proved by saying “We follow [BMVZ].” This property is used in Proposition 5.2.3 to identify lim_n sRn with sW, and in Remark 3.5.2 to reduce to pointwise derived p-completeness. The proof given is only a sketch: it reduces to derived p-completeness of W(R) and (T_F(Q))(R), but the step “p^n Q(F^n) = 0” uses (2.7) and the assertion that Q(F^n) is killed by p^n. If that step is correct, it should be expanded; if it relies on a property only available in [BMVZ], the dependence should be made explicit and the missing argument supplied.
minor comments (6)
  1. [§1.3.1] Typo: “regared” should be “regarded.”
  2. [§3.1.1] Grammar: “The ring spaces Wis called” should be “The ring space sW is called.”
  3. [§4] Typo in heading: “descirbed” should be “described.”
  4. [§3.2.1] The formula “u := V^{-1}(p-[p])” uses an inverse of V that is not literally defined on W(Z_p) as a two-sided inverse; the notation is informal. A parenthetical clarification would help.
  5. [§5.2.2(i)] The proof of Proposition 5.2.2(i) is deferred to [BMVZ] with a note that §8 will provide a direct description. Since §8 itself relies on §§2–3, the statement of Proposition 5.2.2 is not independently justified in this paper; a cross-reference to the exact place in [BMVZ] would be useful.
  6. [References] The references [BMVZ], [BKMVZ], [M1], [M2], [Vo], and [L25] are listed as unpublished or lecture recordings; the manuscript would be easier to evaluate if the author indicated which of these are expected to appear in published form and to what extent the present paper depends on them.

Circularity Check

0 steps flagged · score 0.0 of 10

Definitions are direct cones on sW; models are proved equivalent to those definitions, and the BT relation is only motivational — no circular reduction found.

full rationale

The paper's chain is: define sW from W and Q (Eqs. 1.1, 3.1), define sRn and sR⊕n as Cones on sW and sW⊕ (Eqs. 5.1–5.2), then prove that the later models are quasi-isomorphic to those defining cones. These proofs are reductions to exact sequences (3.5)–(3.6), (3.13)–(3.14) and Corollary 2.3.6, which in turn rests on the imported fact that Q/˜V(Q) is the sheafification of R↦R_red (Prop. 2.3.4). That fact is cited to [BMVZ]/[M1] and is not an input derived from sRn or from the target BT stacks; it is external, albeit unpublished, support. The conjectural relation to BT^{G,μ}_n is explicitly not proved here and is used only as motivation (Conjecture D.8.4 from [Dr25a]), never as a hypothesis in any construction. The §9.2 construction for sR⊕n is even labelled 'tautological' and is a presentation using the already-defined object, not a derivation of the object from the model. Same-author citations such as [Dr24, Prop. 3.5.1] and [Dr25a, App. A] are used for standard Cartier duality facts or to mimic proofs; they do not carry the central claim. The main risk is verification of the unpublished background theory of sheared Witt vectors, which is a verification gap rather than circularity.

Assumptions & free parameters 1 free parameters · 4 assumptions · 3 invented entities

The central objects are definitions rather than derivations; the main external commitments are the unpublished theory of [BMVZ], the unproved Lau equivalence, and standard Cartier duality. No empirical parameters are fitted. The choice of u is a gauge-like lift and does not affect the final objects.

free parameters (1)
  • Lift u ∈ W(Z_p) of ū ∈ W(Z_p)/Ŵ(Z_p) = any lift; canonical choices: u=1 for p>2, u=[-1] for p=2 (§3.2.1)
    Uses u to define V-tilde on W and sW; sW⊕ is independent of the choice up to canonical graded isomorphism (§4.2.2), so it is a gauge choice, not a fitted constant.
assumptions (4)
  • domain assumption The unpublished [BMVZ] theory of sheared Witt vectors: surjectivity of F on Ŵ, Ŵ-torsor triviality, derived p-completeness, exact sequences for sW.
    Invoked for definitions (1.1)/(3.1), Lemma 3.5.1, Prop 2.3.4, and Cor 2.3.6; the paper states it follows [BMVZ] rather than proving it (§1.7, §2.1.2, §3.5.3).
  • ad hoc to paper The Lau equivalence L: C_ec → C (Proposition 4.1.4) is an equivalence of categories.
    Proof is left to the reader; the definition of sW⊕ and hence of sR⊕n depends on it.
  • domain assumption Cartier duality between W and Ŵ: the pairing Ŵ×W→G_m is nondegenerate.
    Used for the self-dual model (§6.4), economic models (§8.4.1), and Hom computations (Prop 3.7.7); cited to [Dr25a, Appendix A].
  • standard math fpqc sheafification and exactness conventions for p-Nilp^op: enough flat covers, and countable products of exact sequences of sheaves are exact.
    Required for the quotients and limits in (1.1)/(3.4), Lemma 3.5.1, and Lemma B.2.2; based on [Sta] and [BS].
invented entities (3)
  • ring stack sRn = Cone(sW --p^n--> sW)
    purpose: Conjectural algebraic model for the stack of n-truncated Barsotti-Tate groups and the Shimurian stacks BT^{G,μ}_n.
    Defined in §5.2; its conjectural identification with BT stacks is stated but not proved, so no external check is provided in this paper.
  • graded ring stack sR⊕n = Cone(sW⊕ --p^n--> sW⊕)
    purpose: Graded analogue conjecturally needed for Shimurian variants of the BT-stack description.
    Introduced in §5.2 using the new Z-graded ring space sW⊕; no independent verification is given.
  • Z-graded ring space sW⊕
    purpose: Graded enhancement of sW obtained by Lau equivalence; used to define sR⊕n.
    Defined in §4.2; internal to the construction, with canonical dependence only on the choice of u.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ring stacks conjecturally related to the stacks $BT_n^{G,\mu}$." pith.science (2026). https://pith.science/paper/7IY3I7I4

@misc{pith2026251004958,
  author       = {Pith},
  title        = {Pith review of: Ring stacks conjecturally related to the stacks $BT_n^G,\mu$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7IY3I7I4}},
  note         = {Machine review of arXiv:2510.04958}
}
read the original abstract

Using the ring space of sheared Witt vectors, we define certain ring stacks. We suggest several models for the ring stacks. Motivation: there is a conjectural description of the stack of n-truncated Barsotti-Tate groups and its Shimurian analogs in terms of the new ring stacks.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. Sheared displays and $p$-divisible groups

    math.NT 2026-01 conditional novelty 8.0 of 10

    Over p-nilpotent rings, p-divisible groups are equivalent to sheared displays, resolving Drinfeld's conjecture and giving a Dieudonné theory for all p-divisible groups.

  2. The Shimurian BT stack is a gerbe over truncated displays

    math.AG 2025-10 accept novelty 7.0 of 10

    The mod p Shimurian BT stack is a gerbe over the stack of truncated displays, confirming Drinfeld's gerbe conjecture.

Reference graph

Works this paper leans on

24 extracted references · 1 canonical work pages · cited by 2 Pith papers

  1. [1]

    Berthelot, D -modules arithm\'etiques

    P. Berthelot, D -modules arithm\'etiques. I. Op\'erateurs diff\'erentiels de niveau fini, Ann. Sci. \'Ecole Norm. Sup. 29 (1996), 185--272

    1996

  2. [2]

    Bhatt, Prismatic F-gauges

    B. Bhatt, Prismatic F-gauges. Available at https://www.math.ias.edu/ bhatt/teaching.html

  3. [3]

    Bhatt, A

    B. Bhatt, A. Mathew, V. Vologodsky, and M. Zhang, Sheared Witt vectors, work in progress

  4. [4]

    Bhatt, A

    B. Bhatt, A. Kanaev, A. Mathew, V. Vologodsky, and M. Zhang, Sheared prismatization, work in progress

  5. [5]

    Bhatt and P

    B. Bhatt and P. Scholze, The pro-\'etale topology for schemes, Ast\'erisque 369 (2015), 99--201

    2015

  6. [6]

    Bouthier, Support singulier et homologie des fibres de Springer affines, arXiv:2202.12017, version 3

    A. Bouthier, Support singulier et homologie des fibres de Springer affines, arXiv:2202.12017, version 3

    arXiv

  7. [7]

    Daniels, A Tannakian framework for G -displays and Rapoport-Zink spaces, Int

    P. Daniels, A Tannakian framework for G -displays and Rapoport-Zink spaces, Int. Math. Res. Not. 2021, no. 22, 16963--17024

    2021

  8. [8]

    Drinfeld, On a notion of ring groupoid, arXiv:2104.07090

    V. Drinfeld, On a notion of ring groupoid, arXiv:2104.07090

    arXiv

Show all 24 references
  1. [9]

    Drinfeld, Prismatization, Selecta Mathematica New Series 30 (2024), article no

    V. Drinfeld, Prismatization, Selecta Mathematica New Series 30 (2024), article no. 49, https://doi.org/10.1007/s00029-024-00937-3

    2024 doi

  2. [10]

    Drinfeld, On Shimurian generalizations of the stack BT _1 F _p , Journal of Mathematical Physics, Analysis, Geometry, 21 (2025), No

    V. Drinfeld, On Shimurian generalizations of the stack BT _1 F _p , Journal of Mathematical Physics, Analysis, Geometry, 21 (2025), No. 3, 276--301. Also available as arXiv:2304.11709

    2025 arXiv

  3. [11]

    Drinfeld, On the Lau group scheme, arXiv:2307.06194

    V. Drinfeld, On the Lau group scheme, arXiv:2307.06194

    arXiv

  4. [12]

    On the quotient of a groupoid by an action of a 2-group, arXiv:2504.21764

    arXiv

  5. [13]

    The ring space and Barsotti-Tate groups, a talk whose recording and slides are available at https://archive.mpim-bonn.mpg.de/id/eprint/5179

  6. [14]

    Gardner and K

    Z. Gardner and K. Madapusi, An algebraicity conjecture of Drinfeld and the moduli of p -divisible groups, arXiv:2201.06124, version 3

    arXiv

  7. [15]

    Lau, Relations between Dieudonn\'e displays and crystalline Dieudonn\'e theory, Algebra & Number Theory 8 (2014), no

    E. Lau, Relations between Dieudonn\'e displays and crystalline Dieudonn\'e theory, Algebra & Number Theory 8 (2014), no. 9, 2201--2262

    2014

  8. [16]

    Lau, Higher frames and G -displays, Algebra Number Theory 15 (2021), no

    E. Lau, Higher frames and G -displays, Algebra Number Theory 15 (2021), no. 9, 2315--2355

    2021

  9. [17]

    Lau, The Shimurian stack is a gerbe over truncated displays, in preparation

    E. Lau, The Shimurian stack is a gerbe over truncated displays, in preparation

  10. [18]

    Mathew, recording of the first talk on sheared prismatization, available at https://www.youtube.com/watch?v=o_bg1Ym9qZM

    A. Mathew, recording of the first talk on sheared prismatization, available at https://www.youtube.com/watch?v=o_bg1Ym9qZM

  11. [19]

    Mathew, recording of the second talk on sheared prismatization, available at https://www.youtube.com/watch?v=broATZdMQ_0

    A. Mathew, recording of the second talk on sheared prismatization, available at https://www.youtube.com/watch?v=broATZdMQ_0

  12. [20]

    Mathew, Cartier duality and flatness for ind-schemes, available at https://www.youtube.com/watch?v=vsFSDAoeKBs

    A. Mathew, Cartier duality and flatness for ind-schemes, available at https://www.youtube.com/watch?v=vsFSDAoeKBs

  13. [21]

    The Stacks Project, http://stacks.math.columbia.edu

  14. [22]

    R. G. Swan, On seminormality, J. Algebra 67 (1980), no. 1, 210--229

    1980

  15. [23]

    Vologodsky, recording of a talk on sheared prismatization, available at https://www.youtube.com/watch?v=STvzF5pS-PY

    V. Vologodsky, recording of a talk on sheared prismatization, available at https://www.youtube.com/watch?v=STvzF5pS-PY

  16. [24]

    Zink, A Dieudonn\'e theory for p-divisible groups

    Th. Zink, A Dieudonn\'e theory for p-divisible groups. In: Class field theory -- its centenary and prospect (Tokyo, 1998), Adv. Stud. Pure Math. 30 , 139--160, Mathematical Society of Japan, Tokyo, 2001

    1998

Pith tools

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