[논문 리뷰] Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV and Y.-T. SIU

Caucher Birkar, Mihai Păun|ArXiv.org|2009. 04. 19.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 6

한 줄 요약

이 논문은 로그 최소 모형과 모리 피브리제이션 공간의 존재성을, 로그 최소 모형 프로그램을 회피하는 새로운 접근법을 통해 $klt$ 쌍 $(X/Z, B)$ 에서 $B$ 가 $Z$ 에 대해 크기일 때 증명한다. 핵심 기여는 디오판틴 근사와 확장 정리에 기반한 의사효율적 로그 캐논리컬 딜레르의 비영성 정리의 증명으로, 이는 로그 캐논리컬 링의 유한 생성성과 $klt$ 경우의 로그 플립 존재성을 암시한다.

ABSTRACT

In this paper, we discuss a proof of existence of log minimal models or Mori fibre spaces for klt pairs $(X/Z,B)$ with $B$ big$/Z$. This then implies existence of klt log flips, finite generation of klt log canonical rings, and most of the other results of Birkar-Cascini-Hacon-McKernan paper.

연구 동기 및 목표

• B 가 Z에 대해 크기일 때 klt 쌍 $(X/Z, B)$ 에 대해 로그 최소 모형 또는 모리 피브리제이션 공간의 존재성을 확립한다.
• 로그 최소 모형 프로그램에 의존하지 않고 의사효율적 로그 캐논리컬 딜레르에 대한 비영성 정리를 증명한다.
• 크기 $\mathbb{Q}$-디바리언트를 가진 $klt$ 쌍에 대해 로그 캐논리컬 링의 유한 생성성을 확립한다.
• 비영성 및 확장 기법을 사용하여 $klt$ 쌍에 대한 로그 플립 존재성의 새로운 증명을 제공한다.
• 직접 이미지 층의 양성과 확장 정리를 사용하여 상대적 설정으로 비영성 결과를 일반화한다.

제안 방법

• Diophantine 근사법을 사용하여, $X_z$ 에서 쌍 $(B, T)$ 의 유리 근사 $(B_i, T_i)$ 를 구성함으로써 $K_X + B + S \equiv \sum r_i(K_X + B_i + S)$ 를 만족시키며 $r_i \in [0,1]$ 이 되도록 보장한다.
• 다양체의 전체 공간으로 섹션을 올리기 위해, 복소다양체의 다중형성과 Ohsawa-Takegoshi 유형의 확장 정리를 적용한다.
• 곡률의 양성과 $klt$ 성질을 사용하여, $q_\eta(K_{X/Z} + B_\eta) + p^*A$ 에 양의 곡률 메트릭을 구성한다.
• 메트릭 하에서 섹션의 유계성을 사용하여, 섹션을 다양체의 전체 영역으로 확장한다.
• 기저점 자유 정리와 상대적 반반단성 정리를 적용하여, 로그 캐논리컬 링의 유한 생성성을 유도한다.
• 차원에 대한 귀납법과 lc 중심의 구조를 사용하여 문제를 $Z$ 가 점인 경우로 축소한다.

실험 결과

연구 질문

• RQ1 B 가 Z에 대해 크기일 때 매번 klt 쌍 $(X/Z, B)$ 는 로그 최소 모형 또는 모리 피브리제이션 공간을 갖는가?
• RQ2 로그 최소 모형 프로그램을 사용하지 않고 의사효율적 로그 캐논리컬 딜레르에 대한 비영성 정리를 증명할 수 있는가?
• RQ3 어떤 쌍에 대해 로그 최소 모형이 존재하면 그 로그 캐논리컬 링의 유한 생성성이 암시되는가?
• RQ4 비영성 및 확장 기법을 사용하여 로그 플립을 $klt$ 쌍에 대해 구성할 수 있는가, 로그 최소 모형 프로그램을 사용하지 않고서도?
• RQ5 Z 위에서 $K_X + B$ 에 대한 상대적 비영성 진술은 직접적 경우로부터 직접 이미지 층의 양성에 의해 유도될 수 있는가?

주요 결과

• 의사효율적 로그 캐논리컬 딜레르에 대한 비영성 정리는 상대 설정에서도 성립한다: $K_X + B$ 가 $Z$ 에 대해 의사효율적이라면 $(X/Z, B)$ 는 효과적이다.
• 기저점 자유 정리와 로그 최소 모형의 존재성에 의해, $klt$ 쌍에 대해 로그 플립이 존재한다.
• B 가 $\mathbb{Q}$-디바리언트일 때, 로그 캐논리컬 링 $\mathcal{R}(X/Z, B) = \bigoplus_{m \geq 0} f_*\mathcal{O}_X(m(K_X + B))$ 는 $\mathcal{O}_Z$ 위에서 유한 생성된다.
• 비영성 정리의 증명은 로그 최소 모형 프로그램을 피하고, 대신 디오판틴 근사와 확장 정리를 기반으로 한다.
• 차원 $d$ 에서 $B$ 가 $Z$ 에 대해 크기일 때, $d-1$ 차원에서의 귀납적 가정 하에 $klt$ 쌍에 대한 로그 최소 모형의 존재성이 확립된다.
• 상대적 비영성 진술은 직접적 경우로부터 직접 이미지 층의 양성과 확장 정리를 사용하여 도출된다.