[논문 리뷰] Minimal model program for semi-stable threefolds in mixed characteristic

Teppei Takamatsu, Shou Yoshikawa|arXiv (Cornell University)|2020. 12. 14.

Algebraic Geometry and Number Theory참고 문헌 35인용 수 14

한 줄 요약

이 논문은 잔여 특성에 제한 없이, 우수한 Dedekind 스킴 위의 dlt 쌍에 대해 플립의 존재성과 종료성을 증명하여 혼합 특성에서의 3차원의 최소 모델 프로그램(MMP)을 수립한다. Kawamata의 결과를 일반화하기 위해 F-정규성 대신 전역 T-정규성과 교체를 도입함으로써, 잔여 특성 2와 3에서도 준안정 3차원 스킴에 대한 MMP를 가능하게 한다.

ABSTRACT

In this paper, we study the minimal model theory for threefolds in mixed characteristic. As a generalization of a result of Kawamata, we show that the MMP holds for strictly semi-stable schemes over an excellent Dedekind scheme $V$ of relative dimension two without any assumption on the residue characteristics of $V$. We also prove that we can run a $(K_{X/V}+Δ)$-MMP over $Z$, where $π\colon X o Z$ is a projective birational morphism of $\mathbb{Q}$-factorial quasi-projective $V$-schemes and $(X,Δ)$ is a three-dimensional dlt pair with $\mathrm{Exc}(π) \subset \lfloor Δ floor $.

연구 동기 및 목표

• 잔여 특성이 2 또는 3일 경우를 포함한 혼합 특성 설정으로 3차원에 대한 최소 모델 프로그램(MMP)을 확장하는 것.
• 우수한 Dedekind 스킴 위의 엄격한 준안정 스킴에 대한 Kawamata의 MMP 결과를 잔여 특성에 의존하지 않도록 일반화하는 것.
• 준비 투영적 $V$-스킴 위의 dlt 설정에서 $(K_{X/V} + \nabla)$-MMP에 대한 플립과 종료성의 존재를 확립하는 것.
• 혼합 특성에서 플립 존재 정리의 혼합 특성 대응체를 구축하기 위해 Frobenius와 F-정규성 대신 전역 T-정규성과 교체를 사용하는 것.
• MMP 프레임워크를 뒷받침하기 위해 상대 설정에서 캐논리컬 환의 유한 생성성과 네프 다발의 준단조성을 증명하는 것.

제안 방법

• 우수한 Dedekind 스킴 $V$ 위의 로그 쌍에 대해, 교체 이후 Grothendieck 추적 사상의 상연성에 의해 정의된 전역 T-정규성을 도입한다.
• 혼합 특성 설정에서 양의 특성 설정에서 사용하는 Frobenius 기반 방법을 교체와 Frobenius 전환으로 대체한다.
• Bha20, 정리 6.28에서 유도된 교체까지의 퇴화 정리[vanishing theorem]를 사용하여 MMP 과정에서 코homology를 제어한다.
• 플립 중심과 그의 차별에 대한 T-정규성 조건을 검증함으로써, 경계 성분이 앰플인 플립의 존재를 증명한다.
• 기저 점 자유 정리와 준단조성 기준을 정규화와 보편적 호메오모르피즘을 통해 표면 사례로 축소한다.
• Tan18a, 정리 5.2를 통해 섬유 성분과 연결된 섬유에 대한 귀납법을 사용하여 특별 섬유 위의 다발의 준단조성을 확립한다.

실험 결과

연구 질문

• RQ1 3차원에 대한 최소 모델 프로그램(MMP)은 잔여 특성에 제한 없이 혼합 특성으로 확장될 수 있는가?
• RQ2 잔여 특성이 $p = 2$ 또는 $p = 3$일 경우, 혼합 특성에서 dlt 쌍에 대해 플립의 존재성이 성립하는가?
• RQ3 전역 T-정규성과 교체가 혼합 특성에서 플립 존재성을 증명하는 데 있어 전역 F-정규성과 Frobenius를 대체할 수 있는가?
• RQ4 우수한 Dedekind 스킴 위의 ${\mathbb{Q}}$-근본적인 dlt 쌍에 대해 $R(K_{X/V} + \nabla)$의 캐논리컬 환은 유한 생성되는가?
• RQ5 3차원 스킴 위의 이산 평가환환에 대한 네프 다발이 어떤 조건에서 준단조가 되는가?

주요 결과

• $\rho(X/Z) = 1$ 이고 플립 조건이 만족될 경우, 임의의 준비 투영적 $V$-스킴 $Z$ 위의 dlt 쌍 $(X, \nabla)$ 에 대해 $(K_{X/V} + \nabla)$-MMP 가 존재하고 종료된다.
• 모든 $0 < \rho < 1$ 에 대해 국소화 후 $(S^N, (1-\rho)A_S + B_S)$ 가 전역 T-정규일 경우, 경계 성분이 앰플인 플립이 혼합 특성에서 존재한다.
• 우수한 Dedekind 스킴 위의 ${\mathbb{Q}}$-근본적인 dlt 쌍에 대해 $X_s \subset \lfloor \nabla \rfloor$ 를 만족할 경우 캐논리컬 환 $R(K_{X/V} + \nabla)$ 는 유한 생성된다.
• 이산 평가환수 위의 3차원 스킴 $X$ 에서 $L^\perp = \mathbb{R}[\Sigma]$ 를 만족하는 네프 카르티에 다발 $L$ 이 $(K_X + \nabla)$-음성 극단 사의 직선을 가질 경우, $L$ 은 준단조이다.
• 우수한 Dedekind 스킴 위의 엄격한 준안정 3차원 스킴에 대한 MMP 는 최소 모델 또는 모리 피브리케이션 공간에서 종료되며, Cohen-Macaulay 및 기하학적으로 정규인 섬유 조건을 유지한다.
• $L|_{X_s}$ 와 $L|_{X_\eta}$ 의 준단조성에 더하여 [Wit20, 정리 1.8] 을 적용하면 $X$ 위의 $L$ 도 준단조가 된다.