Pith. sign in

REVIEW 4 major objections 5 minor 1 cited by

Vanishing theorems for pseudo-effective line bundles

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

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

Pith's one-line read A unified vanishing theorem: cohomology of higher direct images of adjoint bundles vanishes once the degree exceeds a threshold set by the numerical dimension of a positive current.

desk verdict Genuinely unifying higher-direct-image vanishing theorem for compact Kähler manifolds; proof is credible, with localized analytic gaps in Lemma 4.1. read the letter →

arxiv 2602.13821 v2 pith:CQJOYGK2 submitted 2026-02-14 math.CV

Xiankui Meng , Chenghao Qing , Xiangyu Zhou This is my paper · ORCID
classification math.CV MSC 32C3514F1714F1832L1032L2032U0514C30
keywords vanishingtheoremhigherdirectimagespseudo-effectivelinebundlesnumericaldimensionmultiplieridealsheafKählermanifoldsL2estimatesstrongopenness
topics The Hodge Conjecture
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 proves a single vanishing theorem that covers and unifies the classical higher-direct-image vanishing theorems and the multiplier-ideal vanishing theorems on compact Kähler manifolds. The main result says: for a holomorphic surjection π:X→Y between compact Kähler manifolds, if a line bundle L with singular Hermitian metric h satisfies iΘ_{L,h} ≥ π^*T for a closed positive (1,1)-current T on Y, then H^p(Y,R^qπ_*(K_X⊗L⊗I(h))) = 0 for every p ≥ m − nd(T) + 1 and every q ≥ 0, where nd(T) is the numerical dimension of T and m = dim Y. In particular, choosing T with full numerical dimension recovers the classical higher-direct-image vanishing theorem, while the case Y=X and q=0 recovers the multiplier-ideal vanishing theorem. The proof constructs approximating metrics that preserve the multiplier ideal sheaf, solves ∂-equations with L2 estimates, and lets the approximation error tend to zero; the result is new even for projective manifolds.

What carries the argument

The proof rests on three pieces. (1) An injective map φ^{p,q}: H^p(Y,R^qπ_*(K_X⊗L⊗I(h))) → H^{p+q}(X,K_X⊗L⊗I(h)) is constructed via a Stein cover and a smooth partition of unity; proving it is zero gives the vanishing. (2) The Bochner-type curvature operator B=[π^*σ,Λ_{ω_X}] and the pointwise estimate of Lemma 3.1 bound ⟨B^{-1}b,b⟩ in terms of 1/(λ_1+⋯+λ_p) times |φ|^2, enabling L2 solutions of ∂u=b with explicit error terms. (3) Lemma 4.1 shows that for the approximating potentials φ_k of Lemma 2.7, I(ψ' + π^*φ_k)=I(ψ' + π^*φ) for large k; this equality, proved using strong openness and the coarea formula, allows the replacement of h by h_k without changing the multiplier ideal sheaf, which

What would settle it

The most direct falsifier would be a counterexample to the unproved integrability assertion: a proper surjective holomorphic map π:X→Y between compact Kähler manifolds for which ∫_X J_π^{-ε} dV diverges for every ε>0; such a map would break Lemma 4.1 and therefore Theorem 4.2. Alternatively, one could look for a specific compact Kähler fibration and current T with nd(T)<m where the predicted L2 solutions or the limit ε_k C_k → 0 fail, producing a nonzero class in H^p(Y,R^qπ_*(K_X⊗L⊗I(h))) for some p ≥ m−nd(T)+1.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.8, is that the vanishing of H^p(Y,R^qπ_*(K_X⊗L⊗I(h))) depends only on the numerical dimension nd(T) of the positive current T on the base, not on the fiber geometry or the singularities of h, as long as the curvature of h dominates π^*T. The proof shows that the natural map φ^{p,q} from H^p(Y,R^qπ_*(K_X⊗L⊗I(h))) into H^{p+q}(X,K_X⊗L⊗I(h)) is the zero map. To do this, the paper constructs a sequence of quasi-plurisubharmonic approximants φ_k of the potential of T, with analytic singularities and controlled lower eigenvalue bounds, and proves (Lemma 4.1) that after pulling back to X, the multiplier ideal sheaf I(ψ' + π^*φ_k) equals I(ψ' + π^*φ) for all large k. Thi

