pith. sign in

arxiv: 2604.19225 · v1 · submitted 2026-04-21 · 🧮 math.DG

On Ricci forms of canonical metrics over noncompact complex manifolds

Hanzhang Yin This is my paper

Pith reviewed 2026-05-10 02:00 UTC · model grok-4.3

classification 🧮 math.DG
keywords Kähler-Einstein metricsnoncompact manifoldsRicci curvatureGauduchon conjectureHermitian metricsHesse-Einstein metricsaffine geometry
0
0 comments X

The pith

Manifolds with negative Ricci curvature admit Kähler-Einstein metrics

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that complete Kähler manifolds with negative Ricci curvature admit Kähler-Einstein metrics, which improves the Cheng-Yau theorem. It also proves the existence of canonical Hermitian metrics with prescribed Ricci curvature on complete Hermitian manifolds as noncompact versions of the Gauduchon conjecture for certain complex surfaces. The methods extend to constructing Hesse-Einstein metrics in affine differential geometry. These findings provide canonical structures for measuring geometry on noncompact spaces. A sympathetic reader cares because this allows extending compact manifold results to infinite settings where curvature conditions persist at infinity.

Core claim

The paper claims that Kähler-Einstein metrics exist on complete Kähler manifolds with negative Ricci curvature as an improvement of the Cheng-Yau theorem. It further claims that canonical Hermitian metrics with prescribed Ricci curvature exist on complete Hermitian manifolds, regarded as noncompact versions of the Gauduchon conjecture on certain complete complex surfaces. The method can be used to construct Hesse-Einstein metrics in affine differential geometry.

What carries the argument

canonical metrics and their associated Ricci forms on noncompact complex manifolds

Load-bearing premise

The manifolds are complete and the Ricci curvature is negative or can be prescribed appropriately at infinity.

What would settle it

A counterexample consisting of a complete Kähler manifold with negative Ricci curvature but no Kähler-Einstein metric would disprove the main claim.

read the original abstract

In this paper, we study several types of geometric problems related to the Ricci curvature on noncompact complex manifolds, such as the existence of K\"{a}hler-Einstein metrics on complete K\"{a}hler manifolds with negative Ricci curvature, which can be seen as an improvement of the main theorem in Cheng-Yau [4]; the existence of canonical Hermitian metrics with prescribed Ricci curvature on complete Hermitian manifolds, which can be regarded as noncompact versions of the Gauduchon conjecture on certain complete complex surfaces. Our method can also be used to construct Hesse-Einstein metrics in affine differential geometry.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims existence of Kähler-Einstein metrics on complete Kähler manifolds with negative Ricci curvature (improving Cheng-Yau), existence of canonical Hermitian metrics with prescribed Ricci curvature on complete Hermitian manifolds (noncompact Gauduchon-type results on certain surfaces), and applications to Hesse-Einstein metrics in affine differential geometry, all obtained via continuity methods applied to Monge-Ampère-type equations on noncompact manifolds.

Significance. If the a priori estimates close the continuity paths under the stated hypotheses alone, the results would provide meaningful extensions of compact-case theorems to complete noncompact settings, with potential utility in complex geometry and affine differential geometry. The claimed improvement over Cheng-Yau would be of interest if the hypotheses are strictly weaker while still yielding the necessary bounds.

major comments (2)
  1. [Continuity-method section (proof of main existence theorems)] The central existence claims rely on uniform C^0 and C^2 estimates to prevent solutions from escaping to infinity during the continuity method. The abstract and weakest-assumption description list only completeness plus negativity/prescribed curvature at infinity; if these do not suffice to derive the estimates (as is typical without bounded geometry, volume growth control, or explicit decay), the path may fail to close. Please identify the precise location (e.g., the relevant proposition or lemma in the continuity-method section) where these estimates are proved from the given hypotheses alone, or state any auxiliary assumptions used.
  2. [Section on canonical Hermitian metrics with prescribed Ricci curvature] For the Hermitian-metric result regarded as a noncompact Gauduchon analogue, the prescribed Ricci-form condition must be shown to produce the required global bounds without additional growth restrictions far from any origin. If the derivation invokes unstated decay or completeness-only arguments, this needs explicit verification to support the claim.
