Pith. sign in

REVIEW 3 major objections 4 minor 32 references

Steenbrink vanishing theorem for big line bundles

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

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

Pith's one-line read The Steenbrink vanishing theorem extends from ample to big line bundles on compact complex spaces.

desk verdict A natural extension of Steenbrink vanishing to big line bundles, with a plausible main theorem but a real gap in the compact-case proof that should be fixable. read the letter →

arxiv 2608.01519 v1 pith:EPD2VBH5 submitted 2026-08-02 math.CV

Yuta Watanabe This is my paper · ORCID
classification math.CV MSC 32L2014F1732S2014F1832J2532C15
keywords SteenbrinkvanishingtheorembiglinebundlessingularHermitianmetricsmultiplieridealsheaveslogarithmicdifferentialformscompactcomplexspacesMoishezonL2-Dolbeaultresolution
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

This paper extends the Steenbrink vanishing theorem, originally for ample line bundles on complex projective varieties, to big line bundles on compact complex spaces of arbitrary dimension, using multiplier ideal sheaves to control the non-ample part of the bundle. The main theorem says that bigness alone forces the underlying space to be Moishezon and, after resolving singularities, kills all logarithmic cohomology groups in degrees $p+q>n$ when the bundle is twisted by $\mathcal{O}(-E)$ and the multiplier ideal sheaf. Along the way, the paper proves that bigness can be approximated by a metric with algebraic singularities whose divisorial Lelong numbers produce a positive fractional twist of a $\mathbb{Q}$-line bundle. It also removes projectivity from the hypothesis, treats nef and big line bundles with trivial multiplier ideal, and gives a new short analytic proof of the classical Steenbrink theorem. If the main theorem is right, vanishing theorems that usually require ampleness become available for the much larger class of big line bundles on non-projective spaces.

What carries the argument

