[論文レビュー] Stable varieties with a twist

Dan Abramovich, Brendan Hassett|ArXiv.org|Apr 17, 2009

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

ひとこと要約

本稿は、canonical ringの商スタックを用いたスタック的枠組みを導入することで、安定代数的多様体のKollár族におけるモジュライ問題を解決する。半対数正則特異点の集合が族において開であることを証明し、cyclotomicおよび重み付き射影スタックを用いて、安定多様体のwell-behavedなモジュライ空間を確立する。

ABSTRACT

We describe a new approach to the definition of the moduli functor of stable varieties. While there is wide agreement as to what classes of varieties should appear, the notion of a family of stable surfaces is quite subtle, as key numerical invariants may fail to be constant in flat families. Our approach is to add natural stack structure to stable varieties. For example, given a canonical model we take the global-quotient stack structure arising from its realization as Proj of the canonical ring. Deformations of the stack structure preserve key numerical invariants of the stable variety, including the top self-intersection of the canonical divisor. This approach yields a transparent construction of the moduli stack of stable varieties as a global quotient of a suitable Hilbert scheme of weighted projective stacks.

研究の動機と目的

• 双対化線分束が可逆でない場合に生じるモジュライ空間における非平坦性の問題を、双対化線分束が可逆でないKollár族に焦点を当てて解決すること。
• canonical modelを商スタックに置き換えることで、幾何学的およびモジュライ的性質が保存され、well-behavedなモジュライ空間が得られることを示すこと。
• 半対数正則特異点の集合が族において開であることを証明し、適切なモジュライコンパクト化を構成するための重要なステップを達成すること。
• スタック構造を備えた安定多様体の族が良いモジュライ空間を備えることを確立し、ViehwegおよびKollárの結果を拡張すること。
• canonical ringのスタック的構造を用いて特異点と基底変換の挙動を制御することで、最小モデルプログラムとモジュライ理論を統合すること。

提案手法

• 安定多様体のcanonical ringを符号する幾何的対象として、商スタック $\mathcal{X}^{\operatorname{can}} = \operatorname{Proj} R(X) = [ (\operatorname{Spec} R(X) \setminus 0)/\mathbb{G}_m ]$ を導入すること。
• 双対化線分束 $\omega_X^{[n]}$ が可逆でない点におけるスタック構造を、cyclotomicおよび重み付き射影スタックを用いてモデル化すること。
• 同時に良い特異点解消を適用して基底をストラティファイし、族における不一致を分析すること。
• Adjunction定理およびInversion of Adjunctionを用いて、全空間の対数正則性とファイバーの関係を結びつけること。
• Noetherian帰納法と特異点集合の構成可能性を用いて、基底における半対数正則特異点の集合の開性を証明すること。
• 双対化線分束 $\omega_{\pi}^{[n]}$ の基底変換と可換性が、スタック構造がwell-behavedであることと同値であることを示し、Kollárの定義と整合すること。

実験結果

リサーチクエスチョン

• RQ1 双対化線分束の基底変換挙動を保つように、Kollár族としての安定多様体のモジュライ空間をコンパクト化できるか？
• RQ2 canonical modelを商スタックに置き換えることで、モジュライ問題における双対化線分束の非可逆性の問題が解消されるか？
• RQ3 平坦な安定多様体族において、半対数正則特異点の集合は開か？
• RQ4 canonical ringのスタック的コンパクト化を用いて、安定多様体のモジュライ空間を構成できるか？
• RQ5 特異点をもつ安定多様体族において、対数不一致は基底変換に対してどのように振る舞うか？

主な発見

• 平坦な安定多様体族の基底において、半対数正則特異点の集合が開である。これはモジュライコンパクト化の基礎的結果である。
• 商スタック $\mathcal{X}^{\operatorname{can}} = \operatorname{Proj} R(X)$ は、多様体の代数的起源を記憶する自然なコンパクト化を提供する。
• スタック構造を備えた安定多様体の族は、双対化線分束が可逆でない場合にKollár族と同値なwell-behavedなモジュライ空間を備える。
• 同時に良い特異点解消を用いることで、不一致の解析がストラタ上で一定となり、SLC集合の開性が証明される。
• Inversion of AdjunctionおよびAdjunction定理を用いて、ファイバーの対数正則性を全空間へと伝播させ、族全体で一貫性が保証される。
• この構成により、スタック構造を備えた安定多様体のモジュライがwell-behavedであることが示され、双対化線分束が可逆である場合の結果が拡張される。