Load-bearing premise

Lemma 4.1 asserts, without proof, that for a proper surjective holomorphic map between compact Kähler manifolds there exists ε>0 with ∫_X J_π^{-ε} dV_{ω_X} < ∞, where J_π is the squared Jacobian determinant; the equality of multiplier ideals under pullback, and hence the replacement of h by h_k, rests on this integrability.

Editorial extensions

If this is right

  • When nd(T)=m, the theorem gives H^p(Y,R^qπ_*(K_X⊗L⊗I(h)))=0 for all p≥1 and q≥0, recovering the classical higher-direct-image vanishing theorem for pseudo-effective line bundles over Kähler bases.
  • When Y=X and π is the identity, q=0 and the theorem reduces to H^p(X,K_X⊗L⊗I(h))=0 for p≥n−nd(T)+1, the standard multiplier-ideal vanishing theorem for pseudo-effective line bundles on compact Kähler manifolds.
  • The same proof yields Theorem 3.2: on a weakly pseudoconvex Kähler manifold X, if σ is a continuous semi-positive (1,1)-form with σ^l ≠ 0 everywhere and iΘ_{L,h} ≥ π^*σ, then H^p(Y,R^qπ_*(K_X⊗L⊗I(h)))=0 for p≥m−l+1 and all q≥0.
  • Theorem 5.1 extends the main result to compact manifolds admitting a Kähler modification, showing the vanishing statement does not depend on the Kähler condition of X itself.

Reading between the lines

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

  • The equality I(ψ' + π^*φ_k)=I(ψ' + π^*φ) in Lemma 4.1 is the technical heart; if it could be proved by a different method, the mass-concentration rates and the integrability assumption on J_π^{-ε} might be bypassed, potentially widening the theorem to singular bases or non-Kähler settings.
  • The theorem suggests that the numerical dimension of the dominating current, rather than positivity of the line bundle itself, is the effective invariant for vanishing of adjoint cohomology; this points toward analogous statements for Higgs bundles or twisted de Rham cohomology where a similar dominant current exists.
  • One testable extension would be to drop compactness of Y: combining the coarea-formula argument with a Girbau-type exhaustion might yield a relative vanishing theorem for families over Stein or weakly pseudoconvex bases, a case the paper only partially covers in Theorem 3.2.
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

4 major / 5 minor

Summary. The paper proves two vanishing theorems for higher direct images of adjoint bundles with multiplier ideal sheaves. The central result, Theorem 1.8 (= Theorem 4.2), asserts that if π:X→Y is a holomorphic surjection between compact Kähler manifolds, L is a holomorphic line bundle with a singular Hermitian metric h, and T is a closed positive (1,1)-current on Y such that iΘ_{L,h}≥π^*T, then H^p(Y,R^qπ_*(K_X⊗L⊗I(h)))=0 for every p≥m−nd(T)+1 and every q≥0. The proof combines the cohomological representative construction of [QZ25] with a regularization of T via Monge–Ampère equations, Skoda-type uniform integrability, the strong openness theorem of Guan–Zhou, and Bochner-type L² estimates. A Girbau-type version (Theorem 1.9), valid on weakly pseudoconvex Kähler manifolds when a continuous semipositive form has rank at least l, and a Fujiki-class version (Theorem 1.10) are also established.

Significance. If the proof is completed, Theorem 1.8 is a substantial unification: it contains Kollár's vanishing theorem (when nd(T)=m) and the Cao–Guan–Zhou Kawamata–Viehweg–Nadel theorem for pseudo-effective line bundles (when Y=X and q=0), and it gives a new statement even for projective manifolds. The numerical-dimension formulation for higher direct images is natural and likely to be useful. The paper also gives a clean mechanism—cohomology representatives from [QZ25] plus multiplier-ideal equality under approximation—that is conceptually attractive. However, the main proof depends on a small number of analytic facts that are either only sketched or asserted without proof, so the result is credible but not yet fully demonstrated in the submitted form.

