REVIEW 3 major objections 4 minor 26 references
F-isocrystals of Higher Direct Images of $p$-Divisible Groups
T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read Higher direct images of p-divisible groups match slope-[0,1] crystals
desk verdict A genuinely new theorem—rational Artin-Mazur for higher direct images—with a plausible proof that has a couple of under-supported steps; worth refereeing. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the syntomic Dieudonné crystal M(G) and the exact sequence 0 → G[p^n] → $Fil^{1}$ M(G[p^n]) → M(G[p^n]) → 0 on the small syntomic site (Theorem 3.2 from [26]), which ties the p^n-torsion of G to the crystal via a divided Frobenius φ'. Pushing this sequence forward along f produces the long exact sequence (3.3). The paper proves this sequence almost splits by establishing (Proposition 3.10) that for any non-degenerate F-crystal E on the big crystalline-syntomic site of a perfect field, the map φ_E − p on u_*E has cokernel of finite exponent; this uniform bound makes the connecting maps in (3.3) almost zero. An isogeny step via a lemma of Pál realizes the slope-[0,1] part of the crystalline pushforward as the Dieudonné crystal of a p-divisible group H^i, and Lemma 2.4 upgrades the almost-isomorphisms to genuine isogenies between formal groups.
What would settle it
Compute directly the cokernel of σ − p on A_crys(R) for a regular semiperfect ring such as R = k[$X^{{p^{-∞}}$}]/(X), where P = k[$X^{{p^{-∞}}$}] and J = (X); check whether every element of p A_crys(R) lies in the image of σ − p after multiplication by a fixed p^N. The proof of Proposition 3.10 says yes for all such R but leaves the computation to a missing lemma; finding one R where the cokernel is not killed by any fixed p^N would disprove the proposition and with it Theorem 3.11.
Extended reading notes
Core claim
The paper's central theorem (Theorem 3.11) asserts that for a smooth projective morphism f: X → Spec(k) with k a field finitely generated over a perfect field of characteristic p, and any p-divisible group G over X, the higher direct image formal group R^i f_fppf* G is isogenous to a p-divisible group H^i, and there is a natural isomorphism of F-isocrystals M_cr(H^i)_Q ≅ R^i f_crys* M^cr(G)$_Q^{{[0,1]}}$. Here M^cr(G) is the covariant Dieudonné crystal of G on the big crystalline-syntomic site, and the superscript [0,1] denotes the slope-[0,1] part in the isogeny category of F-crystals. This gives the rational form of Artin–Mazur's question for the enlarged formal Brauer group when G = μ_{p^∞} and i = 2, without assuming the base field is perfect.
Load-bearing premise
The proof relies on Proposition 3.10, whose m = n = 1 case invokes a 'Lemma below' that is not present in the text and asserts the existence of an étale extension R' solving an equation in A_crys(R); if the cokernel of φ_E − p is not killed by a fixed power of p, the almost-splitting of the long exact sequence fails and the main theorem collapses.
Editorial extensions
If this is right
- The rational Artin–Mazur question is answered: for G = μ_{p^∞} and i = 2, the enlarged formal Brauer group's Dieudonné module is canonically the slope-[0,1] part of H^2_crys(X/W) ⊗ K, over any finitely generated field of characteristic p.
- For every p-divisible group G, the isogeny class of the formal group R^i f_* G is completely determined by the F-isocrystal R^i f_crys* M^cr(G)_Q^{[0,1]}, and the formation is functorial.
- The φ = p part of H^0_crys(S/W, R^i f_crys* M^cr(G)) computes the rational Tate module (lim H^0_fppf(S, R^i f_* G[p^n]))_Q, generalizing a prior result of Li–Qin with a cleaner proof.
- The theorem extends the Nygaard–Ogus computation for K3 surfaces of finite height to arbitrary smooth projective varieties and all p-divisible groups, without requiring a lift to characteristic zero.
Reading between the lines
- If the missing computational lemma in Proposition 3.10 is supplied, the isogeny in Theorem 3.11 might be promoted to an isomorphism after a suitable modification of H^i, yielding an integral (not just rational) answer to Artin–Mazur's question.
- Because the theorem works for any p-divisible group G, the same slope-[0,1] description should hold for the p^n-torsion sheaves of higher direct images of finite flat group schemes obtained by base change from G, such as μ_{p^n} and Z/p^n, with the same F-isocrystal.
- The result suggests that the isogeny class of R^i f_* G is constant on Newton-strata where the relative crystalline slopes are constrained to [0,1]; on such strata the formal group is 'p-divisible up to isogeny' by a uniform mechanism.
- A relative version over a smooth base scheme (not just a field) would follow if the perfect-field classification and the étale-extension argument in Proposition 3.10 can be replaced by a base-scheme statement; the current proof is field-specific.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for a smooth projective X over a field k finitely generated over a perfect field of characteristic p, and for a p-divisible group G over X, the higher direct image formal group R^i f_fppf* G is isogenous to a p-divisible group H^i, with a canonical isomorphism of F-isocrystals M_cr(H^i)_Q ≅ R^i f_crys* M^cr(G)_Q^{[0,1]}. The intended contribution is a rational answer to Artin-Mazur's question on enlarged formal Brauer groups, valid over imperfect fields. The proof proceeds by pushing forward the syntomic exact sequence of Trihan-Vauclair, proving an almost splitting of the resulting long exact sequence, and then using Dieudonné theory to identify the divisible part.
Significance. If the main theorem is correct, it is a substantial and natural generalization of the Artin-Mazur / Nygaard-Ogus description of formal Brauer groups: it identifies the rational Dieudonné module of the higher direct image formal group with the slope-[0,1] part of the crystalline Dieudonné F-isocrystal, and it proves p-divisibility up to isogeny. The paper is concise and the overall strategy is coherent, drawing on modern syntomic and crystalline methods. However, the proof as written has a concrete gap in the key almost-splitting proposition, and one essential existence input is imported from the literature by assertion rather than by proof. These issues are load-bearing for Theorem 3.11, so the manuscript needs nontrivial revision before it can be accepted.
major comments (3)
- [§3.2, Proposition 3.10] The m=n=1 case of Proposition 3.10 is not proved. The text refers to a 'Lemma below' for the identity σγ_i(f)=p^i g γ_{pi}(f), but no such lemma appears in the manuscript. More importantly, the step 'we can find R' an étale R-algebra ... such that there exists x ∈ A_crys(R') and σ(x)-x=b' is asserted without justification; in particular, the constant W(k)-component of b is never addressed. For an algebraically closed k, surjectivity of σ-1 on W(k) would handle that component, but the proof does not say this. For a perfect but not algebraically closed field such as k=F_p, σ is the identity on W(k) and the constant part is an obstruction not killed by any power of p. Since Proposition 3.10 is exactly what makes the long exact sequence (3.3) split almost everywhere via Proposition 3.4, this gap is load-bearing for Theorem 3.11.
- [§3.3, proof of Theorem 3.11] The existence of the p-divisible group H^i with M(H^i) isogenous to M^{[0,1]} is essential to the statement, but it is imported by the parenthetical assertion that [22, Lemma 5.8(2)] extends from smooth varieties to finitely generated fields, citing [8, Theorem 1]. The cited de Jong result is not the same as the needed statement, and the construction of H^i as an actual p-divisible group over S from the slope-[0,1] part of an F-crystal is not explained. Without a proof or a precise reference for this extension, the isomorphism M_cr(H^i)_Q ≅ M_Q^{[0,1]} is partly an input rather than a consequence of the argument.
- [§2.2, Definition 2.9 and diagram (3.4)] Definition 2.9 defines the slope-[0,1] part only in the isogeny category of F-isocrystals, but the proof of Theorem 3.11 uses maps such as M[0,1] -> M -> M' and diagram (3.4) as if they were maps of F-crystals. The passage from an isogeny-class construction to actual compatible maps of crystals needs to be justified, or the diagram must be reformulated in the isogeny category throughout.
minor comments (4)
- [General] The abbreviation 'al. isomorphism' is used frequently but never defined; the authors should define it as a map whose kernel and cokernel are annihilated by a fixed power of p, uniformly in the relevant parameters.
- [Throughout] There are several typos and small errors: 'inducitve systems' in Lemma 2.4, 'simly write' in the Notations, 'Mitterage-Leffler' in Lemma 3.8, 'commutive diagram' in Remark 3.3, and 'founded' for 'funded' in the acknowledgments.
- [§3.1, Lemma 3.1] In the proof of Lemma 3.1(1), the sentence 'By [15, Lemma 4.12], it suffices to prove the property on the big crystalline-Zariski site' is terse; a sentence explaining how this reduction works would help the reader.
- [§3.3, Corollary 3.13] The last isomorphism in Corollary 3.13 is justified only by 'follows from the proof of theorem 3.11'; this should be expanded or replaced by a precise citation to the step in the proof where slopes >1 are shown to be killed by φ-p.
Circularity Check
No significant circularity: the core isogeny theorem is proved from syntomic cohomology, and the F-isocrystal identification is a transparent consequence of the construction of H^i, with only a non-load-bearing self-citation to the authors' [15].
full rationale
The main claim of Theorem 3.11 is that R^i f_fppf*G is isogenous to a p-divisible group. The proof obtains this from the syntomic exact sequence (3.2), the almost-isomorphism Lemma 3.1(2), the splitting Proposition 3.4, and Lemma 2.4; this chain does not presuppose the desired F-isocrystal isomorphism. The displayed isomorphism M_cr(H^i)_Q is isomorphic to R^i f_crys* M_cr(G)_Q^{[0,1]} is reached only after H^i is introduced in the proof as the p-divisible group attached, via [22, Lemma 5.8(2)], to the slope-[0,1] F-crystal M_[0,1]; thus this half of the theorem is by construction rather than an independent prediction. The paper is transparent about this in the introduction, saying the isogeny is to 'a p-divisible group associated to the slope-[0,1] part' of the F-isocrystal, and the isogeny from the actual formal group to that H^i is the non-tautological content. The only self-citation used in a load-bearing position is [15, Lemma 4.12] in Lemma 3.1(1), a technical transfer statement; it is not a uniqueness theorem, and the surrounding argument also uses external results [2,4,19]. The proof of Proposition 3.10 refers to a 'Lemma below' that is absent; this is a missing argument or possible correctness gap, not a circularity. Overall the derivation is not circular; the score reflects a minor self-citation and the partly constructional nature of the F-isocrystal identification.
Assumptions & free parameters
assumptions (7)
- domain assumption Syntomic complex M^cr(G) and compatible exact sequences 0 -> G[p^n] -> Fil^1 M^cr(G[p^n]) -> M^cr(G[p^n]) -> 0 over X_syn (Theorem 3.2, citing [26, Thm. 9.13]).
- standard math Slope filtration and Dieudonné-Manin classification of F-crystals over perfect fields (cited from [6, Claim 2.8] and [13]).
- domain assumption Representability of R^i f_fppf* G[p^n] by an affine finite type group scheme over S (cited from [5, Cor. 1.4]).
- domain assumption Existence of a p-divisible group H^i whose Dieudonné crystal is isogenous to a given slope-[0,1] F-crystal, via [22, Lemma 5.8(2)], extended by the authors from smooth varieties to fields finitely generated over a perfect field.
- standard math A_crys(R) description for regular semiperfect rings and p-torsion-freeness ([9, Sec. 2.5], [24, Rmk. 4.1.9], [14, Lem. 6.1.9]).
- domain assumption RGamma_crys(X/D, M) is a perfect complex with finite Tor-amplitude for a Cohen ring D of k ([4, Thm. 7.24]).
- domain assumption Lemma 4.12 of the authors' earlier paper [15] is used in Lemma 3.1 to reduce the local freeness property to the big crystalline-Zariski site.
Cite this review
Pith. "Pith review of F-isocrystals of Higher Direct Images of $p$-Divisible Groups." pith.science (2026). https://pith.science/paper/LKT2KDOG
@misc{pith2026250611736,
author = {Pith},
title = {Pith review of: F-isocrystals of Higher Direct Images of $p$-Divisible Groups},
year = {2026},
howpublished = {\url{https://pith.science/paper/LKT2KDOG}},
note = {Machine review of arXiv:2506.11736}
}
abstract
For a $p$-divisible group $G$ over a smooth projective variety $X$ over $k$, where $k$ is a field finitely generated over a perfect field of characteristic $p$, we show that the formal group $R^i f_{\fppf*} G$ is isogenous to a $p$-divisible group. The Dieudonn\'e crystal of its divisible part is canonically isomorphic to the slope-$[0,1]$ part of $R^i f_{\crys*} \cM^{cr}(G)$ in the category of $F$-isocrystals over $k$. This provides an answer to the rational form of a question of Artin--Mazur regarding the enlarged formal Brauer groups.
Reference graph
Works this paper leans on
-
[15]
On p-torsions of geometric Brauer groups
Zhenghui Li and Yanshuai Qin, On p-torsions of geometric Brauer groups , 2024, https://arxiv. org/abs/2406.19518
work page Pith review arXiv 2024
-
[22]
Ambrus P´ al,The p-adic monodromy group of abelian varieties over global function fields of char- acteristic p, Documenta Mathematica 27 (2022), 1509–1579
work page 2022
-
[1]
M. Artin and B. Mazur, Formal groups arising from algebraic varieties , Annales scientifiques de l’´Ecole Normale Sup´ erieureSer. 4, 10(1977), no. 1, 87–131 (en)
work page 1977
-
[2]
Werner Bauer, On the conjecture of Birch and Swinnerton-Dyer for abelian varieties over function fields in characteristic p > 0., Inventiones mathematicae 108 (1992), no. 2, 263–288
work page 1992
-
[3]
Pierre Berthelot, Lawrence Breen, and William Messing, Th´ eorie de Dieudonn´ e Cristalline II, vol. 930, Springer, 2006
work page 2006
-
[4]
Pierre Berthelot and Arthur Ogus, Notes on Crystalline Cohomology , Princeton University Press, Princeton, 1978
work page 1978
-
[5]
Daniel Bragg and Martin Olsson, Representability of cohomology of finite flat abelian group schemes, (2021), arXiv 2107.11492 preprint at https://arxiv.org/abs/2107.11492
arXiv 2021
-
[6]
A De Jong and Frans Oort, Purity of the stratification by Newton polygons, Journal of the American Mathematical Society 13 (2000), no. 1, 209–241. 12 ZHENGHUI LI, YANSHUAI QIN
work page 2000
Show all 26 references
-
[7]
2, 333–348 (en)
Aise Johan De Jong and William Messing, Crystalline Dieudonn´ e theory over excellent schemes, Bulletin de la Soci´ et´ e Math´ ematique de France127 (1999), no. 2, 333–348 (en). MR 2001b:14075
1999
-
[8]
Arthur J de Jong, Crystalline Dieudonn´ e module theory via formal and rigid geometry, Publications Math´ ematiques de l’IH´ES 82 (1995), 5–96
1995
-
[9]
Vladimir Drinfeld, On a theorem of Scholze-Weinstein , arXiv preprint arXiv:1810.04292 (2018)
2018 arXiv
-
[10]
Ulrich G¨ ortz and Torsten Wedhorn,Algebraic Geometry II: Cohomology of Schemes, 1 ed., Springer Studium Mathematik - Master, Springer Spektrum, Wiesbaden, 2023
2023
-
[11]
Ulrich G¨ ortz and Torsten Wedhorn,Algebraic Geometry I: Schemes – With Examples and Exercises, 2 ed., Springer Studium Mathematik - Master, Springer Spektrum, Wiesbaden, 2020
2020
-
[12]
223, 269–293
Kazuya Kato, Expos´ e vi: Semi-stable reduction and p-adic etale cohomology, P´ eriodes p-adiques- S´ eminaire de Bures (1988), no. 223, 269–293
1988
-
[13]
Nicholas M. Katz, Slope filtration of f -crystals, Journ´ ees de G´ eom´ etrie Alg´ ebrique de Rennes - (Juillet 1978) (I) : Groupe formels, repr´ esentations galoisiennes et cohomologie des vari´ et´ es de caract´ eristique positive, Ast´ erisque, no. 63, Soci´ et´ e math´ em...
1978
-
[14]
Matthias Kummerer, Syntomic cohomology , (2014), https://www.mathi.uni-heidelberg.de/ ~otmar/diplom/kuemmerer.pdf
2014
-
[16]
B Mazur and L Roberts, Local Euler characteristics, Inventiones mathematicae 9 (1970), 201–234
1970
-
[17]
264, Springer-Verlag, Berlin, Heidelberg, 1972
William Messing, The Crystals Associated to Barsotti-Tate groups: With Applications to Abelian Schemes, Lecture Notes in Mathematics, vol. 264, Springer-Verlag, Berlin, Heidelberg, 1972
1972
-
[18]
James S Milne, Etale cohomology (pms-33) , Princeton university press, 1980
1980
-
[19]
Morrow, A Variational Tate Conjecture in crystalline cohomology , Journal of the European Mathematical Society 21 (2019), no
M. Morrow, A Variational Tate Conjecture in crystalline cohomology , Journal of the European Mathematical Society 21 (2019), no. 11, 3467–3511
2019
-
[20]
Nygaard and A
N. Nygaard and A. Ogus, Tate’s conjecture for K3 surfaces of finite height , Ann. of Math. 122 (1985), 461–507
1985
-
[21]
Oda, The first de Rham cohomology group and Dieudonn´ e modules , Annales scientifiques de l’´Ecole Normale Sup´ erieure2 (1969), no
T. Oda, The first de Rham cohomology group and Dieudonn´ e modules , Annales scientifiques de l’´Ecole Normale Sup´ erieure2 (1969), no. 1, 63–135
1969
-
[23]
Zev Rosengarten, Tate duality in positive dimension over function fields , 2023, arXiv 1805.00522v9, https://arxiv.org/abs/1805.00522
2023 arXiv
-
[24]
2, 145–237
Peter Scholze and Jared Weinstein, Moduli of p-divisible groups, Cambridge Journal of Mathematics 1 (2013), no. 2, 145–237
2013
-
[25]
The Stacks project authors, The Stacks project , https://stacks.math.columbia.edu, 2024
2024
-
[26]
Fabien Trihan and David Vauclair, A comparison theorem for semi-abelian schemes over a smooth curve, 2018, arXiv:1505.02942v2, https://arxiv.org/abs/1505.02942
2018 arXiv
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.