The machine is a two-step positivity transfer. First, a refined approximation result turns an arbitrary singular positive metric on a big line bundle into one with algebraic singularities without changing the multiplier ideal sheaf. Second, Theorem 3.2 shows that after a log resolution $\pi$, the $\mathbb{Q}$-line bundle $\pi^*L\otimes \mathcal{I}(\pi^*\hbar)\otimes \mathcal{O}(-\sum_j \delta_j E_j)$ is positive for rational $\delta_j\in[\upsilon_j-\lfloor\upsilon_j\rfloor,1)$; this is the exact object that lets the proof slide from the fractional twist $\delta_j$ to the integral twist $1$ in $\mathcal{O}(-E)$ and feeds the logarithmic $L^2$-Dolbeault machinery, whose curvature commutator $[

What would settle it

Compute $H^q(\tilde{X}, \Omega^p_{\tilde{X}}(\log E)\otimes \mathcal{O}_{\tilde{X}}(-E)\otimes \tilde{\pi}^*L\otimes \mathcal{I}(\tilde{\pi}^*h))$ for a concrete big line bundle whose resolution has a nonzero fractional coefficient $\delta_j$. A natural test case is the blow-up of $\mathbb{P}^n$ at a point with $\pi^*\mathcal{O}(1)$ and the strict transform of a hyperplane, the setting of Counterexample 4.4; a nonzero group with $p+q>n$ would disprove the main theorem, while vanishing would show the fractional twist is harmless.

Watch

Extended reading notes

Core claim

On a compact complex space $X$ of pure dimension $n$, the paper claims that a big line bundle $L$ forces $X$ to be Moishezon and forces a very strong cohomology vanishing once singularities are resolved. More precisely, $L$ admits a singular Hermitian metric $h$ whose pullback under a resolution has algebraic singularities away from the exceptional locus and has strictly positive curvature current; after a log resolution $\pi: \tilde{X}\to \hat{X}$, the cohomology $H^q(\tilde{X}, \Omega^p_{\tilde{X}}(\log E)\otimes \mathcal{O}_{\tilde{X}}(-E)\otimes \tilde{\pi}^*L\otimes \mathcal{I}(\tilde{\pi}^*h))$ vanishes whenever $p+q>n$. The same statement is proved for singular positive metrics on rel

Load-bearing premise

The load-bearing premise is that a positive $\mathbb{Q}$-line bundle with fractional simple-normal-crossing coefficients still forces the same logarithmic cohomology vanishing as an honest positive line bundle; the entire compact-case proof is a transfer from a fractional twist to the integral bundle $\mathcal{O}(-E)$.

Editorial extensions

If this is right

  • Bigness of $L$ on a compact complex space forces $X$ to be Moishezon and yields the full Steenbrink-type vanishing in every bidegree $p+q>n$ after a log resolution.
  • For nef and big line bundles the multiplier-ideal twist can be made trivial, so the vanishing holds with no multiplier ideal at all.
  • The same argument works on relatively compact weakly pseudoconvex spaces, so the vanishing is independent of compactness and of any projective embedding.
  • Theorem 1.4 produces an explicit positivity certificate: the fractional coefficients $\delta_j$ lie in $[\upsilon-\lfloor\upsilon\rfloor,1)$, connecting the vanishing to divisorial Lelong numbers.
  • The original Steenbrink theorem and its higher-direct-image variant obtain a new, purely analytic proof via the same logarithmic $L^2$ technique.

Reading between the lines

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

  • Editorial inference: since the proof only needs the positivity of the $\mathbb{Q}$-line bundle $L_\delta$, the same vanishing should hold for a whole family of fractional twists; the integer coefficient $1$ in $\mathcal{O}(-E)$ is just one endpoint of the allowable interval.
  • Editorial inference: the nef-and-big case suggests that on Moishezon spaces a Kawamata–Viehweg-type statement holds without multiplier ideals, once a metric with all divisorial Lelong numbers below $1$ is chosen.
  • Editorial inference: the fractional coefficients $\delta_j$ behave like discrepancies along the exceptional divisors, so Theorem 1.4 may connect to minimal-model-type adjustments on non-projective spaces.
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 / 4 minor

Summary. The paper aims to extend Steenbrink's vanishing theorem for ample line bundles on projective varieties to big line bundles on compact complex spaces, with multiplier ideal sheaves. The main Theorem 1.3 states: if X is a compact complex space of pure dimension n, μ: \hat X → X is a resolution, and L → X is a big holomorphic line bundle, then X is Moishezon and there is a singular Hermitian metric h on L such that μ*h has algebraic singularities off Exc(μ) and strictly positive curvature; for a log resolution π: \tilde X → \hat X of the singular locus of μ*h, the logarithmic Steenbrink-type vanishing H^q(\tilde X, Ω^p_{\tilde X}(log E) ⊗ O(-E) ⊗ \tilde π*L ⊗ I(\tilde π*h)) = 0 holds for all p+q > n. A nef-and-big variant is stated as Theorem 1.5. The proof strategy is: construct a positive Q-line bundle L_δ from the given big line bundle using a refined Demailly approximation and the Negativity Lemma (Theorem 3.2); then either use a complete L2 Poincaré-type argument (Theorem 4.1) or, for the compact case, apply the vanishing theorem of Huang–Liu–Wan–Yang [HLWY23] to the positivity of L_δ.

Significance. If the main theorem is correct, it is a substantial generalization: it removes the projectivity/Kähler assumptions from the classical Steenbrink theorem and replaces ampleness by bigness, with multiplier ideal sheaves in the spirit of Nadel's theorem. The paper also contains a useful positivity statement (Theorem 3.2 / Theorem 1.4) for Q-line bundles with controlled fractional multiplicities, and Theorem 4.1 provides a detailed L2 vanishing argument on weakly pseudoconvex spaces. These are genuine contributions. However, the proof of the central compact-case theorem is not fully justified as written, and the paper relies heavily on the author's own unpublished preprints ([Wat24], [Wat26a], [Wat26b], [Wat26c]) for key ingredients, which are not stated or proved in the manuscript.

major comments (3)
  1. [§4, Proof of Theorem 1.3] The displayed argument applies [HLWY23, Theorem 1.1] to the Q-line bundle L_δ = O(-E) ⊗ \tilde π*L ⊗ I(\tilde π*h) ⊗ O(∑_{j∈J}(1-δ_j)E_j), with 1-δ_j ∈ (0,1]. The cited theorem, as used in the Introduction and elsewhere, is a vanishing theorem for holomorphic line bundles, not for Q-line bundles with fractional normal-crossing twists. The paper does not prove that [HLWY23, Theorem 1.1] extends to such Q-line bundles, and clearing denominators does not directly yield the desired vanishing for the untwisted sheaf. Thus the short proof of Theorem 1.3 does not establish the stated vanishing. The theorem may be recoverable by invoking the L2 argument of Theorem 4.1, or by proving the needed Q-line-bundle version of [HLWY23, Theorem 1.1], but that step is missing and is load-bearing.
  2. [§4, Proof of Theorem 4.1 and Theorem 1.3] The proof of Theorem 4.1 begins by appealing to [Wat26b, Theorem 1.5], [Wat26c, Theorem 4.17], and [Wat25b, Lemma 3.2] for the existence of the quasi-plurisubharmonic function ψ and the equality I(μ*h)=I(H). These results are not stated in the present paper, and several of the cited preprints are unpublished arXiv manuscripts. Since Theorem 4.1 is the main vehicle for the weakly pseudoconvex case and also the fallback justification for Theorem 1.3, the reader cannot verify the proof without consulting external sources that may not be available in final form. Please restate the precise statements used, or include proofs of the relevant implications.
  3. [§4, Short proof of Theorem 1.1] The same fractional-twist issue appears in the 'short analytic proof' of Steenbrink's theorem: the proof applies [HLWY23, Theorem 1.1] to A_δ = μ*A ⊗ O(-∑ δ_j E_j), a Q-line bundle with fractional coefficients. The cited theorem is not shown to hold for such Q-line bundles. This does not affect the truth of the classical Theorem 1.1, but it means the paper's new proof of that theorem is not valid as written and needs the same repair as the proof of Theorem 1.3.
minor comments (4)
  1. [Throughout] There are numerous typos and grammatical slips, e.g., 'resolusion' for 'resolution', 'theor em' for 'theorem', 'independant' for 'independent', and inconsistent hyphenation of 'Kodaira–Akizuki–Nakano'. A careful proofreading pass is needed.
  2. [§4, Proof of Theorem 4.1] The metric ℏ is defined by setting it to 0 and +∞ on subsets of Exc(μ). Since h is a singular Hermitian metric on a line bundle, the notation 'ℏ(x)=+∞' and 'ℏ(x)=0' is imprecise; the intended meaning should be spelled out in terms of weight functions or local trivializations.
  3. [§2.4, Theorem 2.8] The theorem states that the L2-complex is exact but does not explicitly mention the necessary completeness or Nakano-positivity hypotheses on the Poincaré metric; it refers to [HLWY23] for the proof. Please clarify the exact hypotheses under which the logarithmic L2-Dolbeault resolution is exact.
  4. [§3, Proof of Theorem 3.2] The text says 'By the compactness of V' when V is only relatively compact; it should say 'By relative compactness of V' or 'by compactness of \overline{V}'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem reduces to an independent L2-vanishing theorem plus a positivity construction proved in the paper.

full rationale

The derivation chain for Theorem 1.3 is: bigness -> Demailly/MM metric with positive current -> Theorem 3.1 (refined Demailly approximation, quoted from [Wat24]) -> Theorem 3.2 (proved in this paper), producing a positive Q-line bundle L_delta -> application of [HLWY23, Theorem 1.1] (or, in Theorem 4.1, the full Poincare-type L2 argument) to obtain H^q(Omega^p(log E) tensor O(-E) tensor pi^*L tensor I(pi^*h)) = 0. None of these steps defines the vanishing in terms of itself: delta_j is chosen to make L_delta positive, not to equal the desired cohomology group; the desired bundle differs from L_delta by the fractional twist O(sum(1-delta_j)E_j). The heavy self-citations (Theorems 2.7, 3.1, and the use of [Wat26b], [Wat26c] in Theorem 4.1) are prior theorems with stated assumptions that do not include the target result, so they are independent support rather than circular premises. The genuine weakness is the single-sentence application of [HLWY23, Theorem 1.1] to a Q-line bundle with fractional snc twist in the proof of Theorem 1.3; the paper does not show the cited theorem extends to that setting, and the detailed Poincare-type metric argument appears only in Theorem 4.1. That is a possible correctness gap, not a circular reduction: no equation is forced by construction, and no fitted parameter is relabeled as a prediction. Hence score 0.

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

The central claim is derived from a chain of external results. The most important are the refined Demailly approximation theorem [Wat24], the relationship between bigness and singular positivity on complex spaces [Wat26b], two theorems from [Wat26c], and the logarithmic vanishing theorem [HLWY23]. Several of these are by the same author and are not restated in the paper, so the reader cannot verify the proof without accepting those preprints.

assumptions (8)
  • standard math Hironaka's resolution of singularities for complex spaces
    Used throughout to construct resolutions mu and pi for log resolutions in Theorems 1.3, 3.2, and 4.1.
  • domain assumption Refined Demailly approximation theorem [Wat24, Theorem 3.2]
    Core tool in Theorem 3.2 to approximate singular positive metrics by algebraic-singularity metrics preserving multiplier ideals; stated as Theorem 3.1 but the proof is in the author's preprint.
  • standard math Demailly's characterization of bigness via singular positive metrics [Dem90, MM07 Theorem 2.3.30]
    Used in Theorem 1.3 and 3.3 to obtain a singular positive metric from bigness on compact complex manifolds.
  • domain assumption [HLWY23, Theorem 1.1]
    Provides the logarithmic vanishing theorem used in Theorem 1.3 and in the short proof of Theorem 1.1; its precise hypotheses are not restated, and its applicability to a fractional snc twist is not demonstrated.
  • domain assumption Negativity Lemma [Kaw24, Wat25b Lemma 2.2]
    Used to construct the compensating divisor P_kappa in Theorem 3.2 and in the short proof; cited from the author's own paper.
  • standard math Strong openness property [GZ15]
    Used in the proof of Theorem 4.1 to relate multiplier ideals under approximation.
  • standard math Hormander's L2 estimates and the analytic logarithmic L2-Dolbeault resolution [HLWY23, Theorem 2.8]
    Used in the proof of Theorem 4.1 to get vanishing from a complete Poincare-type Kahler metric.
  • domain assumption [Wat26b, Theorem 1.5] and [Wat26c, Theorem 4.17]
    Used in the proof of Theorem 4.1 to produce the quasi-psh function psi and the metric H on hat V; statements are not provided in the paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Steenbrink vanishing theorem for big line bundles." pith.science (2026). https://pith.science/paper/EPD2VBH5

@misc{pith2026260801519,
  author       = {Pith},
  title        = {Pith review of: Steenbrink vanishing theorem for big line bundles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EPD2VBH5}},
  note         = {Machine review of arXiv:2608.01519}
}
read the original abstract

