[논문 리뷰] Boundedness of the base varieties of certain fibrations

Zhan Li|arXiv (Cornell University)|2020. 02. 16.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 8

한 줄 요약

이 논문은 Iitaka 분할에 대한 $\varepsilon$-lc Fano 유형 조건 하에서 기저 다양체의 유계성에 대한 추측을 확인한다. Iitaka 체적이 유계이고 기저의 일반점 위에서 경계 divisor가 크면, 기저 다양체는 유계인 가닥을 이룬다. 결과는 전역 ACC, 모듈리 divisor의 네파성, 그리고 캐프런트 모델을 통한 섬유의 유계성에 기반한다.

ABSTRACT

It is conjectured that the base varieties of the Iitaka fibrations are bounded when the Iitaka volumes are bounded above. We confirm this conjecture for Iitaka $ε$-lc Fano type fibrations.

연구 동기 및 목표

• Iitaka 체적이 유계이고 기저의 일반점 위에서 경계 divisor가 크면 Iitaka 분할의 기저 다양체가 유계임을 증명하는 것.
• $\varepsilon$-lc Fano 유형 분할에 대해 Iitaka 체적이 유계이고 크기 조건이 만족될 때 유계성 결과를 수립하는 것.
• 고정된 일반 섬유 행동 조건 하에서 Iitaka 체적의 DCC 성질에 대한 추측 1.6을 뒷받침하는 것.
• 전체 공간의 유계성 결과를 강한 특이성과 크기 조건 하에서 기저 다양체의 유계성으로 확장하는 것.

제안 방법

• Iitaka 분할의 해소를 통해 $X \to Z$가 $K_X + B$가 준준산성이고 $B$가 $\eta_Z$ 위에서 크기 있는 경우로 감소시키는 것.
• 전역 ACC의 적용을 통해 계수와 차원의 유계성에 기반해 모듈리 divisor $M_Z$가 수치적으로 유계임을 보이는 것.
• 표준 번들의 공식을 사용해 $\operatorname{Ivol}(K_X + B)$와 $\deg_Z(K_Z + \Delta_Z + M_Z)$를 연결함으로써 체적이 DCC 집합에 속함을 보장하는 것.
• 섬유의 유계성과 $B$가 $\eta_Z$ 위에서 크기 있는 조건을 이용해 $mM_Z$가 네파성이고 카르티에임을 확보함으로써 차수 값이 이산적임을 도출하는 것.
• 특이성을 제어하고 블로우업 하더라도 기저의 유계성을 유지하기 위해 캐프런트 모델을 구성하는 것.
• 계수의 DCC 성질과 Iitaka 체적의 유계성에 기반해 $\operatorname{Ivol}(K_X + B)$가 DCC 집합에 속함을 결론 내리는 것. 이는 추측 1.6을 뒷받침한다.

실험 결과

연구 질문

• RQ1 Iitaka 체적이 유계이고 $B$가 기저의 일반점 위에서 크면 Iitaka 분할의 기저 다양체 $Z$는 여전히 유계인가?
• RQ2 섬유가 유계가 아니라고 가정할 때조차, $\varepsilon$-lc 특이성과 유계 Iitaka 체적 조건 하에서 $Z$의 유계성이 확립될 수 있는가?
• RQ3 고정된 차원과 계수 집합 $\mathcal{I}$를 가진 $\varepsilon$-lc 쌍에서 $\operatorname{Ivol}(K_X + B)$의 집합은 DCC 집합인가?
• RQ4 기저의 차원이 고정되어 있고 $\dim X$가 크더라도, 추측 4.6의 조건과 동일한 조건 하에서 기저 $Z$의 유계성이 유지되는가?
• RQ5 기저 다양체의 유계성 추측을 실계수 또는 비유리 경계 divisor로 확장할 수 있는가?

주요 결과

• $(X,B)$가 $\varepsilon$-lc이고 $\dim X = d$, $\operatorname{Ivol}(K_X + B) < v$, $B$가 $\eta_Z$ 위에서 크면, 기저 다양체 $Z$의 가닥 $\mathcal{F}(d,\varepsilon,v,\mathcal{I})$는 유계이다.
• 고정된 차원과 계수 집합 $\mathcal{I}$를 가진 $\varepsilon$-lc 쌍에서 $B$가 $\eta_Z$ 위에서 크면 $\operatorname{Ivol}(K_X + B)$는 DCC 집합에 속한다.
• 모듈리 divisor $M_Z$는 수치적으로 유계이며, 어떤 $m \in \mathbb{N}$에 대해 $mM_Z$는 네파성이고 카르티에이다. 이에 따라 $\deg_Z M_Z \in \frac{1}{m}\mathbb{Z}_{\geq 0}$이다.
• 표준 번들의 공식에 의해 $\operatorname{Ivol}(K_X + B) = \deg_Z(K_Z + \Delta_Z + M_Z)$이며, $\Delta_Z$와 $M_Z$의 유계성으로 인해 이 값은 DCC 집합에 속한다.
• 결과적으로 $B$가 $\eta_Z$ 위에서 크다는 조건 하에서 추측 1.6을 확인한다. 이는 기존의 크기 경우 결과를 확장한다.
• 보조정리 1.5는 동일한 조건 하에서 전체 공간 $(X,B)$가 로그 유계임을 수립하며, 이는 정리 1.3과 전체 공간의 유계성 결과를 조합한 것이다.