[논문 리뷰] On the three dimensional minimal model program in positive characteristic

Christopher D. Hacon, Chenyang Xu|arXiv (Cornell University)|2013. 02. 01.

Algebraic Geometry and Number Theory참고 문헌 32인용 수 19

한 줄 요약

이 논문은 표준 계수 조건 하에 양의 특성 p > 5에서 3차원 klt 및 터미널 쌍에 대해 플립과 최소 모델의 존재를 확립한다. 쇼쿠로프의 pl-플립 접근 방식을 적응시키고, 카와마타-비에흐의 퇴화가 실패하는 것을 보완하기 위해 프로베누스 분할 기법을 활용함으로써, 제한된 다중표준 선형 계수의 유한 생성성을 증명하며, 이는 이 설정에서 3-다양체에 대한 최소 모델 프로그램을 완성한다.

ABSTRACT

Let $f:(X,B) o Z$ be a 3-fold extremal dlt flipping contraction defined over an algebraically closed field of characteristic $p>5$, such that the coefficients of $\{B\}$ are in the standard set $\{1-\frac 1n|n\in \mathbb N\}$, then the flip of $f$ exists. As a consequence, we prove the existence of minimal models for any projective $\Q$-factorial terminal variety $X$ with pseudo-effective canonical divisor $K_X$.

연구 동기 및 목표

• 3차원 dlt 쌍에 대해 양의 특성 p > 5에서 플립의 존재를 확립한다.
• 표준 계수 조건 하에, 근본적 다중표준 선형 계수를 가진 프로젝티브 Q-팩터러블 터미널 3-다양체에 대해 최소 모델의 존재를 증명한다.
• 양의 특성에서 카와마타-비에흐 퇴화의 실패를 프로베누스 기반 기법을 통해 극복한다.
• 표준 계수 조건 하에 최소 모델 프로그램을 양의 특성 3-다양체로 확장한다.
• 기저 체가 양의 특성에서 대수적으로 닫힌 체일 경우 수정된 MMP를 통해 최소 모델을 얻을 수 있는지 확인한다.

제안 방법

• 플립 존재성을 제한된 다중표준 선형 계수의 유한 생성성으로 줄이기 위해, 양의 특성으로의 쇼쿠로프의 pl-플립 감소 전략을 적응시킨다.
• 제한된 대수 R_S/Z(K_X + S + B)에 관련된 이동하는 b-다중표준 선형 계수의 수열을 안정화하기 위해 프로베누스 분할 기법을 사용한다.
• 1/m M_{m,S'} 수열의 안정성을 증명하기 위해, 고정된 모델로 내림내리고 상대적 준단조성과 키엘 기준을 통해 안정화를 보인다.
• 이동 조정의 역전과 dlt 쌍에 대한 조정을 사용하여 전체 공간의 특이성과 그의 초면 S의 특이성 간의 관계를 연결한다.
• X 위에서 K_{X̄} + B̄의 상대적 준단조성을 사용하여, 키엘의 상대적 준단조성에 대한 정리에 따라 전역 준단조성을 유도한다.
• 특성 p > 5에서 F-특이성과 프로베누스 분할이 코homological 퇴화와 기저점 없는 행동을 제어할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 표준 계수 조건 하에, 양의 특성 p > 5에서 3-다양체에 대한 최소 모델 프로그램이 성립하는가?
• RQ2 카와마타-비에흐 퇴화의 실패에도 불구하고, 양의 특성에서 플립 존재성을 확립할 수 있는가?
• RQ3 제한된 대수 R_S/Z(K_X + S + B)의 유한 생성성이 양의 특성에서 플립 존재성에 충분한가?
• RQ4 기저 체가 양의 특성에서 대수적으로 닫혀 있을 경우, 수정된 MMP를 통해 최소 모델을 구성할 수 있는가?
• RQ5 3-다양체 쌍이 근본적 다중표준 선형 계수를 가질 때, 어떤 조건에서 최소 모델이 보장되는가?

주요 결과

• 특성 p > 5에서 {B}의 계수가 표준 집합 {1 - 1/n | n ∈ ℕ}에 속하는 임의의 극단적 dlt 플립 수축 f:(X,B) → Z에 대해 플립이 존재한다.
• 모든 Δ의 계수가 표준 집합에 속하고 N_σ(K_X + Δ) ∧ Δ = 0일 경우, 근본적 다중표준 선형 계수를 가진 프로젝티브 Q-팩터러블 터미널 3-다양체 X에 대해 최소 모델이 존재한다.
• 기저 체가 양의 특성에서 대수적으로 닫혀 있을 경우, 특히 k = Ḟ_p일 경우, K_X + Δ-MMP를 일반적인 방식으로 시행함으로써 최소 모델을 얻을 수 있다.
• 충분히 나누어지는 m에 대해 유리 b-다중표준 선형 계수 수열 1/m M_{m,S'}가 안정화되며, 이는 제한된 대수 R_S/Z(K_X + S + B)의 유한 생성성을 암시한다.
• dlt 수정의 존재와 프로베누스 분할 기법의 사용으로, 양의 특성에서 퇴화 정리의 실패를 우회할 수 있었다.
• 상대적 준단조성에 대한 키엘 기준을 사용하여 K_{X̄} + B̄가 X 위에서 준단조임을 유도하였으며, 이는 유한 생성성과 플립 존재성 증명에 필수적이다.