Table of Contents
Fetching ...

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

Zehao Sha

TL;DR

The paper addresses rigidity of complete Kähler–Einstein metrics under cscK perturbations on noncompact manifolds by identifying a set of sufficient conditions under which a complete cscK perturbation of a KE metric remains KE, notably when the manifold is parabolic or has a positive $L^2$-spectrum and the perturbation satisfies controlled $L^2$ growth. It leverages Omori–Yau maximum principle, bounded geometry, and Green’s function estimates to obtain volume-comparison and trace-type bounds, yielding a bi-Lipschitz relation between the perturbed and background metrics under a finite $F$-energy framework. The work also presents model-case results on bounded strictly pseudoconvex domains, showing that if a Cheng–Yau-type KE metric is perturbed to a cscK metric or if a Bergman metric has constant scalar curvature, the resulting metric is KE; in particular, Bergman cscK implies KE and, with boundary smoothness, the domain is biholomorphic to the ball. Collectively, these results connect noncompact rigidity phenomena to classical KE metrics (Cheng–Yau, Bergman) and extend Huang–Xiao’s resolution of Cheng’s conjecture into the broader setting of constant scalar curvature in a noncompact, complete framework.

Abstract

In this paper, we study constant scalar curvature Kähler (cscK) metrics on a complete non-compact Kähler-Einstein manifold. We give a sufficient condition under which any cscK perturbation of the Kähler-Einstein metric remains Kähler-Einstein. As a model case, we extend Huang-Xiao's resolution of Cheng's conjecture if the Bergman metric has constant scalar curvature on bounded strictly pseudoconvex domains with smooth boundary.

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

TL;DR

The paper addresses rigidity of complete Kähler–Einstein metrics under cscK perturbations on noncompact manifolds by identifying a set of sufficient conditions under which a complete cscK perturbation of a KE metric remains KE, notably when the manifold is parabolic or has a positive -spectrum and the perturbation satisfies controlled growth. It leverages Omori–Yau maximum principle, bounded geometry, and Green’s function estimates to obtain volume-comparison and trace-type bounds, yielding a bi-Lipschitz relation between the perturbed and background metrics under a finite -energy framework. The work also presents model-case results on bounded strictly pseudoconvex domains, showing that if a Cheng–Yau-type KE metric is perturbed to a cscK metric or if a Bergman metric has constant scalar curvature, the resulting metric is KE; in particular, Bergman cscK implies KE and, with boundary smoothness, the domain is biholomorphic to the ball. Collectively, these results connect noncompact rigidity phenomena to classical KE metrics (Cheng–Yau, Bergman) and extend Huang–Xiao’s resolution of Cheng’s conjecture into the broader setting of constant scalar curvature in a noncompact, complete framework.

Abstract

In this paper, we study constant scalar curvature Kähler (cscK) metrics on a complete non-compact Kähler-Einstein manifold. We give a sufficient condition under which any cscK perturbation of the Kähler-Einstein metric remains Kähler-Einstein. As a model case, we extend Huang-Xiao's resolution of Cheng's conjecture if the Bergman metric has constant scalar curvature on bounded strictly pseudoconvex domains with smooth boundary.
Paper Structure (15 sections, 17 theorems, 83 equations)

This paper contains 15 sections, 17 theorems, 83 equations.

Key Result

Theorem 1.2

Let $(M,\omega)$ be a complete Kähler-Einstein manifold with negative scalar curvature. Suppose there exists $\varphi \in C^\infty(M)$ with $\sup_M \varphi <\infty$ defines a complete cscK metric $\omega_\varphi=\omega+\sqrt{-1}\partial\bar{\partial}\varphi$ such that $\operatorname{Ric}(\omega_\var then $\omega_\varphi$ is Kähler-Einstein.

Theorems & Definitions (34)

  • Theorem 1.2
  • Remark 1.3: Calabi-Yau case
  • Theorem 1.4
  • Proposition 2.1: Omoriomori1967isometric,Yauyau1975harmonic
  • Remark 2.2
  • Definition 2.3
  • Remark 2.4
  • Lemma 3.1
  • proof
  • Remark 3.2
  • ...and 24 more