Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

A Bogomolov type vanishing theorem

T0 review · 2 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read The paper proves that on a projective manifold, the cohomology groups H^n(X, Ω_X^p ⊗ L ⊗ I(ψ)) vanish for p ≥ n − nd({α}) + 1 whenever the first Chern class of L differs from a nef class {α} by a semi-positive current.

desk verdict A solid, correct, but modest extension of the authors' own Bogomolov vanishing theorem; the proof is a clean reduction to prior work plus standard slicing, with a small normalization gap in the strong-openness step. read the letter →

arxiv 2607.14858 v1 pith:JJXMYETI submitted 2026-07-16 math.AG math.CV

Xiankui Meng , Chenghao Qing , Xiangyu Zhou This is my paper · ORCID
classification math.AGmath.CV MSC 32L2014F1832L1032C35
keywords BogomolovvanishingtheoremneflinebundlemultiplieridealsheafnumericaldimensionsingularHermitianmetricprojectivemanifoldstrongopennesslogarithmicdifferentialforms
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 establishes a Bogomolov-type vanishing theorem: for a projective manifold X of dimension n, a line bundle L, and a nef class {α} such that c1(L) − {α} is represented by a semi-positive current, the cohomology group H^n(X, Ω_X^p ⊗ L ⊗ I(ψ)) vanishes for all p ≥ n − nd({α}) + 1. In the special case where L itself is nef, this gives H^n(X, Ω_X^p ⊗ L) = 0 for p ≥ n − nd(L) + 1, recovering and extending Bogomolov's classical vanishing theorem. The result matters because such vanishing statements are central tools in the classification of higher-dimensional algebraic varieties, and the theorem covers line bundles with singular Hermitian metrics and multiplier ideal sheaves, which arise naturally in minimal model theory. The proof combines a big-case reduction via the strong openness property of multiplier ideals with an induction on dimension using hyperplane sections and logarithmic differential forms.

What carries the argument

The proof relies on three tools: the strong openness property of multiplier ideal sheaves (Theorem 2.2), used to identify the multiplier ideal of a perturbed metric with I(ψ) for small perturbation parameter; the restriction formula for multiplier ideals under hyperplane sections (Theorem 2.3); and an induction on dimension that uses the Poincaré residue exact sequence for logarithmic differential forms together with a logarithmic Serre vanishing theorem (Theorem 1.2) to control the error term. The numerical dimension nd({α}) serves as the threshold, and its invariance under slicing by ample divisors makes the induction step work.

What would settle it

A concrete way to test the theorem is to search for a projective manifold X, a line bundle L, a nef class {α}, and a quasi-psh function ψ satisfying c1(L) − {α} = {β + i∂∂̄ψ} with β + i∂∂̄ψ ≥ 0, such that H^n(X, Ω_X^p ⊗ L ⊗ I(ψ)) is nonzero for some p ≥ n − nd({α}) + 1. At the level of the proof, one could try to construct a pair (ψ, φ) as in the big-case reduction where I(ψ + εφ) ≠ I(ψ) for all small ε > 0 despite α + i∂∂̄φ ≥ ω; this would invalidate the reduction step even if the theorem itself might still hold.

Watch

Extended reading notes

Core claim

Theorem 1.6 is the central claim. Let X be a projective algebraic manifold of dimension n and L a line bundle. Assume {α} is a nef class and c1(L) − {α} = {β + i∂∂̄ψ} with β + i∂∂̄ψ ≥ 0 as currents. Then H^n(X, Ω_X^p ⊗ L ⊗ I(ψ)) = 0 for p ≥ n − nd({α}) + 1, where nd({α}) is the numerical dimension of the nef class. As a direct consequence, if L is nef, then H^n(X, Ω_X^p ⊗ L) = 0 for p ≥ n − nd(L) + 1. This is the conjugate or Bogomolov-type counterpart of the Kawamata–Viehweg–Nadel vanishing theorem, and it generalizes earlier results that were limited to big line bundles or to metrics with strictly positive curvature.

Load-bearing premise

The proof of the big case requires that the multiplier ideal of the perturbed weight ψ + εφ equals I(ψ) for small ε, which relies on the strong openness theorem for negative plurisubharmonic functions; the perturbation φ, however, is not explicitly normalized to be negative, so the applicability of that theorem is not fully justified as written.

