2025-11-10T02:31:13.901121

Rigidity of complete KÃ¤hler-Einstein metrics under cscK perturbations

Sha

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.

academic

cscK 섭동 하에서 완전 Kähler-Einstein 메트릭의 강성

기본 정보

논문 ID: 2510.13278
제목: cscK 섭동 하에서 완전 Kähler-Einstein 메트릭의 강성
저자: Zehao Sha
분류: math.DG (미분기하학), math.CV (복소해석)
발표 시간: 2025년 10월 15일 (arXiv 프리프린트)
논문 링크: https://arxiv.org/abs/2510.13278

초록

본 논문은 완전 비콤팩트 Kähler-Einstein 다양체 위의 상수 스칼라 곡률 Kähler (cscK) 메트릭을 연구한다. 저자는 Kähler-Einstein 메트릭의 임의의 cscK 섭동이 여전히 Kähler-Einstein 성질을 유지하는 충분조건을 제시한다. 모델 사례로서, 저자는 매끄러운 경계를 가진 유계 강한 의사볼록 영역 위의 Bergman 메트릭이 상수 스칼라 곡률을 가질 때 Cheng 추측에 대한 Huang-Xiao의 해결을 확장한다.

연구 배경 및 동기

핵심 문제: 완전 비콤팩트 Kähler 다양체 위에서 상수 스칼라 곡률 Kähler (cscK) 메트릭의 강성 문제를 연구한다. 구체적으로, 완전 Kähler-Einstein 메트릭의 임의의 cscK 섭동이 여전히 Kähler-Einstein인 충분조건을 찾는다.
문제의 중요성:
- 콤팩트 Kähler 다양체 위에서, cscK 메트릭이 Kähler-Einstein 메트릭과 동조이면 반드시 Kähler-Einstein이다
- 그러나 완전 비콤팩트 경우에는 cscK 메트릭과 Kähler-Einstein 메트릭의 일치를 보장하는 일반적인 강성 원리가 부족하다
- 이는 비콤팩트 경우로의 Yau-Tian-Donaldson 추측의 확장과 관련된다
기존 방법의 한계:
- 비콤팩트 설정에서 전역 ∂∂̄ 보조정리의 실패
- Hodge 분해 및 관련 닫힌 치역 성질이 더 이상 성립하지 않음
- 콤팩트성 부재로 인한 분석적 어려움
연구 동기: 완전 Kähler-Einstein 메트릭의 cscK 섭동 하에서의 강성 이론을 확립하고, 이를 유계 강한 의사볼록 영역의 Bergman 메트릭 연구에 적용한다.

핵심 기여

완전 Kähler-Einstein 메트릭의 강성 정리 확립: 음의 스칼라 곡률 완전 Kähler-Einstein 메트릭의 cscK 섭동이 여전히 Kähler-Einstein인 충분조건을 제시한다
포물선적 및 비포물선적 두 경우 처리:
- 포물선적 경우: 위로 유계인 모든 부조화함수는 상수이다
- 비포물선적 경우: 추가적인 스펙트럼 조건과 증가 제어가 필요하다
Huang-Xiao 결과의 확장: Cheng 추측의 해결을 상수 스칼라 곡률을 가진 Bergman 메트릭 경우로 일반화한다
유계 강한 의사볼록 영역의 응용 제공: 이러한 영역 위에서 cscK Bergman 메트릭이 반드시 Kähler-Einstein임을 증명한다

방법론 상세 설명

문제 정의

완전 Kähler-Einstein 다양체 $(M,ω)$ 위의 cscK 메트릭 $ω_φ = ω + \sqrt{-1}\partial\bar{\partial}φ$ 를 연구한다. 여기서 $φ ∈ C^∞(M)$ 이고 $\sup_M φ < ∞$ 이다.

핵심 방정식계

cscK 시스템은 다음의 연립 방정식으로 기술된다: $\omega_φ^n = e^F ω^n$ $Δ_φ F = -\hat{R} + \text{tr}_φ \text{Ric}(ω)$

여기서 $F$ 는 부피비 함수이고, $\hat{R}$ 은 목표 스칼라 곡률이다.

핵심 기술 도구

1. Omori-Yau 일반화 최대값 원리

완전 Kähler 다양체에서 단면 곡률이 하한을 가지면, 임의의 $u ∈ C^2(M)$ 이고 $\sup_M u < +∞$ 에 대해, 수열 $\{z_k\}$ 가 존재하여:

$\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. 부피형식 부등식

보조정리 3.1: 주어진 조건 하에서, $\omega_φ^n ≥ ω^n$ 이고, 등호는 $ω_φ = ω$ 일 때만 성립한다.

3. 대각합 부등식

Yau의 $C^2$ 추정 기법을 이용하여 다음을 확립한다: $Δ_{\omega_φ} \log(\text{tr}_ω ω_φ) ≥ B \text{tr}_{ω_φ} ω - \frac{\text{tr}_ω \text{Ric}(ω_φ)}{\text{tr}_ω ω_φ}$

주요 정리

정리 1.2 (주요 강성 결과)

$(M,ω)$ 를 음의 스칼라 곡률을 가진 완전 Kähler-Einstein 다양체라 하고, $ω_φ$ 를 다음을 만족하는 완전 cscK 메트릭이라 하자:

$\sup_M φ < ∞$
$\text{Ric}(ω_φ)$ 가 하한을 가짐
부피비 $ω^n/ω_φ^n$ 이 상한을 가짐

다음 조건 중 하나가 성립하면:

$(M,ω)$ 가 포물선적이다
$(M,ω)$ 가 비포물선적이고, $λ_1(Δ_ω) > 0$ 이며, 상수 $C_0 > 0$ , $0 < δ ≤ \sqrt{λ_1(Δ)}$ 가 존재하여 $\int_{B_{2r}(p)\setminus B_r(p)} |φ|^2 ω^n ≤ C_0 e^{2δr}$

그러면 $ω_φ$ 는 Kähler-Einstein이다.

실험 설정

이론적 검증

본 논문은 주로 이론 작업으로, 수치 실험이 아닌 엄밀한 수학적 증명을 통해 결과를 검증한다.

모델 사례: 유계 강한 의사볼록 영역

$Ω ⊂ ℂ^n$ 을 유계 강한 의사볼록 영역이라 하고, 두 가지 완전 Kähler 메트릭을 연구한다:

Cheng-Yau 메트릭: $ω_ρ = -\sqrt{-1}\partial\bar{\partial}\log ρ$
Bergman 메트릭: $ω_B = \sqrt{-1}\partial\bar{\partial}\log K$

여기서 $ρ$ 는 정의 함수이고, $K$ 는 Bergman 핵이다.

실험 결과

주요 결과

정리 1.4 (유계 강한 의사볼록 영역의 응용)

$Ω ⊂ ℂ^n$ 을 경계가 $C^2$ 인 유계 강한 의사볼록 영역이라 하자:

$ω_ρ$ 가 cscK이고 $∂Ω ∈ C^8$ 이면, $ω_ρ$ 는 Cheng-Yau 구성의 유일한 Kähler-Einstein 메트릭과 일치한다
Bergman 메트릭 $ω_B$ 가 cscK이면, $ω_B$ 는 Kähler-Einstein이다; 더 나아가, $∂Ω ∈ C^∞$ 이면, $Ω$ 는 단위 구와 쌍정칙 동형이다