Siu's curvature positivity and $L^2$ extension theorems for $(p,q)$-forms

Gang Huang

REVIEW 4 major objections 4 minor 41 references

Siu's curvature positivity and $L^2$ extension theorems for $(p,q)$-forms

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

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

Pith's one-line read Siu's curvature operator A^E_{p,q} ≥ 0 is equivalent to an optimal L2-estimate condition, yielding extension theorems for (p,q)-forms.

desk verdict A real extension of the DNWZ23 program to arbitrary (p,q)-forms, with the right statements and one newly defined operator; the proofs need another pass around compact support and the delegated D96 arguments. read the letter →

arxiv 2607.23094 v1 pith:PYCLOYWQ submitted 2026-07-25 math.CV math.AGmath.DG

Gang Huang This is my paper · ORCID

classification math.CVmath.AGmath.DG MSC 32W0532L1032Q15

keywords Siu'scurvatureoperatorL2estimatesOhsawa-Takegoshiextension(pq)-formsHermitianvectorbundlesKählermanifoldshigherdirectimageslocalfreeness

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 introduces Siu's curvature operator A^E_{p,q} for E-valued (p,q)-forms on Kähler manifolds, defined as the difference between the ∂-bar Kodaira Laplacian and the rough Laplacian; in the top degree p=n it reduces to the Akizuki–Nakano curvature operator. The main result characterizes semipositivity of A^E_{p,q} as exactly equivalent to an optimal L2-estimate condition for the ∂-bar equation in bidegree (p,q), extending recent characterizations that were only known for (n,q) or (p,n) forms. Building on this, the paper proves an L2 extension theorem of Ohsawa–Takegoshi type: if A^E_{p,q+1} ≥ 0, every smooth ∂-bar-closed E-valued (p,q)-form on a fiber extends to the whole space with a weighted L2 bound involving |s|^{-2m}. A direct application is local freeness of the higher direct image sheaf R^q s_*(Ω^p_{X/B_m}⊗E) under the two curvature conditions A^E_{p,q+1} ≥ 0 and A^E_{p,q} ≥ 0. The paper thus supplies a curvature positivity notion for arbitrary bidegree and connects it to analytic estimates and deformation-theoretic base-change statements.

What carries the argument

The central object is Siu's curvature operator A^E_{p,q} := □_{p,q} − ∇^*∇, the zero-order curvature term left over after subtracting the rough Laplacian from the ∂-bar Kodaira Laplacian on E-valued (p,q)-forms. The paper also relies on the zero-order operator D^1_{h_A}, which acts on anti-holomorphic indices via the curvature of a line bundle (A,h_A); it is globally well defined and satisfies the twist formula A^{E⊗A}_{p,q} = A^E_{p,q} + D^1_{h_A}. The proof of the extension theorem is carried by a new twisted basic estimate that relates weighted ∂-bar and ∂-bar-star norms to the operator η A^E_{p,q} − D^1_η − T^1_{η,λ}, where T^1_{η,λ} is a pointwise semipositive term. This estimate, combi

What would settle it

Check whether the extension theorem's conclusion (smooth F with the stated weighted L2 bound) holds for a concrete example where A^E_{p,q+1} ≥ 0 but p < n, such as a product X = X_0 × B_m with a product metric and a line bundle whose fiber curvature is positive; if the constructed limit F fails to be smooth or fails the estimate, the theorem is false. Alternatively, compute A^E_{p,q} and test the optimal L2 estimate condition on a specific bundle (for instance the holomorphic tangent bundle of a compact Kähler manifold) to look for a point where the estimate holds although A^E_{p,q} has a nega

Watch

Extended reading notes

Core claim