major comments (4)
  1. [§4, Lemma 4.1] The crucial equality I(ψ′+π^*φ_k)=I(ψ′+π^*φ) is the mechanism that allows replacing h by h_k without changing I(h). The first inclusion is justified by the sentence: “we can replace φ_k in the proof of Lemma 2.7(4) ... by ψ′+π^*φ_k, since we can also apply Skoda’s uniform integrability theorem.” This is an assertion rather than a proof. Cao14's Lemma 5.10 concerns an approximation of a single weight on Y; transferring it to the pulled-back weight requires controlling the Lelong numbers of ψ′+π^*φ_k and checking that the mass-concentration data survive pullback. Remark 2.9 explicitly defers the precise Skoda statement, so the reader cannot verify the inclusion. Since Lemma 4.1 is load-bearing for Step 2 of Theorem 4.2, this gap must be filled with a detailed argument or a precise reference that covers the pulled-back family.
  2. [§4, Lemma 4.1, coarea estimate] The proof uses the assertion that for a proper surjective holomorphic map π:X→Y between compact Kähler manifolds there exists ε>0 with ∫_X J_π^{-ε} dV<∞, where J_π is the square Jacobian determinant. This is stated in two lines: “Note that Jπ=eΨ ... There exists a constant ε>0...” and is then used to prove the integrability of the coarea expression. The finiteness is true, but it is not demonstrated; one should give the local normal form J_π=∑|h_i|² with h_i holomorphic (or a direct reference), show that the inverse power is locally integrable for sufficiently small ε, and then choose a uniform ε on the compact manifold. This is a small but load-bearing step in the proof of Lemma 4.1.
  3. [§2, Lemma 2.7 and Remark 2.8] Lemma 2.7 is imported from Cao14 with only a sketch, yet Theorem 4.2 uses its quantitative properties in an essential way: Vol(U_k)≤ε_k^β, ε_k≫τ_k+1/k, and the uniform integrability bound (4). The paper should either state the full lemma with a proof or give a precise reference to the exact statement in Cao14, indicating which parts are verbatim and which are adapted. Remark 2.8 is a heuristic sketch and does not provide enough detail to check that all constants β, γ, s1 can be chosen compatibly. This matters in Step 3 of Theorem 4.2 where the convergence ε_kC_k→0 relies on the rate of decay of Vol(U_k).
  4. [§4, Step 2 of Theorem 4.2] The operator B_{1,k}=[π^*(α+i∂∂φ_k+4ε_kω_Y),Λ_{ω_X}] is defined using the current i∂∂φ_k, which is not smooth; Lemma 3.1 is stated for continuous semipositive forms. The pointwise estimate (and hence the L² estimate) is valid only away from the analytic singularities of φ_k. The proof should explicitly justify the passage from X\Z_k to all of X, for example by removing the combined singular locus of ψ′_i and π^*φ_k and using Lemma 2.2–2.3, as is done elsewhere in the paper. This is a technical but necessary step; without it the ∂-equation argument is not fully rigorous.
minor comments (5)
  1. [§3, Lemma 3.1] The symbol φ is used both for a quasi-plurisubharmonic function and for an L-valued (n,q)-form in Lemma 3.1. Please use a different letter for the form to avoid confusion.
  2. [§4, Lemma 4.1 proof] The inequality “(a−b)^q≤a^q−b^q” is stated for “any t>0” via g_k^t. This inequality requires the exponent qt≥1. Taking t=1 is sufficient because q>1, but the current wording is inaccurate and should be corrected.
  3. [§4, Lemma 4.1 proof] The proof uses a fixed p>1 with I(pψ′)=I(ψ′), obtained from the strong openness theorem. On a compact manifold this can be justified by coherence and compactness, but the argument is not given; please add a sentence explaining why such a uniform p exists.
  4. [§2, Theorem 2.10] The notation H(α_{i_0...i_p}) appearing in the proof of Theorems 3.2 and 4.2 is used before it is defined; it would help to recall that H is the inverse of the quotient map ι from Theorem 2.10(1).
  5. [General] The list of references uses nonstandard labels such as [GZ15-a], [Kol86-a], and [QZ25]; this is acceptable but should be normalized to the journal style. Also, the arXiv reference [XZ25] is cited as “to appear”; please update if possible.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation; self-citations are independent prior results rather than load-bearing circularity.