Editorial extensions

If this is right

  • If L is nef, the theorem yields H^n(X, Ω_X^p ⊗ L) = 0 for p ≥ n − nd(L) + 1, a direct generalization of Bogomolov's vanishing theorem to nef line bundles.
  • For big line bundles (nd = n), it recovers the known vanishing H^n(X, Ω_X^p ⊗ L ⊗ I(ψ)) = 0 for all p ≥ 1, now as a special case of a uniform statement.
  • The result applies to line bundles carrying singular Hermitian metrics with semi-positive curvature up to a nef twist, giving a vanishing statement with multiplier ideal sheaves in that generality.
  • Combined with the companion Kawamata–Viehweg–Nadel type theorem (H^q(K_X ⊗ L ⊗ I(ψ)) = 0), it gives a complete package of vanishing results for pseudo-effective line bundles.
  • The logarithmic Serre vanishing theorem (Theorem 1.2) proved in Section 3 may be of independent interest for further applications.

Reading between the lines

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

  • The projective assumption may be relaxable: the induction uses hyperplane sections, but a similar slicing argument with general smooth divisors in a base-point-free linear system could work on compact Kähler manifolds, though the logarithmic Serre theorem might need adaptation.
  • Via Serre duality, the vanishing of H^n(X, Ω_X^p ⊗ L) is dual to H^0(X, Ω_X^{n−p} ⊗ L^{−1}); the theorem therefore also constrains the existence of holomorphic tensor fields twisted by negative line bundles, which is the original Bogomolov viewpoint.
  • The strong-openness step suggests a general principle: multiplier ideals are stable under perturbing a quasi-psh weight by a small multiple of any quasi-psh function whose curvature term is positive in the sense of currents, provided the perturbation preserves the total class. If formalized, this would simplify similar reductions in other vanishing theorems.
  • A natural testable extension is to replace the single nef class {α} by a nef (1,1)-class that is only relatively nef over a fibration, which could yield relative vanishing theorems with multiplier ideals.
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 / 4 minor

Summary. The paper proves a Bogomolov-type vanishing theorem (Theorem 1.6). For a projective manifold X of dimension n, a line bundle L, a nef class {α}, and a semipositive current β + i∂∂ψ representing c1(L) − {α}, the theorem asserts H^n(X, Ω_X^p ⊗ L ⊗ I(ψ)) = 0 for p ≥ n − nd({α}) + 1. When L is nef this gives H^n(X, Ω_X^p ⊗ L) = 0 for p ≥ n − nd(L) + 1. The proof first handles the big case nd({α}) = n by constructing a singular metric with positive curvature and invoking the authors' earlier Theorem 1.5(2), using strong openness of multiplier ideals. The general case is proved by induction on dimension, combining Xia's restriction formula, a logarithmic Serre vanishing theorem (Theorem 1.2), and slicing of numerical dimension. The paper also proves Theorem 1.2, a logarithmic-type Serre vanishing theorem for coherent sheaves.

Significance. If the proof is made rigorous, Theorem 1.6 is a clean and useful Bogomolov-type statement in the setting of nef classes and multiplier ideal sheaves, complementing Kawamata-Viehweg-type results. The organization is clear and the paper is honest about relying on substantial prior results: strong openness, Xia's restriction formula, and Theorem 1.5(2), the last due partly to the same group. However, the genuinely new content is largely a reduction: the big case is essentially Theorem 1.5(2), and the non-big case is a standard hyperplane induction. There are two technical gaps that need repair before the proof is acceptable.