On a complete Kähler manifold with a Hermitian holomorphic vector bundle (E,h), the paper defines Siu's curvature operator A^E_{p,q} := □_{p,q} − ∇^*∇ acting on E-valued (p,q)-forms. It proves (Theorem 1.4) that A^E_{p,q} ≥ 0 holds if and only if, for every positive line bundle (A,h_A) and every ∂-bar-closed compactly supported form f of bidegree (p,q) with values in E⊗A, the ∂-bar equation has a smooth solution u with the optimal L2 estimate ∫|u|² ≤ ∫⟨(D^1_{h_A})^{-1}f, f⟩. The key mechanism is the identity A^{E⊗A}_{p,q} = A^E_{p,q} ⊗ Id_A + D^1_{h_A}, where D^1_{h_A} is a globally defined zero-order operator built from the curvature of (A,h_A). Theorem 1.5 then gives an L2 extension theore

Load-bearing premise

The proof assumes that the weighted L2 regularity and weak-compactness arguments used in the classical extension theorem transfer without modification to the singular weight |s|^{-2m} for E-valued (p,q)-forms; the paper states that the remaining proof is 'almost identical' to a known theorem and omits these steps.

Editorial extensions

If this is right

Semipositivity of Siu's curvature operator A^E_{p,q} is exactly the analytic condition that makes the optimal L2 estimate hold for the ∂-bar equation on (p,q)-forms, giving a new characterization of positivity.
The L2 extension theorem works for all bidegrees (p,q), not only (n,q), with the natural curvature condition A^E_{p,q+1} ≥ 0.
The extension theorem implies that the restriction map from R^q s_*F to H^q(X_0, F|X_0) is surjective, yielding local freeness of the higher direct image under A^E_{p,q+1} ≥ 0 and A^E_{p,q} ≥ 0.
For p = n, the local freeness conclusion follows from the single condition A^E_{n,q} ≥ 0, which for q ≥ 2 is weaker than Nakano semipositivity.
The twisted basic estimate gives a quantitative L2 bound with the singular weight |s|^{-2m}, which may be useful for further extension and vanishing problems.

Reading between the lines

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

The equivalence in Theorem 1.4 suggests that A^E_{p,q} is the curvature notion best adapted to (p,q)-forms; one could test whether it coincides with or implies other standard positivity notions on (p,q)-forms.
The optimality of the weight |s|^{-2m}(−log|s|²)^{-2} in the extension theorem is plausible but not proven; a natural follow-up is to determine the sharp constant C_m and check whether the weight can be improved.
The local freeness theorem might extend to families over higher-dimensional bases or to non-submersive maps by using the same curvature conditions together with a limiting argument; this would connect the result more broadly to cohomological flatness.
A full write-up of the regularity and weak-compactness steps for the singular weight |s|^{-2m} would place the extension theorem on firmer footing and likely clarify whether the condition p=n is essential for the argument as written.

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.

Desk Editor's Note

read the letter

The short version: this is a genuine extension of the Deng–Ning–Wang–Zhou program. The paper defines a new curvature operator A^E_{p,q} for all bidegrees, proves an optimal L2-estimate characterization of its semipositivity (Theorem 1.4), an Ohsawa–Takegoshi-type extension theorem for E-valued (p,q)-forms (Theorem 1.5), and a local freeness statement for higher direct images (Theorem 1.6). These results are not in the cited literature; they go beyond DNWZ23 (Nakano positivity) and Watanabe ((n,q)- and (p,n)-forms). The architecture is coherent and the statements look plausible.

What is genuinely new: A^E_{p,q} is defined as the difference between the Kodaira Laplacian and the connection Laplacian, and the paper shows it splits into a base-curvature part and a bundle-curvature part, with the tensor-product formula A^{E⊗A}_{p,q} = A^E_{p,q} + D^1_h. That is the right mechanism for weighted L2 arguments. Lemma 4.2, the twisted basic estimate, is the key technical step, and it checks out. The paper is also honest about its debts to Demailly and to Siu's old Bochner formulas.

Now the soft spots, in order of severity.

