Pith. sign in

REVIEW 3 major objections 6 minor 1 cited by

First eigenvalue estimates on complete K\"ahler manifolds

T0 review · 3 major / 6 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 paper proves a dimension-dependent lower bound, tending to 4, for the first eigenvalue of any complete Kähler manifold with holomorphic sectional curvature at least 2.

desk verdict New Bochner-Kodaira eigenvalue bound under HSC≥2 is plausible and close to sharp, but the proof has two fixable gaps and a sign convention that needs checking. read the letter →

arxiv 2507.09203 v1 pith:GDZBT3Y7 submitted 2025-07-12 math.DG

Mingwei Wang , Xiaokui Yang This is my paper · ORCID
classification math.DG MSC 53C5558J50
keywords firsteigenvalueKählermanifoldholomorphicsectionalcurvatureBochner-KodairaidentityspectralgapLaplacianlowerboundcomplete
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 quantitative spectral gap for all complete Kähler manifolds whose holomorphic sectional curvature is bounded below by 2. The first nonzero eigenvalue of the Laplace operator is shown to be at least $\frac{320(n-1)+576}{81(n-1)+144}$, a dimension-dependent constant that always exceeds $320/81 \approx 3.95$ and increases to 4 as the complex dimension $n$ grows. The proof is built on a new Bochner-Kodaira identity that connects the curvature term to a Hodge-theoretic decomposition of the eigenfunction differential, and the sharp numerical constant comes from a pointwise algebraic inequality. A product example shows the optimal universal lower bound, if it exists, cannot exceed 4, and the paper conjectures the sharp value is 4, attained only by $\mathbb{CP}^1$ with the Fubini-Study metric.

What carries the argument

The machinery is a Bochner-Kodaira-type identity for the $(1,0)$-gradient $\varphi = \partial\bar f$ of an eigenfunction, together with the two 1-forms $\omega_1 = \{\partial_E \varphi, \varphi\}$ and $\omega_2 = \{\bar\partial_E \varphi, \varphi\}$ defined through the Chern connection on the holomorphic cotangent bundle. The identity shows that $2\lambda\int |\varphi|^4$ equals the sum of the holomorphic sectional curvature term $\int R(V,V,V,V)$, a positive Hessian term $\int |\varphi|^2|\partial\partial\bar f|^2$, and two nonnegative $L^2$ norms. The proof of the main estimate is a logarithmic modification of this identity: applying it to the regularized form $(\varphi\wedge\varphi)/(|\varphi|^2+\varepsilon)$ and taking $\varepsilon\to 0$ produces a pointwise algebraic inequality (2.29), which is exactly where the dimension-dependent constant arises. This inequality is obtained by writing $\partial\partial\bar f$ at a point in an orthonormal frame adapted to $V$ and optimizing a quadratic form in the matrix entries.

What would settle it

Check the algebraic core directly: for any $n$, take a Hermitian matrix $A = (a_{ij})$ representing $\partial\partial\bar f$ in an orthonormal frame, compute the left side $-(9/8)\sum |a_{ni}|^2 + (7/8)|a_{nn}|^2 - (1/2)\sum a_{ii} a_{nn}$ and compare it with the right side $-(9/16)\sum |a_{ij}|^2 - \kappa_0 (\sum a_{ii})^2$ for $\kappa_0 = \frac{16(n-1)+27}{80(n-1)+144}$. A single Hermitian matrix for which the inequality fails would invalidate the theorem; a numerical search over random matrices for small $n$ would settle the key step.

Watch

Extended reading notes

Core claim

The central claim is that on a complete Kähler manifold of complex dimension $n$ with $\mathrm{HSC} \ge 2$, the first eigenvalue $\lambda_1$ of the Laplacian satisfies $\lambda_1 \ge \frac{320(n-1)+576}{81(n-1)+144}$. Equivalently, the Poincaré inequality (1.2) holds with that constant. The proof establishes a new identity (Theorem 1.5): for an eigenfunction $f$ with $\partial\bar f = \varphi$ and dual vector field $V$, $2\lambda\int |\varphi|^4 = \int(R(V,V,V,V)+|\varphi|^2|\partial\partial\bar f|^2) + \|\omega_1 - \lambda f \varphi\|^2 + \|\omega_1\|^2$, where $\omega_1$ and $\omega_2$ are the $(1,0)$ and $(0,1)$ parts of the Chern connection acting on $\varphi$. This identity is then used in a limiting procedure with the regularized form $|\varphi|^2+\varepsilon$, and the key pointwise inequality (2.29) converts the curvature information into the final constant. The paper also shows that products of complex projective spaces with appropriate weights have $\lambda_1 \ge 4$, so the theorem's constant cannot be pushed above 4 in general.

