[논문 리뷰] Convergence of Kähler-Ricci flow on lower dimensional algebraic manifolds of general type

Gang Tian, Zhenlei Zhang|arXiv (Cornell University)|2015. 05. 05.

Geometry and complex manifolds참고 문헌 23인용 수 8

한 줄 요약

이 논문은 일반 유형의 최소 대수기하학적 다양체에서 차원 ≤3인 경우, 정규화된 카플러-리치 흐름이 캐논리컬 모델 위의 고유한 특이 카플러-아인슈타인 계량으로 수렴함을 확립한다. 리치 곡률의 균일한 $L^4$-노름 유계성과 직경 유계성 및 비붕괴 추정을 증명함으로써, 저자들은 캐논리컬 모델로의 그로모프-하우스도르프 수렴과 케이러-그로모프 수렴을 보이며, 이는 고차의 캐논리컬 번들의 정규화된 헬모르피크 섹션을 통해 정규 프로젝티브 다양체로 식별된다.

ABSTRACT

In this paper, we prove that the $L^4$-norm of Ricci curvature is uniformly bounded along a Kähler-Ricci flow on any minimal algebraic manifold. As an application, we show that on any minimal algebraic manifold $M$ of general type and with dimension $n\le 3$, any solution of the normalized Kähler-Ricci flow converges to the unique singular Kähler-Einstein metric on the canonical model of $M$ in the Cheeger-Gromov topology.

연구 동기 및 목표

• 차원 ≤3인 일반 유형의 최소 대수기하학적 다양체에서 정규화된 카플러-리치 흐름의 수렴을 확립하는 것.
• 일반 유형의 최소 모델에서 카플러-리치 흐름 동안 리치 곡률의 균일한 $L^4$-노름 유계성을 증명하는 것.
• 흐름에 따른 극한 공간이 원래 다양체의 캐논리컬 모델임을 보이며, 이는 충분히 큰 $\ell$에 대해 $K_M^\ell$의 정칙 섹션을 통해 정규 프로젝티브 다양체로 식별됨을 보여주는 것.
• 흐름이 캐논리컬 모델 위의 고유한 특이 카플러-아인슈타인 계량으로 케이러-그로모프 및 그로모프-하우스도르프 수렴함을 확인하는 것.

제안 방법

• 편미분 $C^0$-추정과 곡률 도함수 추정을 사용하여 카플러-리치 흐름 동안 리치 곡률의 균일한 $L^4$-노름 유계성을 확립하는 것.
• Petersen-Wei의 상대 체적 비교 공식을 적용하여 $p > m/2$ 조건을 만족하는 $L^p$-유계 리치 곡률에 대해 균일한 국소 비붕괴 추정을 도출하는 것.
• Song [26]의 결과를 활용하여 극한 특이 카플러-아인슈타인 공간의 직경 유계성을 도출하고, 그로모프-하우스도르프 수렴을 확보하는 것.
• 진동하는 계량 $h(t) = \omega(t)^{-n\ell}$에 대한 $K_M^\ell$의 옥시던트 정규 정칙 섹션의 가닥을 구성하고, 계수들이 균일하게 감소하는 상미분방정식계를 만족하는 것.
• 카플러 포텐셜과 그 기울기의 균일한 $C^0$ 및 $C^1$ 추정을 증명하여 케이러-그로모프 위상에서 섹션의 수렴을 보장하는 것.
• 극한 사상 $M$에서 $\mathbb{C}P^{N_\ell}$으로의 사상이 캐논리컬 모델 위의 위상동형사상임을 보이며, $M_\infty$가 캐논리컬 모델 $M_{\text{can}}$으로 식별됨을 보여주는 것.

실험 결과

연구 질문

• RQ1 차원 ≤3인 일반 유형의 최소 대수기하학적 다양체에서 정규화된 카플러-리치 흐름이 캐논리컬 모델 위의 특이 카플러-아인슈타인 계량으로 수렴하는가?
• RQ2 일반 유형의 최소 모델에서 카플러-리치 흐름 동안 균일한 $L^4$-노름 유계성이 확보될 수 있는가?
• RQ3 카플러-리치 흐름의 극한 공간이 원래 다양체의 캐논리컬 모델인가? 이는 $K_M^\ell$의 정칙 섹션을 통해 증명될 수 있는가?
• RQ4 $L^p$-유계 리치 곡률이 비붕괴성과 수렴성 보장에 어떤 역할을 하는가?
• RQ5 흐름의 케이러-그로모프 수렴은 캐논리컬 모델의 대수적 구조와 어떻게 관련이 있는가?

주요 결과

• 모든 일반 유형의 최소 대수기하학적 다양체에서 카플러-리치 흐름 동안 리치 곡률의 $L^4$-노름이 균일하게 유계이다.
• 차원 $n \leq 3$인 일반 유형의 최소 모델에서 정규화된 카플러-리치 흐름은 케이러-그로모프 위상에서 캐논리컬 모델 위의 고유한 특이 카플러-아인슈타인 계량으로 수렴한다.
• 차원 $n=2$일 경우 극한 공간은 유한 개의 오비폴드 점을 가진 스무스 카플러-아인슈타인 오비폴드이다.
• 차원 $n=3$일 경우 특이점 집합의 2차원 하우스도르프 측도는 유한하며, 캐논리컬 모델의 구조와 일치한다.
• 극한 공간 $M_\infty$는 정규 프로젝티브 다양체이며, 충분히 큰 $\ell$에 대해 $K_M^\ell$의 정칙 섹션을 통해 캐논리컬 모델 $M_{\text{can}}$과 복소다양체 동형사상이다.
• 흐름은 극한 정칙 섹션의 극한을 통해 $M_\infty$에서 $M_{\text{can}}$으로의 위상동형사상을 유도하며, 이는 극한의 대수적 구조를 확인한다.