Rigidity of complete K\"ahler-Einstein metrics under cscK perturbations
Pith reviewed 2026-05-18 06:41 UTC · model grok-4.3
The pith
Sufficient conditions force any cscK perturbation of a complete non-compact Kähler-Einstein metric to remain Kähler-Einstein.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors establish sufficient conditions under which a cscK perturbation of a Kähler-Einstein metric on a complete non-compact manifold must remain Kähler-Einstein. As a model case they prove that the Bergman metric on a bounded strictly pseudoconvex domain is Kähler-Einstein whenever it has constant scalar curvature; combined with Huang-Xiao's resolution of Cheng's conjecture this yields the ball characterization for smooth bounded strictly pseudoconvex domains.
What carries the argument
Perturbations within the space of constant scalar curvature Kähler metrics around a Kähler-Einstein background on a complete non-compact manifold, with the Einstein condition recovered by the given closeness or decay requirements.
If this is right
- The Bergman metric on any bounded strictly pseudoconvex domain with constant scalar curvature must be Kähler-Einstein.
- Smooth bounded strictly pseudoconvex domains whose Bergman metrics have constant scalar curvature are characterized as balls.
- Rigidity statements of this type become available for other families of canonical metrics on complete non-compact Kähler manifolds.
Where Pith is reading between the lines
- The same perturbation analysis could be tested on non-compact domains with different asymptotic geometries such as Siegel domains.
- If the decay conditions can be relaxed the result might apply to a broader class of complete manifolds with controlled volume growth.
- The approach supplies a template for proving uniqueness of other special metrics once they are known to satisfy a constant-curvature equation.
Load-bearing premise
The manifold is complete and non-compact and the perturbation satisfies the required closeness or decay conditions at infinity.
What would settle it
An explicit cscK metric on a complete non-compact Kähler-Einstein manifold that is not Kähler-Einstein and still obeys the paper's sufficient conditions would disprove the rigidity claim.
read the original abstract
In this paper, we study constant scalar curvature K\"ahler (cscK) metrics on complete non-compact K\"ahler--Einstein manifolds. We give sufficient conditions under which a cscK perturbation of a K\"ahler--Einstein metric must remain K\"ahler--Einstein. As a model case, we prove that the Bergman metric on a bounded strictly pseudoconvex domain is K\"ahler--Einstein whenever it has constant scalar curvature. In particular, combined with Huang--Xiao's resolution of Cheng's conjecture, this yields the ball characterization for smooth bounded strictly pseudoconvex domains.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes sufficient conditions under which a cscK perturbation of a complete non-compact Kähler-Einstein metric remains Kähler-Einstein. These conditions are stated in Theorem 1.2 and involve membership in weighted Hölder spaces C^{k,α}_δ with δ > 0 to control decay at the non-compact ends. As a model application, the authors verify that the Bergman metric on a bounded strictly pseudoconvex domain satisfies the hypotheses (using boundary geometry and Bergman kernel asymptotics) and hence is Kähler-Einstein whenever it has constant scalar curvature. Combined with Huang-Xiao's resolution of Cheng's conjecture, this yields a ball characterization for such domains.
Significance. If the results hold, the work supplies explicit, applicable rigidity criteria for non-compact Kähler geometry, a setting where completeness and decay at infinity make standard compact techniques unavailable. The weighted-space formulation in Theorem 1.2 directly addresses the non-compact ends, and the model-case verification for Bergman metrics is a concrete strength that ties the abstract theorem to complex analysis. The conditional appeal to Huang-Xiao is correctly placed after the model-case check. These features give the paper clear value for researchers working on rigidity and characterization problems in Kähler-Einstein geometry.
minor comments (3)
- [Abstract] Abstract: the final sentence states that the results 'yield the ball characterization'; it would be clearer to specify that the domain must be biholomorphic to the unit ball in ℂ^n.
- [Theorem 1.2] Theorem 1.2: the precise range of k and α for which the weighted space C^{k,α}_δ is defined and the estimates hold should be stated explicitly rather than left implicit.
- [Model case] Model-case section: the verification that the Bergman metric lies in the required weighted space relies on known asymptotics of the Bergman kernel; a short reference or one-line sketch of the relevant decay estimate would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and positive assessment of our manuscript. The referee's summary correctly identifies the main results: sufficient conditions in weighted Hölder spaces for cscK perturbations of complete non-compact Kähler-Einstein metrics to remain Kähler-Einstein (Theorem 1.2), together with the verification that the Bergman metric on bounded strictly pseudoconvex domains satisfies these conditions and hence is Kähler-Einstein precisely when it has constant scalar curvature. We appreciate the recognition that the weighted-space formulation addresses the non-compact setting and that the model-case application, combined with Huang-Xiao, yields the ball characterization.
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper states explicit sufficient conditions for rigidity in Theorem 1.2, including precise weighted decay in C^{k,α}_δ spaces with δ > 0 to control non-compact ends. The model-case argument for the Bergman metric directly verifies these hypotheses via strictly pseudoconvex boundary geometry and known Bergman kernel asymptotics, then invokes the general theorem. The appeal to Huang-Xiao's prior resolution of Cheng's conjecture is an external result used solely for the ball-characterization corollary and is not required for the main rigidity statement. No self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations appear in the derivation chain; all central claims rest on independent analysis of the non-compact Kähler setting.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard definitions and basic properties of Kähler-Einstein metrics and constant-scalar-curvature Kähler metrics on complete non-compact manifolds.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1.2 ... If (M, ω) is parabolic, or (M, ω) is non-parabolic with ... λ1(∆ω)>0 and ... ∫_{B_{2r}∖B_r} |φ|^2 ω^n ≤ C0 e^{2δ r}, then ω_φ is Kähler-Einstein.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.