full rationale

The derivation chain of Theorem 4.2 is a genuine reduction to independent published results: Theorem 2.10 from [QZ25] gives an injective map from H^p(Y,R^q pi_*(K_X⊗L⊗I(h))) into H^{p+q}(X,K_X⊗L⊗I(h)); Cao's regularization Lemma 2.7 supplies the mass-concentration data; Guan-Zhou's strong openness and Skoda-type estimates are used in Lemma 4.1 to transfer multiplier ideals; Lemma 3.1 and Demailly's L^2 estimates solve the ∂-equation. No equation is identified with its conclusion by construction, and no fitted parameter is renamed as a prediction. The main self-citations ([QZ25], [GZ15-a]) are load-bearing but are independent published theorems with stated hypotheses that do not include Theorem 4.2, so by the review rules they count as real evidence rather than circularity. The weakest points are analytic gaps rather than circularity: Lemma 4.1 asserts without a complete proof that 'we can replace φ_k in the proof of Lemma 2.7 (4) ... by ψ′+π^*φ_k', and the coarea-formula step asserts 'There exists a constant ε > 0 such that ∫_X 1/J_π^ε dV_{ω_X} < +∞' without proof. These are unproved steps in the proof, not reductions of the conclusion to the hypothesis, and therefore affect correctness risk, not the circularity score.

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

No fitted parameters or invented entities appear. The proof chooses auxiliary constants (β, γ, s, s1, ε_k) but these are existence constants in the regularization machinery, not inputs to the theorem. The only unproved premise is the Jacobian integrability in Lemma 4.1, which is listed as ad_hoc_to_paper.

assumptions (7)
  • domain assumption Strong openness: I(φ) = ∪_{ε>0} I((1+ε)φ) [GZ15-a, Theorem 2.6]
    Used in Lemma 4.1 and Step 3 of Theorem 4.2 to identify multiplier ideals of h_k with I(h), and to choose p>1 with I(pψ')=I(ψ').
  • domain assumption Demailly-Peternell-Schneider equisingular approximation (Theorem 2.4)
    Approximates ψ' by ψ'_i with curvature loss δ_i ω_X; supplies the metrics h_{k,i} used in the ∂ estimates.
  • domain assumption Cao's regularization/mass-concentration lemma (Lemma 2.7, from Cao14 Lemmas 5.9/5.10)
    Provides φ_k with I(φ_k)=I(φ), eigenvalue lower bounds and Vol(U_k)≤ε_k^β; Step 3 of Theorem 4.2 relies on these rates. Only sketched in Remark 2.8.
  • domain assumption Injective cohomology-class map φ^{p,q} of QZ25 (Theorem 2.10)
    Reduces the desired vanishing to showing the class [b]∈H^{p+q}(X,K_X⊗L⊗I(h)) is zero. This is a prior theorem of two coauthors, accepted in J. Algebraic Geom.
  • ad hoc to paper Jacobian integrability ∫_X J_π^{-ε} dV<∞ for proper surjective holomorphic maps (Lemma 4.1)
    Asserted in the coarea-formula paragraph without proof or reference; needed to show ∫_X π^*g_k<∞ and hence I(ψ'+π^*φ_k)=I(ψ'+π^*φ).
  • standard math Demailly's L² estimate for ∂ with singular weights (Lemma 2.1, [Dem16, Prop. 3.12])
    Provides the approximate solutions u_{k,i}, v_{k,i} in Theorems 3.2 and 4.2; the paper does not re-prove it.
  • domain assumption Hausdorff property of H^{p+q}(X,K_X⊗L⊗I(h)) (Cao14 Lemma 5.8)
    Used at the end of Theorem 4.2 to conclude [b]=0 from the L² convergence ||√δ_k v_k|| → 0.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Vanishing theorems for pseudo-effective line bundles." pith.science (2026). https://pith.science/paper/CQJOYGK2

