[논문 리뷰] Semistable Minimal Models of Threefolds in Positive or Mixed Characteristic

Yūjirō Kawamata|ArXiv.org|1993. 03. 05.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 51

한 줄 요약

이 논문은 정수 또는 혼합 특성에서 3차원에 대한 최소 모델 프로그램을 확장하며, 종단 특이점에 대한 기술적 가정 하에 코ーン, 수축, 플립 정리들을 확립한다. 디데킨드 링 위에서 준안정 감소를 갖는 3차원에서 준안정 최소 모델의 존재를 증명하며, 코다이라 퇄화가 실패하더라도 특성 0 결과를 일반화한다.

ABSTRACT

We extend the minimal model theorem to the 3-dimensional schemes which are projective and have semistable reduction over the spectrum of a Dedekind ring.

연구 동기 및 목표

• 3차원에 대한 최소 모델 프로그램을 코다이라 퇄화가 실패하는 정수 또는 혼합 특성으로 확장하는 것.
• 더 약한 퇄화 정리들을 사용하여 이 설정에서 코너, 수축, 플립 정리를 확립하는 것.
• 디데킨드 링 위에서 준안정 3차원에서 최소 모델 프로그램이 정지하고 최소 모델 또는 모리 피브리어 스페이스를 생성함을 증명하는 것.
• 종단 특이점에 대한 기술적 가정이 변호 수축과 플립에 의해 유지되는지 확인하는 것.
• 일반 성분이 코다이라 차원 2를 갖는 경우 상대 캐논리컬 링이 유한 생성됨을 보이는 것.

제안 방법

• 3차원이 표면 위로 피브리드되어 있음을 이용하여 로그 표면 이론을 통해 코너 정리를 사용한다.
• 코다이라 퇄화가 없는 상황에서 코어닝 정리를 증명하기 위해 더 약한 퇄화 정리(보조정리 2.1 및 2.2)를 적용한다.
• 종단 특이점의 행동이 정수 특성에서 잘 이루어지도록 보장하기 위해 정의 1.1의 기술적 조건(6)을 도입한다.
• 지역 캐논리컬 코팅과 토릭 기하학 기법을 사용하여 특성과 무관하게 종단 특이점을 분류한다.
• 예외적 분할의 최소 불일치 계수를 사용하여 플립의 정지성을 증명한다.
• 상대 캐논리컬 딜라이저의 최대 인덱스에 대한 귀납법을 사용하여 플립 정리를 증명한다.

실험 결과

연구 질문

• RQ1 코다이라 퇄화가 실패하는 정수 또는 혼합 특성에서 3차원에 대한 최소 모델 프로그램을 확장할 수 있는가?
• RQ2 그라우에르트-레슈너 퇄화가 없는 정수 특성에서 수축 정리는 성립하는가?
• RQ3 종단 특이점에 대한 기술적 가정(6)은 플립과 변호 수축에서 유지되는가?
• RQ4 정수 특성에서 플립 과정은 정지할 수 있으며, 어떻게 이를 보장할 수 있는가?
• RQ5 준안정 감소와 코다이라 차원 2를 갖는 3차원의 상대 캐논리컬 링은 유한 생성되는가?

주요 결과

• 디데킨드 링 위에서 준안정 감소를 갖는 프로젝티브 3차원에서 코너 정리가 성립하며, 상대 캐논리컬 딜라이저가 네프가 아니면 극단적 반사선이 존재함을 보장한다.
• 더 약한 퇄화 정리를 사용하여 코어닝 정리를 확립함으로써, 코다이라 퇄화가 없는 상황에서 극단적 반사선에 대한 수축 준동형을 허용한다.
• 상대 캐논리컬 딜라이저의 최대 인덱스에 대한 귀납법을 사용하여 플립 정리를 증명하였으며, 최소 불일치 계수로 정지가 보장된다.
• 종단 특이점에 대한 기술적 가정(6)은 변호 수축과 플립에서 유지되며, 이는 최소 모델의 귀납적 구성에 기여한다.
• 일반 성분이 코다이라 차원 2를 갖는 경우 상대 캐논리컬 링은 유한 생성되며, 어떤 $ m_0 $ 에 대해 $ \mathcal{O}_X(m_0 K_{X/\Delta}) $ 가 전역 절단에 의해 생성된다.
• 최소 모델 프로그램은 정지하여 주어진 3차원에 대해 최소 모델 또는 모리 피브리어 스페이스를 생성한다.