pith. sign in

arxiv: 2412.03345 · v4 · submitted 2024-12-04 · 🧮 math.CV · math.DG

The K\"ahler-Ricci soliton on bounded pseudoconvex domains

Zehao Sha This is my paper

Pith reviewed 2026-05-23 08:21 UTC · model grok-4.3

classification 🧮 math.CV math.DG
keywords Kähler-Ricci solitonpseudoconvex domainKähler-Einstein metricbounded domaincomplex geometryBergman metric
0
0 comments X

The pith

Kähler-Ricci solitons on bounded pseudoconvex domains must be Kähler-Einstein under suitable assumptions.

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

The paper examines Kähler-Ricci solitons on bounded pseudoconvex domains in complex n-space equipped with C squared boundary. It shows that these solitons coincide with Kähler-Einstein metrics when the stated conditions hold. The same reduction applies to the Bergman form of the solitons. This supplies a classification that restricts the special metrics possible on the domains in question.

Core claim

Under suitable assumptions, Kähler-Ricci solitons on bounded pseudoconvex domains in C to the n with C squared boundary must be Kähler-Einstein. An analogous result holds for Bergman Kähler-Ricci solitons.

What carries the argument

The Kähler-Ricci soliton equation on a pseudoconvex domain with C squared boundary regularity, which forces the soliton to satisfy the Einstein condition.

If this is right

  • The only Kähler-Ricci solitons on these domains are the Kähler-Einstein metrics.
  • The classification carries over directly to Bergman Kähler-Ricci solitons.
  • Model domains serve to check the conditions under which the reduction occurs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The geometry of pseudoconvex domains limits the admissible soliton structures.
  • The same reduction technique could apply to related classes of domains with comparable boundary regularity.
  • Existence questions for solitons on these domains reduce to existence questions for Einstein metrics.

Load-bearing premise

The suitable assumptions on the domain and on the soliton hold.

What would settle it

An explicit Kähler-Ricci soliton on a bounded pseudoconvex domain with C squared boundary that is not Kähler-Einstein would disprove the claim.

read the original abstract

In this paper, we study K\"ahler-Ricci solitons on bounded pseudoconvex domains in $\mathbb{C}^n$ with $C^2$ boundary. Under suitable assumptions, we prove that such solitons must be K\"ahler-Einstein. Building on Huang and Xiao's resolution of Cheng's conjecture, we further establish an analogous result for Bergman K\"ahler-Ricci solitons. Several model domains are presented to illustrate our results.

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

1 major / 0 minor

Summary. The manuscript studies Kähler-Ricci solitons on bounded pseudoconvex domains in ℂⁿ with C² boundary. Under suitable assumptions, it proves that such solitons must be Kähler-Einstein. Building on Huang and Xiao's resolution of Cheng's conjecture, it establishes an analogous result for Bergman Kähler-Ricci solitons. Several model domains are presented to illustrate the results.

Significance. If the assumptions are natural and the derivation holds, the result classifies Kähler-Ricci solitons on these domains as Kähler-Einstein metrics, providing a direct extension of the resolution of Cheng's conjecture to the soliton setting. The explicit use of the prior result and the concrete model domains are strengths that make the claims falsifiable and applicable.

major comments (1)
  1. [Abstract] Abstract and main theorem statement: the central claim is conditioned on 'suitable assumptions' that are not enumerated in the abstract; the main theorem must explicitly list the conditions on the soliton vector field, completeness, or curvature bounds so that it is possible to verify the claim is non-vacuous and does not reduce to a tautology by definition of the assumptions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the constructive comment on clarifying the assumptions. We will revise the manuscript to address this point explicitly.

read point-by-point responses

  1. Referee: [Abstract] Abstract and main theorem statement: the central claim is conditioned on 'suitable assumptions' that are not enumerated in the abstract; the main theorem must explicitly list the conditions on the soliton vector field, completeness, or curvature bounds so that it is possible to verify the claim is non-vacuous and does not reduce to a tautology by definition of the assumptions.

    Authors: We agree that the assumptions should be stated explicitly to ensure the result is verifiable and non-vacuous. In the revised version, the abstract will be updated to list the key conditions (holomorphicity and completeness of the soliton vector field, completeness of the Kähler metric, and the relevant curvature bounds). The main theorem statement will likewise enumerate these assumptions in full, drawing directly from the hypotheses used in the proofs. revision: yes

Circularity Check

0 steps flagged

Central claim rests on unspecified 'suitable assumptions' plus correctness of Huang-Xiao resolution of Cheng's conjecture

full rationale

