[논문 리뷰] The LMMP for log canonical 3-folds in char $p$

Joe Waldron|arXiv (Cornell University)|2016. 03. 09.

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

한 줄 요약

이 논문은 정수형 p > 5에서 로그 캐논리컬 3차원 다항식에 대해 로그 최소 모델 프로그램(LMMP)을 수립하며, 코ーン 정리, 수축 정리, 플립 존재성, 양호한 로그 최소 모델의 존재를 증명한다. 키엘의 준가장성 기준과 dlt 쌍에 대한 조정을 이용하여, 네프이자 양의 로그 캐논리컬 딜로이를 준가장성으로 보여주며, 이러한 쌍에 대해 전체 LMMP를 가능하게 한다.

ABSTRACT

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models for pairs with log divisor numerically equivalent to an effective divisor. These follow from our main results, which are that certain log minimal models are good.

연구 동기 및 목표

• 정수형 p > 5에서 로그 캐논리컬 3차원 다항식으로 로그 최소 모델 프로그램(LMMP)을 확장하는 것.
• 이 설정 하에서 LMMP의 기초 정리—코너 정리, 수축 정리, 플립 존재성—을 수립하는 것.
• 네프이자 양의 로그 캐논리컬 딜로이가 준가장성이 되며, 이는 양호한 최소 모델의 존재를 보장하는 것.
• 표준 퇴적 정리가 존재하지 않는다는 점을 감안해, 정수형에서 키엘의 준가장성 기준을 퇴적 정리의 대체로 사용하는 것.
• 로깅 캐논리컬 임계값에 대한 상승 체인 조건(ACC)을 사용하여 효과적인 쌍에 대한 플립의 종료를 보여주는 것.

제안 방법

• 키엘의 정리 적용: 정수형에서 선다발이 준가장성이 되기 위한 조건은 그 예외적 국소에 대한 제약이 준가장성이 되는 것임.
• 로깅 캐논리컬 쌍을 dlt 모델로 대체하여, 로깅 캐논리컬 딜로이의 예외적 국소가 경계의 감소 부분에 포함되도록 하는 것.
• 감소 경계의 부분 정규화에 대해 조정을 적용하여, 준가장성 문제를 준가장성 표면에 대한 부등식으로 환원하는 것.
• dlt 쌍에 대해 $K_Y + B_Y$의 $\lfloor B_Y \rfloor$에 대한 제약이 준가장성이 되며, 이는 전체 딜로이의 준가장성으로 이어진다는 것을 증명하는 것.
• 코너 정리를 사용해 극단적 반사를 식별하고, 수축 정리를 적용해 주어진 반사에 있는 곡선을 수축하는 프로젝티브 사상 구축하는 것.
• 로깅 캐논리컬 임계값에 대한 ACC를 통해 효과적인 쌍에 대한 플립 수열의 종료를 보장하는 것.

실험 결과

연구 질문

• RQ1 정수형 p > 5에서 로그 캐논리컬 3차원 다항식에 대해 로그 최소 모델 프로그램을 완전히 수행할 수 있는가?
• RQ2 정수형에서 로그 캐논리컬 3차원 다항식에 대해 코너 정리가 성립하는가? 특히 다항식이 Q-팩터링이 아닐 경우에도 성립하는가?
• RQ3 표준 퇴적 정리가 존재하지 않는다는 점을 감안해, 정수형에서 네프이자 양의 로그 캐논리컬 딜로이가 준가장성이 되는가?
• RQ4 정수형 p > 5에서 로그 캐논리컬 3차원 다항식에 대해 플립이 존재하며, LMMP를 통해 구축될 수 있는가?
• RQ5 이 설정 하에서 효과적인 쌍에 대해 LMMP는 종료하는가? 종료를 보장하는 조건은 무엇인가?

주요 결과

• 정수형 p > 5에서 로그 캐논리컬 3차원 다항식에 대해 코너 정리가 성립한다: 모리 코너의 폐포는 $K_X + B$의 네프 코너와 유한 개의 음성 극단적 반사로 분해되며, 각각은 유계 음성 교차를 가지는 유리 곡선으로 표현된다.
• 수축 정리가 수립되었다: $K_X + B$-음성 극단적 반사는 프로젝티브 수축을 가지며, 이는 플립을 구성하는 데 핵심 단계이다.
• 정수형 p > 5에서 로그 캐논리컬 3차원 다항식에 대해 플립이 존재한다: LMMP를 통해 로그 최소 모델을 구성하고, dlt 모델에서 $K_Y + B_Y$의 준가장성 적용으로 이를 보여준다.
• 양호한 로그 최소 모델이 존재한다: $K_X + B$가 기저 $Z$ 위에서 네프이자 양이면, $Z$ 위에서 준가장성이 되며 이는 양호한 최소 모델의 존재를 보장한다.
• 효과적인 쌍에 대해 LMMP는 종료한다: 어떤 $K_X + B$-플립이면서 동시에 어떤 효과적 $M \geq 0$에 대한 $M$-플립인 수열은 로깅 캐논리컬 임계값에 대한 ACC 덕분에 종료한다.
• 주요 기술적 결과는 $\mathbb{Q}$-팩터링 dlt 3차원 다항식 쌍 $(Y, B_Y)$에서 $K_Y + B_Y$가 네프일 경우, $(K_Y + B_Y)|_{\lfloor B_Y \rfloor}$가 준가장성이 되며, 이는 조정과 표면에 대한 기존 결과를 통해 전체 딜로이의 전반적 준가장성으로 이어진다.