Pith. sign in

REVIEW 2 major objections 3 minor 19 references

On Steenbrink vanishing for rational singularities in positive characteristic

T0 review · 2 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper proves that rational singularities of dimension at least three over a perfect field of positive characteristic satisfy Steenbrink vanishing in the central coefficient range, with full Steenbrink vanishing following for strongly…

desk verdict New positive-characteristic vanishing theorem with a clean proof, but the abstract overstates the scope: full Steenbrink vanishing is only proved for Q-factorial threefolds or special log resolutions. read the letter →

arxiv 2507.04838 v1 pith:7ATS46FH submitted 2025-07-07 math.AG

Tatsuro Kawakami This is my paper · ORCID
classification math.AG MSC 14F1013A3514F1714B05
keywords SteenbrinkvanishingrationalsingularitiespositivecharacteristicdifferentialformsCartieroperatorF-injectivekltthreefoldstheorems
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

Steenbrink vanishing is a local vanishing statement for the higher direct images $R^j\pi_*\Omega^i_Y(\log E)(-E)$ on a log resolution $\pi:Y\to X$, meaning a resolution whose reduced exceptional divisor has simple normal crossings; it is the logarithmic analogue of Akizuki–Nakano vanishing and is known in characteristic zero but can fail in positive characteristic. The paper establishes the first positive-characteristic instance in the hardest range, $R^{d-1}\pi_*\Omega^{d-1}_Y(\log E)(-E)=0$, for rational singularities of dimension $d\ge 3$, assuming F-injectivity (injective Frobenius action on local cohomology) when $d=3$ and assuming the reduced exceptional divisor supports a $\pi$-ample divisor. The proof routes the higher direct image through the inverse iterated Cartier operator and shows the map is simultaneously zero and injective. As consequences, strongly F-regular threefolds and Q-factorial klt (Kawamata log terminal) threefolds in characteristic $p>41$ satisfy Steenbrink vanishing, a statement the paper notes is new even when $X$ is smooth.

What carries the argument

The load-bearing object is the inverse iterated Cartier operator $C_n^{-1}$, built from the logarithmic Cartier isomorphism on the smooth log pair $(Y,E)$. It maps $\Omega^i_Y(\log E)(-E)$ into the quotient $G_n\Omega^i_Y(\log E)(-E)=F^n_*\Omega^i_Y(\log E)(-E)/B_n\Omega^i_Y(\log E)(-E)$, and Theorem D shows that for large $n$ the induced map on $R^{d-1}\pi_*$ is zero whenever $E$ supports a $\pi$-ample divisor. Propositions 4.2 and 4.6 then show that under rational singularities, with quasi-F-injectivity (a Witt-vector generalization of F-injectivity) added for the $R^2$ case, the same induced map is injective for the $i=d-1$ sheaves. A module lying in the kernel of a map that is also injective must be zero, so the two statements lock together to force the vanishing in Theorem A.

What would settle it

The claim would be settled by finding a normal variety $X$ of dimension $d\ge 3$ with rational singularities, F-injective when $d=3$, over a perfect field of positive characteristic, with a log resolution $\pi:Y\to X$ whose reduced exceptional divisor $E$ supports a $\pi$-ample divisor, and such that $R^{d-1}\pi_*\Omega^{d-1}_Y(\log E)(-E)\neq 0$. For Theorem C it would suffice to exhibit a Q-factorial klt threefold over a perfect field of characteristic $p>41$ with $R^2\pi_*\Omega^2_Y(\log E)(-E)$ nonzero.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem A: over a perfect field of characteristic $p>0$, if $X$ is a normal variety with rational singularities, $\dim X\ge 3$, and $X$ is F-injective when $\dim X=3$, then for every log resolution $\pi:Y\to X$ whose reduced exceptional divisor $E$ supports a $\pi$-ample divisor, $R^{d-1}\pi_*\Omega^{d-1}_Y(\log E)(-E)=0$. This is exactly the $(i,j)=(d-1,d-1)$ case, the one not covered by Grauert–Riemenschneider-type arguments. With known inputs, Theorem A yields Theorem B, that every strongly F-regular threefold — a positive-characteristic singularity class analogous to klt — over a perfect field satisfies Steenbrink vanishing, and Theorem C, that every Q-factorial klt threefold in characteristic $p>41$ satisfies Steenbrink vanishing. The author's stated view is that Theorem A is new even when $X$ is smooth.

Load-bearing premise

The argument relies on there being a log resolution whose reduced exceptional divisor supports a $\pi$-ample divisor, and for the klt threefold theorem it also relies on the cited result that Q-factorial klt threefolds in characteristic $p>41$ are quasi-F-pure.

Editorial extensions

