[논문 리뷰] Minimal model program for algebraically integrable foliations and generalized pairs

Guodu Chen, Jingjun Han외 2명|arXiv (Cornell University)|2023. 09. 27.

Nonlinear Waves and Solitons인용 수 4

한 줄 요약

이 논문은 대수적으로 통합 가능한 잡종의 경우에 대해 $\mathbb{Q}$-팩터리얼 잡종 dlt 쌍과 lc 일반화된 쌍에 대한 최소 모델 프로그램(MMP)을 수립하며, 원뿔 정리, 수축 정리, 그리고 플립의 존재를 증명한다. 일반화된 잡종 4중체를 도입하고, Cascini와 Spicer의 추측을 해결하여 특정 조건 하에서 이러한 잡종이 거의 해석적 사상에 의해 유도됨을 보인다.

ABSTRACT

By systematically introducing and studying the structure of algebraically integrable generalized foliated quadruples, we establish the minimal model program for $\mathbb Q$-factorial foliated dlt algebraically integrable foliations and lc generalized pairs by proving their cone theorems, contraction theorems, and the existence of flips. We also provide numerous applications on their birational geometry and resolve a conjecture of Cascini and Spicer.

연구 동기 및 목표

• 대수적으로 통합 가능한 잡종이 있는 $\mathbb{Q}$-팩터리얼 잡종 dlt 쌍에 대한 최소 모델 프로그램(MMP)을 개발한다.
• MMP를 lc 일반화된 쌍과 일반화된 잡종 4중체로 확장하며, 캐논리컬 번들 공식과 ACC 결과를 포함한다.
• Cascini와 Spicer의 추측을 MMP 기법을 활용하여 대수적으로 통합 가능한 잡종의 구조에 대해 해결한다.
• 비음성 조건과 강한 앰플리튜드 조건 하에서 이러한 쌍에 대해 좋은 최소 모델과 모리 피브리게이션의 존재를 확립한다.
• 일반화된 설정에서 관련 다발의 근본 반지름의 유한 생성성과 기저점 자유성 증명

제안 방법

• 대수적으로 통합 가능한 일반화된 잡종 4중체의 구조를 도입하고 연구하여 기초 프레임워크를 마련한다.
• 유도적 추론과 굽힘-깨뜨림 기법을 활용하여 $\mathbb{Q}$-팩터리얼 잡종 dlt 쌍에 대한 원뿔 정리와 수축 정리를 증명한다.
• MMP 스케일링과 슈퍼다발을 활용하여 플립의 존재를 확립하며, 유계성과 유리 다각형을 이용한다.
• lc-비틀림 피브레이션에 대한 캐논리컬 번들 공식을 적용하여 일반화된 설정에서 조정과 모듈리 부분의 성질을 도출한다.
• 성질 $(*)$와 ACSS(거의 캐논리컬, 준안정) 모델을 활용하여 특이점을 통제하고 MMP의 종료를 보장한다.
• dlt 수정, 편향, 그리고 일반화된 중심에 대한 유니버설 프로젝션 다이어그램과 같은 비라시오널 기하학 도구를 활용한다.

실험 결과

연구 질문

• RQ1 대수적으로 통합 가능한 잡종이 있는 $\mathbb{Q}$-팩터리얼 다양체에서 최소 모델 프로그램은 어떤 조건에서 종료되는가?
• RQ2 대수적으로 통합 가능한 잡종이 있는 일반화된 쌍에 대해 플립과 수축의 존재를 확보할 수 있는가?
• RQ3 만약 $A$가 앰플리튜드이고 $K_{\mathcal{F}} + B + A$가 비음성이라면, $K_{\mathcal{F}} + B + A$의 근본 반지름은 유한 생성되는가?
• RQ4 일반화된 잡종 4중체에 대해 캐논리컬 번들 공식이 성립하는가? 그리고 이는 모듈리 및 분열 부분에 어떤 영향을 미치는가?
• RQ5 언제 잡종이 거의 해석적 사상에 의해 유도되는가? 이는 MMP와 특이성과 어떻게 관련되는가?

주요 결과

• $\mathbb{Q}$-팩터리얼 사영 F-dlt 잡종 3중체에 대해 대수적으로 통합 가능한 잡종이 있는 경우 원뿔 정리, 수축 정리, 플립의 존재가 성립한다.
• $K_{\mathcal{F}} + B + A$가 비음성이고 $A$가 앰플리튜드이면 $K_{\mathcal{F}} + B + A$는 준암시적(semi-ample)이며, 기저점 자유성 추측의 특수한 경우를 확인한다.
• $B \geq A \geq 0$일 경우, 쌍은 좋은 최소 모델 또는 모리 피브리게이션을 갖는다. 이는 좋은 최소 모델의 존재를 확립한다.
• $K_{\mathcal{F}} + B + A$가 $\mathbb{Q}$-카르티에일 경우, 근본 반지름 $R(X, K_{\mathcal{F}} + B + A)$는 유한 생성된다.
• 모든 예외적 다발 $D$에 대해 $a(D, \mathcal{F}, B, \mathbf{M}) > -1$인 일반화된 잡종 4중체의 경우, 잡종은 거의 해석적 사상에 의해 유도된다.
• 일반화된 잡종 4중체에 대해 전역 ACC와 lc 임계점에 대한 ACC가 성립하며, 유계성 결과를 통해 균일한 유리 다각형이 확보된다.