1. In the converse direction of Theorem 1.4 (Theorem 3.3), the proof takes α = (D^1_{h_L})^{-1}f. Since D^1 is a zero-order operator, its inverse generally does not preserve compact support. The Bochner identity used for α was stated for compactly supported forms, and no approximation argument is supplied. This is a real gap as written. It is likely fixable by a density argument in the relevant weighted L2 space, but it needs to be written out.

2. The extension theorem (Theorem 4.4) derives the curvature inequality (4.8) and then says 'the rest of the proof is almost identical to [D96, Theorem 13.6]'. That delegation is too quick for a paper whose whole point is to move beyond (n,q)-forms. The problematic steps are: (i) Proposition 4.3's use of Lemma 4.2 for α = α1 + α2, which are not compactly supported; (ii) the ε→0 limit requiring weak compactness in the weighted L2 space with singular weight |s|^{-2m}; (iii) the assertion that the extension crosses X0, taken from D96 without checking the E-valued (p,q) version. The author even notes that the (n,q) case is simpler because (n+1,q)-terms vanish — which is exactly why the transfer to general (p,q) needs demonstration, not assertion.

If those two points are fixed, I think the paper will be solid. As written, it deserves a serious referee but should come back with requests for those missing arguments. The target audience is complex geometers working on L2 estimates, positivity, and Ohsawa–Takegoshi-type theorems. I would engage with it, but I would not cite it until the gaps are closed.

Referee Report

4 major / 4 minor

Summary. The paper introduces a curvature operator A^E_{p,q} on E-valued (p,q)-forms over Kähler manifolds, defined as the zero-order part of the ∂-Kodaira Laplacian (A^E_{p,q} = □_{p,q} - ∇^*∇). It then proves Theorem 1.4, an equivalence between semipositivity of A^E_{p,q} and an optimal L^2-estimate condition for ∂ on E-valued (p,q)-forms, and Theorem 1.5, an Ohsawa–Takegoshi-type extension theorem for E-valued (p,q)-forms under A^E_{p,q+1} ≥ 0, using a new twisted basic estimate (Lemma 4.2). Finally, Theorem 1.6 applies the extension theorem to prove local freeness of R^q s_*(Ω^p_{X/B}⊗E). The paper is well structured and self-contained in Sections 2–3 for the characterization theorem, while Section 4 delegates substantial parts of the extension proof to [D96].

Significance. If the main results are correct, the paper provides a unified curvature-positivity notion that applies to arbitrary bidegree, recovers known results for (n,q)-forms, and gives a new extension theorem and a direct-image freeness criterion. The characterization of A^E_{p,q} via L^2 estimates is a natural and potentially useful contribution, and the author is careful to check that A^E_{n,q} reduces to the classical Akizuki–Nakano operator. The application to higher direct images is elegant and the underlying strategy is credible. However, the proof of the extension theorem (Theorem 1.5) is not fully written out and contains a concrete mismatch between the stated hypotheses of Proposition 4.3 and the weight functions used in the application. These gaps are load-bearing for Theorems 1.5 and 1.6, so the paper cannot be accepted in its present form.

major comments (4)