If this is right

  • Every Q-factorial strongly F-regular threefold in positive characteristic satisfies full Steenbrink vanishing.
  • Every Q-factorial klt threefold over a perfect field of characteristic $p>41$ satisfies Steenbrink vanishing.
  • For isolated singularities satisfying the hypotheses, the logarithmic extension property for one-forms follows, because the obstruction $H^1_E(Y,\Omega^i_Y(\log E))$ vanishes by duality as noted in Remark 4.8.
  • Theorem A supplies a Steenbrink-type vanishing statement that is new even when $X$ is smooth, since smooth varieties have rational singularities in all characteristics.
  • In the threefold theorems the essential case $(i,j)=(2,2)$ is now handled, while the other ranges with $i+j>3$ were already known for klt threefolds when $p>5$.

Reading between the lines

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

  • If the paper's zero-plus-injective dichotomy for the inverse iterated Cartier operator is robust, the same two ingredients could be used to attack Steenbrink-type vanishing for other values of $i$ in any dimension, provided duality computations like Lemma 3.2 can be pushed through.
  • The prime bound $p>41$ in Theorem C is inherited entirely from the cited quasi-F-purity theorem; if that result's bound improves, Theorem C should improve with it without changing the present argument.
  • A natural sharpness test is to construct rational singularities that fail to be quasi-F-injective, to see whether the F-injectivity assumption in dimension three is truly needed for Theorem A.
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

2 major / 3 minor

Summary. The paper proves a positive-characteristic Steenbrink-type vanishing theorem. Theorem A states: if X is a normal d-dimensional variety over a perfect field of positive characteristic, d >= 3, with rational singularities (and F-injective when d = 3), then for every log resolution pi: Y -> X whose reduced exceptional divisor E supports a pi-ample divisor one has R^{d-1} pi_* Omega^{d-1}_Y(log E)(-E) = 0. The proof is split into Theorem 4.1, an annihilation result for R^{d-1} pi_* Omega^i_Y(log E)(-E) under the action of iterated inverse Cartier operators, and Propositions 4.2 and 4.6, injectivity results under rational-singularity and quasi-F-injectivity assumptions. Theorem B derives the vanishing for all pairs (i,j) with i+j > 3 for strongly F-regular threefolds, but only for log resolutions whose reduced exceptional divisor supports a pi-ample divisor; a Q-factorial hypothesis then yields the full Definition 1.1 statement. Theorem C gives full Steenbrink vanishing for Q-factorial klt threefolds in characteristic p > 41, relying on [KTT+24, Theorem A].

Significance. The central two-step mechanism is attractive and appears sound: the inverse iterated Cartier operators provide a uniform way to kill the obstruction in top degree, and injectivity under rational singularities is proved by local duality and the quasi-F-injective condition. The result is new and relevant for birational geometry in positive characteristic, and the dependence on [KTT+24, Theorem A] is explicit and is a normal citation dependency. The main defect is that the abstract and parts of the introduction claim more than the theorems prove: full Steenbrink vanishing for all strongly F-regular threefolds is not established, only the special log resolutions with a pi-ample exceptional support. This is a statement-level overreach rather than a flaw in the internal algebra.

major comments (2)
  1. [Abstract; §1.1, Theorem B; §1.2, Theorem C; Remark 1.2] The abstract's opening claim that strongly F-regular threefolds and klt threefolds in characteristic p > 41 satisfy Steenbrink vanishing is not supported by the theorems as stated. Definition 1.1 requires the vanishing for every log resolution. Theorem B proves the vanishing only for log resolutions pi: Y -> X whose reduced exceptional divisor E supports a pi-ample divisor, and its final sentence explicitly uses Q-factoriality to conclude the full Definition 1.1 statement; since strong F-regularity does not imply Q-factoriality, the advertised consequence does not follow. Theorem C does prove full Steenbrink vanishing, but only under Q-factoriality, which the abstract's klt sentence omits. Remark 1.2(1) explains that the pi-ample condition is automatic for Q-factorial X and that [KW24b, Theorem 1.1] supplies a log resolution with the property, but it does not show that every log resolution has it. Please either add a reduction argument from arbitrary log resolutions to those with E supporting a pi-ample divisor, or reformulate the claims with the special-resolution hypothesis made explicit.
  2. [Theorem A; §1.3; Theorem 4.1] The gap between special and arbitrary log resolutions is load-bearing. Theorem A and Theorem B are not statements of Definition 1.1 for non-Q-factorial X; the proof of Theorem 4.1 uses the existence of a pi-ample anti-effective Q-divisor A supported on E, so the vanishing is genuinely proved only for that class of resolutions. If the authors believe the full Steenbrink vanishing statement follows for all log resolutions once it is known for one resolution with the pi-ample property, that implication is absent from the paper and should be proved. Otherwise the abstract, the introduction, and the theorem announcements should consistently use a qualified phrase such as 'Steenbrink vanishing for log resolutions whose reduced exceptional divisor supports a pi-ample divisor'.
