[논문 리뷰] Relative MMP without Q-factoriality

Janós Kollár|arXiv (Cornell University)|2020. 12. 09.

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

한 줄 요약

이 논문은 Q-계수화 조건을 요구하지 않고 상대적인 최소 모델 프로그램(MMP)을 수립하며, 플립이 1-완성되고 단계가 예상보다 간단하다는 것을 보여준다. 이는 다중 표면 특이점, 로그 타원성, 쌍대 복합체, 그리고 대수적 공간의 dlt 수정에 관한 핵심 정리들에서 Q-계수화 조건을 제거한다. 비Q-계수화 다양체에서 예외적 인수를 통제 가능한 방식으로 다루는 MMP 스케일링을 사용한다.

ABSTRACT

We consider the minimal model program for varieties that are not Q-factorial. We show that, in many cases, its steps are simpler than expected. In particular, all flips are 1-complemented. The main applications are to log terminal singularities, removing the earlier Q-factoriality assumption from several theorems of Hacon--Witaszek and de~Fernex--Kollár--Xu. Version 2: many small changes.

연구 동기 및 목표

• Q-계수화 조건을 요구하지 않고 비Q-계수화 다양체로 최소 모델 프로그램(MMP)을 확장하는 것.
• 일부 경우에서 MMP 단계—특히 플립—이 예상보다 더 단순하다는 것을 보여주며, 특히 1-완성된다는 것.
• dlt 특이점, 유리 특이점, 그리고 쌍대 복합체에 관한 정리들에서 Q-계수화 조건을 제거하는 것.
• Q-계수화 조건 없이도 정규 대수적 공간에 대해 dlt 수정의 존재성과 유일성을 증명하는 것.
• 비Q-계수화 설정으로의 쌍대 복합체의 붕괴 가능성과 층의 CM 성질에 관한 결과를 일반화하는 것.

제안 방법

• 프로젝티브 사상 g:X→S에서 R-카르티에 인수 H의 스케일링을 사용한 상대 MMP를 적용한다.
• 예외적 인수가 Q-카르티에 인수에 포함된다는 조건을 만족하는 dlt 쌍 (X,Θ)에 대해 MMP를 적용하며, H는 g-약한 R-인수이자 선형 독립인 계수를 가진다.
• MMP 단계가 잘 행동하도록 보장하기 위해 조건 (i)–(v)를 도입한다: Ex(φj) ⊂ Supp(Ej), 그리고 이는 유형별 또는 소형이며 특정 약화 조건을 만족한다.
• 각 MMP 단계가 예외적 인수의 Q-카르티에 성질을 유지하고, EΘ + (rj−ε)H의 약화 성질을 유지함을 증명한다.
• 이 조건 하에서 MMP 단계의 유일성을 이용해 대수적 공간에 대한 접합을 가능하게 한다.
• 쌍대 복합체와 CM 층에 이론을 적용하여, Q-계수화 조건 없이도 붕괴 가능성과 CM 성질이 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 Q-계수화 조건 없이도 비Q-계수화 다양체에서 MMP를 수행하고 종료시킬 수 있는가?
• RQ2 다양체가 Q-계수화되지 않을 경우, MMP의 플립이 더 단순한가, 특히 1-완성되는가?
• RQ3 dlt 특이점의 쌍대 복합체와 유리 특이점에 관한 정리들에서 Q-계수화 조건을 제거할 수 있는가?
• RQ4 비Q-계수화 다양체에서 스케일링을 사용한 MMP는 여전히 통제 가능한 최소 모델을 제공하고, 핵심 기하학적 성질을 유지하는가?
• RQ5 Q-계수화 조건 없이도 대수적 공간에 대해 dlt 수정을 구성할 수 있는가?

주요 결과

• 비Q-계수화 다양체에서의 스케일링을 사용한 MMP는 유형별 수축 또는 두 개의 Q-카르티에 인수를 가진 소형 플립으로 이루어지며, 이는 단순성을 보장한다.
• MMP의 모든 플립은 1-완성되며, 이는 캐논리컬 인수가 Q-카르티에 인수와 약간의 약화된 약화 인수의 합과 수치적으로 동치임을 의미한다.
• MMP 전반에 걸쳐 예외적 인수는 Q-카르티에 성질을 유지하며, 핵심 대수기하학적 성질이 보존된다.
• dlt 쌍에서 점의 위상에 대한 섹션의 쌍대 복합체는 예외적 집합이 g-약화 인수를 지닐 경우, Q-계수화 조건 없이도 점으로 붕괴 가능하다.
• 스케일링을 사용한 MMP는 −EΘm 이 효과적이고, 그 지지집합이 사상에 대해 포화되어 있음을 보장하는 최소 모델에서 종료된다. 이는 좋은 통제를 가능하게 한다.
• 특성 0의 체 위에서 정규 대수적 공간에 대해 Q-계수화 조건 없이도 dlt 수정이 존재하며, 이는 Q-계수화 또는 예외적 인수가 약화되는 방식으로 선택 가능하다.