@misc{pith2026260213821,
  author       = {Pith},
  title        = {Pith review of: Vanishing theorems for pseudo-effective line bundles},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CQJOYGK2}},
  note         = {Machine review of arXiv:2602.13821}
}
read the original abstract

In the present paper, we establish a general Kawamata-Viehweg-Koll\'ar-Nadel type vanishing theorem for higher direct images in terms of numerical dimension for closed positive currents on compact K\"ahler manifolds, unifying a number of important vanishing theorems.

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. A Bogomolov type vanishing theorem

    math.AG 2026-07 conditional novelty 5.0 of 10

    If α is nef and c1(L)−α is a positive current, then H^n(X, Ω_X^p ⊗ L ⊗ I(ψ)) = 0 for p ≥ n − nd(α) + 1.

Reference graph

Works this paper leans on

58 extracted references · 1 canonical work pages · cited by 1 Pith paper

  1. [1]

    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

  2. [2]

    Differential Geom

    Omprokash Das and Christopher Hacon, The log minimal model program for K\"ahler 3-folds, J. Differential Geom. 130 (2025), no. 1, 151--207

    2025

  3. [3]

    Jean-Pierre Demailly, Estimations L^2 pour l'op\'erateur d'un fibr\'e vectoriel holomorphe semi-positif au-dessus d'une vari\'et\'e k\"ahl\'erienne compl\`ete, Ann. Sci. \'Ecole Norm. Sup. (4) 15 (1982), no. 3, 457--511

    1982

  4. [4]

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

    2012

  5. [5]

    Jean-Pierre Demailly, On the cohomology of pseudoeffective line bundles, Complex geometry and dynamics, 51--99, Abel Symp., 10, Springer, Cham, 2015

    2015

  6. [6]

    Jean-Pierre Demailly, Extension of holomorphic functions defined on non reduced analytic subvarieties, The legacy of Bernhard Riemann after one hundred and fifty years. Vol. I, Adv. Lect. Math. (ALM), vol. 35, Int. Press, Somerville, MA, 2016, pp. 191--222

    2016

  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]

    Differential Geom

    Jean-Pierre Demailly and Thomas Peternell, A Kawamata-Viehweg vanishing theorem on compact K\"ahler manifolds, J. Differential Geom. 63 (2003), no. 2, 231--277

    2003

