[論文レビュー] Differential forms on singular spaces, the minimal model program, and hyperbolicity of moduli stacks

Stefan Kebekus|arXiv (Cornell University)|Jul 21, 2011

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

ひとこと要約

この論文は、モジュライ理論と最小モデルプログラム（MMP）を結びつけることで、曲線の族から高次元の多様体への一般化されたシャファレヴィチの双曲的予想を提示する。三つ畳の基底上、標準類が自明な多様体の族が最大変動を示す場合、反射的微分形式とViehweg-Zuoの層構成を用いて、ボゴモロフ＝ソムゼーの消去定理と対数正則なペアの性質により矛盾を導くことで、その族は等変動的（isotrivial）でなければならないことを示している。

ABSTRACT

This survey discusses hyperbolicity properties of moduli stacks and generalisations of the Shafarevich Hyperbolicity Conjecture to higher dimensions. It concentrates on methods and results that relate moduli theory with recent progress in higher dimensional birational geometry.

研究の動機と目的

• 曲線の族から高次元の多様体へのシャファレヴィチの双曲的予想を、高次元の基底へと拡張すること。
• 高次元多様体のモジュライスタックへの定数写像しか持たない多様体が満たす幾何的制約を調べること。
• 基底空間の最小モデルプログラム（MMP）とモジュライスタックへの写像の挙動との間の関係を確立すること。
• 反射的微分形式と対数正則ペアの構造を分析することで、三つ畳の基底上の族に対してヴィエフの予想を証明すること。
• 標準類が自明な三つ畳の基底上、最大変動を示す族は等変動的でなければならないことを、線分束の正則性と消去定理による背理法を用いて示すこと。

提案手法

• Viehweg-Zuoの構成を用いて、基底空間上に最大のコルタ・イタカ次元をもつ階数1の反射的層を構成する。
• 対数最小モデルプログラム（log MMP）を、dltペア $(Y_ u, (1- u)D_ u)$ に適用し、基底上にモーリー・ファイバー空間構造を導出する。
• ハードラー＝ナラシマンのテクニックを用いて、最小モデル $Y_ u$ のピカール数が1より大きいことを示し、非自明なファイバー構造を示唆する。
• 対数正則ペアに対するボゴモロフ＝ソムゼーの消去定理を適用し、対数微分形式の不安定部分層に $Q$-アーリール線分束が存在しないことを排除する。
• ファイバー次元に関する帰納法を用い、表面の場合に予想が成り立つと仮定して、族が最大変動であると仮定した場合に矛盾を導く。
• ファイバーの一般ファイバーへの制限を分析し、その制限が最大変動を示すことはできないことを示し、初期仮定に反する。

実験結果

リサーチクエスチョン

• RQ1 どの準射影的多様体が、高次元多様体のモジュライスタックへの定数写像しか持たないか？
• RQ2 基底空間の最小モデルプログラムは、非等変動的族の存在をどのように制約するか？
• RQ3 基底空間にどのような条件が課わられると、任意の最大変動族は必然的に等変動的になるか？
• RQ4 特異空間上に反射的多様微分形式が存在することは、モジュライスタックの双曲的性質を導くのに利用できるか？
• RQ5 対数正則ペアとdlt構造は、高次元モジュライ理論における族の変動を制御するために果たす役割は何か？

主な発見

• 標準類が自明な三つ畳の基底上、最大変動を示す多様体の族は存在できない。これは、ファイバー上の線分束の正則性により矛盾を導く。
• 階数1の反射的層 $ olimits_{ u}$ が $ olimits( olimits_{ u}) = ext{dim } Y_{ u}$ を満たすことは、対数微分形式の層の非半安定性を示唆する。
• 最小モデル $Y_{ u}$ のピカール数は1より大きい。これは、非自明なファイバー構造 $ olimits_{ u} o Z$ を示唆する。
• ファイバーの一般ファイバー $F$ は、$ olimits(K_F + D_F) = 0$ を満たす $Q$-ファクター的対数正則ペア $(F, D_F)$ であり、したがって $F$ はコルタ・イタカ次元0である。
• 一般ファイバーの厳密変換への族の制限は、最大変動を示すことはできない。これは、元の基底上で最大変動であるという仮定に反する。
• この結果は、三つ畳の基底上の族に対してヴィエフの予想の特殊ケースを確認する：$ olimits(Y^{ullet}) = 0$ ならば、族は等変動的である。