minor comments (2)
  1. [Abstract] The abstract is terse on proof strategy and hypotheses; expanding it to mention the key estimate sources would improve readability.
  2. [Introduction or preliminaries] Notation for the reference metrics and curvature forms should be introduced with explicit definitions before the continuity path is set up, to avoid ambiguity in the noncompact setting.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the detailed major comments. We address each point below by identifying the relevant locations in the manuscript where the estimates are derived from the stated hypotheses. We will revise the paper to make these references and verifications more explicit.

read point-by-point responses

  1. Referee: [Continuity-method section (proof of main existence theorems)] The central existence claims rely on uniform C^0 and C^2 estimates to prevent solutions from escaping to infinity during the continuity method. The abstract and weakest-assumption description list only completeness plus negativity/prescribed curvature at infinity; if these do not suffice to derive the estimates (as is typical without bounded geometry, volume growth control, or explicit decay), the path may fail to close. Please identify the precise location (e.g., the relevant proposition or lemma in the continuity-method section) where these estimates are proved from the given hypotheses alone, or state any auxiliary assumptions used.

    Authors: The C^0 estimate is proved in Lemma 3.2 of the continuity-method section by applying the maximum principle to the Monge-Ampère equation on the complete manifold, using the negativity of the Ricci curvature at infinity to obtain uniform bounds. The C^2 estimate is then obtained in Proposition 3.5 via a standard Calabi-type computation, where completeness ensures control at infinity under the curvature hypothesis alone. No auxiliary assumptions (such as bounded geometry or specific volume growth) are invoked beyond those listed in the hypotheses; the proofs adapt the compact-case techniques directly to the noncompact setting with the given conditions at infinity. We will add an explicit remark after Proposition 3.5 in the revised manuscript to highlight this dependence. revision: yes

  2. Referee: [Section on canonical Hermitian metrics with prescribed Ricci curvature] For the Hermitian-metric result regarded as a noncompact Gauduchon analogue, the prescribed Ricci-form condition must be shown to produce the required global bounds without additional growth restrictions far from any origin. If the derivation invokes unstated decay or completeness-only arguments, this needs explicit verification to support the claim.

    Authors: The global bounds for the canonical Hermitian metrics are derived in Section 4, specifically in Lemma 4.3 and the proof of Theorem 4.1. The prescribed Ricci-form condition is used to close the continuity path by providing the necessary control in the Monge-Ampère equation, allowing the maximum principle to be applied on the complete manifold without additional growth restrictions or explicit decay rates beyond those implied by the prescription at infinity. We agree that the argument would benefit from more explicit verification of how completeness alone suffices, and we will expand the discussion in the revised version to include this step-by-step verification. revision: yes

Circularity Check

0 steps flagged

No significant circularity; existence claims rest on independent a priori estimates from completeness and curvature hypotheses.

full rationale

The paper's central results are existence theorems for Kähler-Einstein and canonical Hermitian metrics on complete noncompact manifolds, obtained via continuity methods applied to Monge-Ampère equations. These rely on deriving uniform C^0 and C^2 estimates from the stated completeness and negative/prescribed Ricci curvature conditions at infinity, without reducing any prediction or uniqueness statement to a fitted parameter, self-definition, or load-bearing self-citation. The improvement over Cheng-Yau [4] is presented as an extension using the same continuity framework, but the estimates themselves are not shown to collapse into the input hypotheses by construction. No ansatz is smuggled via citation, and no known result is merely renamed. The derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard axioms of complex differential geometry without introducing new free parameters or invented entities.

axioms (2)
  • standard math Kähler manifolds admit a closed Kähler form compatible with a complex structure and Hermitian metric.
    Fundamental background for defining Kähler-Einstein metrics and Ricci forms.
  • standard math Ricci curvature is the trace of the curvature tensor and determines the Ricci form on complex manifolds.
    Standard definition used throughout the study of prescribed curvature problems.

