[論文レビュー] Boundedness of the base varieties of certain fibrations

Zhan Li|arXiv (Cornell University)|Feb 16, 2020

Algebraic Geometry and Number Theory参考文献 20被引用数 8

ひとこと要約

この論文は、$\epsilon$-lc ファノ型条件の下で、Iitaka 纤関数の基本多様体の有界性に関する予想を確認している。Iitaka 体積が有界で、基本多様体の一般点上で境界除部分が大きいとき、基本多様体は有界族をなす。この結果は、グローバルなACC、モジュライ除部分のネフ性、および端末モデルによるファイバーの有界性に依存する。

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 体積が有界で、境界除部分が基本多様体の一般点上で大きいとき、Iitaka 纤関数の基本多様体が有界であることを証明すること。
• 有界な Iitaka 体積および大きさの仮定の下で、$\epsilon$-lc ファノ型纏関数の有界性結果を確立すること。
• 有界な一般ファイバーの挙動の下で、Iitaka 体積のDCC性に関する予想1.6を支援すること。
• 全空間の有界性結果を、強い特異性と大きさ条件の下で、基本多様体の有界性へと拡張すること。

提案手法

• Iitaka 纤関数の解消を用いて、$X \to Z$ が $K_X + B$ が半アーメンで、$B$ が $\eta_Z$ に対して大きい場合に還元すること。
• グローバルなACCの適用により、モジュライ除部分 $M_Z$ が数的に有界であることを示し、係数と次元の有界性を活用する。
• canonical bundle formula を用いて、$\operatorname{Ivol}(K_X + B)$ を $\deg_Z(K_Z + \Delta_Z + M_Z)$ に関連づけ、体積がDCC集合に属することを保証する。
• ファイバーの有界性と $B$ が $\eta_Z$ に対して大きいことから、$mM_Z$ がネフかつカルティエであることを確立し、$\deg_Z M_Z \in \frac{1}{m}\mathbb{Z}_{\geq 0}$ となる離散的度数値を得る。
• 特異点を制御し、吹き上げにおいても基本多様体の有界性を維持するため、crespant モデルの構成を行う。
• 係数のDCC性と有界な Iitaka 体積を用いて、$\operatorname{Ivol}(K_X + B)$ がDCC集合に属することを結論づけ、予想1.6を支援する。

実験結果

リサーチクエスチョン

• RQ1 Iitaka 纤関数の基本多様体 $Z$ が、$\operatorname{Ivol}(K_X + B)$ が有界で、$B$ が $Z$ の一般点上で大きいとき、有界に保たれるか？
• RQ2 ファイバーが有界でないとしても、$\epsilon$-lc 特異性と有界な Iitaka 体積の下で、$Z$ の有界性を確立できるか？
• RQ3 固定次元と係数集合 $\mathcal{I}$ の下で、$\epsilon$-lc 対 $(X,B)$ に対する Iitaka 体積 $\operatorname{Ivol}(K_X + B)$ の集合はDCC集合か？
• RQ4 $\dim X$ が大きく、$\dim Z$ が固定されている場合でも、Conjecture 4.6 と同様の仮定の下で、基本多様体 $Z$ の有界性は成り立つか？
• RQ5 有界性の予想を、実係数や非有理境界除部分へと拡張できるか？

主な発見

• $\mathcal{F}(d,\epsilon,v,\mathcal{I})$ は、$(X,B)$ が $\epsilon$-lc で、$\dim X = d$、$\operatorname{Ivol}(K_X + B) < v$、$B$ が $\eta_Z$ に対して大きいとき、基本多様体 $Z$ の有界族である。
• 固定次元と係数集合 $\mathcal{I}$ の下で、$\epsilon$-lc 対に対して、$B$ が $\eta_Z$ に対して大きいとき、Iitaka 体積 $\operatorname{Ivol}(K_X + B)$ はDCC集合に属する。
• モジュライ除部分 $M_Z$ は数的に有界であり、ある $m \in \mathbb{N}$ に対して $mM_Z$ はネフかつカルティエであり、$\deg_Z M_Z \in \frac{1}{m}\mathbb{Z}_{\geq 0}$ である。
• canonical bundle formula により、$\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と有界全空間に関する結果を組み合わせたものである。