In this paper, we generalize the Steenbrink vanishing theorem for ample line bundles on complex projective varieties by extending it to big line bundles on compact complex spaces with multiplier ideal sheaves.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 31 canonical work pages

  1. [1]

    Akizuki and S

    Y. Akizuki and S. Nakano, A note on Kodaira-Spencer's proof of Lefschetz theorems, Proc. Japan. Acad. 30 (1954), 266-272

    work page 1954

  2. [2]

    F. A. Bogomolov, Holomorphic tensors and vector bundles on projective varieties, Math. USSR-Izv., 13, No. 3 (1979), 499-555

    work page 1979

  3. [3]

    F. A. Bogomolov, Unstable vector bundles and curves on surfaces, Proc. Internat. Congress of Math. (Helsinki, 1978), Acad. Sci. Fennica, Helsinki, 1980, 517-524

    work page 1978

  4. [4]

    Demailly, Singular Hermitian metrics on positive line bundles, Proc

    J.-P. Demailly, Singular Hermitian metrics on positive line bundles, Proc. Conf. Complex algebraic varieties (Bayreuth, April 2-6, 1990), edited by K. Hulek, T. Peternell, M. Schneider, F. Schreyer, Lecture Notes in Math., Vol. 1507, Springer-Verlag, Berlin, 1992

    work page 1990

  5. [5]

    Demailly, Analytic Methods in Algebraic Geometry, Surveys of Modern Mathematics, vol

    J.-P. Demailly, Analytic Methods in Algebraic Geometry, Surveys of Modern Mathematics, vol. 1, International Press, Somerville, MA; Higher Education Press, Beijing, 2012

    work page 2012

  6. [6]

    Demailly, Complex analytic and differential geometry, https://www-fourier.ujf-grenoble.fr/ demailly/manuscripts/agbook.pdf

    J.-P. Demailly, Complex analytic and differential geometry, https://www-fourier.ujf-grenoble.fr/ demailly/manuscripts/agbook.pdf

  7. [7]

    Demailly, T

    J.-P. Demailly, T. Peternell, and M. Schneider, Pseudo-effective line bundles on compact manifolds, Internat. J. Math. 6 (2001), no. 6, 689-741

    work page 2001

  8. [8]

    Grauert, T

    H. Grauert, T. Peternell and R. Remmert, editors. Several Complex Variables VII, Sheaf-Theoretical Methods in Complex Analysis, volume 74 of Encyclopaedia of Mathematical Sciences. Springer-Verlag, Berlin, 1994

    work page 1994