pith-pipeline@v0.9.0 · 5384 in / 1457 out tokens · 64906 ms · 2026-05-10T02:00:34.093498+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    Aubin, T., ´Equations du type Monge-Amp` ere sur les vari´ et´ es k¨ ahleriennes compactes, C. R. Acad. Sci. Paris S´ er. A-B.283(1976), no. 3, 119-121

    work page 1976

  2. [2]

    and Krist´ aly, A.,Sharp isoperimetric and Sobolev inequalities in spaces with nonnegative Ricci curvature, Math

    Balogh, Z.-M. and Krist´ aly, A.,Sharp isoperimetric and Sobolev inequalities in spaces with nonnegative Ricci curvature, Math. Ann.385(2023), 1747-1773

    work page 2023

  3. [3]

    and Yau, S.-T.,On the regularity of the Monge-Amp` ere equation det(∂2u/∂xi∂xj) =F(x, u), Commun

    Cheng, S.-Y. and Yau, S.-T.,On the regularity of the Monge-Amp` ere equation det(∂2u/∂xi∂xj) =F(x, u), Commun. Pure Appl. Math.30(1977), 41-68

    work page 1977

  4. [4]

    and Yau, S.-T.,On the existence of a complete K¨ ahler metric on non-compact complex manifolds and the regularity of Fefferman’s equation, Comm

    Cheng, S.-Y. and Yau, S.-T.,On the existence of a complete K¨ ahler metric on non-compact complex manifolds and the regularity of Fefferman’s equation, Comm. Pure Appl. Math.33 (1980), 507-544

    work page 1980

  5. [5]

    Cheng, S.-Y. and Yau, S.-T.,On the real Monge-Amp` ere equation and affine flat structures, In: Proceedings of the 1980 Beijing Symposium on Differential Geometry and Differential Equations, vol. 1-3, pp. 339-370 (1982)

    work page 1980

  6. [6]

    and Sun, S.,K¨ ahler-Einstein metrics on Fano manifolds

    Chen, X.-X., Donaldson, S. and Sun, S.,K¨ ahler-Einstein metrics on Fano manifolds. I: Approximation of metrics with cone singularities, J. Amer. Math. Soc.28(2015), no. 1, 183-197

    work page 2015

  7. [7]

    and Sun, S.,K¨ ahler-Einstein metrics on Fano manifolds

    Chen, X.-X., Donaldson, S. and Sun, S.,K¨ ahler-Einstein metrics on Fano manifolds. II: Limits with cone angle less than2π, J. Amer. Math. Soc.28(2015), no. 1, 199-234

    work page 2015

  8. [8]

    and Sun, S.,K¨ ahler-Einstein metrics on Fano manifolds

    Chen, X.-X., Donaldson, S. and Sun, S.,K¨ ahler-Einstein metrics on Fano manifolds. III: Limits as cone angle approaches2πand completion of the main proof, J. Amer. Math. Soc. 28(2015), no. 1, 235-278

    work page 2015

  9. [9]

    and Tam, L.-F.,AC 0-estimate for the parabolic Monge-Amp` ere equation on com- plete non-compact K¨ ahler manifolds, Compos

    Chau, A. and Tam, L.-F.,AC 0-estimate for the parabolic Monge-Amp` ere equation on com- plete non-compact K¨ ahler manifolds, Compos. Math.146(2010), no. 1, 259-270. 34 HANZHANG YIN

    work page 2010

  10. [10]

    and Tam, L.-F.,On a modified parabolic complex Monge-Amp` ere equation with applications, Math

    Chau, A. and Tam, L.-F.,On a modified parabolic complex Monge-Amp` ere equation with applications, Math. Z.269(2011), no. 3-4, 777-800

    work page 2011

  11. [11]

    and Wu, D.-M.,Form-type Calabi-Yau equations, Math

    Fu, J.-X., Wang, Z.-Z. and Wu, D.-M.,Form-type Calabi-Yau equations, Math. Res. Lett. 17(2010), no. 5, 887-903

    work page 2010

  12. [12]

    and Wu, D.-M.,Form-type equations on K¨ ahler manifolds of nonneg- ative orthogonal bisectional curvature, Calc

    Fu, J.-X., Wang, Z.-Z. and Wu, D.-M.,Form-type equations on K¨ ahler manifolds of nonneg- ative orthogonal bisectional curvature, Calc. Var. Partial Differential Equations.52(2015), no. 1-2, 327-344

    work page 2015

  13. [13]

    and Tomassini, A.,On astheno-K¨ ahler metrics, J

    Fino, A. and Tomassini, A.,On astheno-K¨ ahler metrics, J. Lond. Math. Soc.83(2011), no. 2, 290-308

    work page 2011

  14. [14]

    and Trudinger, N.-S.,Elliptic Partial Differential Equations of Second Order, Springer, Berlin, 1998

    Gilbarg, D. and Trudinger, N.-S.,Elliptic Partial Differential Equations of Second Order, Springer, Berlin, 1998

    work page 1998

  15. [15]

    J.163(2014), no

    Guan, B.,Second-order estimates and regularity for fully nonlinear elliptic equations on Riemannian manifolds, Duke Math. J.163(2014), no. 8, 1491-1524

    work page 2014

  16. [16]

    and Li, Q.,Complex Monge-Amp` ere equations and totally real submanifolds, Adv

    Guan, B. and Li, Q.,Complex Monge-Amp` ere equations and totally real submanifolds, Adv. Math.225(2010), no. 3, 1185-1223

    work page 2010

  17. [17]

    and Phong, D.-H.,OnL ∞ estimates for fully non-linear partial differential equa- tions, Ann

    Guo, B. and Phong, D.-H.,OnL ∞ estimates for fully non-linear partial differential equa- tions, Ann. of Math.200(2024), no. 1, 365-398

    work page 2024

  18. [18]

    Gauduchon, P.,Le th´ eor` eme de l’excentricit´ e nulle, C. R. Acad. Sci. Paris S´ er. A-B.285 (1977), no. 5, A387-A390

    work page 1977

  19. [19]

    and Roˇ cek, M.,Twisted multiplets and new supersymmetric non- linearσ-models, Nuclear Phys

    Gates, S.-J., Hull, C.-M. and Roˇ cek, M.,Twisted multiplets and new supersymmetric non- linearσ-models, Nuclear Phys. B.248(1984), no. 1, 157-186

    work page 1984

  20. [20]

    and Wang, G.-F.,Hessian surfaces and local Lagrangian embeddings, Ann

    Han, Q. and Wang, G.-F.,Hessian surfaces and local Lagrangian embeddings, Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire35(2018), no. 3, 675-685

    work page 2018

  21. [21]

    and Yin, H.-Z.,A geometric flow on noncompact affine Riemannian manifolds, Calc

    Jiao, H.-M. and Yin, H.-Z.,A geometric flow on noncompact affine Riemannian manifolds, Calc. Var. Partial Differential Equations.64(2025), no. 2

    work page 2025

  22. [22]

    and Liu, J.-X.,On a class of Hessian type equations on Riemannian manifolds, Proc

    Jiao, H.-M. and Liu, J.-X.,On a class of Hessian type equations on Riemannian manifolds, Proc. Amer. Math. Soc.151(2023), no. 2, 569-581

    work page 2023

  23. [23]

    and Yau, S.-T.,A nonlinear elliptic system for maps from Hermitian to Riemannian manifolds and rigidity theorems in Hermitian geometry, Acta Math.170(1993), no

    Jost, J. and Yau, S.-T.,A nonlinear elliptic system for maps from Hermitian to Riemannian manifolds and rigidity theorems in Hermitian geometry, Acta Math.170(1993), no. 2, 221- 254

    work page 1993

  24. [24]

    Krylov, N.-V.,Boundedly nonhomogeneous elliptic and parabolic equations, Izvestia Akad. Nauk. SSSR46(1982), 487-523. English translation in Math. USSR Izv.20(1983), no. 3, 459-492

    work page 1982

  25. [25]

    and Tam, L.-F.,Chern-Ricci flows on noncompact complex manifolds, J

    Lee, M.-C. and Tam, L.-F.,Chern-Ricci flows on noncompact complex manifolds, J. Differ- ential Geom.115(2020), no. 3, 529-564

    work page 2020

  26. [26]

    and Topping, P.-M.,Three-manifolds with non-negatively pinched Ricci curvature, J

    Lee, M.-C. and Topping, P.-M.,Three-manifolds with non-negatively pinched Ricci curvature, J. Differential Geom.131(2025), no. 3, 633-651

    work page 2025

  27. [27]

    and Zaslow, E.,Affine manifolds, SYZ geometry and the “Y” vertex, J

    Loftin, J., Yau, S.-T. and Zaslow, E.,Affine manifolds, SYZ geometry and the “Y” vertex, J. Differential Geom.71(2005), no. 1, 129-158

    work page 2005

  28. [28]

    and Tˆ o, T.-D.,Convergence of the Hesse-Koszul flow on compact Hessian manifolds, Ann

    Puechmorel, S. and Tˆ o, T.-D.,Convergence of the Hesse-Koszul flow on compact Hessian manifolds, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire.40(2023), no. 6, 1385-1414

    work page 2023

  29. [29]

    and Weinkove, B.,Gauduchon metrics with prescribed volume form, Acta Math.219(2017), no

    Sz´ ekelyhidi, G., Tosatti, V. and Weinkove, B.,Gauduchon metrics with prescribed volume form, Acta Math.219(2017), no. 1, 181-211

    work page 2017

  30. [30]

    Dif- ferential Geom.109(2018), no

    Sz´ ekelyhidi, G.,Fully non-linear elliptic equations on compact Hermitian manifolds, J. Dif- ferential Geom.109(2018), no. 2, 337-378

    work page 2018

  31. [31]

    Differential Geom.45(1997), no

    Shi, W.-X.,Ricci Flow and the uniformization on complete non compact K¨ ahler manifolds, J. Differential Geom.45(1997), no. 1, 94-220

    work page 1997

  32. [32]

    Shi, W.-X.,Ricci Deformation of the metric on complete noncompact K¨ ahler manifolds, PhD Thesis, Harvard University

    work page

  33. [33]

    Shima, H.,The Geometry of Hessian Structures, World Scientific Pub Co Inc (March 1, 2007)

    work page 2007

  34. [34]

    and Weinkove, B.,The Monge-Amp` ere equation for(n−1)-plurisubharmonic functions on a compact K¨ ahler manifold, J

    Tosatti, V. and Weinkove, B.,The Monge-Amp` ere equation for(n−1)-plurisubharmonic functions on a compact K¨ ahler manifold, J. Amer. Math. Soc.30(2017), no. 2, 311-346

    work page 2017

  35. [35]

    and Weinkove, B.,Hermitian metrics,(n−1, n−1)forms and Monge-Amp` ere equations, J

    Tosatti, V. and Weinkove, B.,Hermitian metrics,(n−1, n−1)forms and Monge-Amp` ere equations, J. Reine Angew. Math.755(2019), 67-101

    work page 2019

  36. [36]

    and Yau, S.-T.,Complete K¨ ahler Manifolds with Zero Ricci Curvature

    Tian, G. and Yau, S.-T.,Complete K¨ ahler Manifolds with Zero Ricci Curvature. I, J. Amer. Math. Soc.3(1990), no. 3, 579-609

    work page 1990

  37. [37]

    and Yau, S.-T.,Complete K¨ ahler Manifolds with Zero Ricci Curvature

    Tian, G. and Yau, S.-T.,Complete K¨ ahler Manifolds with Zero Ricci Curvature. II, Invent. Math.106(1991), no. 1, 27-60. RICCI FORMS ON NONCOMPACT COMPLEX MANIFOLDS 35

    work page 1991

  38. [38]

    Math.130(1997), no

    Tian, G.,K¨ ahler-Einstein metrics with positive scalar curvature, Invent. Math.130(1997), no. 1, 1-37

    work page 1997

  39. [39]

    Pure Appl

    Tian, G.,K-stability and K¨ ahler-Einstein metrics, Comm. Pure Appl. Math.68(2015), no. 7, 1085-1156

    work page 2015

  40. [40]

    and Yau, S.-T.,Invariant metrics on negatively pinched complete K¨ ahler mani- folds, J

    Wu, D.-M. and Yau, S.-T.,Invariant metrics on negatively pinched complete K¨ ahler mani- folds, J. Amer. Math. Soc.33(2020), no. 1, 103-133

    work page 2020

  41. [41]

    Yau, S.-T.,On the Ricci curvature of a compact K¨ ahler manifold and the complex Monge- Amp` ere equation. I, Comm. Pure Appl. Math.31(1978), no. 3, 339-411

    work page 1978

  42. [42]

    School of Mathematics, Harbin Institute of Technology, Harbin, Heilongjiang 150001, China Email address:YinHZ@hit.edu.cn

    Yin, H.-Z.,Fully non-linear elliptic equations on noncompact complex manifolds, arXiv preprint arXiv:2512.15350 (2025). School of Mathematics, Harbin Institute of Technology, Harbin, Heilongjiang 150001, China Email address:YinHZ@hit.edu.cn

    work page arXiv 2025