minor comments (3)
  1. [Lemma 3.2(2) and proof] There is a repeated typo: the superscript 'n-i' in Lemma 3.2(2) should read 'd-i', and in the proof the two occurrences of 'B^{n-1}Omega^{d-1}_Y' should be 'B^{n-1}Omega^{d-i}_Y'.
  2. [Proposition 4.6 proof] The sentence 'the top horizontal arrow is surjective H^d_m(O_X) -> H^d_m(Q_{X,l}) is injective' is garbled; it should say that the horizontal map H^{d-1}_m(Q_{X,l}) -> H^{d-1}_m(B_{l,X}) is surjective and that H^d_m(O_X) -> H^d_m(Q_{X,l}) is injective.
  3. [Throughout] There are several typographical errors: 'OY -moudle' in §3.0.1, 'deinition' in the proof of Theorem 4.1, and the spacing in 'p >41' in the abstract.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Steenbrink vanishing proof is self-contained given standard tools; cited self-work is independent support.

full rationale

The central result Theorem A is derived by combining Theorem D (annihilation by inverse iterated Cartier operators, proved via Serre vanishing under the explicit pi-ampleness hypothesis) with Theorem E (injectivity under rational singularities and quasi-F-injectivity, proved by local and Grothendieck duality). No parameter is fitted and no empirical input is renamed as a prediction; the vanishing does not reduce to the hypotheses by construction. The paper does cite the author's prior work for auxiliary tools ([KTT+22], [KW24a]) and for classification inputs ([KTT+24, Theorem A] for quasi-F-purity of Q-factorial klt threefolds in p>41; [BKR25, Theorem 3.5] for rational singularities of strongly F-regular threefolds), but these are external theorems with stated assumptions that do not include Steenbrink vanishing, so they are independent support rather than circular premises. One genuine issue is a scope overstatement: the abstract claims strongly F-regular threefolds 'satisfy Steenbrink vanishing', whereas Theorem B is proved only for log resolutions whose reduced exceptional divisor supports a pi-ample divisor; for non-Q-factorial threefolds the passage to every log resolution is not supplied. This is a correctness/scope gap, not a circularity, and it does not change the circularity score.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No free parameters or invented entities. The central proof rests on standard Cartier duality facts and on four cited external theorems by the author and collaborators; the most fragile is the quasi-F-purity of klt threefolds in p>41.

assumptions (7)
  • domain assumption Existence of log resolutions with reduced exceptional divisor E supporting a pi-ample divisor
    Used throughout Theorems A, B, and D; automatic for Q-factorial varieties by Remark 1.2, and guaranteed in general by [KW24b, Theorem 1.1].
  • domain assumption Rational singularities are Cohen-Macaulay and have R pi_*O_Y = O_X
    Definition 4.4; yields R^j pi_* omega_Y =0 via local duality, which drives Proposition 4.2.
  • standard math Cartier isomorphism and inverse iterated Cartier operator formalism from [KTT+22]
    Section 3 relies on these for exact sequences, local freeness, and duality formulas.
  • domain assumption Strongly F-regular threefolds have rational singularities [BKR25, Theorem 3.5]
    External input for Theorem B.
  • domain assumption Q-factorial klt threefolds in characteristic p>41 are quasi-F-pure [KTT+24, Theorem A]
    External input for Theorem C; load-bearing because it supplies quasi-F-injectivity in dimension 3.
  • domain assumption Three-dimensional klt singularities for p>5 are rational [ABL22, BK23]
    External input for Theorem C.
  • standard math Relative Serre vanishing for negative twists and R^d pi_*=0 for birational morphisms
    Used in Theorem 4.1 to choose n and to kill the R^d term; not stated explicitly.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On Steenbrink vanishing for rational singularities in positive characteristic." pith.science (2026). https://pith.science/paper/7ATS46FH

@misc{pith2026250704838,
  author       = {Pith},
  title        = {Pith review of: On Steenbrink vanishing for rational singularities in positive characteristic},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7ATS46FH}},
  note         = {Machine review of arXiv:2507.04838}
}
abstract