Show all 58 references
  1. [9]

    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

  2. [10]

    Ichiro Enoki, Kawamata-Viehweg vanishing theorem for compact K\" a hler manifolds , Einstein metrics and Yang-Mills connections (Sanda, 1990), Lecture Notes in Pure and Appl. Math. 145 , Dekker, New York, 1993, 59--68

    1990

  3. [11]

    Springer-Verlag New York, Inc., New York, 1969

    Herbert Federer, Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153. Springer-Verlag New York, Inc., New York, 1969

    1969

  4. [12]

    Simion Filip and Valentino Tosatti, Smooth and rough positive currents, Ann. Inst. Fourier (Grenoble) 68 (2018), no. 7, 2981--2999

    2018

  5. [13]

    Jixiang Fu, Jingcao Wu, On the global generation of higher direct images of pluricanonical bundles, Algebr. Geom. 12 (2025), no. 1, 1--12

    2025

  6. [14]

    Reine Angew

    Osamu Fujino, A transcendental approach to Koll\' a r's injectivity theorem II , J. Reine Angew. Math. 681 (2013), 149--174

    2013

  7. [15]

    Osamu Fujino, On semipositivity, injectivity and vanishing theorems, Adv. Lect. Math. (ALM), 39, International Press, Somerville, MA, 2017, 245--282

    2017

  8. [16]

    Osamu Fujino, Koll\' a r-Nadel type vanishing theorem , Southeast Asian Bull. Math. 42 (2018), no. 5, 643--646

    2018

  9. [17]

    Osamu Fujino, Relative Bertini type theorem for multiplier ideal sheaves, Osaka J. Math. 60 (2023), no. 1, 207--226

    2023

  10. [18]

    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

  11. [19]

    Qi'an Guan, Zhitong Mi, and Zheng Yuan, Boundary points, minimal L^2 integrals and concavity property V: Vector bundles, J. Geom. Anal. 33 (2023), no. 9, Paper No. 305, 86 pp

    2023

  12. [20]

    Q. A. Guan, X. Y. Zhou, Optimal constant problem in the L^2 extension theorem , C. R. Math. Acad. Sci. Paris 350, 753-756 (2012)

    2012

  13. [21]

    Q. A. Guan, X. Y. Zhou, Optimal constant in an L^2 extension problem and a proof of a conjecture of Ohsawa , Sci China Math 58, 35-59 (2015)

    2015

  14. [22]

    Q. A. Guan, X. Y. Zhou, A solution of an L^2 extension problem with an optimal estimate and applications , Ann. of Math. 181(3), 1139-1208 (2015)

    2015

  15. [23]

    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

  16. [24]

    Qi'an Guan and Xiangyu Zhou, Characterization of multiplier ideal sheaves with weights of Lelong number one, Adv. Math. 285 (2015), 1688--1705

    2015

  17. [25]

    Q. A. Guan, X. Y. Zhou, Effectiveness of Demailly's strong openness conjecture and related problems, Invent. Math, 202 (2015), no. 2, 635--676

    2015

  18. [26]

    Vincent Guedj and Ahmed Z\'eriahi, Degenerate complex Monge-Amp\`ere equations, EMS Tracts in Mathematics, 26, Eur. Math. Soc., Z\"urich, 2017

    2017

  19. [27]

    Andreas H\"oring, Adjoint (1,1) -classes on threefolds, Izv. Math. 85 (2021), no. 4, 823--830; translated from Izv. Ross. Akad. Nauk Ser. Mat. 85 (2021), no. 4, 215--224

    2021

  20. [28]

    Takahiro Inayama, Shin-ichi Matsumura, and Yuta Watanabe, Singular Nakano positivity of direct image sheaves of adjoint bundles, Preprint, arXiv:2407.11412 (2024)

    2024 arXiv

  21. [29]

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

    1982

  22. [30]

    Yujiro Kawamata, Pluricanonical systems on minimal algebraic varieties, Invent. Math. 79 (1985), no. 3, 567--588

    1985

  23. [31]

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

    1986

  24. [32]

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

    1986

  25. [33]

    Press, Cambridge, 1998

    J\' a nos Koll\' a r and Shigefumi Mori, Birational geometry of algebraic varieties, translated from the 1998 Japanese original, Cambridge Tracts in Mathematics, 134, Cambridge Univ. Press, Cambridge, 1998

    1998

  26. [34]

    I, Ergebnisse der Mathematik und ihrer Grenzgebiete

    Robert Lazarsfeld, Positivity in algebraic geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, 48, Springer, Berlin, 2004

    2004

  27. [35]

    II, Ergebnisse der Mathematik und ihrer Grenzgebiete

    Robert Lazarsfeld, Positivity in algebraic geometry. II, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, 49, Springer, Berlin, 2004

    2004

  28. [36]

    Yaxiong Liu, Zhuo Liu, Hui Yang, and Xiangyu Zhou, A L e P otier-type isomorphism twisted with multiplier submodule sheaves , J. Math. Pures Appl. (9) 202 (2025), Paper No. 103760, 38 pp

    2025

  29. [37]

    Shin-ichi Matsumura, A vanishing theorem of Koll\' a r-Ohsawa type , Math. Ann. 366 (2016), no. 3-4, 1451--1465

    2016

  30. [38]

    Algebraic Geom

    Shin-ichi Matsumura, An injectivity theorem with multiplier ideal sheaves of singular metrics with transcendental singularities, J. Algebraic Geom. 27 (2018), no. 2, 305--337

    2018

  31. [39]

    Shin-ichi Matsumura, A transcendental approach to injectivity theorem for log canonical pairs, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 19 (2019), no. 1, 311--334

    2019

  32. [40]

    Shin-ichi Matsumura, Injectivity theorems with multiplier ideal sheaves for higher direct images under K\"ahler morphisms, Algebr. Geom. 9 (2022), no. 2, 122--158

    2022

  33. [41]

    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

  34. [42]

    Xiankui Meng and Xiangyu Zhou, A generalization of Nadel vanishing theorem, Preprint, arXiv:2011.09637 (2020)

    2011 arXiv

  35. [43]

    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

  36. [44]

    Noboru Nakayama, The lower semicontinuity of the plurigenera of complex varieties, in Algebraic geometry, Sendai, 1985, 551--590, Adv. Stud. Pure Math., 10, North-Holland, Amsterdam,

    1985

  37. [45]

    Nicolaescu The co-area formula, available at https://www3.nd.edu/ lnicolae/Coarea.pdf

    Liviu I. Nicolaescu The co-area formula, available at https://www3.nd.edu/ lnicolae/Coarea.pdf

  38. [46]

    Takeo Ohsawa, Vanishing theorems on complete K\" a hler manifolds , Publ. Res. Inst. Math. Sci. 20 (1984), no. 1, 21--38

    1984

  39. [47]

    Algebraic Geom

    Chenghao Qing and Xiangyu Zhou, Structure theorem, injectivity theorem and vanishing theorem for the cohomology groups of pseudo-effective line bundles, To appear in J. Algebraic Geom. DOI https://doi.org/10.1090/jag/853

    doi

  40. [48]

    Junchao Shentu and Chen Zhao, L^2 -extension of adjoint bundles and Koll\'ar's conjecture, Math. Ann. 386 (2023), no. 3-4, 1429--1462

    2023

  41. [49]

    Differential Geom

    Yum Tong Siu, A vanishing theorem for semipositive line bundles over non-K\"ahler manifolds, J. Differential Geom. 19 (1984), no. 2, 431--452

    1984

  42. [50]

    Henri Skoda, Sous-ensembles analytiques d'ordre fini ou infini dans C n , Bull. Soc. Math. France 100 (1972), 353--408

    1972

  43. [51]

    Kensh\= o Takegoshi, Higher direct images of canonical sheaves tensorized with semi-positive vector bundles by proper K\" a hler morphisms , Math. Ann. 303 (1995), no. 3, 389--416

    1995

  44. [52]

    Kensh\= o Takegoshi, On cohomology groups of nef line bundles tensorized with multiplier ideal sheaves on compact K\" a hler manifolds , Osaka J. Math. 34 (1997), no. 4, 783--802

    1997

  45. [53]

    Valentino Tosatti, Semipositive line bundles and (1,1) -classes, Preprint, arXiv:2309.00580v2 (2023)

    2023 arXiv

  46. [54]

    Reine Angew

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

    1982

  47. [55]

    Geometric Analysis, special issue in memory of J

    Bo Xiao and Xiangyu Zhou, Properties of multiplier ideal sheaves and applications, to appear J. Geometric Analysis, special issue in memory of J. J. Kohn, 2026

    2026

  48. [56]

    X. Y. Zhou, A survey on L^2 extension problem, In: Complex geometry and dynamics, volume 10, Abel Symp., pp. 291-309. Springer, Cham (2015)

    2015

  49. [57]

    X. Y. Zhou, L. F. Zhu, An optimal L^2 extension theorem on weakly pseudoconvex K\"ahler manifolds , J. Differential Geom. 110 (1) (2018), 135-186

    2018

  50. [58]

    Algebraic Geom

    Xiangyu Zhou and Langfeng Zhu, Extension of cohomology classes and holomorphic sections defined on subvarieties, J. Algebraic Geom. 31 (2022), no. 1, 137--179

    2022

Pith tools

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