The derivation builds directly on an external prior result (Huang-Xiao resolution of Cheng's conjecture) rather than any internal fit, self-definition, or self-citation chain. No equations or steps in the provided abstract reduce the main claim to a tautology by construction. Dependence on an independent external theorem is standard mathematical practice and does not constitute circularity under the evaluation rules; the paper remains self-contained against external benchmarks once the cited result is granted.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a pure existence/rigidity proof in several complex variables; it inherits standard background from complex analysis and Kähler geometry but introduces no new free parameters or invented entities visible in the abstract.

axioms (1)
  • standard math Standard results from Kähler geometry and the resolution of Cheng's conjecture by Huang and Xiao
    The proof is described as building directly on that prior resolution.

pith-pipeline@v0.9.0 · 5591 in / 1072 out tokens · 37437 ms · 2026-05-23T08:21:20.249345+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

35 extracted references · 35 canonical work pages · 1 internal anchor

  1. [1]

    L. J. Al \' as, P. Mastrolia, and M. Rigoli, Maximum principles and geometric applications, vol. 700, Springer, 2016

    work page 2016

  2. [2]

    Azukawa and M

    K. Azukawa and M. Suzuki, The B ergman metric on a T hullen domain , Nagoya Math. J. 89 (1983), 1--11

    work page 1983

  3. [3]

    Bergman and M

    S. Bergman and M. Schiffer, Kernel functions and conformal mapping, Compositio Mathematica 8 (1951), 205--249

    work page 1951

  4. [4]

    Cao, Existence of gradient K \"a hler- R icci solitons , Elliptic and parabolic methods in geometry (Minneapolis, MN, 1994) 1 (1996), 16

    H.-D. Cao, Existence of gradient K \"a hler- R icci solitons , Elliptic and parabolic methods in geometry (Minneapolis, MN, 1994) 1 (1996), 16

    work page 1994

  5. [5]

    , Limits of solutions to the K \"a hler- R icci flow , J. Diff. Geom. 45 (1997), no. 2, 257--272

    work page 1997

  6. [6]

    Cheng, Open problems, C onference on nonlinear problems in geometry held in K atata, S eptember 3–8

    S.-Y. Cheng, Open problems, C onference on nonlinear problems in geometry held in K atata, S eptember 3–8

    work page

  7. [7]

    Chow, Ricci solitons in low dimensions, vol

    B. Chow, Ricci solitons in low dimensions, vol. 235, American Mathematical Society, 2023

    work page 2023

  8. [8]

    Cheng and S.-T

    S.-Y. Cheng and S.-T. Yau, On the existence of a complete K \"a hler metric on non-compact complex manifolds and the regularity of F efferman's equation , Comm. Pure Appl. Math 33 (1980), 507--544

    work page 1980

  9. [9]

    Demailly, Complex analytic and differential geometry, https://www-fourier.ujf-grenoble.fr/ demailly/manuscripts/agbook.pdf, 2012

    J.-P. Demailly, Complex analytic and differential geometry, https://www-fourier.ujf-grenoble.fr/ demailly/manuscripts/agbook.pdf, 2012

    work page 2012

  10. [10]

    F. Deng, Q. Guan, and L. Zhang, Some properties of squeezing functions on bounded domains, Pac. J. Math. 257 (2012), no. 2, 319--341

    work page 2012

  11. [11]

    , Properties of squeezing functions and global transformations of bounded domains, Trans. Amer. Math. Soc. 368 (2016), no. 4, 2679--2696

    work page 2016

  12. [12]

    Diederich, Das randverhalten der B ergmanschen kernfunktion und metrik in streng pseudo-konvexen gebieten , Math

    K. Diederich, Das randverhalten der B ergmanschen kernfunktion und metrik in streng pseudo-konvexen gebieten , Math. Ann. 187 (1970), no. 1, 9--36

    work page 1970

  13. [13]

    Feldman, T

    M. Feldman, T. Ilmanen, and D. Knopf, Rotationally symmetric shrinking and expanding gradient K \"a hler- R icci solitons , J. Diff. Geom. 65 (2003), no. 2, 169--209

    work page 2003

  14. [14]

    Futaki, An obstruction to the existence of E instein K \"a hler metrics , Invent

    A. Futaki, An obstruction to the existence of E instein K \"a hler metrics , Invent. Math. 73 (1983), no. 3, 437--443

    work page 1983

  15. [15]

    Fu and B

    S. Fu and B. Wong, On strictly pseudoconvex domains with K \"a hler- E instein B ergman metrics , Math. Res. Lett. 4 (1997), no. 5, 697--703

    work page 1997

  16. [16]

    Forn ss and E

    J. Forn ss and E. Wold, A non-strictly pseudoconvex domain for which the squeezing function tends to 1 towards the boundary, Pacific J. Math. 297 (2018), no. 1, 79--86

    work page 2018

  17. [17]

    Gontard, Curvatures of metrics in non-compact complex manifolds, Universit \'e Grenoble Alpes, 2019

    S. Gontard, Curvatures of metrics in non-compact complex manifolds, Universit \'e Grenoble Alpes, 2019

    work page 2019

  18. [18]

    R. E. Greene, K.-T. Kim, and S. G. Krantz, The geometry of complex domains, vol. 291, Springer Science & Business Media, 2011

    work page 2011

  19. [19]

    Hamilton, The Ricci flow on surfaces, Mathematics and general relativity, Contemp

    R. Hamilton, The Ricci flow on surfaces, Mathematics and general relativity, Contemp. Math. 71 (1988), 237--261

    work page 1988

  20. [20]

    Huang and M

    X. Huang and M. Xiao, Bergman- E instein metrics, a generalization of K erner’s theorem and S tein spaces with spherical boundaries , J. Reine Angew. Math. 2021 (2021), no. 770, 183--203

    work page 2021

  21. [21]

    Krantz, Function theory of several complex variables, vol

    S. Krantz, Function theory of several complex variables, vol. 340, American Mathematical Soc., 2001

    work page 2001

  22. [22]

    S. G. Krantz and J. Yu, On the B ergman invariant and curvatures of the B ergman metric , Illinois J. Math. 40 (1996), no. 2, 226--244

    work page 1996

  23. [23]

    K. Liu, X. Sun, and S.T. Yau, Canonical metrics on the moduli space of R iemann surfaces ii , J. Differential Geom. 69 (2005), no. 1, 163--216

    work page 2005

  24. [24]

    Loi and F

    A. Loi and F. Zuddas, Canonical metrics on H artogs domains , Osaka J. Math. 47 (2010), no. 2, 507--521

    work page 2010

  25. [25]

    Mok and S.-T

    N. Mok and S.-T. Yau, Completeness of the K \"ahler- E instein metric on bound domains and the characterization of domain of holomorphy by curvature condition , Proceddings of Symposia in Pure mathematics, V.39 Part 1 (1983), 41–--59

    work page 1983

  26. [26]

    Ohsawa, On complete K \"a hler domains with C^1 -boundary , Publ

    T. Ohsawa, On complete K \"a hler domains with C^1 -boundary , Publ. Res. Inst. Math. Sci. 16 (1980), no. 3, 929--940

    work page 1980

  27. [27]

    Omori, Isometric immersions of R iemannian manifolds , J

    H. Omori, Isometric immersions of R iemannian manifolds , J. Math. Soc. Japan 19 (1967), no. 2, 205--214

    work page 1967

  28. [28]

    The entropy formula for the Ricci flow and its geometric applications

    G. Perelman, The entropy formula for the R icci flow and its geometric applications , arXiv preprint math/0211159 (2002)

    work page internal anchor Pith review Pith/arXiv arXiv 2002

  29. [29]

    Seo, On a theorem of P aul Y ang on negatively pinched bisectional curvature , Pac

    A. Seo, On a theorem of P aul Y ang on negatively pinched bisectional curvature , Pac. J. Math. 256 (2012), no. 1, 201--209

    work page 2012

  30. [30]

    Sa v ale and M

    N. Savale and M. Xiao, K\"ahler- E instein B ergman metrics on pseudoconvex domains of dimension two , arXiv preprint arXiv:2309.10595 (2023)

    work page arXiv 2023

  31. [31]

    Schoen and S.-T

    R.-M. Schoen and S.-T. Yau, Lectures on differential geometry, International Press, 2010

    work page 2010

  32. [32]

    Yau, Harmonic functions on complete R iemannian manifolds , Comm

    S.-T. Yau, Harmonic functions on complete R iemannian manifolds , Comm. Pure Appl. Math. 28 (1975), no. 2, 201--228

    work page 1975

  33. [33]

    Yeung, Geometry of domains with the uniform squeezing property, Adv

    S.-K. Yeung, Geometry of domains with the uniform squeezing property, Adv. Math. 221 (2009), no. 2, 547--569

    work page 2009

  34. [34]

    Zhang, On curvature estimates of bounded domains, Complex Analysis and Geometry, Springer Proceedings in Mathematics & statistics,, vol

    L. Zhang, On curvature estimates of bounded domains, Complex Analysis and Geometry, Springer Proceedings in Mathematics & statistics,, vol. 144, 2015, pp. 353--367

    work page 2015

  35. [35]

    Zimmer, A gap theorem for the complex geometry of convex domains, Trans

    A. Zimmer, A gap theorem for the complex geometry of convex domains, Trans. Amer. Math. Soc. 370 (2018), no. 10, 7489--7509

    work page 2018