[§4, Proposition 4.3] Lemma 4.2 is stated and proved only for compactly supported smooth u, but in the proof of Proposition 4.3 the inequality is applied to α1, the orthogonal projection of α onto Ker ∂. This projection is not compactly supported in general. A density/regularization argument on the complete Kähler manifold is required to justify the use of the compact-support Bochner identity, and the paper does not provide it or cite a specific lemma in [D96] that covers E-valued (p,q)-forms. Since Proposition 4.3 is the basis for Theorem 4.4, this needs to be fixed.
[§4, Theorem 4.4 / Proposition 4.3] Proposition 4.3 is stated for smooth bounded positive functions η, λ. However, in Theorem 4.4 the functions ηε = ε - χ_0(log(|s|^2+ε^2)) are unbounded near X0 (they behave like -log|s|^2 as ε→0). The paper does not explain how Proposition 4.3 applies in this setting. Either the boundedness assumption must be relaxed with a proper justification (e.g., by working on compact exhaustions and using the completeness of M_c), or a separate argument must show that the unboundedness of ηε causes no difficulty. This is a concrete gap in the proof of the key L^2 estimate underlying Theorem 1.5.
[§4, Theorem 4.4 after (4.8)] The passage from the twisted estimate (4.8) to the final extension is delegated to [D96, Theorem 13.6] with the sentence 'The rest of the proof is almost identical…'. The omitted steps are not routine for E-valued (p,q)-forms with the singular weight |s|^{-2m}: the ε→0 and δ→0 limits require weak compactness in the weighted L^2 space; the smoothness of u_{ε,c} and its vanishing on X0 are invoked; and the extension of ∂-closedness across X0 is attributed to Lemma 11.10 of [D96] without checking that it applies to bundle-valued (p,q)-forms. Since Theorems 1.5 and 1.6 depend directly on this transfer, these arguments must be supplied or the relevant statements from [D96] must be quoted with their exact hypotheses.
[§3, Theorem 3.3] For completeness, I note that the compact-support concern sometimes raised about α=(D1_hL)^{-1}f in Theorem 3.3 is not an actual defect: D1_hL is a zero-order bundle endomorphism, so its inverse is pointwise and α has the same support as f. The genuine support issue is the one in Proposition 4.3 described above, not this one.

minor comments (4)

[§3, proof of Theorem 3.3] The reference to 'Corollary 2.5' should be 'Lemma 2.5'.
[§3, proof of Theorem 3.1] The sentence 'By the positivity of (A,h_A) and Proposition 3.2, locally…' is misleading: Proposition 3.2 is not needed to write a positive metric locally as e^{-φ}. The local weight exists for any Hermitian metric. This is a presentation issue.
[§4, Proposition 4.3] The notation Γ^{p,q}T^*_X⊗E should be Λ^{p,q}T^*_X⊗E for consistency with the rest of the paper.
[§4, Lemma 4.2] In local coordinates in Lemma 4.1, the expression for (∂η)^*u has a sign depending on convention; this is not an error but the convention should be stated once for clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain is self-contained apart from routine delegation to external lemmas, and none of the stated predictions reduce to fitted inputs or self-citing definitions.

full rationale

The central object A^E_{p,q} is defined independently as the zeroth-order part of the Bochner–Kodaira–Nakano identity, A^E_{p,q} := □_{p,q} − ∇^*∇, and not as a consequence of the L^2 condition it is later compared with. Theorem 1.4 establishes the equivalence with the optimal L^2-estimate condition by proving both implications: the forward direction uses the standard weighted Bochner–Kodaira–Nakano identity plus Lemma 2.5 (A^{E⊗A}_{p,q} = A^E_{p,q} + D^1_{h_A}); the converse follows the published Deng–Ning–Wang–Zhou localization argument and constructs a contradiction from a violated curvature inequality, rather than assuming the target semipositivity. Thus the equivalence is not definitional. The extension theorem (Theorems 1.5/4.4) rests on the newly derived twisted basic estimate Lemma 4.2 and Proposition 4.3, which reduce to the same weighted identity; the later steps are delegated to Demailly's [D96, Theorem 13.6], but this is an external, published technical framework rather than a self-citation, and the unresolved points (regularity, weak compactness with the singular weight |s|^{-2m}, extension across X0) are proof-completeness gaps rather than circular reductions. Similarly, Theorem 1.6 uses the extension theorem together with the external exactness criterion [BS76, Chapter III, Corollary 3.7]; it does not presuppose local freeness. No fitted parameter is renamed as a prediction, no uniqueness theorem is imported from the authors, and no ansatz is smuggled in via citation: the curvature operator is explicitly defined and its relationship to the classical Akizuki–Nakano operator is checked directly. For these reasons the score is 0.

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

