[논문 리뷰] A continuity method to construct canonical metrics

Gabriele La Nave, Gang Tian|arXiv (Cornell University)|2014. 10. 12.

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

한 줄 요약

이 논문은 시간에 따라 매개변수화된 복소 면적-암페르 방정식의 가중치를 통해 컴acts Kähler 다양체 위에 정규화된 계량을 구성하기 위해 새로운 연속성 방법을 제안한다. 이 방법은 Ricci 곡률이 일관되게 유계임을 보장하며, 최대 해가 시간 $ T $ 까지 존재함을 보여준다. 이 경우 극한 계량은 기저 집합 외부에서 매끄럽고 일반화된 Kähler-Einstein 방정식을 만족한다. 이는 분석적 최소 모델 프로그램에서 Kähler-Ricci 유동의 대안이 된다.

ABSTRACT

We introduce a new continuity method which provides an alternative way of carrying out the Analytic Minimal Model Program introduced by G. Tian and J. Song and G. Tian. This equation -- unlike the Ricci flow -- has the advantage of having Ricci curvature bounded from below along the deformation, so that the compactness theory of Cheeger-Colding-Tian for Kaehler manifolds and the partial $C^0$-estimate, can be applied.

연구 동기 및 목표

• 분석적 최소 모델 프로그램에서 Kähler-Ricci 유동의 대안으로 정규화 계량을 구성하기 위한 방법 개발.
• 일관되게 유계된 Ricci 곡률을 갖는 계량의 연속 경로에 대해 최대 해 시간 $ T $ 가 존재함을 증명하기.
• 극한 계량 $ \omega_T $ 가 기저 집합 외부에서 매끄럽고 정규 부분에서 일반화된 Kähler-Einstein 방정식을 만족함을 증명하기.
• 플립과 수술을 통한 계량 붕괴 프로그램을 제안하며, Kähler-Ricci 유동과 수술의 경우와 유사하게 전개하기.
• Kodaira 차원에 따라 계량의 점점 수렴하는 행동을 추측하기 — Calabi-Yau 또는 일반화된 Kähler-Einstein 계량으로 수렴함.

제안 방법

• 1-파라미터 방정식 가중치 $ \omega_t = \omega_0 - t \, \text{Ric}(\omega_t) $ 를 사용하여, $ [\omega_t] = [\omega_0] - t c_1(M) $ 로 Kähler 클래스가 선형적으로 변형됨을 보장한다.
• 문제는 복소 면적-암페르 방정식 $ (\tilde{\omega}_t + t\sqrt{-1}\partial\bar{\partial}u)^n = e^u \Omega $ 로 축소되며, 여기서 $ \tilde{\omega}_t = \omega_0 - t\psi $ 이고 $ \psi \in c_1(M) $ 이다.
• 해의 존재성은 연속성 방법을 통해 증명되며, $ [0, T) $ 에서 해 집합이 열려 있고 닫혀 있음을 보여, $ T $ 는 $ [\omega_0] - t c_1(M) > 0 $ 를 만족하는 $ t $ 의 상한으로 정의된다.
• 근처 $ T $ 에서 아래로 유계인 Ricci 곡률은 콤팩트성 이론(Cheeger-Colding-Tian)과 부분 $ C^0 $-추정을 적용할 수 있게 한다.
• 극한 계량 $ \omega_T $ 는 $ \mathcal{S} $ 가 $ [\omega_0] - T c_1(M) $ 의 기저 집합일 때 $ M \setminus \mathcal{S} $ 에서 매끄럽다는 것이 입증된다.
• 이 방법은 플립과 수술을 통한 계량 붕괴 프로그램으로 확장되며, Kodaira 차원에 따라 일반화된 Kähler-Einstein 계량으로 수렴하는 것을 추측한다.

실험 결과

연구 질문

• RQ1 연속성 방법을 구성할 수 있는가? 이는 분석적 최소 모델 프로그램에서 일관되게 유계된 Ricci 곡률을 보장하고, 콤팩트성 추론을 가능하게 하는가?
• RQ2 연속 경로 $ \omega_t = \omega_0 - t \, \text{Ric}(\omega_t) $ 가 매끄러운 해를 갖는 최대 시간 $ T $ 는 무엇인가?
• RQ3 극한 계량 $ \omega_T $ 는 약한 Kähler 계량으로 존재하며, 기저 집합 외부에서 매끄럽고 일반화된 Kähler-Einstein 방정식을 만족하는가?
• RQ4 이 방법은 Kähler-Ricci 유동과 수술과 유사하게 플립과 수술을 포함하도록 확장될 수 있는가?
• RQ5 시간 $ t \to \infty $ 에서 $ \omega_t $ 의 점점 수렴 행동은 무엇인가? 특히 Kodaira 차원과 일반화된 Kähler-Einstein 계량과의 관계는 어떻게 되는가?

주요 결과

• 최대 해 시간 $ T $ 는 $ T = \sup\{ t \mid [\omega_0] - t c_1(M) > 0 \} $ 으로 정의되며, 해 $ \omega_t $ 는 $ M \times [0, T) $ 에서 매끄럽게 존재한다.
• 만약 $ T < \infty $ 이고 $ ([\omega_0] - T c_1(M))^n > 0 $ 이면, $ \omega_t $ 는 기저 집합 $ \mathcal{S} $ 를 제외한 $ M \setminus \mathcal{S} $ 에서 매끄럽고 약한 Kähler 계량 $ \omega_T $ 로 수렴한다.
• 극한 계량 $ \omega_T $ 는 $ M \setminus \mathcal{S} $ 에서 $ \omega_T = \omega_0 - T \, \text{Ric}(\omega_T) $ 를 만족하며, $ T $ 근처에서 $ \omega_t $ 의 Ricci 곡률은 아래로 일관되게 유계이다.
• 시간 $ t \in (0, T) $ 에서 $ (M, \omega_t) $ 의 지름은 일관되게 유계일 것으로 예상되며, 이는 $ (M \setminus \mathcal{S}, \omega_T) $ 의 완비화인 $ (M_T, d_T) $ 로의 Gromov-Hausdorff 수렴을 가능하게 한다.
• 만약 $ T = \infty $ 이면, 스케일된 계량 $ t^{-1} \omega_t $ 는 $ M $ 의 캐논리컬 모델 위에서 일반화된 Kähler-Einstein 계량으로 수렴할 것으로 예상되며, 특히 $ (-c_1(M))^n > 0 $ 이면 더욱 그렇다.
• 논문은 $ \kappa(M) = 0 $ 이면 $ \omega_t $ 가 $ M \setminus \mathcal{D} $ 에서 Calabi-Yau 계량으로 매끄럽게 수렴하고, $ \kappa(M) = n $ 이면 $ t^{-1} \omega_t $ 가 스칼라 곡률 $ -n $ 을 갖는 Kähler-Einstein 계량으로 수렴하며, Gromov-Hausdorff 수렴이 컴acts 메트릭 공간으로 이루어질 것이라고 추측한다.