[논문 리뷰] Globally +-regular varieties and the minimal model program for threefolds in mixed characteristic

Bhargav Bhatt, Linquan Ma외 5명|arXiv (Cornell University)|2020. 12. 31.

Algebraic Geometry and Number Theory참고 문헌 109인용 수 22

한 줄 요약

이 논문은 잔여 특성이 5를 초과하는 혼합 특성에서 3차원 산술적 다양체에 대한 최소 모델 프로그램(MMP)을 수립한다. 전역 +-정규 다양체라는 개념(전역 F-정규성의 혼합 특성에 대응하는 개념)을 도입함으로써, 잔여 특성이 5를 초과하는 우수한 도메인 위에서 klt 3차원 다양체에 대한 최소 모델과 모리 피브리제이션의 존재를 증명하며, 양의 특성에서의 기초 결과를 확장하고 이 설정에서 후지타 추측의 핵심 사례를 해결한다.

ABSTRACT

We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable sections of adjoint line bundles. Finally, by passing to graded rings, we generalize a special case of Fujita's conjecture to mixed characteristic.

연구 동기 및 목표

• . 이 논문은 잔여 특성이 5를 초과할 때 혼합 특성에서 3차원 다양체로 최소 모델 프로그램(MMP)을 확장하고자 한다.
• . 전역 F-정규성의 혼합 특성에 대응하는 버전을 개발하고, 새로운 개념인 전역 +-정규 다양체를 도입하고자 한다.
• . 양의 특성과 혼합 특성에서 고전적 퇴적 정리(예: 카와마타-비에흐웨그)의 실패를 해결하기 위해 프로베누스와 코hen-맥컬레이 대수를 이용한 대체 도구를 구축하고자 한다.
• . 섹션 링과 완비화 기법을 통해 후지타 추측을 혼합 특성으로 일반화하고자 한다.
• . klt 3차원 다양체에 대해 혼합 특성에서의 플립 존재성과 MMP의 종료성을 증명하는 것을 목표로 한다.

제안 방법

• . 저자들은 혼합 특성에서 절대 정수적 닫힘 R+와 그 코헨-맥컬레이 성질을 이용하여 전역 +-정규 다양체를 도입하며, 비하르바브 브hatt의 작업에 기반한다.
• . 그들은 수반 선다발의 +-안정 섹션의 부분집합 B₀을 정의하고 연구하며, 변화와 완비화에 대한 그 행동을 분석한다.
• . 이 방법은 큰 코헨-맥컬레이 대수 이론과 특히 BCM-정규성으로 알려진 F-정규성의 혼합 특성에 대응하는 이론에 기반한다.
• . 그들은 그레디에이티드 링과 섹션 링을 사용하여 후지타 추측을 일반화하며, 특정 경우에 |mK_X + L|이 m ≥ 3일 때 매우 충분히 정규화된다는 것을 증명한다.
• . 플립과 종료성의 증명은 제한 대수의 유한 생성성과 네프이자 큼직한 선다발에 대한 기저점 없는 정리에 기반한다.
• . 피브리제이션과 레프셰츠 피보팅의 구성은 사이다의 정리에 따라 탈락 다발과 판별자수의 조건을 확인하는 데 사용된다.

실험 결과

연구 질문

• RQ1 . 잔여 특성이 5를 초과할 때 혼합 특성에서 3차원 다양체로 최소 모델 프로그램을 확장할 수 있는가?
• RQ2 . 전역 F-정규성의 올바른 혼합 특성에 대응하는 개념은 무엇이며, 이는 베르레셔 기하학과 퇴적 정리와 어떻게 관련되는가?
• RQ3 . 특히 klt 3차원 다양체 위의 앰플라 선다발에 대해, 수반 선다발에 대한 후지타 추측은 혼합 특성에서 성립하는가?
• RQ4 . 완비화와 섹션 링 기법을 사용하여 혼합 특성에서 플립 존재성과 MMP의 종료성을 확립할 수 있는가?
• RQ5 . 변화에 대해 수반 선다발은 어떻게 행동하며, 이 맥락에서 +-안정 섹션의 역할은 무엇인가?

주요 결과

• . 잔여 특성이 5를 초과하는 혼합 특성에서 3차원 다양체에 대한 최소 모델 프로그램이 완전히 수립되었으며, 최소 모델과 모리 피브리제이션의 존재성이 입증되었다.
• . 이 논문은 전역 +-정규 다양체를 도입하여 전역 F-정규성의 혼합 특성에 대응하는 개념을 제시하였으며, 전역 스플린터의 개념을 일반화한다.
• . 잔여 특성이 >5인 우수한 도메인 R 위에서 klt 3차원 다양체 X에 대해 충분히 앰플라인 L에 대해 K_X + L의 섹션 링은 전역 +-정규이다.
• . 후지타 추측의 혼합 특성에 대응하는 판본이 증명되었다: klt 3차원 다양체 X와 앰플라 선다발 L에 대해, m ≥ 3일 때 선다발 |mK_X + L|은 매우 충분히 정규화된다.
• . 표면 위의 레프셰츠 피보팅의 판별자수의 차수는 v > 1이면 β(v) = 213v + 48, v = 1이면 373로 유계이며, 이는 안정한 극한의 존재를 보장한다.
• . 제한 대수의 유한 생성성과 혼합 특성에서 네프이자 큼직한 선다발에 대한 기저점 없는 정리를 통해 플립의 존재성이 입증되었다.