[論文レビュー] R\'eduction stable en dimension sup\'erieure [d'apr\`es Koll\'ar, Hacon-Xu...]

Olivier Benoist|arXiv (Cornell University)|Apr 6, 2019

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

本稿では、正則標準バンドルをもつ高次元多様体の族に対する安定還元定理を、曲線のDeligne-Mumfordの安定還元の拡張として提示する。最小モデルプログラムとモジュライ理論を用いて、任意次元における安定多様体のモジュライ空間の存在を確立し、一般型の族が基本変換および吹き上げを施した後、 canonical 特異点と ample な正則標準バンドルをもつ安定的・双有理的モデルをもつことを証明する。

ABSTRACT

The moduli space of stable curves of Deligne and Mumford is a compactification of the moduli space of smooth curves of genus >=2 that parametrizes certain nodal curves. It is a powerful tool for the study of algebraic curves. Higher-dimensional analogues were constructed by Koll\'ar, Shepherd-Barron and Alexeev in dimension 2, and by Viehweg in the case of smooth varieties. We will explain the recent ideas allowing for the construction of these moduli spaces in general, including the stable reduction theorem in higher dimension, which reflects their compactness. L'espace de modules des courbes stables de Deligne et Mumford est une compactification de l'espace de modules des courbes lisses de genre >=2, param\'etrant certaines courbes nodales. C'est un outil puissant pour l'\'etude des courbes alg\'ebriques. Des analogues en dimension sup\'erieure ont \'et\'e construits par Koll\'ar, Shepherd-Barron et Alexeev en dimension 2, et par Viehweg dans le cas des vari\'et\'es lisses. Nous expliquerons les id\'ees r\'ecentes ayant permis la construction de ces espaces de modules en g\'en\'eral, notamment le th\'eor\`eme de r\'eduction stable en dimension sup\'erieure, qui refl\`ete leur compacit\'e.

研究の動機と目的

• 曲線の安定還元定理を、正則標準バンドルをもつ高次元多様体の族へ拡張すること。
• 任意次元における一般型の安定多様体のプロジェクト型モジュライ空間の存在を確立すること。
• Deligne-Mumfordの Mg に類似した、一般型多様体のモジュライ空間のモジュラー的コンパクト化を提供すること。
• 半安定還元における一意性の欠如および幾何的不安定性の問題を解消するために、安定モデルを導入すること。
• 最小モデルプログラムと canonical モデルを用いて、高次元多様体のモジュライ空間の構成を統一すること。

提案手法

• 正則標準バンドルをもつ多様体の族の canonical モデルを構成するために、最小モデルプログラム（MMP）を適用する。
• 対数正則特異点および Du Bois 特異点の理論を用いて、全空間およびファイバーの特異点を制御する。
• 基本変換および双有理的変形を用いて安定還元を達成し、ファイバーが canonical 特異点と ample な正則標準バンドルをもつ安定多様体であることを保証する。
• 普遍族の存在を用いて、代表可能性を証明することで、安定多様体の函手を用いてモジュライ空間を構成する。
• モジュライ空間の固有性および分離性を活用して、任意の基本次元における安定還元定理を導出する。
• 有限被覆の存在を活用して、ファイバーが安定な族を得る。これは、モジュライ函手の有界性および開性に依存する。

実験結果

リサーチクエスチョン

• RQ1 曲線の安定還元定理は、一般型の高次元多様体の族へ一般化可能か？
• RQ2 次元 ≥2 における安定多様体のモジュライ空間の存在を保証する条件は何か？
• RQ3 正則標準バンドルをもつ高次元多様体の族に対して、canonical モデルをどのように構成できるか？
• RQ4 高次元族の安定還元におけるファイバーの特異点および幾何的性質は何か？
• RQ5 安定多様体のモジュライ空間は、曲線の場合の幾何的および函手的性質をどの程度継承するか？

主な発見

• 安定還元定理は任意の基本次元で成立する：一般型の族は、基本変換および双有理的変形を施すことで、安定なファイバーをもつ族にできる。
• 一般型の安定多様体のモジュライ空間は、プロジェクト型代数的スタックとして存在し、分離的かつ有限型である。
• 安定多様体は、至るところ canonical 特異点と ample な正則標準バンドルをもつ射影多様体として定義され、安定曲線の一般化である。
• モジュライ空間の存在は、最小モデルプログラムと canonical モデルを用い、モジュライ函手の有界性および開性によって確立される。
• この構成は、基本の有限被覆が存在し、その引き戻し族が canonical 特異点をもつ安定モデルをもつことによって支えられる。
• モジュライ空間は固有的かつプロジェクト型であり、一般型多様体の族の退化が再び安定多様体によってパラメトライズされることを保証する。