major comments (2)
  1. [§2, Proposition 2.5(2.c)] The displayed exact sequence is false as stated. For D = D1, n = 2, p = 1 it reads 0 → Ω^1_X(log A)(−A) → Ω^1_X → Ω^1_A → 0; the first two sheaves have the same rank, so an injection would be an isomorphism and the quotient cannot be the nonzero locally free sheaf Ω^1_A. The standard residue sequence is 0 → Ω^p_X(log(D−D1))(−D1) → Ω^p_X(log D) → i_*Ω^{p−1}_{D1}(log(D−D1)|_{D1}) → 0. The proof of Theorem 1.2 in §3 uses the printed (2.c) to obtain the exact sequence displayed there, so that part of the proof is invalid. The line-bundle case still follows directly from Theorem 1.1, as the text notes, but the erroneous proposition and the proof depending on it must be corrected or removed.
  2. [§4, big case, strong openness step] The equality I(h_L) = I(ψ + δφ) = I(ψ) is attributed to Theorem 2.2 without sufficient justification. Theorem 2.2 is local, requires negative plurisubharmonic weights, and gives I(ψ) = ∪_{ε>0} I(ψ + εφ), not equality for a fixed small δ. To make the argument work one must explain that ψ and φ can be made negative psh after subtracting smooth functions, that the union from strong openness is an increasing family of coherent ideal sheaves whose union is I(ψ), and that coherence/Noetherianity implies stabilization, so equality holds for all sufficiently small δ. Without this, the reduction to Theorem 1.5(2) in the big case, which is the base of the induction, is not justified.
minor comments (4)
  1. [Theorem 1.6 statement] The function ψ should be explicitly declared quasi-plurisubharmonic; the condition β + i∂∂ψ ≥ 0 implies it, but the multiplier ideal I(ψ) is defined before that regularity is stated.
  2. [§4, notation] The notation 'ε ≪ δ ≪ 1' is garbled, and the formula I(h_L) = I(ψ + εφ) mixes ε and δ. The coefficient in the metric is δ, and the strong-openness parameter should be δ.
  3. [§2, Proposition 2.5] The sheaves on D1 in sequences (2.b) and (2.c) should be written consistently with the pushforward i_*, as is done in the proof. The current notation may confuse the reader about where these sheaves live.
  4. [§3, Theorem 1.2 proof] Once Proposition 2.5(2.c) is corrected, the 'simple proof' for line bundles no longer works. Consider deleting it and relying on the already-cited Theorem 1.1, which gives the line-bundle case directly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main proof uses published external theorems and standard tools; self-citations are not load-bearing in a circular way.

full rationale

The central big-case argument for nd({α})=n reduces to Theorem 1.5(2), but in the form used—the big-line-bundle case—the paper explicitly attributes the result to Watanabe: “Note that the case of (L;h) being big in Theorem 1.5 (2) is given by Watanabe [Wat23].” Thus the base of the induction is not an unverified self-citation. The key metric step in §4 asserts I(h_L)=I(ψ+δφ)=I(ψ) using the strong openness theorem [GZ15, Theorem 1.1]. Although Guan–Zhou includes a current author (Xiangyu Zhou), that theorem is a published, externally established result and is not an input of the present derivation; the application needs a small standard coherence/Noetherian argument to pass from ∪_{ε>0} to a fixed δ, but this is an omitted detail, not a circular reduction. The induction step uses Theorem 1.2 (proved in §3 of the paper) and the external restriction formula of Xia (Theorem 2.3); the numerical-dimension invariance is quoted from Demailly. No fitted parameter is renamed as a prediction, no definition presupposes the vanishing conclusion, and no cited uniqueness theorem is invoked to forbid alternatives. The paper is therefore self-contained in the sense required for a circularity finding, and the only flagged issue (strong-openness normalization) is a correctness/expository concern rather than circularity.

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

The proof is a chain of reductions: the big case comes from Theorem 1.5(2), a prior result by the same group; the general case uses hyperplane slicing, Xia's restriction formula, and a logarithmic Serre theorem proved in Section 3. No new objects are introduced; all inputs are standard or cited theorems. The main weakness is the heavy reliance on prior results from the same group, plus the unstated normalization in the strong-openness application.