Show all 32 references
  1. [9]

    Guan and X

    Q. Guan and X. Zhou, A Proof of Demailly's Strong Openness Conjecture, Annals of Mathematics, 182 (2015), pp. 605-616

    2015

  2. [10]

    Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero, Ann

    H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero, Ann. of Math. 79 (1964), 109-326

    1964

  3. [11]

    Huang, K

    C. Huang, K. Liu, X. Wan and X. 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

  4. [12]

    Kawamata, A generalization of Kodaira-Ramanujam's vanishing theorem, Math

    Y. Kawamata, A generalization of Kodaira-Ramanujam's vanishing theorem, Math. Ann. 261 (1982), no. 1, 43-46

    1982

  5. [13]

    Kawamata, Algebraic Varieties: Minimal Models and Finite Generation, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2024

    Y. Kawamata, Algebraic Varieties: Minimal Models and Finite Generation, Cambridge Studies in Advanced Mathematics, Cambridge University Press, 2024

    2024

  6. [14]

    Kodaira, On a differential-geometric method in the theory of analytic stacks, Proc

    K. Kodaira, On a differential-geometric method in the theory of analytic stacks, Proc. Nat. Acad. Sci. U.S.A. 39 (1953), 1268-1273

    1953

  7. [15]

    Z. Li, X. Meng, J. Ning, Z. Wang and X. Zhou, On a Bogomolov type vanishing theorem, Nagoya Math. J., 257, (2025) 170-182

    2025

  8. [16]

    Ma and G

    X. Ma and G. Marinescu, Holomorphic Morse inequalities and Bergman kernels, Progr. Math. 254, Birkh\"ause-Verlag, Basel, 2007

    2007

  9. [17]

    X. Meng, C. Qing and X. Zhou, A Bogomolov type vanishing theorem, arXiv:2607.14858

    arXiv

  10. [18]

    Moishezon, On n -dimensional compact varieties with n algebraically independant meromorphic functions

    B. Moishezon, On n -dimensional compact varieties with n algebraically independant meromorphic functions. I, II, III, Izv. Akad. Nauk SSSR Ser. Mat. 30 (1966), 133-174, 345-386, 621-656

    1966

  11. [19]

    A. M. Nadel, Multiplier ideal sheaves and K\"ahler-Einstein metrics of positive scalar curvatur, Proc. Nat. Acad. Sci. U.S.A., 86 (1989), 7299-7300 and Annals of Math., 132 (1990), 549-596

    1989

  12. [20]

    Norimatsu, Kodaira vanishing theorem and Chern classes for -manifolds, Proc

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

    1978

  13. [21]

    C. P. Ramanujam, Remarks on the Kodaira vanishing theorem, J. Indian Math. Soc. (N.S.) 36 (1972), 41-51

    1972

  14. [22]

    Shiffman and A

    B. Shiffman and A. J. Sommese, Vanishing Theorems on Complex Manifolds, vol. 56. Progress in Mathematics. Boston: Birkhauser Boston Inc., 1985

    1985

  15. [23]

    J. H. M. Steenbrink, Vanishing theorems on singular spaces, Ast\'erisque (1985), no. 130, 330-341, Differential systems and singularities (Luminy, 1983)

    1985

  16. [24]

    Viehweg, Vanishing theorems

    E. Viehweg, Vanishing theorems. J. Reine Angew. Math. 335 (1982), 1-8

    1982

  17. [25]

    Watanabe, Bogomolov-Sommese type vanishing theorem for holomorphic vector bundles equipped with positive singular Hermitian metrics, Math

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

    2023

  18. [26]

    Watanabe, Bigness of adjoint linear subsystem and approximation theorems with ideal sheaves on weakly pseudoconvex manifolds, arXiv:2412.02007v2

    Y. Watanabe, Bigness of adjoint linear subsystem and approximation theorems with ideal sheaves on weakly pseudoconvex manifolds, arXiv:2412.02007v2

  19. [27]

    Watanabe, Nakano-Nadel type, Bogomolov-Sommese type vanishing and singular dual Nakano semi-positivity, Ann

    Y. Watanabe, Nakano-Nadel type, Bogomolov-Sommese type vanishing and singular dual Nakano semi-positivity, Ann. Fac. Sci. Toulouse Math. (6) 34(2), 339-394 (2025)

    2025

  20. [28]

    Watanabe, Global embeddings of weakly pseudoconvex complex spaces and refined approximation theorems, arXiv:2512.03572v3

    Y. Watanabe, Global embeddings of weakly pseudoconvex complex spaces and refined approximation theorems, arXiv:2512.03572v3

  21. [29]

    Watanabe, L^2 -Dolbeault isomorphisms and vanishing theorems for logarithmic sheaves twisted by multiplier ideal sheaves, Math

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

    2026

  22. [30]

    Watanabe, L^2 -Dolbeault resolutions and Nadel vanishing on weakly pseudoconvex complex spaces with singular Hermitian metrics, arXiv:2602.03332v2

    Y. Watanabe, L^2 -Dolbeault resolutions and Nadel vanishing on weakly pseudoconvex complex spaces with singular Hermitian metrics, arXiv:2602.03332v2

    arXiv

  23. [31]

    Watanabe, Griffiths and Nakano positivity and Nakano-Nadel vanishing theorems for singular Hermitian metrics on complex spaces, arXiv:2606.16275v2

    Y. Watanabe, Griffiths and Nakano positivity and Nakano-Nadel vanishing theorems for singular Hermitian metrics on complex spaces, arXiv:2606.16275v2

    arXiv

  24. [32]

    Zucker, Hodge theory with degenerating coefficients: L^2 cohomology in the Poincar\'e metric, Ann

    S. Zucker, Hodge theory with degenerating coefficients: L^2 cohomology in the Poincar\'e metric, Ann. of Math. (2) 109 (1979), no. 3, 415-476

    1979

Pith tools

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