Load-bearing premise

The whole argument hinges on the pointwise algebraic inequality (2.29) and the sign convention under which it is derived; if a single Hermitian matrix violates that inequality, the constant $\frac{320(n-1)+576}{81(n-1)+144}$ would not follow.

Editorial extensions

If this is right

  • Any complete Kähler manifold with $\mathrm{HSC} \ge 2$ has a spectral gap of at least about 3.95, so the low end of the spectrum cannot be crowded near zero regardless of dimension.
  • The Poincaré inequality (1.2) gives an explicit constant for functions of zero mean, a quantitative control usable in Sobolev-type arguments.
  • The new identity (1.3) immediately yields the weaker bound $\lambda_1 \ge 2$ (Corollary 3.1) and provides a template for other curvature-eigenvalue estimates.
  • The product of complex projective spaces in Example 1.6 realizes $\lambda_1$ values at least 4, showing the optimal universal constant is no larger than 4.
  • The paper proposes Conjecture 1.7 that the sharp bound is $\lambda_1 \ge 4$ with equality characterizing $\mathbb{CP}^1$.

Reading between the lines

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

  • If the conjecture holds, the extremal manifold would be two-dimensional, in contrast to the Ricci-curvature case where $\mathbb{CP}^n$ is extremal in every dimension; the dimension-independent nature of the HSC bound would be a genuinely new phenomenon.
  • The pointwise inequality (2.29) is a purely algebraic statement about Hermitian matrices; testing it numerically for small $n$ would be a quick check of the proof's core, and it might be sharpened to improve the constant toward 4.
  • The same Bochner-Kodaira identity may apply to other geometric quantities, such as higher eigenvalues or the bottom of the spectrum on noncompact manifolds, since it does not rely on compactness beyond the completeness assumption.
  • Constructing manifolds with $\lambda_1$ close to $320/81$ would require a family of examples quite different from products of projective spaces; the product formula gives $\lambda_1 \ge 4$, so the region between 3.95 and 4 is currently unexplored.
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 / 6 minor

Summary. The paper proves a lower bound for the first positive eigenvalue of the Laplacian on a complete Kähler manifold whose holomorphic sectional curvature satisfies HSC ≥ 2. The main result, Theorem 1.4, states that λ1 ≥ (320(n−1)+576)/(81(n−1)+144), a constant that approaches 320/81 ≈ 3.95 as the complex dimension tends to infinity. The proof introduces a Bochner–Kodaira type identity for the (1,0)-gradient of an eigenfunction, reduces the global estimate to a pointwise algebraic inequality, and then verifies that inequality by a discriminant computation. The paper also states a general Bochner–Kodaira formula (Theorem 1.5), a corollary λ1 ≥ 2, and a product example showing the optimal constant is at most 4, together with a conjecture that the sharp lower bound is 4 with equality only on CP^1.

Significance. If the main theorem is correct, it gives a uniform spectral gap under a positive holomorphic sectional curvature lower bound, a qualitatively new phenomenon in Kähler spectral geometry: the lower bound does not grow with dimension, unlike the Ricci-curvature analogue. The proof is essentially self-contained and the algebraic core is explicit and checkable; the constant κ0 in (2.39) is obtained by solving a discriminant equation rather than by fitting, and the paper includes examples and a sharpness conjecture. The derivation from (2.26) to (2.28) via the combinatorial inequality is coherent, and the subsequent quadratic-form argument is valid provided the stated sign conventions hold. The main limitations are local proof gaps involving the n=1 case and the treatment of the zero set of φ, as detailed below.

