Pith. sign in

REVIEW 4 major objections 4 minor 42 references

An extension theorem in terms of adjoint ideal sheaves

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

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

Pith's one-line read Every holomorphic top form on a union of log-canonical centres of fixed codimension extends to the ambient compact Kähler manifold, provided a curvature semipositivity condition holds on each centre, and the extension lies in the adjoint id

desk verdict A real generalization of the Chan–Choi extension theorem to non-reduced polar data, proved via harmonic-residue machinery; the main risk is the transfer of prior injectivity identities, and the paper is honest about its limitations. read the letter →

arxiv 2607.29153 v1 pith:G3XWM5D2 submitted 2026-07-31 math.CV math.AG

Tsz On Mario Chan This is my paper · ORCID
classification math.CVmath.AG MSC 32J2532Q1514B05
keywords adjointidealsheafmultiplierlog-canonicalcentreOhsawa–TakegoshiextensiontheoremharmonicresidueexactsequenceinjectivitycompactKählermanifold
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 qualitative extension theorem in the spirit of Ohsawa–Takegoshi: on a compact Kähler manifold, holomorphic top forms defined on the union of log-canonical centres of a fixed codimension extend to the whole manifold, not with L² estimates but with a prescribed local integrability condition encoded by adjoint ideal sheaves. The main statement says that if a curvature condition i∂∂̄(φ+λΨ^{(p)}) ≥ 0 holds on each σ-codimensional log-canonical centre for small λ, then certain cohomology sequences split, so each section over the (σ+1)-lc centres lifts first to the σ-lc centres and, by induction, to the ambient space when the condition holds at every σ. The proof rewrites extension as an equality problem: harmonic residues and an adjunction identity show that positivity forces the relevant residue to vanish, and with it the harmonic representative of the section. This matters because existing L² extension theorems usually do not control which adjoint ideal sheaf the extension belongs to, whereas this theorem gives a sheaf-theoretic description of the non-integrable locus while working one codimension at a time.

What carries the argument

The engine is the filtration by adjoint ideal sheaves J^σ(φ_L;ψ) — germs f locally satisfying ∫ |f|² e^{−φ_L−ψ} |ψ|^{−σ} (log|eψ|)^{−1−ε} < ∞ for every ε > 0 — together with the residue exact sequence 0 → J^{σ−1} → J^σ → R^σ → 0, where R^σ is the residue sheaf supported on the σ-codimensional lc centres. On the level of harmonic forms, the central object is the harmonic residue R(u), the collection of residues of (∂ψ^{(p)})⌟u_p over the (σ+1)-lc centres inside each σ-lc centre. Two identities carry the argument: the adjunction formula ⟨δ^H w, u⟩_{lc^σ} = σ_+ ⟨w, R(u)⟩_{lc^{σ+1}} and the equality ker τ^{σ′}_σ = ker τ^{σ+1}_σ = im δ. Under the curvature hypothesis, the proof forces R(u) = 0; t

What would settle it

Compute the adjunction identity of Proposition 4.1 for ψ = a log|s_S|² + b log|s_B|² with a > 1, b > 0 and B disjoint from the lc locus: if the equality gains a factor depending on a or b, the transfer from the reduced case fails and Theorem 5.1 collapses. Alternatively, find a compact Kähler example satisfying the curvature condition at some σ where H^0(J^{σ′}/J^{σ−1}) → H^0(J^{σ′}/J^σ) is not surjective; the asserted splitting would then be false.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 5.1. For a system (X, φ_L, ψ) in an snc configuration, write J^σ for the adjoint ideal sheaves and suppose that for a given σ ≤ σ_mlc there is λ0 > 0 such that i∂∂̄(φ + λΨ^{(p)}) ≥ 0 on each σ-lc centre S^σ_p for all λ ∈ [0, λ0]. Then, for every σ′ ≥ σ, the short exact sequence 0 → R^σ → J^{σ′}/J^{σ−1} → J^{σ′}/J^σ → 0 induces long exact sequences that split into short exact sequences 0 → H^q(R^σ) → H^q(J^{σ′}/J^{σ−1}) → H^q(J^{σ′}/J^σ) → 0 for all q ≥ 0. In particular, every holomorphic top form f on the union of (σ+1)-lc centres, i.e. f ∈ H^0(J^{σ′}/J^σ), admits an extension F^{σ−1} on the σ-lc centres with f ≡ F^{σ−1} mod J^σ; if the curvature conditio

