[論文レビュー] On the boundedness of canonical models

Junpeng Jiao|arXiv (Cornell University)|Mar 25, 2021

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

ひとこと要約

この論文は、一般ファイバーが固定された有界な極小ヤウ対の族に属する場合、Iitaka フibration の一般ファイバーが固定された有界な極小ヤウ対の族に属するという条件下で、固定された Iitaka 体積を持つ klt 対の canonical モデルの有界性に関する予想を裏付ける。一般ファイバーが log 有界で係数が DCC の集合に属するとき、Iitaka 体積は DCC を満たし、体積が固定された有理数値である場合、canonical モデルは有界であることが示された。

ABSTRACT

It is conjectured that the canonical models of varieties (not of general type) are bounded when the Iitaka volume is fixed. We confirm this conjecture when the general fibers of the corresponding Iitaka fibration are in a fixed bounded family of polarized Calabi-Yau pairs.

研究の動機と目的

• Iitaka フibration の一般ファイバーが固定された有界な極小ヤウ対の族に属するとき、固定された Iitaka 体積を持つ klt 対の canonical モデルが有界であることを証明すること。
• Iitaka フibration の一般ファイバーに有界性の仮定をおくとき、Iitaka 体積の DCC 性質を確立すること。
• Iitaka 体積が固定された正の有理数値であり、一般ファイバーが固定された有界な族に属するとき、klt 対の canonical モデルが有界であることを示すこと。
• 従来の canonical モデルの有界性に関する結果を、moduli 部分の有界性と、一様なベース除集合による特異ファイバーの制御を組み込むことで拡張すること。

提案手法

• 一般ファイバーが有界で、moduli 部分が制御され、$\mathrm{Ivol}(K_X+\Delta + f^*D) \leq r\cdot \mathrm{Ivol}(K_X+\Delta)$ を満たす一様なベース除集合 $D$ を持つ、log 対の族 $\mathcal{D}(n,\mathcal{I},l,r)$ を定義する。
• ベース上での共通の snc モデルの存在を用いて特異性を制御し、ファイブレーション構造の有界性を保証する。
• $l\bm{M}_{Z'}$ が nef かつ Cartier であるという条件により、moduli 構造の降下を可能にする。
• ベースとファイバーの成分の有界性を用い、射影公式と体積比較技術を用いて、体積の DCC 性質を活用する。
• 曲線上での接続と体積推定を用い、一般ファイバー上の moduli 部分の次数を有界化する。これは、moduli 空間 $\mathcal{H}^*$ の有界性に依存する。
• Chow 多様体の有界性を用いて、ファイブレーションの全空間が、ファイバーとベースが制御されているとき、log 有界であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 Iitaka フibration の一般ファイバーが固定された有界な極小ヤウ対の族に属するとき、固定された Iitaka 体積を持つ klt 対の canonical モデルは有界のままであるか？
• RQ2 係数が DCC の集合に属し、一般ファイバーが有界な klt 対の Iitaka 体積の集合は、DCC の集合であるか？
• RQ3 一般ファイバーが有界で、除集合 $D$ を用いてベースが制御されるとき、Iitaka フibration の moduli 部分を一様に降下させることは可能か？
• RQ4 一般ファイバーの有界性が、固定された Iitaka 体積を持つ klt 対の canonical モデルの有界性をどのように示すか？
• RQ5 ファイバーとベースが有界で、整数 $l$ を用いて moduli 部分が制御されるとき、canonical モデルの体積を一様に制御できるか？

主な発見

• $\mathcal{D}(n,\mathcal{I},l,r)$ に属する対の Iitaka 体積 $\mathrm{Ivol}(K_X+\Delta)$ の集合は DCC を満たし、有界性への重要なステップを裏付けた。
• Iitaka 体積が正の有理数 $v$ に固定されているとき、canonical モデル $\mathrm{Proj} \oplus_{m=0}^\infty H^0(X, \mathcal{O}_X(m(K_X+\Delta)))$ は有界な族に属する。
• 一様なベース除集合 $D$ が存在し、$\mathrm{Ivol}(K_X+\Delta + f^*D) \leq r\cdot \mathrm{Ivol}(K_X+\Delta)$ を満たすことで、特異ファイバーの制御が可能となり、ファイブレーションの有界性が保証される。
• moduli 部分 $\bm{M}_{Z'}$ は降下し、$l\bm{M}_{Z'}$ が nef かつ Cartier であるという条件により制御され、ファイブレーション構造の一様性が得られる。
• ベースとファイバーの成分の有界性に加え、曲線上の体積推定により、$A^{d-1}.g_*F$ と $A^{d-1}.g_*\phi^*H$ が有界であることが示され、全空間の log 有界性が導かれる。
• 対 $(W, \mathrm{Supp}(g_*(g^*A + F + (2d+1)\phi^*H)))$ は log 有界であることが確認され、与えられた条件下でのファイブレーション全体の有界性が裏付けられた。