major comments (3)
  1. [§2, proof of Theorem 1.4, after 'We set λ = λ1/2'] The sentence 'When n=1 and assume n≥2' leaves the n=1 case unproved. The algebraic proof of (2.29) divides by n−1 in (2.38) and (2.41), so the argument only covers n≥2. Since Theorem 1.4 is stated for all n and the constant at n=1 equals 4, a separate argument is required; for example, in complex dimension one HSC ≥ 2 implies the real sectional curvature is ≥ 2 and Lichnerowicz's theorem gives λ1 ≥ 4, or an independent direct proof should be supplied. As written, the full statement of Theorem 1.4 is not established.
  2. [§2, equation (2.31)] The assertion '∂∂̄ f = −∂φ = 0, a.e. on M0' is not correct as stated. For f = |z|², the point where ∂f = 0 has nonzero ∂∂̄ f, and ∂φ = ∂∂f = 0 identically for every smooth f, so the equality conflates ∂∂̄ f with ∂∂ f. This matters because (2.31) is used to pass the integrals in (2.32) from M\M0 to all of M. The intended fact is that a nonconstant real-analytic eigenfunction has ∂f not identically zero, hence M0 has measure zero; this should be stated and proved, or replaced by a correct citation. Without this justification, the reduction from (2.30) to (2.35) is incomplete.
  3. [§2, equations (2.37)–(2.43)] The pointwise inequality (2.29) is load-bearing, and its verification depends on the sign convention Δ∂ f = −Σ_i a_{ii} and on the identification ω2 = I_V ∂∂̄ f. These conventions are nowhere stated explicitly; a reader using the opposite sign for Δ∂ would obtain +1/2 Σ a_ii a_nn instead of −1/2 Σ a_ii a_nn in (2.37), changing the final constant. The authors should state their conventions for Δ∂, ∂∂̄, and the Hermitian pairing on forms before (2.37), and should also justify the combinatorial inequality (2.38) using a_{ij} = overline{a_{ji}} and a_{ii} ∈ R. This is a documentation gap in a central computation, not a demonstrated algebraic error.
minor comments (6)
  1. [Lemma 2.2, equations (2.14)–(2.15)] The denominator in the second term is written as (|φ|+ε)^2; the subsequent use of the lemma in §2 has the correct denominator (|φ|²+ε)^2. The displayed formula should be corrected.
  2. [§2, equation (2.37)] The notation ∂∂̄ f = Σ a_{ij} e_i ∧ e_j is ambiguous for a (1,1)-form; it should be written in a unitary frame as Σ a_{ij} e^i ∧ \bar e^j, with a_{ij} = f_{i\bar j}.
  3. [§2, inequality (2.38)] The inequality is asserted without proof; it follows from the Hermitian symmetry a_{ij} = overline{a_{ji}} and the reality of the diagonal entries, but this should be stated explicitly since the inequality is not obvious from the displayed expression alone.
  4. [§2, equation (2.31)] The reference [Eva2010, p.310] does not support the asserted measure-zero statement; if the intended fact is that the zero set of a nonconstant real-analytic 1-form has measure zero, a correct reference or proof should be given.
  5. [§2, start of proof of Theorem 1.4] The compactness assertion under HSC ≥ 2 is attributed to [Tsu57] and [XY24+]; [XY24+] is a preprint and its precise role should be clarified or removed from this citation.
  6. [§2, before (2.25)] The statement that |V|, |ω1|, |ω2| are uniformly bounded by C|φ| is plausible because ω1 and ω2 are linear in φ, but this should be made precise, especially near M0, to justify the dominated convergence argument leading to (2.25).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the numerical constant comes from solving a discriminant equation, not from fitting or self-citation.

full rationale

The claimed derivation is self-contained. Theorem 1.4 is obtained through an explicit pointwise inequality (2.29), which is proved by a direct Hermitian matrix computation. The constant kappa_0 in (2.39) is selected as the solution of the discriminant equation (2.40), not fitted to the target eigenvalue bound or derived from it. The later steps combine the curvature hypothesis HSC >= 2 through R(V,V,V,V) >= 2|V|^4 with standard identities (2.33)-(2.34), and the final algebraic manipulation (2.30)-(2.36) does not reintroduce the conclusion. The compactness input is Tsukamoto's theorem [Tsu57], an external classical result; the self-citations [XY24+] and [XYY24+] are used only for context or as supplementary references and are not load-bearing. The manuscript's possible sign-convention issues in Lemma 2.1 and the unresolved n=1 caveat are internal correctness risks, not circular reductions of the result to its own inputs.

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

