[논문 리뷰] Minimal model program for log canonical threefolds in positive characteristic

Kenta Hashizume, Yusuke Nakamura외 1명|arXiv (Cornell University)|2017. 11. 29.

Algebraic Geometry and Number Theory참고 문헌 23인용 수 16

한 줄 요약

이 논문은 특성 p > 5인 완전체 위에서 3차원 로그 캐날로니컬 쌍에 대한 최소 모형 프로그램(MMP)의 종료성을 확립하며, 이는 이전 결과에서 klt 특이점에서 로그 캐날로니컬 특이점으로의 확장이다. 이는 기초적인 결과들—예를 들어 로그 캐날로니컬 설정에서의 원추 정리 및 기저점 자유 정리—를 활용하여 종료하는 유한한 MMP 순서의 존재를 증명한다.

ABSTRACT

Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.

연구 동기 및 목표

• 양의 특성에서 klt에서 로그 캐날로니컬 3차원 다양체로 최소 모형 프로그램(MMP)을 확장하기 위해.
• 완전체 위에서 특성 p > 5인 3차원 로그 캐날로니컬 쌍에 대한 종료하는 MMP의 존재를 확립하기 위해.
• 원추 정리 및 기저점 자유 정리와 같은 기초 정리를 로그 캐날로니컬 및 비-$\mathbb{Q}$-팩터리얼 설정으로 일반화하기 위해.
• 절대 경우 외에도 준사영 기저 스킴 위에서의 상대적 설정을 다루기 위해.
• 효율적 인수로 조건이 만족될 때 및 $f$-nef와 $f$-big 조건이 성립할 때의 플립 종료성 증명하기 위해.

제안 방법

• 준사영 기저 스킴 $Z$ 위에서 상대적 MMP를 스케일링을 사용하여 구현하며, $f$-편재적 인수의 존재와 변형 기법을 활용한다.
• 원추 정리를 적용하여, 모리 원추의 폐쇄를 극단적 레이와 효과적 곡선의 합으로 묘사하며, $k$가 대수적으로 닫혀 있을 경우 $-(K_X + \Delta) \cdot C_i$에 대한 bound를 제공한다.
• 기저점 자유 정리를 활용하여, $L$이 $f$-nef일 때 세 가지 조건 중 하나를 만족하면 $L$이 $f$-반편재적임을 증명한다: $L - (K_X + \Delta)$가 $f$-반편재적이고 $f$-크다, $L = K_X + \Delta$가 크다, 또는 $\Delta$가 크다.
• 상대 피카르 수 $\rho(X/Z)$에 대한 귀납법을 사용하여, 스티븐 분해 및 비라지오 변환을 통해 낮은 차원의 섬유로 문제를 축소한다.
• 플립과 인수 수축의 순서를 $\nu$-스케일링 방법을 통해 구성한다. 여기서 $\nu$는 $K_X + \Delta + \mu C$가 $f$-가짜효율적이게 되는 $\mu$의 하한이다.
• 기본적으로 $K_Y + \Delta_Y = g^*(K_X + \Delta)$를 만족하는 프로젝티브 해체 $g: Y \to X$의 존재를 이용하여, MMP 행동을 통제 가능한 모델로 이전할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 양의 특성에서 klt에서 로그 캐날로니컬 3차원 다양체로 최소 모형 프로그램을 확장할 수 있는가?
• RQ2 완전체 위에서 특성 $p > 5$인 로그 캐날로니컬 3차원 다양체에 대한 MMP는 유한한 단계 이후 종료되는가?
• RQ3 완전체 위에서 로그 캐날로니컬 및 비-$\mathbb{Q}$-팩터리얼 설정에서 원추 정리 및 기저점 자유 정리는 유효한가?
• RQ4 절대 경우 외에도 준사영 기저 스킴 $Z$ 위에서 상대적 MMP를 구성할 수 있는가?
• RQ5 특히 $K_X + \Delta$가 가짜효율적이지 않을 경우, MMP는 어떤 조건에서 종료되는가?

주요 결과

• 완전체 위에서 특성 $p > 5$인 3차원 로그 캐날로니컬 쌍에 대한 MMP는 유한한 단계 이후 종료된다.
• 로그 캐날로니컬 케이스에서 원추 정리가 성립한다: $\overline{\operatorname{NE}}(X/Z) = \overline{\operatorname{NE}}(X/Z)_{K_X+\Delta \geq 0} + \sum \mathbb{R}_{\geq 0}[C_i]$이며, $k$가 대수적으로 닫혀 있을 경우 $0 < -(K_X + \Delta) \cdot C_i \leq 6$를 만족하는 유리 곡선이 존재한다.
• 기저점 자유 정리가 성립한다: $L$이 $f$-nef이고 다음 세 조건 중 하나를 만족하면 $L$은 $f$-반편재적이다 (예: $L - (K_X + \Delta)$가 $f$-반편재적이고 $f$-크다).
• 플립의 종료는 $K_X + \Delta \equiv_f D$를 만족하는 일부 효과적 $\mathbb{R}$-카르티에 인수 $D$가 존재할 경우 보장되며, 이는 무한한 플립 순서가 존재하지 않음을 보장한다.
• $K_X + \Delta$가 $f$-가짜효율적이지 않다면, MMP는 $\dim Y < \dim X_\ell$를 만족하는 $X_\ell \to Y$에 대한 모리 섬유 공간으로 종료된다.
• MMP 동안 상대 피카르 수 $\rho(X/Z)$는 엄격히 감소하므로, 귀납적 종료 증명이 가능하다.