[論文レビュー] The moduli stack and motivic Hall algebra for the bounded derived category

Parker E. Lowrey|arXiv (Cornell University)|Oct 24, 2011

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

ひとこと要約

本稿は、可換な単体的環 $k$ 上の導来的射影的スキーム $X$ の有界導来カテゴリ $\mathrm{D}^{\mathrm{b}}(X)$ における擬準同型対象を分類する導来的モジュライスタック $σ\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ の存在を確立する。相対的 Tor-幅と $∞$-圏的技法を用いて、このスタックが局所的に幾何的であり、ほとんど有限型であることを証明し、$X$ に対する導来的モチーフ的ホール代数の構成を可能にする。これは、非自明な負の Ext 群を持つ対象を含むように、古典的なモジュライ理論を拡張するものである。

ABSTRACT

We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative Tor-amplitude we define a derived stack classifying pseudo-coherent objects. For reasonable base schemes, this classifies the bounded derived category. In the case that X is a projective derived scheme flat over the base, we show the moduli is locally geometric and locally of almost finite type. Using this result, we prove the existence of a derived motivic Hall algebra associated to X.

研究の動機と目的

• 有界導来カテゴリに非自明な負の Ext 群を持つ対象を含むように、古典的な DT/PT 不変量で除外される状況に対しても、モジュライ的技法を拡張すること。
• 導来的射影的スキーム $X$ の有界導来カテゴリ $\mathrm{D}^{\mathrm{b}}(X)$ における擬準同型対象を分類する well-behaved なモジュライスタックを定義すること。
• $X$ が底層に対して射影的かつ平坦である条件のもとで、このモジュライスタックの幾何的有限性（局所的に幾何的、ほとんど有限型）を確立すること。
• このモジュライスタックの幾何的性質を用いて、$X$ に関連する導来的モチーフ的ホール代数を構成すること。
• 函手的構成を容易にするために、$∞$-圏的定義を用いて古典的結果を導来的設定に一般化する、擬準同型の代替的定義を提供すること。

提案手法

• フィルトレーションを用いた導来的擬準同型の概念を導入し、相対的 Tor-幅を用いて、Illusie よりも一般化された Illusie および Thomason の有限性条件を導来的スタックへ拡張する。
• $∞$-圏と高次の導来的スタックを用いて、ホモトピー的同型性と高次の自己同型を扱い、モデル構造を避ける。
• $k$-代数上のカルテジアンおよびバイカルテジアンファイブレーション形式を用いて、導来的スタック上の準同型層の $∞$-圏を定義する。
• ベースチェンジ関手 $X \times -$ を通じて、普遍的なカルテジアンファイブレーションの引き戻しとして、モジュライスタック $\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ を構成する。
• Lurie の $∞$-圏および対称モノイド構造の理論を用いて、準同型層の割り当てを、関手の点への関手としての有限極限を保存する関手に高次化する。
• Lurie の『Higher Algebra』および『Higher Topos Theory』の結果を適用し、引き戻しの右随伴の存在を証明することで、ファイブレーションがバイカルテジアンであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 有界導来カテゴリのための well-behaved なモジュライスタックを、非自明な負の Ext 群を持つ導来的射影的スキーム $X$ に対しても構成可能か？
• RQ2 $X$ が底層に対して平坦な導来的射影的スキームであるとき、$\mathrm{D}^{\mathrm{b}}(X)$ 内の擬準同型対象のモジュライスタックは局所的に幾何的かつほとんど有限型か？
• RQ3 このようなモジュライスタックの存在が、完全性の仮定がなくても、導来的モチーフ的ホール代数の構成を可能にするか？
• RQ4 導来的設定において、函手的および古典的有限性条件との整合性を保ちつつ、擬準同型を再定義する方法は何か？
• RQ5 $X$ が完全的でない場合に、コンパクト性、双対可能性、および擬準同型との関係は何か？

主な発見

• 可換な単体的環 $k$ 上の導来的射影的スキーム $X$ の有界導来カテゴリを分類するモジュライスタック $\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ は、局所的に幾何的であり、ほとんど有限型である。
• $k$ 上で平坦な任意の導来的射影的スキーム $X$ に対して、スタック $\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ は $k$ 上でほとんど有限型である。これは、任意の $n \in \mathbb{N}$ に対して、$n$-切断された単体的 $k$-代数に制限したとき、有限型であることを意味する。
• 本稿では、フィルトレーションと切断を用いた導来的設定における擬準同型の代替的定義を提供する。この定義は、加群構造を保存し、古典的結果の直接的な一般化を可能にする。
• モジュライスタック $\mathcal{M}_{\mathrm{D}^{\mathrm{b}}(X)}$ の幾何的有限性のおかげで、$X$ に関連する導来的モチーフ的ホール代数が存在することが保証され、完全複体の枠組みを超えてフレームワークが拡張される。
• $X$ が完全的かつ準コンパactな導来的スタックであるとき、$\mathrm{QCoh}(X)$ 内の対象 $F$ は、$F$ の $n$ 番目の切断が $n$-切断されたコロイドに沿ったコンパクト性を持つときに限り、擬準同型である。
• 関手 $σ\widetilde{\mathrm{QCoh}}(X)$ としての準同型層の構成は、ケン拡張とアフィンな引き戻しの右随伴の存在を用いて、$k$-代数上のバイカルテジアンファイブレーションとして達成され、対称モノイド構造と整合性を保つ。