assumptions (6)
  • standard math Multiplier ideal sheaves I(ψ) associated to quasi-psh potentials are coherent (Nadel).
    Used throughout to apply sheaf-cohomology and Serre-duality arguments to I(ψ); cited from [Nad90].
  • standard math Strong openness: for negative psh functions, I(ψ) = ∪_{ε>0} I(ψ + εφ0) (Guan–Zhou).
    Theorem 2.2; used in §4 to conclude I(h_L)=I(ψ+εφ)=I(ψ) for small ε. The negativity hypothesis is not explicitly verified there.
  • standard math Xia's restriction formula: for a base-point-free linear system, H ∈ Λ∖Σ gives 0 → I(h)⊗O(−H) → I(h) → I(h|_H) → 0 exact.
    Theorem 2.3; used in the hyperplane-slicing step of Theorem 1.6 to relate multiplier ideals on X and on the divisor A.
  • standard math Numerical dimension of a nef class is invariant under restriction to a smooth ample divisor when nd(α) ≤ n−1.
    Invoked in §4 as [Dem12, Proposition 6.21]; essential for matching the vanishing threshold on A with the threshold on X.
  • standard math Bogomolov-type vanishing for pseudo-effective line bundles: H^n(X, Ω^p⊗L⊗I(h))=0 for p ≥ n−nd(iΘ_{L,h})+1 (Cao, Guan–Zhou, Li–Meng–Ning–Wang–Zhou).
    Theorem 1.5(2); used as the big-case input in §4. This is the main self-cited dependency, since [LMNWZ25] shares two authors with the present paper.
  • standard math Huang–Liu–Wan–Yang logarithmic vanishing theorem.
    Theorem 1.1; cited as the source of the line-bundle case of the logarithmic Serre vanishing theorem (Theorem 1.2).

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Bogomolov type vanishing theorem." pith.science (2026). https://pith.science/paper/JJXMYETI

@misc{pith2026260714858,
  author       = {Pith},
  title        = {Pith review of: A Bogomolov type vanishing theorem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JJXMYETI}},
  note         = {Machine review of arXiv:2607.14858}
}
read the original abstract

In this paper, we establish a Bogomolov type vanishing theorem on projective manifolds in the context of nef line bundles and multiplier ideal sheaves.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Steenbrink vanishing theorem for big line bundles

    math.CV 2026-08 conditional novelty 6.0 of 10

    Big line bundles on compact complex spaces satisfy a Steenbrink-type cohomology vanishing theorem after passing to a log resolution and twisting by multiplier ideal sheaves.

Reference graph

Works this paper leans on

