[논문 리뷰] Kahler-Einstein metrics on Fano manifolds, III: limits as cone angle approaches 2π and completion of the main proof

Xiuxiong Chen, Simon Donaldson외 1명|arXiv (Cornell University)|2013. 02. 01.

Geometry and complex manifolds참고 문헌 27인용 수 69

한 줄 요약

이 논문은 Fano 다양체가 Kähler-Einstein 계량을 가질 조건이 K-안정성임을 증명하는 데 성공한다. 원뿔 특이성을 가진 Kähler-Einstein 계량의 극한을 원뿔 각도가 $2\pi$에 수렴함에 따라 분석하여, $\mathbb{Q}$-Fano 다양체 위의 약한 Kähler-Einstein 계량으로 수렴하는 것을 보이며, 복소 차원 $n \geq 2$에서 Yau-Tian-Donaldson 추측의 해석적 증명을 완성한다. 결과적으로 K-안정성은 Fano 다양체에서 Kähler-Einstein 계량이 존재하기 위한 필요이고 충분한 대수기하학적 조건임을 확인한다.

ABSTRACT

This is the third and final paper in a series which establish results announced in arXiv:1210.7494. In this paper we consider the Gromov-Hausdorff limits of metrics with cone singularities in the case when the limiting cone angle approaches 2π. We also put all our technical results together to complete the proof of the main theorem that if a K-stable Fano manifold admits a Kahler-Einstein metric.

연구 동기 및 목표

• Yau-Tian-Donaldson 추측의 증명을 완성하여, Fano 다양체에서 Kähler-Einstein 계량 존재의 필요 및 충분조건으로 K-안정성이 되는 것을 확립한다.
• 원뿔 각도가 $2\pi$로 수렴함에 따라, 부드러운 초면에 沿해 원뿔 특이성을 가진 Kähler-Einstein 계량의 극한을 분석한다.
• 이러한 계량의 수열 극한이 $\mathbb{Q}$-Fano 다양체 위의 약한 Kähler-Einstein 계량으로 수렴함을 보인다.
• 원뿔 각도가 $2\pi$로 수렴하는 경우에 대해 원뿔 특이성을 가진 복소 Monge-Ampère 방정식의 정규성 이론을 확장하여 잠재함수에 대한 $C^{1,1}$ 경계를 확보한다.

제안 방법

• 등변 테스트 구성의 방법을 사용하여 K-안정성을 분석하고, 제어된 특이성을 가진 특이 중심 근처를 포함한다.
• 원뿔 특이성을 가진 복소 Monge-Ampère 방정식을 통해 $L^p$ 추정과 잠재함수 $u$에 대한 $C^{1,1}$ 경계를 적용한다.
• 최대 원리와 Harnack 유형 부등식을 사용하여 헤시안과 곡률 경계에 기반한 잠재함수의 2차 도함수의 진동을 제어한다.
• Gilbarg-Trudinger의 타원적 정규성 이론을 복소 및 Hermitian 설정으로 일반화하여, 메트릭 역행렬 $u^{i\bar{j}}$의 랭크-일의 분해를 활용한다.
• 행렬 행렬식의 로그가 볼록임을 이용하여, 메트릭과 곡률에 기반한 헤시안 성장 제어를 위한 미분 부등식을 유도한다.
• 지배 수렴 정리와 컴팩턴스 추론을 사용하여 잠재함수와 그 도함수의 근사에서 $\epsilon \to 0$으로의 극한을 취한다.

실험 결과

연구 질문

• RQ1 원뿔 각도가 $2\pi$로 수렴함에 따라 원뿔 특이성을 가진 Kähler-Einstein 계량의 극한은 어떻게 되는가?
• RQ2 원뿔 각도가 $2\pi$로 수렴하는 경우에 대해 원뿔 특이성을 가진 복소 Monge-Ampère 방정식의 정규성 이론을 어떻게 확장할 수 있는가?
• RQ3 원뿔 특이성을 가진 Fano 다양체에서의 Kähler-Einstein 계량 수열의 극한은 $\mathbb{Q}$-Fano 다양체 위의 약한 Kähler-Einstein 계량을 유도하는가?
• RQ4 원뿔 각도가 $2\pi$로 수렴함에 따라 잠재함수의 $C^{1,1}$ 정규성은 유지되는가?
• RQ5 진동 추정과 Harnack 유형 부등식을 통해 극한에서 잠재함수의 2차 도함수의 $C^\alpha$ 정규성이 확립될 수 있는가?

주요 결과

• 원뿔 각도 $2\pi\beta_i$가 $2\pi$로 수렴함에 따라, 원뿔 특이성을 가진 Kähler-Einstein 계량 수열의 극한이 존재하며, 이는 $\mathbb{Q}$-Fano 다양체 $W$ 위의 약한 Kähler-Einstein 계량 $\omega$를 유도한다.
• 부분수열로 전환한 후, $|-mK_{X_i}|$에 의해 정의된 임bedding $T_i: X_i \to \mathbb{CP}^N$는 $|-mK_W|$에 의해 정의된 임bedding $T_\infty: W \to \mathbb{CP}^N$로 수렴하며, 여기서 $m$은 차원과 $\lambda$에만 의존한다.
• 잠재함수 $u$에 대한 $C^{1,1}$ 경계는 극한에서 균일하게 제어되며, $\sup_{B_R} |u_{vv}| \leq C$ 이고, 단위 벡터 $\{v, Jv\}$와 대응하는 $\gamma$에 대해 $u_{\gamma\bar\gamma} \geq 0$, $\leq C$이다.
• 2차 도함수의 진동 $\omega(R)$는 $0 < \zeta < 1$에 대해 $\omega(R) \leq \zeta \omega(3R) + C R + C R^2$를 만족하며, 이는 Gilbarg-Trudinger의 보조정리 8.23에 의해 $C^\alpha$ 정규성을 유도한다.
• $L^p$ 추정에서 $M_{3,\gamma} - w_\gamma^\epsilon$는 $\left(R^{-n}\int_{B_R} (M_{3,\gamma} - w_\gamma)^p\right)^{1/p} \leq C_2 (M_{3,\gamma} - M_{1,\gamma} + R^2)$를 유도하며, 이는 $C^\alpha$ 추정에 핵심적이다.
• 최종적으로 행렬 분해 $u^{i\bar j} = \sum \beta_k \gamma_k \otimes \bar\gamma_k$와 미분 부등식 $\sum \beta_k (w_k(x) - w_k(y)) \geq -C_4 |x-y|$를 조합하여 균일한 호일더 제어를 확립한다.