Rigidity of complete Kähler-Einstein metrics under cscK perturbations

Basic Information

• Paper ID: 2510.13278
• Title: Rigidity of complete Kähler-Einstein metrics under cscK perturbations
• Author: Zehao Sha
• Classification: math.DG (Differential Geometry), math.CV (Complex Analysis)
• Publication Date: October 15, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.13278

Abstract

This paper investigates constant scalar curvature Kähler (cscK) metrics on complete non-compact Kähler-Einstein manifolds. The author provides sufficient conditions under which any cscK perturbation of a Kähler-Einstein metric remains Kähler-Einstein. As a model case, the author extends the resolution of Cheng's conjecture by Huang-Xiao to the case when the Bergman metric has constant scalar curvature on bounded strictly pseudoconvex domains with smooth boundary.

Research Background and Motivation

1. Core Problem: Study the rigidity of constant scalar curvature Kähler (cscK) metrics on complete non-compact Kähler manifolds. Specifically, find sufficient conditions ensuring that any cscK perturbation of a complete Kähler-Einstein metric remains Kähler-Einstein.
2. Problem Significance:
   • On compact Kähler manifolds, if a cscK metric is cohomologous to a Kähler-Einstein metric, it must be Kähler-Einstein
   • In the complete non-compact setting, there lacks a general rigidity principle guaranteeing that cscK metrics coincide with Kähler-Einstein metrics
   • This relates to extensions of the Yau-Tian-Donaldson conjecture to the non-compact case
3. Limitations of Existing Methods:
   • Failure of the global ∂∂̄-lemma in non-compact settings
   • Hodge decomposition and related closed range properties no longer hold
   • Analytical difficulties arising from lack of compactness
4. Research Motivation: Establish rigidity theory for complete Kähler-Einstein metrics under cscK perturbations and apply it to the study of Bergman metrics on bounded strictly pseudoconvex domains.

Core Contributions

1. Established rigidity theorem for complete Kähler-Einstein metrics: Provides sufficient conditions ensuring that cscK perturbations of negative scalar curvature complete Kähler-Einstein metrics remain Kähler-Einstein
2. Addressed both parabolic and non-parabolic cases:
   • Parabolic case: Any bounded above subharmonic function is constant
   • Non-parabolic case: Requires additional spectral conditions and growth control
3. Extended Huang-Xiao's results: Generalized the resolution of Cheng's conjecture to the case of Bergman metrics with constant scalar curvature
4. Provided applications to bounded strictly pseudoconvex domains: Proved that on such domains, cscK Bergman metrics must be Kähler-Einstein

Detailed Methodology

Problem Setup

Study cscK metrics $ω_φ = ω + \sqrt{-1}\partial\bar{\partial}φ$ on complete Kähler-Einstein manifolds $(M,ω)$, where $φ ∈ C^∞(M)$ and $\sup_M φ < ∞$.

Core Equation System

The cscK system is described by the following coupled equations: $\omega_φ^n = e^F ω^n$$Δ_φ F = -\hat{R} + \text{tr}_φ \text{Ric}(ω)$

where $F$ is the volume ratio function and $\hat{R}$ is the target scalar curvature.

Key Technical Tools

1. Omori-Yau Generalized Maximum Principle

For complete Kähler manifolds with bounded sectional curvature, for any $u ∈ C^2(M)$ with $\sup_M u < +∞$, there exists a sequence $\{z_k\}$ such that:

• $\lim_{k→∞} u(z_k) = \sup_M u$
• $\lim_{k→∞} |∇u(z_k)|_ω = 0$
• $\lim\sup_{k→∞} \sqrt{-1}\partial\bar{\partial}u(z_k) ≤ 0$

2. Volume Form Inequality

Lemma 3.1: Under given conditions, $\omega_φ^n ≥ ω^n$, with equality if and only if $ω_φ = ω$.

3. Trace-Type Inequality

Using Yau's $C^2$ estimates technique, establish: $Δ_{\omega_φ} \log(\text{tr}_ω ω_φ) ≥ B \text{tr}_{ω_φ} ω - \frac{\text{tr}_ω \text{Ric}(ω_φ)}{\text{tr}_ω ω_φ}$

Main Theorems

Theorem 1.2 (Main Rigidity Result)

Let $(M,ω)$ be a complete Kähler-Einstein manifold with negative scalar curvature, and $ω_φ$ be a complete cscK metric satisfying:

• $\sup_M φ < ∞$
• $\text{Ric}(ω_φ)$ is bounded below
• The volume ratio $ω^n/ω_φ^n$ is bounded above

If one of the following conditions holds:

1. $(M,ω)$ is parabolic
2. $(M,ω)$ is non-parabolic with $λ_1(Δ_ω) > 0$, and there exist constants $C_0 > 0$, $0 < δ ≤ \sqrt{λ_1(Δ)}$ such that $\int_{B_{2r}(p)\setminus B_r(p)} |φ|^2 ω^n ≤ C_0 e^{2δr}$