No fitted parameters are introduced; the constants C_m are numerical and explicit. The main axioms are standard results of complex geometry and L2 theory. The only new object is the curvature operator A^E_{p,q}, which is grounded in the Bochner–Kodaira–Nakano identity and classical curvature operators rather than being an ad hoc assumption.

assumptions (6)

standard math Bochner–Kodaira–Nakano identity: □_{p,q} = ∇*∇ + A^E_{p,q} for E-valued (p,q)-forms on Kähler manifolds.
This identity defines A^E_{p,q} and is used throughout, especially in Lemma 4.2 and Theorem 3.1.
standard math Demailly's L2 existence machinery: weighted Bochner estimates, Hahn–Banach, Riesz representation, and elliptic regularity produce minimal L2 solutions on complete Kähler manifolds.
Used in Theorem 3.1 and Proposition 4.3 without reproof.
standard math Deng–Ning–Wang–Zhou localization: local strictly plurisubharmonic weights can be realized as weights of positive Hermitian metrics on a positive line bundle (Proposition 3.2).
Load-bearing in the converse direction of Theorem 1.4; it allows localizing a negative direction of A^E.
standard math Bănică–Stănășilă exactness criterion: local freeness of R^q s_* F is equivalent to surjectivity of the two restriction maps (Lemma 5.1).
This is the bridge from extension surjectivity to local freeness in Theorem 1.6.
domain assumption Weakly pseudoconvex Kähler manifolds admit complete Kähler metrics, and complements X_c \ X_0 are complete Kähler.
Needed for the L2 estimates on exhaustion domains in the extension theorem; cited from Demailly [D96].
standard math The relative Dolbeault complex computes R^q s_*(Ω^p_{X/B_m}⊗E) for proper holomorphic submersions.
Used in Theorem 5.2 to convert a relative ∂-closed form into a section of the higher direct image sheaf.

invented entities (1)

Siu's curvature operator A^E_{p,q} independent evidence
purpose: A positivity notion for vector-bundle-valued (p,q)-forms; the central object of the paper.
Not a free postulate: it is defined as □_{p,q} − ∇*∇, reduces to the Akizuki–Nakano operator when p=n, and has a transformation rule under line-bundle twists (Lemma 2.5). The name 'Siu' refers to its appearance in Siu's Bochner formulas.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Siu's curvature positivity and $L^2$ extension theorems for $(p,q)$-forms." pith.science (2026). https://pith.science/paper/PYCLOYWQ

