[論文レビュー] Artin's axioms, composition and moduli spaces

Jason Starr|ArXiv.org|Feb 28, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 5

ひとこと要約

本稿では、代数的スタックの代数的性質に関するアーティンの公理が1-準同型の合成と両立することを確立し、新たな自然なモジュライスタックの代数的性質の証明を可能にする。主な貢献は、1-準同型がアーティンの公理を満たし、かつ終域スタックが代数的である場合に、始域スタックも代数的であることを保証する一般的基準を提示することである—ここでは、ビスティオリのヒルベルトスタックとアレクセフ–クニプソンの分岐多様体スタックの共通一般化を代数的スタックとして構成するために応用されている。

ABSTRACT

We prove Artin's axioms satisfy a compatibility for composition of 1-morphisms of stacks in groupoids. Consequently, some natural stacks in groupoids are algebraic, including a common generalization of Vistoli's Hilbert stack and the stack of branchvarieties of Alexeev and Knutson.

研究の動機と目的

• 代数的スタックの代数的性質に関するアーティンの公理が、スタックの1-準同型の合成のもとで保存されることを確立すること。
• 完成公理が成り立たない場合でも、他のすべての公理が成り立つ場合に、障害理論の整合性を用いてその問題を解決すること。
• ヒルベルトスタックや分岐多様体スタックの一般化を含む、いくつかの自然なモジュライスタックが代数的であることを証明すること。
• ビスティオリのヒルベルトスタックとアレクセフ–クニプソンの分岐多様体スタックの両方の代数的性質の証明を、統一的な枠組みを用いて再構成すること。

提案手法

• 1-準同型 $ f: \tcal{X} \to \tcal{Y} $ に対して、変形および自己同型条件と整合性を持つ相対的障害理論を導入する。
• 拡張対を渡る際の変形および自己同型の関手的性を保証するために、正規化されたクリヴィッジを用いる。
• スタックに対するグロタンディークの存在定理を用いて、$ \text{Spec }\widehat{A}/\mathfrak{m}^n $ 上の対象の整合性のある系を $ \text{Spec }\widehat{A} $ 上の極限に持ち上げる。
• 被覆的補題を用いて、補題の整合性を持つコherent層の極限対象をモジュライスタック内に構成する。
• 平坦および固有の降下を用いて、$ \text{Proj} \, \text{Sym}(E_d) $ を極限を保存する代数的スタックとして構成する。
• [Ols05b] に提示された代表可能性基準を用いて、コホモロジースタックへの普遍的準同型が代数的スタックによって代表可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 1-準同型の合成のもとで、完成公理が成り立たない場合でも、代数的性質に関するアーティンの公理が保存されるか。
• RQ2 スタック $ \tcal{X} $ の代数的性質を、$ \tcal{Y} $ が代数的で、$ f $ が相対的障害理論を備える1-準同型 $ f: \tcal{X} \to \tcal{Y} $ を通じて示す一般的基準は存在するか。
• RQ3 ヒルベルトスタックと分岐多様体スタックは、1つのモジュライ構成によって統一され、かつそのスタックが代数的であるか。
• RQ4 アーティン環上での対象の整合性のある族が、適切な整合性条件のもとで、モジュライスタック内に極限対象をもたらすか。

主な発見

• $ X $ が固有な代数的空間、$ L $ が $ g $-アンプルな逆行列線分束、$ g: X \to \tcal{Y} $ であるような三つ組 $ (X, L, g) $ をパラメータ化するスタック $ \tcal{H} $ は、準コンパクトかつ分離された対角を持つ代数的スタックである。
• $ \tcal{H} $ の構成は、ビスティオリのヒルベルトスタックとアレクセフ–クニプソンの分岐多様体スタックの共通一般化を提供する。
• 証明により、$ \tcal{H} $ がグロタンディークの存在定理を用いた補題の整合性に基づく、アーティンの公理（完成公理を含む）をすべて満たすことが示された。
• 普遍的準同型 $ \tcal{H} \to \text{Coh}_\pi $ は、極限を保存する代数的スタックによって代表可能であり、準コンパクトかつ分離された対角を持つ。
• $ \mathcal{O}_X $ が $ g $-アンプルであるような $ (U,X,g) $ をパラメータ化するスタック $ \tcal{H}_{\text{finite}} $ は代数的であることが示され、$ g $ が非分岐である部分スタックはビスティオリのヒルベルトスタックを再現する。
• $ \tcal{Y} $ が $ S $ 上の射影的スキームである場合、$ \tcal{H}_{\text{finite}} $ の開部分スタックで、幾何的連結かつ同次元なファイバーを持つものとは、アレクセフとクニプソンの分岐多様体のスタックに一致する。