[논문 리뷰] A note on compact Kähler-Ricci flow with positive bisectional curvature

Huai-Dong Cao, Meng Zhu|arXiv (Cornell University)|2008. 11. 06.

Geometry and complex manifolds참고 문헌 14인용 수 4

한 줄 요약

이 논문은 초기에 양의 이차부분곡률을 가진 컴팩트 켈러-리치 흐름에 대해, 전체 시간에 걸쳐 정규화된 켈러-리치 흐름의 헬모르피크 이차부분곡률에 대해 일관된 양의 하한을 확립하며, 유계 Mabuchi K-에너지가 아니라 더 약한 조건인 Futaki 불변량의 영함수 조건 하에서 켈러-아인슈타인 계량으로의 지수적 $C^\infty$ 수렴을 증명한다. 이 결과는 핵심 에너지 조건을 완화함으로써 이전의 수렴 정리들을 강화한다.

ABSTRACT

We show that for any solution to the Kähler-Ricci flow with positive bisectional curvature on a compact Kähler manifold $M^n$, the bisectional curvature has a uniform positive lower bound. As a consequence, the solution converges exponentially fast to an Kähler-Einstein metric with positive bisectional curvature as t tends to the infinity, provided we assume the Futaki-invariant of $M^n$ is zero. This improves a result of D. Phong, J. Song, J. Sturm and B. Weinkove in which they assumed the stronger condition that Mabuchi K-energy is bounded from below.

연구 동기 및 목표

• 초기 양의 이차부분곡률을 가진 컴팩트 켈러 다양체 위의 정규화된 켈러-리치 흐름에 대해, 헬모르피크 이차부분곡률에 대해 일관된 양의 하한을 확립하는 것.
• Mabuchi K-에너지가 유계라는 조건을 Futaki 불변량이 영이라는 더 약한 조건으로 약화시킴으로써 켈러-리치 흐름의 수렴 결과를 향상시키는 것.
• Futaki 불변량이 영일 경우, 흐름이 $C^\infty$ 노름에서 켈러-아인슈타인 계량으로 지수적으로 빠르게 수렴함을 보이는 것.
• 한계 계량이 $\mathbb{C}P^n$과의 바이홀로모르픽임을 보여주는 것.

제안 방법

• 햄일턴의 컴acts니스 정리를 기반으로 한 모순 추론을 통해 리치 곡률에 대한 일관된 하한을 유도하는 것.
• H.-L. 구의 비음이 아닌 이차부분곡률을 가진 켈러 계량에 관한 결과를 적용하여, 리치 곡률이 영인 수축 솔리톤이 존재하지 않음을 배제하는 것.
• 브렌들-쇼엔의 방법과 채ン-선-티엔의 보조정리에 기반한 퇴화된 포물형 연산자에 대한 강한 최대원리 적용을 통해 곡률 진화를 통제하는 것.
• 리치 곡률과 계량을 포함하는 수정된 곡률 텐서 $S_{i\bar{j}k\bar{l}}(t)$에 최대원리를 적용하여 이차부분곡률의 하한을 도출하는 것.
• 스케일링된 흐름의 극한이 비음이 아닌 이차부분곡률을 가진 경량 수축 켈러-리치 솔리톤으로 수렴한다는 사실에 기반하는 것.
• 이차부분곡률에 대한 일관된 하한과 폰-송-슈템-바이넥스의 결과를 결합하여, Futaki 불변량이 영일 경우 지수적 $C^\infty$ 수렴을 확립하는 것.

실험 결과

연구 질문

• RQ1 초기 양의 이차부분곡률을 가진 컴팩트 켈러 다양체 위의 정규화된 켈러-리치 흐름에 대해, 헬모르피크 이차부분곡률에 대해 일관된 양의 하한을 확립할 수 있는가?
• RQ2 Mabuchi K-에너지가 유계라는 조건이 아니라, 더 약한 조건인 Futaki 불변량이 영일 경우, 켈러-리치 흐름이 켈러-아인슈타인 계량으로 지수적으로 빠르게 수렴하는가?
• RQ3 이차부분곡률이 일관되게 아래로 유계이고 양일 경우, 한계 켈러-아인슈타인 계량은 반드시 일정한 헬모르피크 단면곡률을 가질까?
• RQ4 표준 반응 미분방정식 시스템이 하한을 유지하지 못하는 상황에서도, 최대원리 기법을 통해 켈러-리치 흐름의 곡률 핀칭 행동을 통제할 수 있는가?
• RQ5 연산자 $L = -g^{i\bar{j}}\nabla_i\nabla_{\bar{j}}$의 가장 작은 양의 고유값 $\lambda$는 켈러-리치 흐름의 수렴 역학에서 어떤 역할을 하는가?

주요 결과

• 모든 $t \geq 0$ 에 대해 헬모르피크 이차부분곡률 $R_{i\bar{i}j\bar{j}}(t)$ 는 양수인 상수 $C_1 > 0$ 으로 일관되게 아래로 유계이다.
• 리치 곡률 $R_{i\bar{j}}(t)$ 는 메트릭 $g_{i\bar{j}}(t)$ 의 양수배로 일관되게 아래로 유계이며, 즉 $R_{i\bar{j}}(t) > C g_{i\bar{j}}(t)$ 이다.
• 모든 $t \geq 0$ 에 대해 연산자 $L = -g^{i\bar{j}}\nabla_i\nabla_{\bar{j}}$ 의 가장 작은 양의 고유값 $\lambda$ 는 양수인 상수 $C_2 > 0$ 으로 일관되게 아래로 유계이다.
• Futaki 불변량이 영일 경우, 켈러-리치 흐름은 $C^\infty$-노름에서 지수적으로 빠르게 켈러-아인슈타인 계량으로 수렴한다.
• 한계 켈러-아인슈타인 계량은 양의 이차부분곡률을 가지며, 따라서 일정한 헬모르피크 단면곡률을 가진다.
• 다양체 $M^n$ 은 $\mathbb{C}P^n$ 과 바이홀로모르픽이며, 한계 계량은 푸비니-슈타디 메트릭이다.