@misc{pith2026260723094,
  author       = {Pith},
  title        = {Pith review of: Siu's curvature positivity and $L^2$ extension theorems for $(p,q)$-forms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PYCLOYWQ}},
  note         = {Machine review of arXiv:2607.23094}
}

abstract

In this paper, we introduce Siu's curvature operator $A^E_{p,q}$ for vector-bundle-valued differential forms on K\"ahler manifolds. When $p=n$, this operator reduces to the classical Akizuki--Nakano curvature operator. We first characterize the semipositivity of $A^E_{p,q}$ in terms of an optimal $L^2$-estimate condition for the $\bar\partial$-operator, and then prove an Ohsawa--Takegoshi-type extension theorem for $E$-valued $(p,q)$-forms under the curvature condition $A^E_{p,q+1}\geq0$, using a new twisted basic estimate adapted to this setting. As an application, we prove the local freeness of the higher direct image sheaf $R^q s_*(\Omega^p_{X/ B_m}\otimes E)$ under the curvature conditions $A^E_{p,q+1}\geq0$ and $A^E_{p,q}\geq0$, where $s: X \to B_m:=\{t\in\mathbb C^m:\ |t|<1\}$ is a proper holomorphic submersion from a K\"ahler manifold $X$, and $E$ is a Hermitian holomorphic vector bundle.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 4 linked inside Pith

[1]

B a nic a and O

C. B a nic a and O. St a n a s il a , Algebraic Methods in the Global Theory of Complex Spaces, Editura Academiei, Bucharest; John Wiley & Sons, London--New York--Sydney, 1976

1976
[2]

J.-P. 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, Annales scientifiques de l'\'Ecole Normale Sup\'erieure 15 (1982), no. 3, 457--511

1982
[3]

J. P. Demailly, $L^2$ estimates for the -operator on complex manifolds, Lecture notes, summer school on complex analysis, Institut Fourier, Grenoble, 1996

1996
[4]

Demailly, On the Ohsawa--Takegoshi--Manivel L^2 extension theorem, in Complex Analysis and Geometry, Progress in Mathematics, vol

J.-P. Demailly, On the Ohsawa--Takegoshi--Manivel L^2 extension theorem, in Complex Analysis and Geometry, Progress in Mathematics, vol. 188, Birkh\"auser, Basel, 2000, pp. 47--82

2000
[5]

Demailly, Complex Analytic and Differential Geometry, online book, Version of Thursday June 21, 2012

J.-P. Demailly, Complex Analytic and Differential Geometry, online book, Version of Thursday June 21, 2012

2012
[6]

F. Deng, J. Ning and Z. Wang, Characterizations of plurisubharmonic functions, Science China Mathematics 64 (2021), no.9, 1959--1970

2021
[7]

F. Deng, J. Ning, Z. Wang and X. Zhou, Positivity of holomorphic vector bundles in terms of L^p -estimates for , Math. Ann. 385 (2023), no. 1--2, 575--607

2023
[8]

Grauert and R

H. Grauert and R. Remmert, Coherent Analytic Sheaves, Grundlehren der mathematischen Wissenschaften, vol. 265, Springer-Verlag, Berlin, 1984

1984

Show all 41 references

[9]

Guan and X

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

2012
[10]

Guan and X

Q. Guan and X. Zhou, An $L^2$ extension theorem with optimal estimate, C. R. Math. Acad. Sci. Paris 352 (2014), no. 2, 137--141

2014
[11]

Guan and X

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

2015
[12]

H\"ormander, L^2 estimates and existence theorems for the operator, Acta Mathematica 113 (1965), 89--152

L. H\"ormander, L^2 estimates and existence theorems for the operator, Acta Mathematica 113 (1965), 89--152

1965
[13]

Hosono and T

G. Hosono and T. Inayama, A converse of H\"ormander's L^2 -estimate and new positivity notions for vector bundles, Science China Mathematics 64 (2021), no. 8, 1745--1756

2021
[14]

Inayama, From H\"ormander's L^2 -estimates to partial positivity, Comptes Rendus

T. Inayama, From H\"ormander's L^2 -estimates to partial positivity, Comptes Rendus. Mathématique 359 (2021), no. 2, 169-179

2021
[15]

Li, L^p -estimates and existence theorems for the -operator on complete K\"ahler manifolds

X. Li, L^p -estimates and existence theorems for the -operator on complete K\"ahler manifolds. Adv. Math., 2010, 224(2): 620--647

2010
[16]

Manivel, Un th\'eor\`eme de prolongement L^2 de sections holomorphes d'un fibr\'e hermitien, Mathematische Zeitschrift 212 (1993), no

L. Manivel, Un th\'eor\`eme de prolongement L^2 de sections holomorphes d'un fibr\'e hermitien, Mathematische Zeitschrift 212 (1993), no. 1, 107--122

1993
[17]

Ohsawa and K

T. Ohsawa and K. Takegoshi, On the extension of L^2 holomorphic functions, Mathematische Zeitschrift 195 (1987), no. 2, 197--204

1987
[18]

Siu, The complex-analyticity of harmonic maps and the strong rigidity of compact K\"ahler manifolds, Annals of Mathematics 112 (1980), no

Y.-T. Siu, The complex-analyticity of harmonic maps and the strong rigidity of compact K\"ahler manifolds, Annals of Mathematics 112 (1980), no. 1, 73--111

1980
[19]

Siu, Invariance of plurigenera, Invent

Y.-T. Siu, Invariance of plurigenera, Invent. Math. 134 (1998), no. 3, 661--673

1998
[20]

Y.-T. Siu, Extension of twisted pluricanonical sections with plurisubharmonic weight and invariance of semipositively twisted plurigenera for manifolds not necessarily of general type, in Complex Geometry (G\"ottingen, 2000), Springer, Berlin, 2002, pp. 223--277

2000
[21]

Siu, Lecture Notes in Complex Analytic Geometry, unpublished lecture notes, private collection

Y.-T. Siu, Lecture Notes in Complex Analytic Geometry, unpublished lecture notes, private collection
[22]

Takegoshi, Higher direct images of canonical sheaves tensorized with semi-positive vector bundles by proper K\"ahler morphisms, Mathematische Annalen 303 (1995), no

K. Takegoshi, Higher direct images of canonical sheaves tensorized with semi-positive vector bundles by proper K\"ahler morphisms, Mathematische Annalen 303 (1995), no. 3, 389--416

1995
[23]

Watanabe, Curvature operator of holomorphic vector bundles and $L^2$-estimate condition for $(n,q)$ and $(p,n)$-forms, Tohoku Math

Y. Watanabe, Curvature operator of holomorphic vector bundles and $L^2$-estimate condition for $(n,q)$ and $(p,n)$-forms, Tohoku Math. J. (2) 77 (2025), no. 4, 445--471

2025
[24]

L. Zhu, Q. Guan and X. Zhou, On the Ohsawa--Takegoshi $L^2$ extension theorem and the Bochner--Kodaira identity with non-smooth twist factor, J. Math. Pures Appl. (9) 97 (2012), no. 6, 579--601

2012
[25]

Zhou and L

X. Zhou and L. Zhu, An optimal L^2 extension theorem on weakly pseudoconvex K\"ahler manifolds, Journal of Differential Geometry 110 (2018), no. 1, 135--186

2018
[26]

Zhou and L

X. Zhou and L. Zhu, Optimal L^2 extension of sections from subvarieties in weakly pseudoconvex manifolds, Pacific Journal of Mathematics 309 (2020), no. 2, 475--510

2020
[27]

Zhou and L

X. Zhou and L. Zhu, Siu's lemma, optimal $L^2$ extension and applications to twisted pluricanonical sheaves, Math. Ann. 377 (2020), no. 1--2, 675--722

2020
[28]

C, A simple proof of the Ohsawa-Takegoshi extension theorem, Preprint, Arxiv: 1105.2430(2011)

B. C, A simple proof of the Ohsawa-Takegoshi extension theorem, Preprint, Arxiv: 1105.2430(2011)

2011 arXiv
[29]

J. P. Demailly, Complex analytic and differential geometry, electric book, Version of Thursday June 21,2012, available on the author's homepage

2012
[30]

J. P. Demailly, L2 estimates for the -operator on complex manifolds, Lecture notes, summer school on complex analysis, Institut Fourier, Grenoble, 1996

1996
[31]

F. Deng, G. Huang, and X. Qin, Uniform estimates of Green's functions and Sobolev-type inequalities on real and complex manifolds, Preprint, Arxiv: 2409.19353 (2024)

2024 arXiv
[32]

F. Deng, G. Huang, and X. Qin. Some Sobolev-type inequalities for twisted differential forms on real and complex manifolds, Preprint, Arxiv: 2501.05697 (2025)

2025 arXiv
[33]

F. Deng, W. Jiang, and X. Qin, Sobolev-type inequality and an improved L^2 -estimate
[34]

F. Deng, J. Ning, Z. Wang and X. Zhou, Positivity of holomorphic vector bundles in terms of L^p -estimates for , Mathematische Annalen 385.1 (2023): 575-607

2023
[35]

Li, Riesz transforms on forms and L^p -Hodge decomposition on complete K\"ahler manifolds

X. Li, Riesz transforms on forms and L^p -Hodge decomposition on complete K\"ahler manifolds. Rev. Mat. Iberoam., 2010, 26(2): 481--528

2010
[36]

Inayama, A new approach to partial positivity, a generalization of the Prékopa-Berndtsson theorem and RC-positivity of direct image bundles, Preprint, Arxiv: 2008.08287v1 (2020)

T. Inayama, A new approach to partial positivity, a generalization of the Prékopa-Berndtsson theorem and RC-positivity of direct image bundles, Preprint, Arxiv: 2008.08287v1 (2020)

2008 arXiv
[37]

Mourougane and S, Takayama, Hodge metrics and the curvature of higher direct images, Ann

C. Mourougane and S, Takayama, Hodge metrics and the curvature of higher direct images, Ann. Sci. \'Ec. Norm. Sup\'er. 4(2008):905-924

2008
[38]

Y.Watanabe, Curvature operator of holomorphic vector bundles and
[39]

Si, The complex-analyticity of harmonic maps and the strong rigidity of compact K\"ahler manifolds, Ann

Y. Si, The complex-analyticity of harmonic maps and the strong rigidity of compact K\"ahler manifolds, Ann. of Math. 1980, 112(1): 73--111

1980
[40]

Yang, RC-positivity, rational connectedness and Yau's conjecture, Cambridge Journal of Mathematics

X. Yang, RC-positivity, rational connectedness and Yau's conjecture, Cambridge Journal of Mathematics. Volume 6, Number 2,(2018): 183-212

2018
[41]

Li, On the strong L^p -Hodge decomposition over complete Riemannian manifolds, J

X. Li, On the strong L^p -Hodge decomposition over complete Riemannian manifolds, J. Funct. Anal. 257 (2009), no. 11 , 3617-3646

2009

Pith tools

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

[1] [1]

B a nic a and O

C. B a nic a and O. St a n a s il a , Algebraic Methods in the Global Theory of Complex Spaces, Editura Academiei, Bucharest; John Wiley & Sons, London--New York--Sydney, 1976

1976

[2] [2]

J.-P. 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, Annales scientifiques de l'\'Ecole Normale Sup\'erieure 15 (1982), no. 3, 457--511

1982

[3] [3]

J. P. Demailly, \(L^2\) estimates for the -operator on complex manifolds, Lecture notes, summer school on complex analysis, Institut Fourier, Grenoble, 1996

1996

[4] [4]

Demailly, On the Ohsawa--Takegoshi--Manivel L^2 extension theorem, in Complex Analysis and Geometry, Progress in Mathematics, vol

J.-P. Demailly, On the Ohsawa--Takegoshi--Manivel L^2 extension theorem, in Complex Analysis and Geometry, Progress in Mathematics, vol. 188, Birkh\"auser, Basel, 2000, pp. 47--82

2000

[5] [5]

Demailly, Complex Analytic and Differential Geometry, online book, Version of Thursday June 21, 2012

J.-P. Demailly, Complex Analytic and Differential Geometry, online book, Version of Thursday June 21, 2012

2012

[6] [6]

F. Deng, J. Ning and Z. Wang, Characterizations of plurisubharmonic functions, Science China Mathematics 64 (2021), no.9, 1959--1970

2021

[7] [7]

F. Deng, J. Ning, Z. Wang and X. Zhou, Positivity of holomorphic vector bundles in terms of L^p -estimates for , Math. Ann. 385 (2023), no. 1--2, 575--607

2023

[8] [8]

Grauert and R

H. Grauert and R. Remmert, Coherent Analytic Sheaves, Grundlehren der mathematischen Wissenschaften, vol. 265, Springer-Verlag, Berlin, 1984

1984