[논문 리뷰] Kähler-Ricci Flow and the Minimal Model Program for Projective Varieties

Paolo Cascini, Gabriele La Nave|ArXiv.org|2006. 03. 02.

Geometry and complex manifolds참고 문헌 10인용 수 19

한 줄 요약

이 논문은 일반 유형의 프로젝티브 다양체에 대해 칼라비-리치 흐름과 최소 모델 프로그램(MMP) 사이의 직접적 연관성을 수립한다. 흐름이 유한 시간 내에 극값 사슬 수축를 탐지함을 증명하며, 비어있고 큰 카논리컬 번들 조건을 만족하는 매끄러운 최소 모델의 경우, 해석적 부분다양체를 제외한 곳에서는 매끄러운 극한 메트릭로 수렴함을 보이며, 코의 결과를 일반화한다.

ABSTRACT

In this note we propose to show that the Kähler-Ricci flow fits naturally within the context of the Minimal Model Program for projective varieties. In particular we show that the flow detects, in finite time, the contraction theorem of any extremal ray and we analyze the singularities of the metric in the case of divisorial contractions for varieties of general type. In case one has a smooth minimal model of general type (i.e., the canonical bundle is nef and big), we show infinite time existence and analyze the singularities.

연구 동기 및 목표

• 프로젝티브 다양체에 대해 칼라비-리치 흐름과 최소 모델 프로그램(MMP) 사이의 자연스러운 대응 관계를 수립하기 위해.
• 유한 시간 내 특이점으로서 극값 사슬 수축을 탐지하는 칼라비-리치 흐름의 행동을 분석하기 위해.
• 일반 유형의 다양체에 대해, 특히 약수 수축의 경우에 흐름 하에서 메트릭의 특이성을 연구하기 위해.
• 일반 유형의 매끄러운 최소 모델에서 정규화된 칼라비-리치 흐름의 무한 시간 존재성과 정칙성을 증명하기 위해.
• 오비폴드 특이성을 가진 캐논리컬 모델에서 흐름의 장기적 행동에 대한 티안의 추측을 확인하기 위해.

제안 방법

• 시간에 따라 변하는 켈러 포텐셜 변환을 통해 칼라비-리치 흐름을 시간에 따라 변하는 켈러 포텐셜에 대한 스칼라 포아송 방정식으로 환원한다.
• 정규화된 흐름 방정식을 사용: ∂g/∂t = -Ric(g) - g, 初기 메트릭은 앰플 클래스 A에 속함.
• 기저점 자유 정리와 유리성 정리를 적용하여 극값 사슬에 대응하는 수축 사상 c: M → M′을 식별한다.
• 비교 원리와 하한값 구성 기법을 사용하여 포텐셜 함수에 대한 균일한 C^0 추정을 도출한다.
• 시간에 따라 변하는 함수 φ(t)를 사용하여 캐논리컬 모델에서의 극한 함수 φ₀를 근사하는 유계 하한값 u⁻을 구성한다.
• 캐논리컬 모델 X가 캐논리컬 또는 오비폴드 특이성을 가진다는 사실을 이용하여 흐름 방정식의 유계 해의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 최소 모델 프로그램이 예측한 바와 같이, 칼라비-리치 흐름이 유한 시간 내에 극값 사슬의 수축을 탐지할 수 있는가?
• RQ2 일반 유형의 다양체에서 흐름의 존재 최대 시간에 해당하는 메트릭 특이성의 성격은 무엇인가?
• RQ3 비어있고 큰 카논리컬 번들을 가진 매끄러운 최소 모델에서 정규화된 칼라비-리치 흐름이 항상 존재하는가?
• RQ4 오비폴드 특이성만을 가진 캐논리컬 모델에서 극한 메트릭은 어떻게 행동하는가?
• RQ5 일반 유형의 표면에 대해, 흐름이 캐논리컬 모델에서 칼라비-리치 메트릭으로 수렴하는 정도는 어느 정도인가?

주요 결과

• 칼라비-리치 흐름은 r이 유리수인 유한 시간 T = log(r + 1)에 특이점을 형성한다. 여기서 r은 유리성 정리로부터 유도된다.
• 일반 유형의 다양체에 대해, 시간 T에서 메트릭의 특이점 집합 S는 M의 진부분다양체에 포함된다.
• 수축 c: M → M′이 약수 수축이고 M′이 매끄러운 경우, g(T)는 M′에 매끄러운 메트릭을 유도한다.
• K_M이 비어있고 큰 조건을 만족하는 매끄러운 최소 모델에서는 정규화된 칼라비-리치 흐름이 모든 시간 t ∈ (0, ∞)에 대해 존재한다.
• t → ∞일 때 극한 메트릭은 g₀ + ∂∂̄v의 국소 형태를 가지며, 여기서 v는 해석적 부분다양체를 제외한 곳에서 매끄러운 유계 함수이다.
• 일반 유형의 프로젝티브 표면에 대해, 흐름은 유한 시간 내에 캐논리컬 모델에서 칼라비-리치 메트릭으로 수렴하며, 코의 결과의 일반화를 확인한다.