We show a special case of Steenbrink vanishing for rational singularities in positive characteristic. As a consequence, we prove that strongly $F$-regular threefolds and klt threefolds in characteristic $p>41$ satisfy Steenbrink vanishing.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 8 canonical work pages

  1. [1]

    On the K awamata- V iehweg vanishing theorem for log del P ezzo surfaces in positive characteristic

    Emelie Arvidsson, Fabio Bernasconi, and Justin Lacini. On the K awamata- V iehweg vanishing theorem for log del P ezzo surfaces in positive characteristic. Compos. Math. , 158(4):750--763, 2022

    2022

  2. [2]

    Vanishing theorems for three-folds in characteristic p>5

    Fabio Bernasconi and J\'anos Koll\'ar. Vanishing theorems for three-folds in characteristic p>5 . Int. Math. Res. Not. IMRN , (4):2846--2866, 2023

    work page 2023

  3. [3]

    On Grauert-Riemenschneider vanishing for Cohen-Macaulay schemes of klt type

    Jefferson Baudin, Tatsuro Kawakami, and Linus R\"osler. On G rauert– R iemenschneider vanishing for C ohen-- M acaulay schemes of klt type. arXiv:2506.21381, 2025

    work page Pith review arXiv 2025

  4. [4]

    Higher direct images of the structure sheaf in positive characteristic

    Andre Chatzistamatiou and Kay R\" u lling. Higher direct images of the structure sheaf in positive characteristic. Algebra Number Theory , 5(6):693--775, 2011

    work page 2011

  5. [5]

    Vanishing of the higher direct images of the structure sheaf

    Andre Chatzistamatiou and Kay R\"ulling. Vanishing of the higher direct images of the structure sheaf. Compos. Math. , 151(11):2131--2144, 2015

    work page 2015

  6. [6]

    Kov\' a cs

    Daniel Greb, Stefan Kebekus, and S\' a ndor J. Kov\' a cs. Extension theorems for differential forms and B ogomolov- S ommese vanishing on log canonical varieties. Compos. Math. , 146(1):193--219, 2010

    2010

  7. [7]

    Kov\' a cs, and Thomas Peternell

    Daniel Greb, Stefan Kebekus, S\' a ndor J. Kov\' a cs, and Thomas Peternell. Differential forms on log canonical spaces. Publ. Math. Inst. Hautes \' E tudes Sci. , 114:87--169, 2011

    2011

  8. [8]

    A characterization of rational singularities in terms of injectivity of F robenius maps

    Nobuo Hara. A characterization of rational singularities in terms of injectivity of F robenius maps. Amer. J. Math. , 120(5):981--996, 1998

    1998

Show all 19 references
  1. [9]

    Extendability of differential forms via C artier operators

    Tatsuro Kawakami. Extendability of differential forms via C artier operators. https://arxiv.org/abs/2207.13967v4, 2022. To appear in J. Eur. Math. Soc. (JEMS)

    2022 arXiv

  2. [10]

    Steenbrink-type vanishing for surfaces in positive characteristic

    Tatsuro Kawakami. Steenbrink-type vanishing for surfaces in positive characteristic. Bull. Lond. Math. Soc. , 56(11):3484--3501, 2024

    2024

  3. [11]

    Kov\'acs

    S\'andor J. Kov\'acs. Steenbrink vanishing extended. Bull. Braz. Math. Soc. (N.S.) , 45(4):753--765, 2014

    2014

  4. [12]

    Extending one-forms on F -regular singularities

    Tatsuro Kawakami and Kenta Sato. Extending one-forms on F -regular singularities. https://arxiv.org/abs/2502.17148, 2025

    2025 arXiv

  5. [13]

    Quasi- F -splittings in birational geometry

    Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, and Shou Yoshikawa. Quasi- F -splittings in birational geometry. https://arxiv.org/abs/2208.08016, 2022. To appear in Ann. Sci. \'Ec. Norm. Sup\'er. (4)

    2022 arXiv

  6. [14]

    Quasi- F -splittings in birational geometry II

    Tatsuro Kawakami, Teppei Takamatsu, Hiromu Tanaka, Jakub Witaszek, Fuetaro Yobuko, and Shou Yoshikawa. Quasi- F -splittings in birational geometry II . Proc. Lond. Math. Soc. (3) , 128(4):Paper No. e12593, 81, 2024

    2024

  7. [15]

    Higher F -injective singularities

    Tatsuro Kawakami and Jakub Witaszek. Higher F -injective singularities. https://arxiv.org/abs/2412.08887, 2024

    2024 arXiv

  8. [16]

    Resolution and alteration with ample exceptional divisor

    J \'a nos Koll \'a r and Jakub Witaszek. Resolution and alteration with ample exceptional divisor. Science China Mathematics , pages 1--4, 2024

    2024

  9. [17]

    Counterexamples to K odaira's vanishing and Y au's inequality in positive characteristics

    Shigeru Mukai. Counterexamples to K odaira's vanishing and Y au's inequality in positive characteristics. Kyoto J. Math. , 53(2):515--532, 2013

    2013

  10. [18]

    The S tacks P roject

    The Stacks Project Authors. The S tacks P roject. https://stacks.math.columbia.edu/, 2025

    2025

  11. [19]

    J. H. M. Steenbrink. Vanishing theorems on singular spaces. Number 130, pages 330--341. 1985. Differential systems and singularities (Luminy, 1983)

    1985

Pith tools

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