then $ω_φ$ is Kähler-Einstein.

Experimental Setup

Theoretical Verification

This is primarily a theoretical work, with results verified through rigorous mathematical proofs rather than numerical experiments.

Model Case: Bounded Strictly Pseudoconvex Domains

Consider $Ω ⊂ ℂ^n$ as a bounded strictly pseudoconvex domain, studying two classes of complete Kähler metrics:

1. Cheng-Yau metric: $ω_ρ = -\sqrt{-1}\partial\bar{\partial}\log ρ$
2. Bergman metric: $ω_B = \sqrt{-1}\partial\bar{\partial}\log K$

where $ρ$ is the defining function and $K$ is the Bergman kernel.

Experimental Results

Main Results

Theorem 1.4 (Application to Bounded Strictly Pseudoconvex Domains)

Let $Ω ⊂ ℂ^n$ be a bounded strictly pseudoconvex domain with $C^2$ boundary:

1. If $ω_ρ$ is cscK and $∂Ω ∈ C^8$, then $ω_ρ$ coincides with the unique Kähler-Einstein metric constructed by Cheng-Yau
2. If the Bergman metric $ω_B$ is cscK, then $ω_B$ is Kähler-Einstein; furthermore, if $∂Ω ∈ C^∞$, then $Ω$ is biholomorphic to the unit ball

Key Lemma Verification

Proposition 5.8 (Rigidity of Bergman Metrics)

For bounded strictly pseudoconvex domains with $C^2$ boundary, if the Bergman metric has constant scalar curvature, it must be Kähler-Einstein.

Proof Strategy:

• Utilize the Bergman invariant function $B(z) = G(z)/K(z)$
• Apply Diederich's boundary behavior results
• Derive that $B$ is constant via the maximum principle for harmonic functions

Related Work

Historical Development

1. Classical Results: Aubin-Yau (negative first Chern class), Yau (Calabi-Yau case)
2. Fano Case: Chen-Donaldson-Sun proved sufficiency of K-polystability
3. cscK Theory: Chen's continuity path method, Chen-Cheng's a priori estimates

Relationship to This Work

• Huang-Xiao's Work: Resolved Cheng's conjecture on Bergman metrics
• Parabolicity Theory: Li-Tam on existence of Green functions
• Non-compact Geometry: Cheng-Yau on existence of complete Kähler-Einstein metrics

Conclusions and Discussion

Main Conclusions

1. Established rigidity theory for complete Kähler-Einstein metrics under cscK perturbations
2. Proved that under appropriate conditions, cscK perturbations must preserve the Kähler-Einstein property
3. Extended the resolution of Cheng's conjecture to more general constant scalar curvature cases

Limitations

1. Geometric Assumptions: Requires bounded geometry and spectral conditions
2. Growth Control: Non-parabolic case requires exponential growth control of the potential function
3. Regularity Requirements: Imposes relatively high regularity requirements on the boundary

Future Directions

1. Investigate generalizations to positive scalar curvature cases
2. Explore rigidity under weaker geometric conditions
3. Develop theory for the non-compact YTD conjecture

In-Depth Evaluation

Strengths

1. Theoretical Innovation: First systematic study of cscK rigidity in the complete non-compact setting
2. Technical Depth: Cleverly combines parabolicity theory, spectral theory, and complex geometry
3. Applied Value: Provides new perspectives for Bergman metric theory
4. Clear Exposition: Logically rigorous with detailed proofs

Weaknesses

1. Strong Conditions: The required geometric and analytical conditions are relatively restrictive
2. Limited Scope: Primarily restricted to negative scalar curvature cases
3. Computational Complexity: Some estimates are quite technical

Impact

1. Theoretical Contribution: Lays foundation for rigidity theory in non-compact Kähler geometry
2. Methodological Value: Provides new techniques for handling non-compact cscK problems
3. Application Potential: Broad applications in complex analysis and algebraic geometry

Applicable Scenarios

• Geometric analysis of complete non-compact Kähler-Einstein manifolds
• Study of Bergman metrics on bounded pseudoconvex domains
• Existence and uniqueness problems for cscK metrics
• Research related to the non-compact YTD conjecture

References

The paper cites important literature in the field, including:

• Classical Kähler-Einstein theory by Aubin and Yau
• Resolution of the Fano case by Chen-Donaldson-Sun
• Work of Huang-Xiao on Cheng's conjecture
• Spectral theory contributions by Li-Wang
• Construction of complete Kähler-Einstein metrics by Cheng-Yau

This paper makes important contributions to cscK theory on complete non-compact Kähler manifolds, particularly providing a systematic theoretical framework for rigidity problems. Although technically demanding, it establishes a solid foundation for further development in this field.