[論文レビュー] Moduli of complexes on a proper morphism

Max Lieblich|arXiv (Cornell University)|Feb 9, 2005

Algebraic structures and combinatorial models参考文献 9被引用数 9

ひとこと要約

本稿では、固有な準同型 $X \to S$ 上の複体のモジュライ空間——特に、普遍的に貼り合わせ可能で、ある種の Ext-消滅条件を満たす、完全複体——が、$S$ 上で局所的に有限表示であるアーティンスタックをなすことを確立する。変形理論、グロタンディークの存在定理、およびアーティンの代表可能性の基準を用いて、従来の層のモジュライに関する結果（特に、イナバの単純複体に関する研究）を一般化・統合する基盤となるモジュライスタックを構成する。

ABSTRACT

Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally, contains the collection of all S-flat objects which can appear in the heart of a reasonable sheaf of t-structures on X. In this sense, this is the Mother of all Moduli Spaces (of sheaves). The proof proceeds by studying the finite presentation properties, deformation theory, and Grothendieck existence theorem for objects in the derived category, and then applying Artin's representability theorem.

研究の動機と目的

• 固有な準同型 $X \to S$ の導来圏における複体の一般モジュライスタックを構成し、代数幾何におけるさまざまなモジュライ問題を統一すること。
• イナバの単純複体のモジュライに関する結果を、$t$-構造から生じる対象を含むより広いクラスへと拡張すること。
• 特にブリッジランド安定性条件やフロップに関連する対象を対象とする、導来圏内の対象のモジュライを研究するための基盤的枠組みを提供すること。
• 導来代数幾何の完全な発展の前段階で、古典的手法を用いてモジュライスタックの代数的性を確立すること。
• 自己同型とブラウアー障害がモジュライ問題において果たす役割を、インertieスタックおよびジェルベの構造を通じて明確化すること。

提案手法

• アーティンの代表可能性の基準を適用し、$\operatorname{Ext}^i(E_s, E_s) = 0$ ($i < 0$) を満たす普遍的に貼り合わせ可能な完全複体のスタックがアーティンスタックであることを証明する。
• 複体の変形理論を適用し、自由分解を用いてアフィンの場合に還元し、一般の場合へと段階的に拡張する。
• 形式的変形の効果性を、非ゼロコホモロジー層の個数に関する帰納法により証明し、可換層のグロタンディークの存在定理に帰着する。
• モジュライ問題における有限性および分離性条件を用いて、有限表示性および分離的対角線の性質を確立する。
• 剛性化技術を用いて、単純複体のモジュライスタックの層化が、局所的に有限表示である代数的空間によって代表可能であることを構成する。
• インセティバスタックを活用し、単純複体の層を、インセティバスタックのファイバー次元によって特定できる開部分スタックとして同定する。さらに、$\mathbf{G}_m$ による商が代数的空間上にジェルベをなすことを示す。

実験結果

リサーチクエスチョン

• RQ1 固有な準同型 $X \to S$ の導来圏における複体のモジュライ空間は、古典的手法を用いて代数的であると示せるか？
• RQ2 どのような条件を満たす複体が、そのモジュライ空間が基底の上に局所的に有限表示であるアーティンスタックとなるか？
• RQ3 複体の変形理論は、そのモジュライスタックの代数的性とどのように関係するか？
• RQ4 完全複体の一般モジュライスタックは、幾何的モジュライ問題の普遍的パラメータ空間として、どの程度の役割を果たせるか？
• RQ5 このような複体のモジュライスタックと単純複体のモジュライ空間の関係は何か？ブラウアー類はどのようにして生じるか？

主な発見

• 普遍的に貼り合わせ可能で、負の Ext が消える完全複体をパラメトライズするスタック $\mathscr{D}_{\operatorname{pug}}^{\mathit{b}}(X/S)$ は、$S$ 上で局所的に有限表示であるアーティンスタックである。
• モジュライスタックの対角線は分離的であり、現代的な用語で言えば代数的性の強い条件を満たしている。
• 単純複体——自己同型がスカラーのみであるもの——の層は、インセティバスタックのファイバー次元によって特定できる開部分スタックである。
• 単純複体のモジュライスタックは $\mathbf{G}_m$-ジェルベ構造をもち、その層化は局所的に有限表示である代数的空間によって代表可能である。
• この構成により、ネーター的スキーム上の射影的準同型に関するイナバの単純複体のモジュライに関する結果が回復され、拡張される。
• この枠組みは、ブリッジランドによるフロップの構成や、導来手法による仮想基本クラスへの将来的応用を自然に扱うための土台を提供する。