[論文レビュー] Boundedness of families of canonically polarized manifolds: A higher dimensional analogue of Shafarevich's conjecture

Sándor J. Kovács, Max Lieblich|arXiv (Cornell University)|Nov 22, 2006

Algebraic Geometry and Number Theory参考文献 17被引用数 13

ひとこと要約

本稿では、特異点が適切な局所を持つ基底多様体上での canonical に偏光された多様体の族に対して、モジュライスタックのコンパクト化に起因する問題を回避するため、スタック論的技法を用いて変形型の有界性を確立する。主な結果は、任意の有限型族において、このような変形型の数が有限であり、一様に有界であるということであり、これはシャファレヴィチの予想を高次元に一般化するものである。

ABSTRACT

We show that the number of deformation types of canonically polarized manifolds over an arbitrary variety with proper singular locus is finite, and that this number is uniformly bounded in any finite type family of base varieties. As a corollary we show that a direct generalization of the geometric version of Shafarevich's original conjecture holds for infinitesimally rigid families of canonically polarized varieties.

研究の動機と目的

• canonical に偏光された多様体に対するシャファレヴィチの予想の高次元版を確立すること。
• パーシン＝アラケロフの再定式化における有界性問題 (B) を解決すること。これは、有限型のモジュライスタックが開基底上に存在しないにもかかわらず、変形型の有限性を証明することを含む。
• スタック論的リフト技術を用いて、canonical 体積の次数に関する弱い有界性 (WB) が、粗い有界性 (B) を意味することを示すこと。
• canonical に偏光された多様体の無限小的剛性を持つ族が有限個であることを示し、シャファレヴィチの予想の直接的な高次元一般化を確認すること。
• canonical 環の有限生成性や完全なモジュライコンパクト化に依存しない、高次元における有界性結果の枠組みを提供すること。

提案手法

• 開基底上でのモジュライ空間の代わりに、canonical に偏光された多様体のスタック論的代理を構築し、有限型でないモジュライスタックに起因する問題を回避する。
• 半安定還元定理を適用して特異点を解消し、基底の有限被覆上に族を拡張することで、有界性の議論を可能にする。
• ベドゥレーヴとヴィエフェグ (2000) が得た、正則多様体の多重標準線形系の直接像の次数に関する弱い有界性結果を用い、数値的有界性を導出する。
• canonical に偏光された多様体のスタックへの粗いモジュライ写像をリフトすることで、構成可能性と変形型の有限性を回復する。
• ヴィエフェグ＝ツォーによる決定的線分束の正性結果を用いて、基底変換下での canonical 体積線分束の次数を制御する。
• 相対 canonical モデルおよびスタック的コンパクト化の理論を適用し、数値的不変量の有界性が変形型の有限性を意味することを示す。

実験結果

リサーチクエスチョン

• RQ1 基底多様体の特異点が適切な場合、開基底上でのモジュライスタックのコンパクト化が失敗するにもかかわらず、canonical に偏光された多様体の変形型の有界性は高次元でも確立可能か？
• RQ2 canonical 体積の弱い有界性（すなわち、$f_* ar{ heta}^m$ の次数が有界）は、高次元においても粗い有界性（変形型の有限性）を意味するか？
• RQ3 開多様体上での canonical に偏光された多様体の族に対するシャファレヴィチの予想の高次元版は存在するか？
• RQ4 canonical に偏光された多様体の無限小的剛性を持つ族は、有限個に限られるか？これはシャファレヴィチの予想の幾何的バージョンの直接的な一般化である。
• RQ5 スタック論的技法は、有界性の議論において、有限型のモジュライスタックの存在に依存しない程度にどの程度置き換え可能か？

主な発見

• 特異点が適切な局所を持つ基底多様体上での canonical に偏光された多様体の変形型の数は有限である。
• この有限性は、任意の有限型族における一様有界性を満たす。
• ベドゥレーヴ＝ヴィエフェグ (2000) の結果に従う canonical 体積の弱い有界性（WB）は、スタック論的リフトを用いることで、有限型のモジュライスタックが存在しない場合でも、粗い有界性（B）を意味する。
• canonical に偏光された多様体の無限小的剛性を持つ族は有限個であり、これはシャファレヴィチの予想の直接的な高次元一般化を確認する。
• 有界性結果は、曲線に限らず、特異点が適切な局所を持つ任意の基底多様体上でも成り立つ。
• 証明は canonical 環の有限生成性に依存せず、最小モデルプログラムに基づく最近の結果とは異なる代替的枠組みを提供する。