[論文レビュー] Boundedness of moduli of varieties of general type

Christopher D. Hacon, James McKernan+1 more|arXiv (Cornell University)|Dec 3, 2014

Algebraic Geometry and Number Theory参考文献 21被引用数 6

ひとこと要約

本稿では、固定された体積および有界な係数を持つ一般型の半対数正則対のモジュライ空間の有界性を確立する。良い最小モデルが族においてよく振る舞い、さらに正則性の多重性の変形不変性を用いることで、著者たちはこのような対が有界族をなすことを示し、高次元におけるモジュライ空間の構成に向けた重要な一歩を解決する。

ABSTRACT

We show that the family of semi log canonical pairs with ample log canonical class and with fixed volume is bounded.

研究の動機と目的

• 固定された体積および有界な係数を持つ一般型の半対数正則対のモジュライ関手の有界性を確立すること。
• 正規化および二重軌跡の技法を用いて、対数正則対における有界性結果を半対数正則対へ拡張すること。
• 良い最小モデルおよび豊富モデルが族においてよく振る舞うことを証明し、基底変換に関して整合性を保証すること。
• Kollár-Shepherd-Barron プログラムを用いて、高次元における安定多様体のモジュライ空間を構成するための基礎的段階を提供すること。
• 体積および係数集合が固定されたとき、モジュライ空間が有界であることを示し、双有理同値関係において係数集合が有限であることを示唆すること。

提案手法

• 半対数正則対の正規化を用い、$ K_Y + \Gamma = n^*(K_X + \Delta) $ となるように問題を対数正則対へ還元する。
• 族における MMP を適用し、対数滑らかさの仮定の下で、多重性の変形不変性を証明する。
• あるファイバーに良い最小モデルが存在するならば、その全体族が基底上に良い最小モデルを有することを確立する。
• 良い最小モデルを有するファイバーの集合の構成可能性を用いて、族全体での整合性を保証する。
• 反射的冪 $ \omega_X $ の基底変換の整合性および、正則性系の制限写像の上への性質を適用する。
• 正規化における $ \lfloor \Delta \rfloor $ の部分多様体の有限個の自己同型を用いて、半対数正則対の有界性を対数正則対の有界性へ還元する。

実験結果

リサーチクエスチョン

• RQ1 固定された体積および係数集合を持つ一般型の半対数正則対のモジュライ空間は、有界であるか？
• RQ2 族のファイバーに良い最小モデルが存在するならば、全体族に対しても良い最小モデルが存在するか？
• RQ3 対数正則対の族において、正則性系の制限写像は基底変換に関して整合的か？
• RQ4 正規化および自己同型データを用いて、対数正則対における有界性結果を半対数正則対へ拡張できるか？
• RQ5 体積および次元が固定されたとき、境界除数の係数集合は双有理同値関係において有限か？

主な発見

• 固定次元 $ n $、固定体積 $ d $、DCC 集合 $ I $ に係数をもつ半対数正則対の族 $ \mathfrak{F}_{\text{slc}}(n,d,I) $ は有界である。
• 有限集合 $ I_0 $ が存在して、$ \mathfrak{F}_{\text{slc}}(n,d,I) = \mathfrak{F}_{\text{slc}}(n,d,I_0) $ が成り立つ。これは係数タイプの有限性を示唆する。
• 滑らかな基底上の対数滑らかな族のファイバーに良い最小モデルが存在するならば、その全体族は基底上に良い最小モデルを有する。
• すべての $ m \in \mathbb{N} $ に対して、$ m\Delta $ が整数であるとき、制限写像 $ \pi_*\mathcal{O}_X(m(K_X + \Delta)) \to H^0(X_u, \mathcal{O}_{X_u}(m(K_{X_u} + \Delta_u))) $ は全射である。
• 全体族の豊富モデルは各ファイバーの豊富モデルに制限され、族全体で canonical モデルが整合的であることを保証する。
• 固定された体積および有限係数集合をもつ対数正則対の族の有界性は、$ \lfloor \Delta \rfloor $ の正規化における自己同型データを用いて、対応する半対数正則対の族の有界性へと還元可能である。