Load-bearing premise

The argument stands or falls on whether the harmonic-residue identities and kernel equalities that were checked for simpler, reduced polar data remain true for the more general ψ treated here (the paper says the proof is 'formally the same'), together with the existence of auxiliary functions Ψ^{(p)} satisfying the curvature condition at every codimension — which Remark 5.2 explicitly leaves open in general.

Editorial extensions

If this is right

  • For each q, the cohomology of the successive quotients decouples: H^q(J^{σ′}/J^{σ−1}) is isomorphic to H^q(R^σ) ⊕ H^q(J^{σ′}/J^σ) whenever the curvature condition holds at level σ.
  • Extension works in all cohomological degrees, not only for global sections.
  • If the curvature condition holds at every σ, sections over lc centres of any fixed codimension extend to ambient sections in H^0(J^{σ′}), so the whole union of lc centres of the same codimension can be extended at once.
  • The case σ = 0 recovers the earlier qualitative extension over the lc locus, and the proof supplies a one-codimension-at-a-time inductive mechanism.
  • The extended form automatically lies in the prescribed adjoint ideal sheaf, so it satisfies the local L² condition controlled by |ψ|^{−σ′} rather than merely being holomorphic.

Reading between the lines

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

  • Editorial inference: a general procedure for constructing Ψ^{(p)} from ψ would make Theorem 5.1 unconditional at every σ; Remark 5.2 identifies this as the key open step, so the theorem's scope currently depends on a case-by-case curvature check.
  • Editorial inference: if existing L² estimates for codimension-one extensions can be composed along the induction, the qualitative extension should upgrade to one with explicit norm control; the paper raises this as a natural question but leaves it open.
  • Editorial inference: since the proof only needs the full harmonic residue R(u) to vanish, a weaker positivity condition that kills R(u) without killing each summand — as happens in the injectivity theorem — would likely widen the class of examples; Remark 5.3 explicitly asks for such a weakening.
  • Editorial inference: the equality-based mechanism suggests that the same adjunction identities could be used to split higher direct image cohomology under proper Kähler morphisms, connecting the extension statement to injectivity-type vanishing on snc 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

4 major / 4 minor

