[論文レビュー] Existence of moduli spaces for algebraic stacks

Jarod Alper, Daniel Halpern-Leistner+1 more|arXiv (Cornell University)|Dec 3, 2018

Algebraic Geometry and Number Theory参考文献 39被引用数 7

ひとこと要約

本稿は、正次元の自己同型群をもつ代数的スタックに対して、良いモジュライ空間が存在するための必要十分条件を確立し、Keel–Moriの定理を一般化する。$Θ$-再結合性とS-完備性という幾何的条件を導入し、分離的または固有な良いモジュライ空間の存在を保証する。また、$Θ$-層への適用可能な半安定化簡定理を証明し、G-バンドルやアーベル圏の対象のモジュライに応用可能である。

ABSTRACT

We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space and prove a semistable reduction theorem for points of algebraic stacks equipped with a $Θ$-stratification. These results provide a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups and give criteria on the moduli problem to have a separated or proper good moduli space. To illustrate our method, we apply these results to construct proper moduli spaces parameterizing semistable $\mathcal{G}$-bundles on curves and moduli spaces for objects in abelian categories.

研究の動機と目的

• 正次元の自己同型群をもつ代数的スタックに対して、有限なインertiaが成立しない状況でのKeel–Moriの定理の拡張。
• GIT や粗いモジュライ空間の構成を一般化する、内在的で幾何的な良いモジュライ空間の存在条件の特定。
• $Θ$-層構造を備えたスタックに対して半安定化簡定理を確立し、固有なモジュライ空間の構成を可能にする。
• 具体的なモジュライ問題への応用、特に曲線上の$Θ$-バンドルおよびアーベル圏の対象。

提案手法

• スタック$Θ = [\mathbb{A}^1 / \mathbb{G}_m]$からの写像を用いて、$Θ$-再結合的準同型の概念を導入し、特異化におけるフィルトレーションの拡張を捉える。
• S-完備性を、任意のDVR上でのファミリーが一般点で同型である場合、基本的変更によってのみ異なることを保証する幾何的条件として定義する。
• 未切断のインertiaの概念を用いて、自己同型群の特異化を制御し、Keel–Moriにおける有限インertia仮定を一般化する。
• 有限型のDVRを用いた評価的基準を適用し、固有性の検証を局所的かつ有限生成な設定に還元する。
• DVRからスタックへの写像の拡張を、吹き上げとアフィン吹き上げ代数における正規化を用いて構成する半安定化簡定理を適用する。
• 良いモジュライ空間の理論を活用し、準連接層の押し出し写像が完全であり、標準的写像$Θ_X \to q_* \mathcal{O}_\mathcal{X}$が同型であることを用いる。

実験結果

リサーチクエスチョン

• RQ1 正次元の自己同型群をもつ代数的スタックが良いモジュライ空間をもつための幾何的条件は何か？
• RQ2 有限型で有限インertiaを持たないスタックに対して、半安定性の概念をどのように内在的に定式化できるか？
• RQ3 良いモジュライ空間が分離的または固有であるための条件は何か、特に有限自己同型群が存在しない場合にどうか？
• RQ4 $Θ$-層構造を用いて、非有限安定化群をもつスタックへ半安定化簡定理を一般化できるか？
• RQ5 優れた基底上で、有限型のDVRのみを用いて固有性の評価的基準をどのように検証できるか？

主な発見

• 特徴が0のネーター的基底上の代数的スタック$Θ$が分離的良いモジュライ空間をもつための必要十分条件は、$Θ$-再結合的かつS-完備であることである。
• S-完備性の条件から、閉点の自己同型群が再結合的であり、自己同型群の連結成分が閉点に特異化されることを示す。
• 半安定化簡定理により、任意のDVRから$Θ$への写像で一般点で同型であるものは、有限拡大および基本的変更を経て拡張可能である。
• 曲線上の$Θ$-torsorの良いモジュライ空間の構成により、半安定$Θ$-バンドルをパラメータ化する固有モジュライ空間が得られる。
• アーベル圏の対象に対しては、$Θ$-再結合的かつS-完備であるという条件が、従来の層やベクトルバンドルに対する既知の結果を一般化して、良いモジュライ空間の存在を保証する。
• 本稿では、スタックが分離的でなくても良いモジュライ空間の固有性を保証するには、評価的基準の検証で十分であることを証明している。