[論文レビュー] Mumford's influence on the moduli theory of algebraic varieties

Janós Kollár|arXiv (Cornell University)|Sep 27, 2018

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

この論文は、代数幾何におけるモジュライ理論におけるデイヴィッド・マーマッドの基礎的影響をたどり、彼が発展させた幾何学的不変式論（GIT）が代数的多様体のモジュライ空間を構成する枠組みとして果たした役割に焦点を当てる。安定な多様体の族で、半対数 canonical 特異点と固定された canonical 体積を持つものについて、射影的粗モジュライ空間が存在することを確立し、マーマッドのビジョンを高次元に拡張し、モジュライ理論における長年の存在およびコンパクト化の問題を解決する。

ABSTRACT

We give a short appreciation of Mumford's work on the moduli of varieties by putting it into historical context. By reviewing earlier works we highlight the innovations introduced by Mumford. Then we discuss recent developments whose origins can be traced back to Mumford's ideas.

研究の動機と目的

• モジュライ理論の歴史的発展、特に古典的不変式論から現代のモジュライ函手への移行の文脈の中で、マーマッドの貢献を位置づけること。
• マーマッドの幾何学的不変式論（GIT）が、代数的多様体のモジュライ空間を構成する最初の厳密な枠組みをどのように提供したかを明確化すること。
• 高次元多様体のための現代のモジュライ構成のルーツが、マーマッドの基礎的アイデアにどのように遡るかをたどること。
• 固定された次元と canonical 体積を持つ KSB-安定族の射影的粗モジュライ空間の存在を確立すること。
• 長年の問題である、モジュライ空間のコンパクト化を、そのモジュライ空間の固有性と射影性を証明することで解決すること。

提案手法

• 群作用の軌道空間を近似するために、マーマッドのGIT商構成を基礎的手段として用いる。
• KSB-安定族の条件を適用する：平坦で、射影的で、ファイバーが半対数 canonical 特異点を持ち、すべての m に対して ω[m]X/S が平坦で基底変換と整合的である。
• ハコンとユウが発展させた高次元における最小モデルプログラム（MMP）を用いて、安定多様体の退化を分析する。
• 可換な還元的退化のための接合理論を、コラール（2016）が形式化したものに従い、モジュライコンパクト化における還元的安定多様体を扱う。
• 変形理論と接合公式を用いて、巡回被覆と全空間上の canonical 特異点を介して、半対数 canonical 特異点を特徴付ける。
• カーロ、HMX14、フジノ–コヴァーツ–パタクファルヴィの定理といった、代数幾何学の深い結果に依拠する。

実験結果

リサーチクエスチョン

• RQ1 マーマッドの幾何学的不変式論（GIT）は、代数的多様体のモジュライ空間を構成する上での基礎的問題をどのように解決したか？
• RQ2 多様体の族が『良い』モジュライ族であるための条件は何であり、このような族を最適に分類する方法は何か？
• RQ3 固定された次元と canonical 体積を持つ安定多様体のモジュライ空間を射影的スキームとして構成できるか？
• RQ4 半対数 canonical 特異点は、多様体のモジュライ空間のコンパクト化において果たす役割は何か？
• RQ5 多様体の高次元の正則形式の次元の変形不変性と canonical 体積の制約は、良いモジュライ族の構造にどのように影響するか？

主な発見

• 次元 n と canonical 体積 d の KSB-安定族のモジュライ函手は、射影的粗モジュライ空間 ¯Mn,d を持つ。
• ¯Mn,d の存在は最小モデルプログラムにより確立され、固有性は値の評価基準により、射影性はフジノとコヴァーツ–パタクファルヴィの最近の結果により証明される。
• 曲面の場合、¯M2,d の存在はコラール–シーファード・バラオンとアレクセーエフにより証明され、その後の研究で固有性と射影性が完成された。
• 多様体の高次元の正則形式の次元の変形不変性と canonical 体積は、良い族の定義およびモジュライ空間が良好に振る舞うことを保証するために不可欠である。
• 半対数 canonical 特異点は、巡回被覆を介して特徴付けられる：除数 D がこのような特異点を持つ iff その巡回被覆は canonical 特異点を持つ。
• モジュライ空間 ¯Mn,d は有限型であり、局所的に有限型であり、すべての既約成分が有限型である。これはカーロと HMX14 によって示された。