[논문 리뷰] Diameter and Ricci curvature estimates for long-time solutions of the Kahler-Ricci flow

Wangjian Jian, Jian Song|arXiv (Cornell University)|2021. 01. 12.

Geometry and complex manifolds참고 문헌 45인용 수 5

한 줄 요약

이 논문은 캐논칼 번들의 준가용성 조건 하에, 캐논칼 번들이 준가용한 켈러 다양체 위에서 정규화된 켈러-리치 유동의 장기 해에 대해 일관된 지름과 리치 곡률의 경계를 확립한다. 캐논칼 번지의 준가용성 조건 하에, 저자들은 지름이 일관되게 유계이면서도 특이 섬유에서 멀리 떨어진 곳에서는 리치 곡률이 일관되게 유계임을 증명하며, 최소 모델 프로그램의 프레임워크 내에서 장기적 영역으로 페렐만 유형 추정을 확장한다.

ABSTRACT

It is well known that the Kähler-Ricci flow on a Kähler manifold $X$ admits a long-time solution if and only if $X$ is a minimal model, i.e., the canonical line bundle $K_X$ is nef. The abundance conjecture in algebraic geometry predicts that $K_X$ must be semi-ample when $X$ is a projective minimal model. We prove that if $K_X$ is semi-ample, then the diameter is uniformly bounded for long-time solutions of the normalized Kähler-Ricci flow. Our diameter estimate combined with the scalar curvature estimate in [34] for long-time solutions of the Kähler-Ricci flow are natural extensions of Perelman's diameter and scalar curvature estimates for short-time solutions on Fano manifolds. We further prove that along the normalized Kähler-Ricci flow, the Ricci curvature is uniformly bounded away from singular fibres of $X$ over its unique algebraic canonical model $X_{can}$ if the Kodaira dimension of $X$ is one. As an application, the normalized Kähler-Ricci flow on a minimal threefold $X$ always converges sequentially in Gromov-Hausdorff topology to a compact metric space homeomorphic to its canonical model $X_{can}$, with uniformly bounded Ricci curvature away from the critical set of the pluricanonical map from $X$ to $X_{can}$.

연구 동기 및 목표

• 최소 모델의 프레임워크에서 페렐만의 단기적 지름 및 스칼라 곡률 추정을 장기적 해로 확장하기 위해.
• 캐논칼 번지가 준가용하다는 가정 하에 일관된 지름 경계를 확립하기 위해.
• 코다이라 차원이 1인 경우에 대해 특이 섬유에서 멀어진 곳에서 일관된 리치 곡률 경계를 증명하기 위해.
• 최소 3차원 다양체에서 정규화된 켈러-리치 유동의 그로모프-하우스도르프 극한을 분석하기 위해.
• 흐름이 제어된 곡률을 가진 컴팩트 거리 공간으로 캐논칼 모델로 수렴함을 확인하기 위해.

제안 방법

• 초기 켈러 메트릭 $ g_0 $ 를 가진 정규화된 켈러-리치 유동 방정식을 사용하며, 이는 $ \partial_t g = -\text{Ric}(g) - g $ 로 정의된다.
• 다양체 $ X $ 에서 $ X_{\text{can}} $ 으로의 다항체적 사상 $ \Phi: X \to X_{\text{can}} $ 을 적용하여, $ X^\circ = \Phi^{-1}(X_{\text{can}}^\circ) $ 라는 열린 부분집합을 정의한다. 여기서 $ X_{\text{can}}^\circ $ 는 섬유가 비특이적인 자리스키 열린 부분집합이다.
• 곡률 양을 제어하기 위해, $ \rho $ 를 캐리어 함수로, $ H $ 를 정규화된 포텐셜 $ u - \bar{u} $ 와 관련된 양으로 하여, 리아프노프 유형 함수 $ K = \rho^l H $ 를 구성한다.
• 함수 $ K $ 에 대해 최대 원리 추론을 적용하여 스칼라 곡률과 리치 곡률 성분에 대한 일관된 상한을 도출한다.
• Weil-Petersson 메트릭 $ g_{WP} $ 를 가진 $ X_{\text{can}}^\circ $ 에서 $ \text{Ric}(g_{\text{can}}) = -g_{\text{can}} + g_{WP} $ 를 만족하는 왜곡된 켈러-아인슈타인 메트릭 $ g_{\text{can}} $ 를 사용한다.
• 리치 곡률 성분의 국소적 추정과 스칼라 곡률 제어를 통해, 컴팩트 부분집합 $ \mathcal{K} \subset X^\circ $ 에서 $ |\text{Ric}| $ 에 대한 일관된 경계를 확립한다.

실험 결과

연구 질문

• RQ1 캐논칼 번지 $ K_X $ 가 준가용할 경우, 정규화된 켈러-리치 유동 동안 켈러 다양체의 지름이 일관되게 유계로 유지되는가?
• RQ2 코다이라 차원이 1일 경우, 다항체적 사상의 특이 섬유에서 멀어진 곳에서 리치 곡률이 일관되게 유계로 유지되는가?
• RQ3 최소 3차원 다양체에서 정규화된 켈러-리치 유동의 장기적 해가 그로모프-하우스도르프 위상에서 캐논칼 모델로 수렴하는가?
• RQ4 최소 모델 프로그램의 맥락에서, 페렐만 유형의 지름 및 스칼라 곡률 추정이 장기적 해로 얼마나 일반화되는가?
• RQ5 다항체적 분할의 특이 섬유 근처에서 곡률 행동이 극한 거리 구조에 어떤 영향을 미치는가?

주요 결과

• 캐논칼 번지 $ K_X $ 가 준가용할 경우, 정규화된 켈러-리치 유동 동안 켈러 다양체의 지름이 모든 시간에 대해 일관되게 유계이다.
• 코다이라 차원이 1인 다양체의 경우, 다항체적 사상의 특이 섬유에서 멀어진 곳에서 리치 곡률이 일관되게 유계이다.
• 최소 3차원 다양체에서, 정규화된 켈러-리치 유동은 그로모프-하우스도르프 위상에서 순차적으로 캐논칼 모델 $ X_{\text{can}} $ 와 동형인 컴팩트 거리 공간으로 수렴한다.
• 다항체적 분할의 정규 근원 $ X^\circ $ 의 임의의 컴팩트 부분집합 $ \mathcal{K} \subset X^\circ $ 에서 리치 곡률은 일관되게 유계이다.
• 극한 거리 공간은 $ (X_{\text{can}}^\circ, g_{\text{can}}) $ 의 거리 완비화이며, 이는 컴팩트하고 $ X_{\text{can}} $ 과 위상적으로 동형이다.
• 증명은 특별히 구성된 함수 $ K = \rho^l H $ 에 최대 원리를 적용함에 기반하며, 국소적 추정을 통해 곡률 양에 대한 일관된 경계를 도출한다.