No free parameters or invented entities. The constant κ0 in (2.39) is determined by solving the discriminant equation (2.40), so it is not a fitted or hand-picked number. The proof relies on standard elliptic and Kähler-geometric background.

assumptions (4)
  • standard math Standard elliptic theory: on a compact manifold the first eigenvalue is attained by a smooth eigenfunction, and the Hodge decomposition and integration by parts identities hold.
    Used throughout the proof of Theorem 1.4, e.g. to choose an eigenfunction f, to pass ε→0 by dominated convergence, and to use identities (2.32)-(2.34).
  • standard math Bochner-Kodaira-Nakano identity for the ∂-Laplacian on (1,0)-forms over a Kähler manifold, in particular Δ∂̄(∂f) = ∂(Δ∂̄ f) and (∂∂̄ f, ∂∂̄ f) = (Δ∂̄ ∂f, ∂f).
    Used to derive (2.21) and the integral identities (2.33)-(2.34) in Section 2 and in the proof of Theorem 1.5 in Section 3.
  • standard math Tsukamoto's theorem: a complete Kähler manifold with positive holomorphic sectional curvature bounded below by a positive constant is compact.
    Invoked at the start of the proof of Theorem 1.4 to reduce the statement from complete to compact; also cited as [Tsu57] and [XY24+].
  • standard math The pointwise fact that if a smooth function's differential vanishes on a set, then its second derivatives vanish almost everywhere on that set (Evans, p.310).
    Used in (2.31) to conclude ∂∂̄ f = 0 a.e. on M0 and to justify (2.32).

how reviews work

0 comments
Cite this review

Pith. "Pith review of First eigenvalue estimates on complete K\"ahler manifolds." pith.science (2026). https://pith.science/paper/GDZBT3Y7

