[論文レビュー] Mori dream spaces of Calabi-Yau type and the log canonicity of the Cox rings

Yūjirō Kawamata, Shinnosuke Okawa|arXiv (Cornell University)|Feb 13, 2012

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

ひとこと要約

本稿では、特徴値がゼロの体上のモーリー・ドリーム空間がカバヤ型であるための条件を、予想を含まない形で同定している。その条件とは、そのコックス環が至るところ対数正則特異点をもつことである。証明では、その多様体上のアフィンバンドルに、対数カバヤ型ペアを構成し、その後、双有理的収縮とトーラス商を用いた特異点の下降を適用する。同様の手法を用いて、コックス環の対数終等特異点性によるファノ型の特徴付けを再証明する。

ABSTRACT

We prove that a Mori dream space over a field of characteristic zero is of Calabi-Yau type if and only if its Cox ring has at worst log canonical singularities. By slightly modifying the arguments we also reprove the characterization of the varieties of Fano type by the log terminality of the Cox rings.

研究の動機と目的

• コックス環の特異点を用いたモーリー・ドリーム空間のカバヤ型特徴付けの、予想を含まない証明を提供すること。
• 未解決の予想に依存せずに、コックス環の対数終等特異点性を用いたファノ型特徴付けを再証明すること。
• コックス環の特異点と、それに対応するモーリー・ドリーム空間の双有理幾何的型（ファノ型またはカバヤ型）との正確な対応関係を確立すること。
• カバヤ型多様体に対して、コックス環の特異点の枠組みを、対数正則特異点まで拡張し、既存の結果を一般化すること。

提案手法

• 線形独立な非常に整数因子 $ A_i $ を $ r = \mathrm{rank}\, \mathrm{Pic}(X) $ 個とし、アフィンバンドル $ Y = \mathrm{Spec}_X \mathrm{Sym}(\bigoplus \mathcal{O}_X(A_i)) \to X $ を構成する。
• 対数カバヤ型ペア $ (X, \Delta) $ を満たす $ K_X + \Delta \sim_\mathbf{Q} 0 $ を、$ K_Y + \Delta_Y \sim_\mathbf{Q} 0 $ かつ対数正則特異点をもつペア $ (Y, \Delta_Y) $ に上昇させる。
• 射 $ \pi: Y \to X $ のゼロ切断を収縮して、双有理的射 $ f: Y \to Z $ を得る。これにより、$ K_Z + \Delta_Z \sim_\mathbf{Q} 0 $ かつ対数正則特異点をもつペア $ (Z, \Delta_Z) $ が得られる。
• コックス環のスペクトルが $ Z $ に小さな双有理的写像をもつことを示し、$ Z $ の対数正則特異点性がコックス環の対数正則特異点性を意味することを示す。
• 逆に、コックス環の対数正則特異点性を仮定すると、$ -K_X $ が $ \mathbf{Q} $-効果的であることが従う。その後、$ (-K_X) $-MMP を実行し、半正則モデル $ X_N $ に到達する。
• コックス環の対数正則特異点性が自由なトーラス作用の下で商 $ X_N $ に下降することを示し、$ X_N $ がカバヤ型であることがわかる。MMP を逆にたどることで、$ X $ がカバヤ型であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 モーリー・ドリーム空間がカバヤ型であるための必要十分条件は、そのコックス環が至るところ対数正則特異点をもつことか？
• RQ2 コックス環の対数終等特異点性によるファノ型特徴付けは、未解決の予想に依存せずに再証明可能か？
• RQ3 モーリー・ドリーム空間の文脈において、コックス環の対数正則特異点性はトーラス商を通じて下降するか？
• RQ4 モーリー・ドリーム空間上の反標準MMPを用いて、コックス環の特異点性からカバヤ型性を導けるか？

主な発見

• 特徴値がゼロの体上のモーリー・ドリーム空間 $ X $ は、そのコックス環が至るところ対数正則特異点をもつことと、カバヤ型であることとが同値である。
• 「ただしその逆」の証明では、$ X $ 上のアフィンバンドルに、対数カバヤ型ペアを構成し、ゼロ切断を収縮することで得られる多様体が、対数正則特異点をもち、それがコックス環に引き継がれることを示している。
• 「その逆」の方向では、コックス環の対数正則特異点性から $ -K_X $ の $ \mathbf{Q} $-効果的性が従い、$ (-K_X) $-MMP を実行して半正則モデル $ X_N $ に到達する。
• コックス環の対数正則特異点性が自由なトーラス作用の下で商 $ X_N $ に下降するため、$ X_N $ はカバヤ型である。MMP を逆にたどることで、$ X $ がカバヤ型であると結論づけられる。
• 同様の手法により、ファノ型特徴付けも再証明される：$ \mathbf{Q} $-因子的でモーリー・ドリーム空間である多様体は、コックス環が対数終等かつ有限型であることと、ファノ型であることとが同値である。
• 結果は特徴値がゼロの体上で成立し、未解決の予想に依存しない。これは、以前のバージョンとは異なり、より強い結果である。