Summary. The paper proves a qualitative extension theorem for holomorphic top forms in terms of adjoint ideal sheaves on compact Kähler manifolds in the snc configuration. Theorem 5.1 states that if, for a fixed σ, there exists λ0 > 0 such that i∂∂̄(φ + λΨ^(p)) ≥ 0 on every σ-lc centre (eq5.1), then the natural maps H^q(R^σ) → H^q(J^{σ'}/J^{σ-1}) are injective and the relevant long exact sequences split; in particular, sections over lc^{σ+1}_X(S) lift to J^{σ'}/J^{σ-1}. The proof follows the harmonic-residue route: the positivity condition forces the harmonic residue R(u) to vanish, Proposition 4.2 places u in im δ^H, and Proposition 4.1's adjunction identity gives ∥u∥² = σ_+⟨w, R(u)⟩ = 0. The result generalizes [12] to non-reduced polar divisors of ψ and to extra B-components, and the author explicitly records (Remark 5.2) that the auxiliary functions Ψ^(p) for σ ≥ 1 are not known to exist in general.

Significance. If the key imported propositions are valid in the claimed generality, the paper makes a meaningful contribution: it sharpens the previous qualitative extension theorem by using equalities rather than inequalities, allows non-reduced and B-adapted polar data, and frames the extension as splittings of cohomology exact sequences. The main proof is coherent and the main limitation is honestly stated. However, the result is not yet fully supported because Propositions 4.1 and 4.2 are transferred from arXiv preprints with only sketched justifications, and the condition (eq5.1) may be void for σ ≥ 1. These issues are fixable but currently leave a load-bearing gap.

major comments (4)
  1. [§4, Prop. 4.1] The identity ⟨δ^H w, u⟩_{lc^σ_{X°}(S)} = σ_+⟨w, R(u)⟩_{lc^{σ+1}_{X°}(S)} is the exact step that turns R(u) = 0 into ∥u∥² = 0 in the proof of Theorem 5.1. The proof is described only as 'formally the same' as [13, Prop. 2.3.3], with 'extra care' for the singularities along B and the coefficients ν_p. In the present setting ψ may be non-reduced (ν_i > 1 in (eq2.1)) and has components outside S, so the normalizations in (eq2.2) and the cancellation of ν_{p(k)} in the residue computation are not directly covered by the earlier reduced case. If these factors change, the equality acquires extra constants and the conclusion fails. A complete proof in the present generality, or a precise statement/reference covering exactly this case, is required.
  2. [§4, Prop. 4.2] The equality ker τ^{σ'}_σ = ker τ^{σ+1}_σ = im δ is also load-bearing: it is what lets the proof of Theorem 5.1 write u = δ^H w. The proof cites [13, proof of Thm. 3.4.1] with 'suitable adjustments' and then gives a direct argument that still depends on Prop. 4.1. Because Prop. 4.1 itself is only sketched, Prop. 4.2 does not remove the gap. The author should provide a self-contained derivation of this equality for the non-reduced/B-setting.
  3. [§3, Prop. 3.5] The local residue formula in Prop. 3.5 is used in the proof of Theorem 5.1 to identify the limits after (eq5.1) with sums of squared residues and thereby conclude R(u) = 0. Its proof is again delegated to [13] with 'extra care' for Lelong numbers and coefficients in C^∞_X[eω^±]. Since this formula is a prerequisite for the main argument and is adapted to the more general setting, the manuscript should contain a full proof or a precise adaptation statement for this proposition.
  4. [§5, Remark 5.2] The theorem's hypothesis (eq5.1) is not known to be satisfiable for σ ≥ 1. The paper states that no general procedure is known to construct Ψ^(p) from ψ. This does not make the theorem false, but it substantially limits the advertised conclusion: no example is given where extension over lc centres of codimension ≥ 2 is obtained. The paper should either provide examples or constructions verifying (eq5.1), or rephrase the main theorem explicitly as conditional and discuss the non-vacuity of the hypothesis.
minor comments (4)
  1. [§1, jumping-number display] In the displayed chain defining m_k, the expression 'I(φ + mψ)' appears; this is likely intended to be 'I(φ_L + mψ)' since φ has not been introduced at that point.
  2. [§4, proof of Prop. 4.1] The notation 'σV_{i_1...i_q}' is used in the formula for s_(p) but is never defined. It seems to denote the number of coordinate hyperplanes in the admissible open set; please define it.
  3. [§2, (eq2.2)] For σ = 0, the displayed residue norm formula contains (σ−1)! and ν_p, which are not defined for σ = 0. The convention R^0 is only stated afterwards; a short clarifying remark would avoid confusion.
  4. [References] The proof relies substantially on [13] and [14], which are arXiv preprints. The manuscript should note this explicitly and, if possible, cite published or final versions.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the extension theorem is a conditional consequence of the curvature hypothesis (eq5.1) and prior injectivity machinery, not a restatement of its inputs.

full rationale

I walked the derivation chain from the adjoint ideal sheaf filtration (eq1.1), the residue exact sequence (eq2.3), the harmonic-residue identity (Prop. 4.1), the kernel equality (Prop. 4.2), and finally Theorem 5.1. The conclusion is not defined in terms of eq5.1: eq5.1 is a curvature hypothesis on auxiliary functions Ψ^(p), and the proof uses it to show that the harmonic residue R(u) vanishes; Prop. 4.2 then identifies the relevant kernel with im δ^H, and Prop. 4.1 converts ⟨δ^H w, u⟩ = σ_+ ⟨w, R(u)⟩ into the norm vanishing. These are logically distinct ingredients. The residue exact sequence 0 → J^{σ-1} → J^σ → R^σ → 0 is structural and comes from previous work, but it does not by itself produce the splitting of the long exact sequences. The heavy self-citation to [8], [11], [12], [13], [14] is hierarchical rather than circular: those papers prove injectivity and residue-computation statements with different targets, and the present theorem is a new conditional extension statement. The main rigor concern is that Prop. 4.1 and Prop. 4.2 are transferred to the more general setting of non-reduced polar divisors and B-components with only 'formally the same' or 'suitable adjustments' in proofs; this is a correctness/omitted-proof risk, not a circularity, because the transferred results are not simply renamings of the conclusion. Remark 5.2 also honestly limits the applicability of eq5.1, which affects scope rather than circularity. Therefore no circular step is exhibited, and the score is low.

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

Everything the central claim rests on is either standard external complex geometry (strong openness, L² Dolbeault isomorphism, Hironaka resolution) or results imported wholesale from the author's own prior papers ([8],[11],[13],[14]), whose load-bearing statements are not re-proved. The only genuinely new hypothesis is the existence of the auxiliary functions Ψ^(p) satisfying (eq5.1) at every σ — flagged by the author as open to construct. No invented entities.

free parameters (3)
  • Coefficients (ν_p, μ_p) in the auxiliary functions Ψ^(p) = unspecified; constrained only by (eq5.1)
    Remark 5.2: the coefficients 'need not be related to the coefficients in ψ'; their choice must make curvature non-negative on each lc centre, and existence for σ≥1 is open.
  • Normalised jumping number (m_k = 1, m_{k-1} = 0) = m_k=1 after rescaling ([8, footnote 9, Sec. 2.2])
    Hand-chosen normalisation of the system (X, φ_L, ψ); harmless in principle, but it fixes the scale of ψ in all subsequent bounds.
  • Positivity window λ0 in (eq5.1) = some λ0 > 0, existence assumed
    A hypothesis of Theorem 5.1; no construction or estimate for λ0 is given.
assumptions (8)
  • standard math Strong openness property of multiplier ideal sheaves (Guan–Zhou [22])
    Invoked in §1 to guarantee the jumping-number gaps I(φ_L+m_kψ) ⊊ I(φ_L+mψ) = I(φ_L+m_{k-1}ψ) for m ∈ [m_{k-1}, m_k); external theorem (Annals of Math.), no re-proof here.
  • domain assumption Residue short exact sequence 0 → J^{σ-1} → J^σ → R^σ → 0 ([8, Thm. 4.3.1])
    The algebraic backbone of §2/§4; established in the author's own J. Geom. Anal. paper via a local L² extension theorem; accepted as background.
  • domain assumption Decomposition J_σ = I(φ+φ_{S_0})·I^{lc^{σ+1}_X}(S) and the residue-norm formula (eq2.2) ([8, Thm. 4.1.2])
    Provides the explicit form of adjoint ideal sheaves and the residue norms used to define R^σ and the harmonic residue in §4.
  • domain assumption Invariance of adjoint ideal sheaves under log-resolution ([8, Sec. 5])
    The paper proves everything in snc configuration (§2 assumption); transferring to manifolds without snc data is delegated to this cited invariance.
  • standard math L² Dolbeault isomorphism and harmonic theory for the complete metric ω̃ = 2ω + i∂∂̄(1/log|ℓψ_B|)
    Used in §3 to identify H^q(X, K_X⊗L'⊗I(φ)) with harmonic (n,q)-forms; cited to Fujino [20], Matsumura [33],[31].
  • domain assumption Twisted Bochner–Kodaira identities for the singular weights (Props. 3.1 and 3.3)
    Quoted from [13, Prop. 2.2.2], [11, Prop. 3.2.8], [14, Prop. 3.2.6]; they convert semi-positivity into the residue-limit equalities that drive §5.
  • domain assumption Global curvature assumption i∂∂̄(φ_L+ψ) ≥ 0 (equivalently i∂∂̄φ ≥ 0)
    Stated in §2 ('Unless stated otherwise…'); it is needed for Props. 3.1, 3.3, 3.5, 4.1 and is implied by (eq5.1) at λ=0.
  • ad hoc to paper Existence of quasi-psh Ψ^(p) on each σ-lc centre satisfying (eq5.1)
    The hypothesis of Theorem 5.1. For σ≥1 the author writes (Remark 5.2) that no general construction from ψ is known; the induction and headline claim depend on it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An extension theorem in terms of adjoint ideal sheaves." pith.science (2026). https://pith.science/paper/G3XWM5D2

@misc{pith2026260729153,
  author       = {Pith},
  title        = {Pith review of: An extension theorem in terms of adjoint ideal sheaves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/G3XWM5D2}},
  note         = {Machine review of arXiv:2607.29153}
}
abstract

In the context of the study of the Ohsawa--Takegoshi $L^2$ extension theorem, a "qualitative" extension theorem in terms of adjoint ideal sheaves (i.e. extension result without $L^2$ estimates but with some form of local $L^2$ condition ensured) is proved on compact K\"ahler manifolds via harmonic theory and residue computations. The arguments are adapted from those in the study of the injectivity theorem by Chan--Choi--Matsumura. The result guarantees, in particular, the existence of extensions of line-bundle-valued holomorphic top forms over the union of any log-canonical centres of the same codimension to top forms over the ambient space under suitable positivity assumptions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 7 canonical work pages

  1. [12]

    Math., vol

    ,An application of adjoint ideal sheaves to injectivity and extension theorems, Convex and complex: perspectives on positivity in geometry, Contemp. Math., vol. 810, Amer. Math. Soc., Providence, RI, [2025]©2025, pp. 83–97, DOI 10.1090/conm/810/16208, arXiv version at arXiv:2306.00670 [math.CV]. MR4853194

    arXiv 2025

  2. [13]

    T. O. M. Chan, Y.-J. Choi, and S. Matsumura,An injectivity theorem on snc compact Kähler spaces: an application of the theory of harmonic integrals on log-canonical centers via adjoint ideal sheaves (2023), arXiv version at arXiv:2307.12025 [math.CV]

    arXiv 2023

  3. [14]

    T. O. M. Chan, Y.-J. Choi, and S.-i. Matsumura,Injectivity theorems for higher direct images under proper Kähler morphisms on snc spaces(2024), arXiv version at arXiv:arXiv:2409.14100 [math.CV]

    arXiv 2024

  4. [1]

    Berndtsson,The extension theorem of Ohsawa-Takegoshi and the theorem of Donnelly-Fefferman, Ann

    B. Berndtsson,The extension theorem of Ohsawa-Takegoshi and the theorem of Donnelly-Fefferman, Ann. Inst. Fourier (Grenoble)46(1996), no. 4, 1083–1094 (English, with English and French sum- maries). MR1415958

    1996

  5. [2]

    Math.56(2012), no

    ,L 2-extension of ∂-closed form, Illinois J. Math.56(2012), no. 1, 21–31 (2013). MR3117015

    2012

  6. [3]

    Berndtsson and L

    B. Berndtsson and L. Lempert,A proof of the Ohsawa-Takegoshi theorem with sharp estimates, J. Math. Soc. Japan68(2016), no. 4, 1461–1472, DOI 10.2969/jmsj/06841461. MR3564439

    arXiv 2016

  7. [4]

    Błocki,Suita conjecture and the Ohsawa-Takegoshi extension theorem, Invent

    Z. Błocki,Suita conjecture and the Ohsawa-Takegoshi extension theorem, Invent. Math.193(2013), no. 1, 149–158, DOI 10.1007/s00222-012-0423-2. MR3069114

    work page doi:10.1007/s00222-012-0423-2 2013

  8. [5]

    Cao, J.-P

    J. Cao, J.-P. Demailly, and S. Matsumura,A general extension theorem for cohomology classes on non reduced analytic subspaces, Sci. China Math.60(2017), no. 6, 949–962, DOI 10.1007/s11425- 017-9066-0. MR3647124

    doi:10.1007/s11425- 2017

Show all 42 references
  1. [6]

    1, Paper No

    J.Cao,M.Păun,andB.Berndtsson,On the Ohsawa–Takegoshi extension theorem,J.Geom.Anal.34 (2024), no. 1, Paper No. 25, 47, DOI 10.1007/s12220-023-01466-9, arXiv version at arXiv:2002.04968 [math.CV]. MR4668049

    2024 arXiv

  2. [7]

    T. O. M. Chan,On anL2 extension theorem from log-canonical centres with log-canonical measures, Math. Z.301(2022), no. 2, 1695–1717, DOI 10.1007/s00209-021-02890-9, available athttps:// rdcu.be/cFDPA, arXiv version at arXiv:2008.03019 [math.CV]. Numbering of cited sections and...

    2022 arXiv

  3. [8]

    ,A new definition of analytic adjoint ideal sheaves via the residue functions of log-canonical measures I, J. Geom. Anal.33(2023), no. 9, Paper No. 279, 68, DOI 10.1007/s12220-023-01314-w, available athttps://rdcu.be/deUDt, arXiv version at arXiv:2111.05006 [math.CV]. MR4605571

    2023 arXiv

  4. [9]

    To appear in Proceedings of CCGA2022 and KSCV14

    ,Residue functions and extension problems(2022), arXiv version at arXiv:2211.00885 [math.CV]. To appear in Proceedings of CCGA2022 and KSCV14

    2022 arXiv

  5. [10]

    T. O. M. Chan and Y.-J. Choi,Extension with log-canonical measures and an improvement to the plt extension of Demailly-Hacon-Păun, Math. Ann.383(2022), no. 3-4, 943–997, DOI 10.1007/s00208- 021-02152-3, available athttps://rdcu.be/cn5N6, arXiv version at arXiv:1912.08076 [math...

    2022 arXiv

  6. [11]

    ,On an injectivity theorem for log-canonical pairs with analytic adjoint ideal sheaves, Trans. Amer. Math. Soc.376(2023), no. 12, 8337–8381, DOI 10.1090/tran/8935, arXiv version at arXiv:2205.06954 [math.CV]. MR4669299

    2023 arXiv

  7. [15]

    Demailly,On the Ohsawa-Takegoshi-ManivelL2 extension theorem, Complex analysis and ge- ometry (Paris, 1997), Progr

    J.-P. Demailly,On the Ohsawa-Takegoshi-ManivelL2 extension theorem, Complex analysis and ge- ometry (Paris, 1997), Progr. Math., vol. 188, Birkhäuser, Basel, 2000, pp. 47–82 (English, with English and French summaries). MR1782659

    1997

  8. [16]

    Notes, vol

    ,Multiplier ideal sheaves and analytic methods in algebraic geometry, School on Vanishing Theorems and Effective Results in Algebraic Geometry (Trieste, 2000), ICTP Lect. Notes, vol. 6, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2001, pp. 1–148. MR1919457

    2000

  9. [17]

    fr/~demailly/manuscripts/agbook.pdf

    ,Complex analytic and differential geometry(2012),https://www-fourier.ujf-grenoble. fr/~demailly/manuscripts/agbook.pdf. OpenContent Book

    2012

  10. [18]

    ,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,arXivversionatarXiv:1510.05230[math.CV]. MR3525...

    2016 arXiv

  11. [19]

    Demailly, C

    J.-P. Demailly, C. D. Hacon, and M. Păun,Extension theorems, non-vanishing and the existence of good minimal models, Acta Math.210(2013), no. 2, 203–259, DOI 10.1007/s11511-013-0094-x. MR3070567

    2013 doi

  12. [20]

    Fujino,A transcendental approach to Kollár’s injectivity theorem II, J

    O. Fujino,A transcendental approach to Kollár’s injectivity theorem II, J. Reine Angew. Math.681 (2013), 149–174, DOI 10.1515/crelle-2012-0036. MR3181493

    2013 doi

  13. [21]

    Guan and X

    Q. Guan and X. Zhou,A solution of anL 2 extension problem with an optimal estimate and ap- plications, Ann. of Math. (2)181(2015), no. 3, 1139–1208, DOI 10.4007/annals.2015.181.3.6. MR3296822

    2015 doi

  14. [22]

    ,A proof of Demailly’s strong openness conjecture, Ann. of Math. (2)182(2015), no. 2, 605–616, DOI 10.4007/annals.2015.182.2.5. MR3418526

    2015 doi

  15. [23]

    ,Effectiveness of Demailly’s strong openness conjecture and related problems, Invent. Math. 202(2015), no. 2, 635–676, DOI 10.1007/s00222-014-0575-3. MR3418242

    2015 doi

  16. [24]

    Q. Guan, X. Zhou, and L. Zhu,On the Ohsawa–TakegoshiL2 extension theorem and the Bochner– Kodaira identity with non-smooth twist factor, J. Math. Pure. Appl.97(2012), no. 6, 579–601

    2012

  17. [25]

    P. H. Hiep,The weighted log canonical threshold, C. R. Math. Acad. Sci. Paris352(2014), no. 4, 283– 288, DOI 10.1016/j.crma.2014.02.010 (English, with English and French summaries). MR3186914

    2014 doi

  18. [26]

    Kim,L 2 extension of adjoint line bundle sections, Ann

    D. Kim,L 2 extension of adjoint line bundle sections, Ann. Inst. Fourier (Grenoble)60(2010), no. 4, 1435–1477 (English, with English and French summaries). MR2722247

    2010

  19. [27]

    ,L 2 extension of holomorphic functions for log canonical pairs, J. Math. Pures Appl. (9)177 (2023), 198–213, DOI 10.1016/j.matpur.2023.06.013, arXiv version at arXiv:2108.11934 [math.CV] (English, with English and French summaries). MR4629755

    2023 arXiv

  20. [28]

    Kollár,Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol

    J. Kollár,Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol. 200, Cambridge University Press, Cambridge, 2013. With a collaboration of Sándor Kovács. MR3057950

    2013

  21. [29]

    Lazarsfeld,Positivity in algebraic geometry

    R. Lazarsfeld,Positivity in algebraic geometry. II, Ergebnisse der Mathematik und ihrer Grenzge- biete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 49, Springer-Verl...

  22. [30]

    Manivel,Un théorème de prolongementL 2 de sections holomorphes d’un fibré hermitien, Math

    L. Manivel,Un théorème de prolongementL 2 de sections holomorphes d’un fibré hermitien, Math. Z.212(1993), no. 1, 107–122, DOI 10.1007/BF02571643 (French). MR1200166

    1993 doi

  23. [31]

    Matsumura,An injectivity theorem with multiplier ideal sheaves of singular metrics with tran- scendental singularities, J

    S. Matsumura,An injectivity theorem with multiplier ideal sheaves of singular metrics with tran- scendental singularities, J. Algebraic Geom.27(2018), no. 2, 305–337, DOI 10.1090/jag/687, arXiv version at arXiv:1308.2033 [math.CV]. MR3764278

    2018 arXiv

  24. [32]

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

    2019

  25. [33]

    Geom.9(2022), no

    ,Injectivity theorems with multiplier ideal sheaves for higher direct images under Kähler morphisms, Algebr. Geom.9(2022), no. 2, 122–158, DOI 10.14231/ag-2022-005, arXiv version at arXiv:1607.05554v2 [math.CV]. MR4429015

    2022 arXiv

  26. [34]

    J.D.McNealandD.Varolin,Analytic inversion of adjunction:L 2 extension theorems with gain,Ann. Inst. Fourier (Grenoble)57(2007), no. 3, 703–718 (English, with English and French summaries). MR2336826

    2007

  27. [35]

    ,L 2 estimates for the ∂operator, Bull. Math. Sci.5(2015), no. 2, 179–249, DOI 10.1007/s13373-015-0068-8. MR3354033

    2015 doi

  28. [36]

    Ohsawa,On the extension ofL2 holomorphic functions

    T. Ohsawa,On the extension ofL2 holomorphic functions. II, Publ. Res. Inst. Math. Sci.24(1988), no. 2, 265–275, DOI 10.2977/prims/1195175200. MR944862

    1988

  29. [37]

    ,On the extension ofL 2 holomorphic functions. III. Negligible weights, Math. Z.219(1995), no. 2, 215–225, DOI 10.1007/BF02572360. MR1337216

    1995 doi

  30. [38]

    Ohsawa and K

    T. Ohsawa and K. Takegoshi,On the extension ofL2 holomorphic functions, Math. Z.195(1987), no. 2, 197–204, DOI 10.1007/BF01166457. MR892051

    1987 doi

  31. [39]

    Păun,Siu’s invariance of plurigenera: a one-tower proof, J

    M. Păun,Siu’s invariance of plurigenera: a one-tower proof, J. Diff. Geom.76(2007), 485–493

    2007

  32. [40]

    Y.-T. Siu,Extension of twisted pluricanonical sections with plurisubharmonic weight and invariance of semipositively twisted plurigenera for manifolds not necessarily of general type, Complex geometry (Göttingen, 2000), Springer, Berlin, 2002, pp. 223–277. MR1922108

    2000

  33. [41]

    Takayama,Pluricanonical systems on algebraic varieties of general type, Invent

    S. Takayama,Pluricanonical systems on algebraic varieties of general type, Invent. Math.165(2006), no. 3, 551–587, DOI 10.1007/s00222-006-0503-2. MR2242627 Email address:mariochan@ntu.edu.tw Dept. of Mathematics, National Taiw an University, Taiw an

    2006 doi

  34. [2004]

    MR2095472

    Positivity for vector bundles, and multiplier ideals. MR2095472

Pith tools

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