@misc{pith2026250709203,
  author       = {Pith},
  title        = {Pith review of: First eigenvalue estimates on complete K\"ahler manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GDZBT3Y7}},
  note         = {Machine review of arXiv:2507.09203}
}
abstract

Let $ (M,\omega_g) $ be a complete K\"ahler manifold of complex dimension $n$. We prove that if the holomorphic sectional curvature satisfies $\mathrm{HSC} \geq 2 $, then the first eigenvalue $\lambda_1$ of the Laplacian on $(M,\omega_g)$ satisfies $$ \lambda_1 \geq \frac{320(n-1)+576}{81(n-1)+144}.$$ This result is established through a new Bochner-Kodaira type identity specifically developed for holomorphic sectional curvature.

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. First eigenvalue estimates on complete balanced Hermitian manifolds

    math.DG 2025-11 conditional novelty 6.5 of 10

    On complete balanced Hermitian manifolds, curvature lower bounds for the Strominger–Bismut connection imply eigenvalue lower bounds of Lichnerowicz–Obata, Li–Yau, and Zhong–Yang type.

Reference graph

Works this paper leans on

50 extracted references · 47 canonical work pages · cited by 1 Pith paper

  1. [1]

    Schwarz lemma: the case of equality and an extension

    Haojie Chen and Xiaolan Nie. Schwarz lemma: the case of equality and an extension. J. Geom. Anal. , 32(3):Paper No. 92, 18, 2022

    work page 2022

  2. [2]

    On the S chwarz lemma for complete K \"ahler manifolds

    Zhi-Hua Chen, Shiu-Yuen Cheng, and Qi-Keng Lu. On the S chwarz lemma for complete K \"ahler manifolds. Sci. Sinica , 22(11):1238--1247, 1979

    work page 1979

  3. [3]

    Eigenvalue comparison theorems and its geometric applications

    Shiu-Yuen Cheng. Eigenvalue comparison theorems and its geometric applications. Math. Z. 143(3): 289--297, 1975

    work page 1975

  4. [4]

    Differential equations on Riemannian manifolds and their geometric applications

    Shiu-Yuen Cheng and Shing-Tung Yau. Differential equations on Riemannian manifolds and their geometric applications. Comm. Pure Appl. Math. 28(3):333--354, 1975

    work page 1975

  5. [5]

    On K\"ahler manifolds with non-negative mixed curvature

    Jianchun Chu, Man-Chun Lee, Jintian Zhu, On Kähler manifolds with non-negative mixed curvature. arXiv preprint , arXiv:2408.14043, 2024

    work page Pith review arXiv 2024

  6. [6]

    The rigidity of eigenvalues on K\"ahler manifolds with positive Ricci lower bound

    Jianchun Chu, Feng Wang and Kewei Zhang. The rigidity of eigenvalues on K\"ahler manifolds with positive Ricci lower bound. J. Reine Angew. Math. 820: 213--233, 2025

    work page 2025

  7. [7]

    Diameter rigidity for K \"ahler manifolds with positive bisectional curvature

    Ved Datar and Harish Seshadri. Diameter rigidity for K \"ahler manifolds with positive bisectional curvature. Math. Ann. 385(1-2):471--479, 2023

    work page 2023

  8. [8]

    Metric rigidity of K\"ahler manifolds with lower Ricci bounds and almost maximal volume

    Datar Ved, Seshadri Harish and Jian Song. Metric rigidity of K\"ahler manifolds with lower Ricci bounds and almost maximal volume. Proc. Amer. Math. Soc. 149: 3569--3574, 2021

    work page 2021

Show all 50 references
  1. [9]

    Quasi-negative holomorphic sectional curvature and positivity of the canonical bundle

    Simone Diverio and Stefano Trapani. Quasi-negative holomorphic sectional curvature and positivity of the canonical bundle. J. Differential Geom. , 111(2):303--314, 2019

    2019

  2. [10]

    Partial differential equations

    Lawrence Evans. Partial differential equations. Second edition, Grad. Stud. Math., 19. American Mathematical Society, Providence, RI, 2010. xxii+749 pp

    2010

  3. [11]

    Sharp constant in a Sobolev trace inequality

    Jose Escobar. Sharp constant in a Sobolev trace inequality. Indiana Univ. Math. J. 37: 687--698, 1988

    1988

  4. [12]

    A remark on Zhong-Yang's eigenvalue estimate

    Fengbo Hang and Xiaodong Wang. A remark on Zhong-Yang's eigenvalue estimate. Int. Math. Res. Not. IMRN no. 18, Art.064, 9 pp, 2007

    2007

  5. [13]

    Optimal bounds for the volumes of K\"ahler--Einstein Fano manifolds

    Kento Fujita. Optimal bounds for the volumes of K\"ahler--Einstein Fano manifolds. Amer. J. Math. 140(2):391--414, 2018

    2018

  6. [14]

    K\"ahler--Einstein metrics and integral invariants

    Akito Futaki. K\"ahler--Einstein metrics and integral invariants. Lecture Notes in Math., 1314 Springer-Verlag, Berlin. iv+140 pp, 1988

    1988

  7. [15]

    A lower bound for the first eigenvalue for the Laplacian on compact manifolds.Indiana U

    Peter Li. A lower bound for the first eigenvalue for the Laplacian on compact manifolds.Indiana U. Math. J. 28: 1013--1019, 1979

    1979

  8. [16]

    Poincar\'e inequalities on Riemannian manifolds

    Peter Li. Poincar\'e inequalities on Riemannian manifolds. Seminar on Differential Geometry, Ann. of Math., Studies, Vol. 102, pp. 73--83, Princeton University Press, Princeton, 1982

    1982

  9. [17]

    Applications of eigenvalue techniques to geometry

    Peter Li and Andrejs Treibergs. Applications of eigenvalue techniques to geometry. Contemporary geometry, 21--52, 1991

    1991

  10. [18]

    Comparison theorem for K \"ahler manifolds and positivity of spectrum

    Peter Li and Jiaping Wang. Comparison theorem for K \"ahler manifolds and positivity of spectrum. J. Differential Geom. , 69(1):43--74, 2005

    2005

  11. [19]

    Eigenvalues of a Compact Riemannian Manifold

    Peter Li and Shing-Tung Yau. Eigenvalues of a Compact Riemannian Manifold. Proc. Symp. Pure Math. Vol. 36, pp. 205--239, American Mathematical Society, Providence, RI, 1980

    1980

  12. [20]

    G\' e om\' e trie des groupes de transformations

    Andre Lichnerowicz. G\' e om\' e trie des groupes de transformations . Travaux et Recherches Math\' e matiques, III Dunod, Paris. ix+193 pp, 1958

    1958

  13. [21]

    K\"ahler manifolds with Ricci curvature lower bound

    Gang Liu. K\"ahler manifolds with Ricci curvature lower bound. Asian J. Math. 18: 69--99, 2014

    2014

  14. [22]

    Diameter rigidity for K \"ahler manifolds with positive bisectional curvature

    Gang Liu and Yuan Yuan. Diameter rigidity for K \"ahler manifolds with positive bisectional curvature. Math. Z. 290(3-4):1055--1061, 2018

    2018

  15. [23]

    Comparison geometry of holomorphic bisectional curvature for K \"ahler manifolds and limit spaces

    John Lott. Comparison geometry of holomorphic bisectional curvature for K \"ahler manifolds and limit spaces. Duke Math. J. 170(14):3039--3071, 2021

    2021

  16. [24]

    On projective manifolds with semi-positive holomorphic sectional curvature

    Shin-ichi Matsumura. On projective manifolds with semi-positive holomorphic sectional curvature. American Journal of Mathematics , 144(3):747--777, 2022

    2022

  17. [25]

    A sharp estimate for the bottom of the spectrum of the Laplacian on K\"ahler manifolds

    Ovidiu Munteanu. A sharp estimate for the bottom of the spectrum of the Laplacian on K\"ahler manifolds. J. Differential Geom. 83(1):163--187, 2009

    2009

  18. [26]

    On a characterization of the complex hyperbolic space

    Ovidiu Munteanu. On a characterization of the complex hyperbolic space. J. Differential Geom. 84(3):611--621, 2010

    2010

  19. [27]

    Liouville theorems and a schwarz lemma for holomorphic mappings between K \"ahler manifolds

    Lei Ni. Liouville theorems and a schwarz lemma for holomorphic mappings between K \"ahler manifolds. Comm. Pure Appl. Math. , 74(5):1100--1126, 2021

    2021

  20. [28]

    Comparison and vanishing theorems for K \"ahler manifolds

    Lei Ni and Fangyang Zheng. Comparison and vanishing theorems for K \"ahler manifolds. Calc. Var. Partial Differential Equations , 57(6):Paper No. 151, 31, 2018

    2018

  21. [29]

    Positivity and the K odaira embedding theorem

    Lei Ni and Fangyang Zheng. Positivity and the K odaira embedding theorem. Geometry and Topology , 26(6):2491 -- 2505, 2022

    2022

  22. [30]

    Certain conditions for a Riemannian manifold to be isometric with a sphere

    Morio Obata. Certain conditions for a Riemannian manifold to be isometric with a sphere. J. Math. Soc. Japan. 14: 333--340, 1962

    1962

  23. [31]

    On eigenvalue pinching in positive Ricci curvature

    Peter Petersen. On eigenvalue pinching in positive Ricci curvature. Invent. Math. 138: 1--21, 1999

    1999

  24. [32]

    Indiana U

    Robert Reilly, Applications of the Hessian operator in a Riemannian manifold. Indiana U. Math. J. 26: 459--472, 1977

    1977

  25. [33]

    A lower bound for the first eigenvalue of a negatively curved manifold, J

    Richard Schoen. A lower bound for the first eigenvalue of a negatively curved manifold, J. Diff. Geom. 17: 233--238, 1982

    1982

  26. [34]

    The A hlfors- S chwarz lemma in several complex variables

    Hasley Royden. The A hlfors- S chwarz lemma in several complex variables. Comment. Math. Helv. , 55(4):547--558, 1980

    1980

  27. [35]

    On K \"ahlerian manifolds with positive holomorphic sectional curvature

    Y\^otar\^o Tsukamoto. On K \"ahlerian manifolds with positive holomorphic sectional curvature. Proc. Japan Acad. , 33:333--335, 1957

    1957

  28. [36]

    Some comparison theorems for K \"ahler manifolds

    Luen-Fai Tam and Chengjie Yu. Some comparison theorems for K \"ahler manifolds. Manuscripta Math. , 137(3-4):483--495, 2012

    2012

  29. [37]

    An extension of a theorem of W u- Y au

    Valentino Tosatti and Xiaokui Yang. An extension of a theorem of W u- Y au. J. Differential Geom. , 107(3):573--579, 2017

    2017

  30. [38]

    Negative Holomorphic curvature and positive canonical bundle, Invent

    Damin Wu and Shint-Tung Yau. Negative Holomorphic curvature and positive canonical bundle, Invent. Math. 204: 595--604, 2016

    2016

  31. [39]

    A remark on our paper ``Negative Holomorphic curvature and positive canonical bundle", Comm

    Damin Wu and Shint-Tung Yau. A remark on our paper ``Negative Holomorphic curvature and positive canonical bundle", Comm. Anal. Geom. 24 : 901--912, 2016

    2016

  32. [40]

    Conjugate radius, volume comparison and rigidity

    Zhiyao Xiong and Xiaokui Yang. Conjugate radius, volume comparison and rigidity. arXiv preprint , arXiv:2408.02080, 2024

    2024 arXiv

  33. [41]

    arXiv preprint , arXiv:2412.02553 , 2024

    Zhiyao Xiong, Xiaokui Yang and Shing-Tung Yau, RC-positivity, Schwarz's lemma and comparison theorems. arXiv preprint , arXiv:2412.02553 , 2024

    2024 arXiv

  34. [42]

    Hirzebruch manifolds and positive holomorphic sectional curvature

    Bo Yang and Fangyang Zheng. Hirzebruch manifolds and positive holomorphic sectional curvature. Ann. Inst. Fourier (Grenoble) , 69(6):2589--2634, 2019

    2019

  35. [43]

    R C -positivity, rational connectedness and Y au's conjecture

    Xiaokui Yang. R C -positivity, rational connectedness and Y au's conjecture. Camb. J. Math. , 6(2):183--212, 2018

    2018

  36. [44]

    R C -positivity and the generalized energy density I : R igidity

    Xiaokui Yang. R C -positivity and the generalized energy density I : R igidity. J. Differential Geom. , 128(3):1315--1347, 2024

    2024

  37. [45]

    Isoperimetric constants and the first eigenvalue of a compact Riemannian manifold

    Shing-Tung Yau. Isoperimetric constants and the first eigenvalue of a compact Riemannian manifold. Ann. Sci. École. Norm. Sup. 8: 487--507, 1975

    1975

  38. [46]

    A general S chwarz lemma for K \"ahler manifolds

    Shing Tung Yau. A general S chwarz lemma for K \"ahler manifolds. Amer. J. Math. , 100(1):197--203, 1978

    1978

  39. [47]

    Problem section, Seminar on differential geometry

    Shing Tung Yau. Problem section, Seminar on differential geometry. Ann. of Math. Stud. 102: 669--706, 1982

    1982

  40. [48]

    On the optimal volume upper bound for K \"ahler manifolds with positive R icci curvature

    Kewei Zhang. On the optimal volume upper bound for K \"ahler manifolds with positive R icci curvature. Int. Math. Res. Not. IMRN , (8):6135--6156, 2022

    2022

  41. [49]

    On the estimate of the first eigenvalue of a compact Riemannian manifold

    JiaQing Zhong and Hongcang Yang. On the estimate of the first eigenvalue of a compact Riemannian manifold. Sci. Sinica Ser. A 27:1265–1273, 1984

    1984

  42. [50]

    Compact K \"ahler manifolds with quasi-positive holomorphic sectional curvature

    Shiyu Zhang and Xi Zhang. Compact K \"ahler manifolds with quasi-positive holomorphic sectional curvature. arXiv preprint , arXiv:2311.18779, 2024

    2024 arXiv

Pith tools

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