REVIEW 5 minor 1 cited by
RC-positivity, Schwarz's lemma and comparison theorems
T0 review · 0 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read This paper proves that a directional curvature comparison called RC-positivity yields Schwarz lemmas for holomorphic bundle maps and, on compact complex manifolds, metric, diameter, and volume comparison theorems, with rigidity in the…
desk verdict Genuinely new bundle-map Schwarz lemma under RC-positivity with useful comparison corollaries; one WLOG gap in Theorems 1.14–1.15 that is easy to fix. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying mechanism is the maximum of the pointwise ratio $\mu(x)=\sup_{\sigma\ne0}|\phi(\sigma)|^2_{h_2}/|\sigma|^2_{h_1}$, together with the Chern–Lu Bochner formula. At a point where $\mu$ attains its maximum, the section realizing it is extended to a local holomorphic section with vanishing Chern covariant derivative; the $\partial\bar\partial\log$ of the ratio then exposes the curvature difference $R^{E_1}(u,\bar u,\sigma,\bar\sigma)-R^{E_2}(f_*u,\overline{f_*u},\phi(\sigma),\overline{\phi(\sigma)})$, and maximality forces this difference to be nonnegative. Because only the single mixed curvature term in the chosen direction $u$ is used, the theorem needs no uniform curvature bound, only the pointwise existence of a good direction.
What would settle it
A direct check would be a compact complex manifold with two explicit Hermitian metrics $g,h$ satisfying the pointwise condition (1.8) at every point but with $\omega_h>\omega_g$ at some point; a concrete low-dimensional construction, for example on a torus or a ruled surface with algebraic metrics, would settle Theorem 1.3. Equivalently, for a holomorphic bundle map, a pair of bundles where the curvature comparison holds along one chosen direction but $|\phi(\sigma)|^2_{h_2}>\kappa|\sigma|^2_{h_1}$ at some point would falsify Theorem 2.1.
Extended reading notes
Core claim
In the paper's own terms, the central result is Theorem 1.3: if $M$ is compact with two Hermitian metrics $g,h$, and if for every $x\in M$ and every nonzero $v\in T^{1,0}_x M$ there exists $u\in T^{1,0}_x M$ with $R_g(u,\bar u,v,\bar v)>0$ and $R_h(u,\bar u,v,\bar v)\le R_g(u,\bar u,v,\bar v)$, then $\omega_h\le\omega_g$ everywhere. From this the authors derive $\operatorname{diam}(M,h)\le\operatorname{diam}(M,g)$ and $\operatorname{Vol}(M,h)\le\operatorname{Vol}(M,g)$, with equality rigidity in constant-bound settings forcing $(M,g)$ to be biholomorphically isometric to complex projective space with a Fubini-Study metric. The abstract vector-bundle version, Theorem 2.1, states that a holomorphic bundle map $\phi:E_1\to E_2$ satisfying the analogous directional curvature comparison with constant $\kappa$ obeys $|\phi(\sigma)|^2_{h_2}\le\kappa|\sigma|^2_{h_1}$, and the negative-curvature analogue recovers and extends the classical Schwarz lemmas.
Load-bearing premise
The load-bearing premise is the pointwise existence, for every tangent vector $v$, of one direction $u$ with $R_g(u,\bar u,v,\bar v)>0$ and $R_h(u,\bar u,v,\bar v)\le R_g(u,\bar u,v,\bar v)$; if this fails at the point where the ratio function is maximized, the metric comparison can fail.
Editorial extensions
If this is right
- Compactness plus the one-direction curvature comparison gives the pointwise metric inequality $\omega_h\le\omega_g$, hence $\operatorname{diam}(M,h)\le\operatorname{diam}(M,g)$ and $\operatorname{Vol}(M,h)\le\operatorname{Vol}(M,g)$.
- When the source metric has positive holomorphic sectional curvature, any other metric with pointwise no larger holomorphic sectional curvature is bounded above by it, giving the same diameter and volume comparison.
- The bundle-level Schwarz lemma yields Liouville-type rigidity: if the source bundle is $k$-RC positive and the target bundle is $\ell$-RC non-positive with $k+\ell>\dim N$, every holomorphic bundle map is trivial, so every holomorphic map from such a domain to a $c_1\le0$ target is constant.
- Under constant positive curvature bounds, the Chern–Lu identity gives sharp inequalities such as $\lambda\le(r_f+1)\kappa/2$ and $\lambda\le(n+1)\kappa/2$ in the second Chern–Ricci version, with equality forcing $(\mathbb{CP}^n,c\,\omega_{FS})$.
- The negative-sectional-curvature version recovers the classical Schwarz lemmas for maps between compact Hermitian manifolds with negative holomorphic sectional curvature.
Reading between the lines
- Editorial: The proof only invokes the curvature comparison at the point where the ratio function attains its maximum, so in any concrete example a check at that single point is what actually decides the metric inequality; the theorem as stated requires the condition everywhere because the maximizer is not known in advance.
- Editorial: Because the argument uses only the Chern connection and the $\partial\bar\partial\log$ identity, the same comparison should hold for Hermitian metrics that are not Kähler and, as the paper notes, on almost complex manifolds; this is a testable extension beyond the stated framework.
- Editorial: The equality cases suggest a general principle that saturation of the curvature comparison forces the map to be totally geodesic and the source to be a complex space form; the paper proves this under constant positive bounds, and extending it to the purely RC-positive equality case would be a natural next step.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes Schwarz lemmas for holomorphic bundle maps between Hermitian holomorphic vector bundles under pointwise curvature comparisons expressed through RC-positivity. The main bundle-level result, Theorem 2.1, bounds the pulled-back metric by comparing curvatures at a maximizer; Section 3 gives Chern-Lu identities and sup-estimates; Section 4 derives rank-dependent inequalities for maps into manifolds with bounded holomorphic sectional curvature, with equality cases characterizing CP^n and, in Theorem 4.2, ball quotients; Section 5 proves Liouville-type rigidity theorems for RC-positive and RC-non-positive bundles. Applications include comparisons of Hermitian metrics and diameter/volume comparison on compact complex manifolds.
Significance. If the results stand, they generalize the classical Yau and Chen-Cheng-Lu/Royden Schwarz lemmas in a new direction: the curvature hypothesis is a pointwise RC-comparison rather than a uniform curvature bound, and the maximum-principle proof invokes the hypothesis only at the vector realizing the ratio maximum. The proofs in Sections 2, 3, and 5 are detailed and internally consistent, using standard Bochner formulas and maximum principles. The diameter/volume comparison corollaries and the CP^n and ball-quotient rigidity statements are natural and potentially useful. The main weaknesses are presentation and support: one stated theorem (Theorem 4.2) is given without proof, and a few reductions are terse or implicit.
minor comments (5)
- [§4, proof of Theorem 1.14] The reduction "Without loss of generality, we can assume λ > κ/2" is terse. If κ > 0 and λ ≤ κ/2, the desired inequality λ ≤ (r_f+1)κ/2 is immediate, and if κ ≤ 0 then λ > κ/2 holds automatically because λ > 0; please state this explicitly.
- [§4, Theorem 4.2] Theorem 4.2 is asserted with a rigidity conclusion ("ball quotient with constant holomorphic bisectional curvature") but no proof is supplied and it is not marked as a known result. Please add a proof or a precise reference; without this the theorem is unsupported as stated.
- [§1, Corollary 1.19] The step from c1(X) ≤ 0 to the t-RC non-positivity assumption needed for Corollary 1.18 is not explained. Please state which t is used and provide the relevant result from [Yang18] or elsewhere.
- [§1, Remark 1.22] The remark that many results hold on almost complex manifolds is unsupported; either give a precise statement with the necessary hypotheses or remove the remark.
- [References] The bibliography lists [Min87], [Roy86], and [Tsu57], but these items do not appear to be cited in the text; please cite them where relevant or remove them.
Circularity Check
No significant circularity: the Schwarz-lemma comparisons are proved from the stated pointwise curvature hypotheses by a self-contained maximum-principle computation.
full rationale
The central derivation is self-contained. Theorem 1.3 is obtained from Corollary 1.9, which is the manifold case of the bundle-map Schwarz lemma Theorem 2.1. The proof of Theorem 2.1 defines the continuous ratio ν(x)=sup_ξ |Φξ|²_B/|ξ|²_A (2.4), takes a maximizer x0 by compactness, extends the maximizing vector as a local holomorphic section with zero Chern covariant derivative (2.5), and obtains the differential inequality (2.11) from the Chern connection computation plus Cauchy-Schwarz. The hypothesis (2.1)-(2.2) is then applied at the single pair (x0,ξ) to conclude |Φξ|²/|ξ|² ≤ κ, hence the global estimate (2.3). This is a standard maximum-principle proof; the conclusion ω_h ≤ ω_g is not assumed in the curvature condition (1.8), and no parameter is fitted to the target quantity. The negative-curvature version Theorem 1.11 and the Chern-Lu identities in Section 3 follow the same pattern. Self-citations occur—Yang18 for the RC-positivity notion, LY17 for the second Chern-Ricci definition, and Yang21/Yang24 for related rigidity corollaries—but they supply definitions, background, or related results rather than the main inequalities. The unsupported Remark 1.22 about almost complex manifolds is extraneous and does not carry the derivation. No circular step can be exhibited by equation reduction or by fitted-input renaming.
Assumptions & free parameters
assumptions (6)
- standard math Standard Bochner formula for Hermitian holomorphic vector bundles and Chern connection.
- standard math Maximum principle for elliptic operators on compact manifolds and Yau's maximum principle for complete manifolds.
- domain assumption Siu-Yau classification of compact Kaehler manifolds with positive constant holomorphic sectional curvature as CP^n.
- domain assumption Kaehler symmetry of the target curvature tensor in Theorem 1.14 and Theorem 4.4.
- domain assumption Definition and basic properties of RC-positivity from Yang18, including relationships with Ricci, HSC, and HBSC.
- domain assumption Classification of compact complex manifolds with constant negative holomorphic bisectional curvature as ball quotients.
Cite this review
Pith. "Pith review of RC-positivity, Schwarz's lemma and comparison theorems." pith.science (2026). https://pith.science/paper/LC44I5PI
@misc{pith2026241202553,
author = {Pith},
title = {Pith review of: RC-positivity, Schwarz's lemma and comparison theorems},
year = {2026},
howpublished = {\url{https://pith.science/paper/LC44I5PI}},
note = {Machine review of arXiv:2412.02553}
}
read the original abstract
It is well-known that the classical Schwarz lemma yields an explicit comparison of two Hermitian metrics with uniform constant negative curvature bounds through holomorphic maps between complex manifolds. In this paper, we establish Schwarz lemmas for holomorphic bundle maps between abstract Hermitian holomorphic vector bundles with various positive curvature bounds. As applications, we prove Schwarz lemmas for holomorphic maps between complex manifolds whose curvature tensors are described by the notion ``RC-positivity''. In particular, new diameter and volume comparison theorems are obtained by using Schwarz lemmas.
Forward citations
Cited by 1 Pith paper
-
First eigenvalue estimates on complete K\"ahler manifolds
On complete Kähler manifolds with HSC ≥ 2, the first eigenvalue of the Laplacian is at least (320n+256)/(81n+63), which tends to 320/81 as n grows.
Reference graph
Works this paper leans on
-
[1]
Lars V. Ahlfors. An extension of S chwarz's lemma. Trans. Amer. Math. Soc. , 43(3):359--364, 1938
1938
-
[2]
Richard L. Bishop and Richard J. Crittenden. Geometry of manifolds , volume Vol. XV of Pure and Applied Mathematics . Academic Press, New York-London, 1964
work page 1964
-
[3]
Kyle Broder. The Schwarz lemma: an odyssey. Rocky Mountain J. Math. , 52(4):1141--1155, 2022
work page 2022
-
[4]
Jeff Cheeger and Tobias H. Colding. On the structure of spaces with R icci curvature bounded below. I . J. Differential Geom. , 46(3):406--480, 1997
work page 1997
-
[5]
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
-
[6]
Jeff Cheeger and David G. Ebin. Comparison theorems in R iemannian geometry . AMS Chelsea Publishing, Providence, RI, 2008. Revised reprint of the 1975 original
work page 2008
-
[7]
On holomorphic mappings of Hermitian manifolds of the same dimension
Shiing-shen Chern. On holomorphic mappings of Hermitian manifolds of the same dimension. In Proc. Sympos. Pure Math., Vol. XI , pages 157--170. Amer. Math. Soc., 1968
work page 1968
-
[8]
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
Show all 52 references
-
[9]
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
2022
-
[10]
K\"ahler manifolds and mixed curvature
Jianchun Chu, Man-Chun Lee, and Luen-Fai Tam. K\"ahler manifolds and mixed curvature. Trans. Amer. Math. Soc. , 375(11):7925--7944, 2022
2022
-
[11]
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
2023
-
[12]
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
-
[13]
auser Classics. Birkh\
Misha Gromov. Metric structures for R iemannian and non- R iemannian spaces . Modern Birkh\"auser Classics. Birkh\"auser Boston, Inc., Boston, MA, English edition, 2007
2007
-
[14]
Elliptic Partial Differential Equations
Qing Han and Fanghua Lin. Elliptic Partial Differential Equations . Courant Lecture Notes in Mathematics. Courant Institute; AMS, 2nd edition, 2011
2011
-
[15]
Hyperbolic complex spaces
Shoshichi Kobayashi. Hyperbolic complex spaces . Springer-Verlag, Berlin, 1998
1998
-
[16]
Almost complex manifolds and hyperbolicity
Shoshichi Kobayashi. Almost complex manifolds and hyperbolicity. volume 40, pages 246--256. 2001. Dedicated to Shiing-Shen Chern on his 90th birthday
2001
-
[17]
Geometric height inequalities
Kefeng Liu. Geometric height inequalities. Math. Res. Lett. , 3(5):693--702, 1996
1996
-
[18]
Canonical metrics on the moduli space of R iemann surfaces
Kefeng Liu, Xiaofeng Sun, and Shing-Tung Yau. Canonical metrics on the moduli space of R iemann surfaces. I . J. Differential Geom. , 68(3):571--637, 2004
2004
-
[19]
On the minimal number of singular fibers with non-compact Jacobians for families of curves over P ^1
Xin Lu, Sheng-Li Tan, Wan-Yuan Xu, and Kang Zuo. On the minimal number of singular fibers with non-compact Jacobians for families of curves over P ^1 . J. Math. Pures Appl. , 105(5):724--733, 2016
2016
-
[20]
Holomorphic mappings of complex manifolds
Yung-chen Lu. Holomorphic mappings of complex manifolds. J. Differential Geometry , 2:299--312, 1968
1968
-
[21]
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
-
[22]
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
-
[23]
Ricci curvatures on H ermitian manifolds
Kefeng Liu and Xiaokui Yang. Ricci curvatures on H ermitian manifolds. Trans. Amer. Math. Soc. , 369(7):5157--5196, 2017
2017
-
[24]
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
-
[25]
On holomorphic mappings between almost H ermitian manifolds
Kirollos Masood. On holomorphic mappings between almost H ermitian manifolds. Proc. Amer. Math. Soc. , 149(2):687--699, 2021
2021
-
[26]
The strong form of A hlfors' lemma
David Minda. The strong form of A hlfors' lemma. Rocky Mountain J. Math. , 17(3):457--461, 1987
1987
-
[27]
Completeness of the K\"ahler-Einstein metric on bounded domains and the characterization of domains of holomorphy by curvature conditions
Ngaiming Mok and Shing-Tung Yau. Completeness of the K\"ahler-Einstein metric on bounded domains and the characterization of domains of holomorphy by curvature conditions. In Proc. Sympos. Pure Math. , volume 39, pages 41--59. Amer. Math. Soc., 1983
1983
-
[28]
S. B. Myers. Riemannian manifolds with positive mean curvature. Duke Math. J. , 8:401--404, 1941
1941
-
[29]
General S chwarz lemmata and their applications
Lei Ni. General S chwarz lemmata and their applications. Internat. J. Math. , 30(13):1940007, 17, 2019
2019
-
[30]
Liouville theorems and a S chwarz lemma for holomorphic mappings between K \"ahler manifolds
Lei Ni. Liouville theorems and a S chwarz lemma for holomorphic mappings between K \"ahler manifolds. Comm. Pure Appl. Math. , 74(5):1100--1126, 2021
2021
-
[31]
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
-
[32]
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
-
[33]
The A hlfors- S chwarz lemma: the case of equality
Hasley Royden. The A hlfors- S chwarz lemma: the case of equality. J. Analyse Math. , 46:261--270, 1986
1986
-
[34]
Compact K \"ahler manifolds of positive bisectional curvature
Yum Tong Siu and Shing Tung Yau. Compact K \"ahler manifolds of positive bisectional curvature. Invent. Math. , 59(2):189--204, 1980
1980
-
[35]
A general S chwarz lemma for almost- H ermitian manifolds
Valentino Tosatti. A general S chwarz lemma for almost- H ermitian manifolds. Comm. Anal. Geom. , 15(5):1063--1086, 2007
2007
-
[36]
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
-
[37]
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
-
[38]
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
-
[39]
Manifolds with a lower R icci curvature bound
Guofang Wei. Manifolds with a lower R icci curvature bound. In Surveys in differential geometry. V ol. XI , volume 11, pages 203--227. Int. Press, Somerville, MA, 2007
2007
-
[40]
Negative holomorphic curvature and positive canonical bundle
Damin Wu and Shing-Tung Yau. Negative holomorphic curvature and positive canonical bundle. Invent. Math. , 204(2):595--604, 2016
2016
-
[41]
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
-
[42]
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
-
[43]
A partial converse to the Andreotti-Grauert theorem
Xiaokui Yang. A partial converse to the Andreotti-Grauert theorem. Compos. Math. , 155(1):89--99, 2019
2019
-
[44]
RC-positive metrics on rationally connected manifolds
Xiaokui Yang. RC-positive metrics on rationally connected manifolds. Forum Math. Sigma , 8:Paper No. e53, 19 pp., 2020
2020
-
[45]
RC-positivity, vanishing theorems and rigidity of holomorphic maps
Xiaokui Yang. RC-positivity, vanishing theorems and rigidity of holomorphic maps. J. Inst. Math. Jussieu , 20(3):1023--1038, 2021
2021
-
[46]
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
-
[47]
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
-
[48]
Tamed exhaustion functions and S chwarz type lemmas for almost H ermitian manifolds
Weike Yu. Tamed exhaustion functions and S chwarz type lemmas for almost H ermitian manifolds. Bull. Korean Math. Soc. , 59(6):1423--1438, 2022
2022
-
[49]
On real bisectional curvature for H ermitian manifolds
Xiaokui Yang and Fangyang Zheng. On real bisectional curvature for H ermitian manifolds. Trans. Amer. Math. Soc. , 371(4):2703--2718, 2019
2019
-
[50]
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
-
[51]
Complex differential geometry , volume 18 of AMS/IP Studies in Advanced Mathematics
Fangyang Zheng. Complex differential geometry , volume 18 of AMS/IP Studies in Advanced Mathematics . American Mathematical Society; International Press, 2000
2000
-
[52]
Shunhui Zhu, The comparison geometry of Ricci curvature. Math. Sci. Res. Inst. Publ. , 30 221--262, 1997
1997
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.