29 extracted references · 2 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Fedor Alekseevich Bogomolov, Holomorphic tensors and vector bundles on projective varieties, Izv. Akad. Nauk SSSR Ser. Mat. 42 (1978), no. 6, 1227--1287, 1439

    1978

  2. [2]

    517--524, Acad

    Fedor Alekseevich Bogomolov, Unstable vector bundles and curves on surfaces, in Proceedings of the International Congress of Mathematicians (Helsinki, 1978), pp. 517--524, Acad. Sci. Fennica, Helsinki

    1978

  3. [3]

    S\'ebastien Boucksom, C\^ o nes positifs des vari\'et\'es complexes compactes , PhD thesis, Universit\'e Joseph Fourier, Grenoble, 2002

    2002

  4. [4]

    Junyan Cao, Numerical dimension and a Kawamata-Viehweg-Nadel-type vanishing theorem on compact K\"ahler manifolds, Compos. Math. 150 (2014), no. 11, 1869--1902

    2014

  5. [5]

    Pierre Deligne and Luc Illusie, Rel\`evements modulo p^2 et d\'ecomposition du complexe de de Rham, Invent. Math. 89 (1987), no. 2, 247--270

    1987

  6. [6]

    Jean-Pierre Demailly, Analytic methods in algebraic geometry, Surveys of Modern Mathematics 1 , International Press, Somerville, MA; Higher Education Press, Beijing, 2012

    2012

  7. [7]

    Jean-Pierre Demailly, Complex analytic and differential geometry, 2012, available at http://www-fourier.ujf-grenoble.fr/ demailly/books.html

    2012

  8. [8]

    Jean-Pierre Demailly, Thomas Peternell, and Michael Schneider, Pseudo-effective line bundles on compact K\" a hler manifolds , Internat. J. Math. 12 (2001), no. 6, 689--741

    2001

Show all 29 references
  1. [9]

    H\'el\`ene Esnault and Eckart Viehweg, Lectures on vanishing theorems, DMV Seminar, 20, Birkh\"auser, Basel, 1992

    1992

  2. [10]

    Osamu Fujino and Shin-ichi Matsumura, Injectivity theorem for pseudo-effective line bundles and its applications, Trans. Amer. Math. Soc. Ser. B 8 (2021), 849--884

    2021

  3. [11]

    Reine Angew

    Patrick Graf, Bogomolov-Sommese vanishing on log canonical pairs, J. Reine Angew. Math. 702 (2015), 109--142

    2015

  4. [12]

    Qi'an Guan and Xiangyu Zhou, A proof of Demailly's strong openness conjecture, Ann. of Math. (2) 182 (2015), no. 2, 605--616

    2015

  5. [13]

    Chunle Huang, Kefeng Liu, Xueyuan Wan, and Xiaokui Yang, Vanishing theorems for sheaves of logarithmic differential forms on compact K\"ahler manifolds, Int. Math. Res. Not. IMRN 2023 , no. 16, 13501--13523

    2023

  6. [14]

    J\' a nos Koll\' a r, Higher direct images of dualizing sheaves. I, Ann. of Math. (2) 123 (1986), no. 1, 11--42

    1986

  7. [15]

    J\' a nos Koll\' a r, Higher direct images of dualizing sheaves. II, Ann. of Math. (2) 124 (1986), no. 1, 171--202

    1986

  8. [16]

    Zhi Li, Xiankui Meng, Jiafu Ning, Zhiwei Wang, and Xiangyu Zhou, On a Bogomolov type vanishing theorem, Nagoya Math. J. 257 (2025), 170--182

    2025

  9. [17]

    Xiankui Meng, Chenghao Qing, and Xiangyu Zhou, Vanishing theorems for pseudo-effective line bundles, Preprint, arXiv:2602.13821 (2026)

    2026 arXiv

  10. [18]

    Algebraic Geom

    Xiankui Meng and Xiangyu Zhou, Pseudo-effective line bundles over holomorphically convex manifolds, J. Algebraic Geom. 28 (2019), no. 1, 169--200

    2019

  11. [19]

    Xiankui Meng and Xiangyu Zhou, A generalization of Kawamata-Viehweg vanishing theorem, Comm. Anal. Geom. 31 (2023), no. 4, 895--903

    2023

  12. [20]

    Xiankui Meng and Xiangyu Zhou, On the restriction formula, J. Geom. Anal. 33 (2023), no. 12, Paper No. 369, 30 pp

    2023

  13. [21]

    Christophe Mourougane, Versions k\"ahl\'eriennes du th\'eor\`eme d'annulation de Bogomolov, Collect. Math. 49 (1998), no. 2-3, 433--445

    1998

  14. [22]

    Alan Michael Nadel, Multiplier ideal sheaves and K\"ahler-Einstein metrics of positive scalar curvature, Ann. of Math. (2) 132 (1990), no. 3, 549--596

    1990

  15. [23]

    Japan Acad

    Yoshiki Norimatsu, Kodaira vanishing theorem and Chern classes for -manifolds, Proc. Japan Acad. Ser. A Math. Sci. 54 (1978), no. 4, 107--108

    1978

  16. [24]

    Algebraic Geom

    Chenghao Qing and Xiangyu Zhou, Structure theorem, injectivity theorem and vanishing theorem for the cohomology groups of pseudo-effective line bundles, J. Algebraic Geom. 35 (2026), no. 2, 369--408

    2026

  17. [25]

    Bernard Shiffman and Andrew John Sommese, Vanishing theorems on complex manifolds, Progress in Mathematics, 56, Birkh\"auser Boston, Boston, MA, 1985

    1985

  18. [26]

    Yuta Watanabe, Bogomolov-Sommese type vanishing theorem for holomorphic vector bundles equipped with positive singular Hermitian metrics, Math. Z. 303 (2023), no. 4, Paper No. 92, 23 pp

    2023

  19. [27]

    Yuta Watanabe, L^2 -Dolbeault isomorphisms and vanishing theorems for logarithmic sheaves twisted by multiplier ideal sheaves, Math. Z. 312 (2026), no. 2, Paper No. 40, 28 pp

    2026

  20. [28]

    Xiaojun Wu, On a vanishing theorem due to Bogomolov, Preprint, arXiv:2011.13751 (2020)

    2011 arXiv

  21. [29]

    Mingchen Xia, Analytic Bertini theorem, Math. Z. 302 (2022), no. 2, 1171--1176

    2022

Pith tools

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