[論文レビュー] Remarks on Theta-stratifications and derived categories

Daniel Halpern-Leistner|arXiv (Cornell University)|Feb 10, 2015

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

ひとこと要約

この論文は、特異的または非滑らかである可能性のあるスタックに対しても成り立つように、古典的GITにおける技術的仮定を必要としない、導来代数的幾何における導来$Θ$-層化枠組みを確立する。これは、グローバル商スタックの導来カテゴリの半直交分解を一般化するものであり、K理論における仮想非アーベル的局所化定理を証明し、スタック上のEuler特性が固定点集合からの寄与によって明示的な仮想層を通じて分解されることを示している。

ABSTRACT

This note extends some recent results on the derived category of a geometric invariant theory quotient to the setting of derived algebraic geometry. Our main result is a structure theorem for the derived category of a derived local quotient stack which admits a stratification of the kind arising in geometric invariant theory. The use of derived algebraic geometry leads to results with pleasingly few hypotheses, even when the stack is not smooth. Using the same methods, we establish a "virtual non-abelian localization theorem" which is a K-theoretic analog of the virtual localization theorem in cohomology.

研究の動機と目的

• 幾何的不変量理論における導来カテゴリの半直交分解を、最小限の仮定で導来代数的幾何に拡張すること。
• 従来の結果が技術的条件(L+)および(A)の下で失敗するのを、商スタックの導来強化を用いて解決すること。
• 特異的または非滑らかである可能性のあるスタックに対しても適用可能なK理論的仮想非アーベル的局所化公式を確立すること。
• 導来商スタック上の完全複体のEuler特性が、仮想層を通じて固定点集合からの寄与に分解されることを示すこと。
• 一パrameter部分群によって定義される層化を用いて、-equivariant K理論の積分を計算するための枠組みを提供すること。

提案手法

• 特徴0の導来グローバル商スタック$\mathcal{X} = X/G$における導来$Θ$-層化の概念を導入する。
• コhomology with supportsを適用し、単一の導来$Θ$-層化に対して$D^{-}\!\mathop{\rm Coh}\nolimits(\mathcal{X})$の半直交分解を導出する。
• Lie代数コホモロジーと$\bigwedge^\ast(\mathfrak{u}^\vee)$を含む明示的複体を用いて、層化における$U$-gerbeに沿った押し出しを計算する。
• 負の重み部分の正規バンドルの対称冪の無限直和として仮想層$E_i$を構成し、Euler特性への寄与が有限個に制限されることを示す。
• 複体$\pi_*F$の計算におけるフィルトレーションを用い、Euler特性に寄与するのは有限個の項に限られることを示す。
• 導来代数的幾何と-equivariant K理論の結果を組み合わせ、$\chi(\mathcal{X}, F) = \chi(\mathcal{X}^{ss}, F) + \sum \chi(\mathcal{Z}_i, E_i \otimes \sigma^*F)$を証明する。

実験結果

リサーチクエスチョン

• RQ1 GIT商の導来カテゴリの半直交分解を、技術的仮定(L+)および(A)を必要としない導来代数的幾何に一般化できるか？
• RQ2 特異的または非滑らかである可能性のある導来商スタックに対し、K理論における仮想非アーベル的局所化公式をどのように定式化し、証明できるか？
• RQ3 一パラメータ部分群と固定点集合が、K理論的局所化公式に現れる仮想層$E_i$の定義において果たす役割は何か？
• RQ4 半安定集合が空集合であっても、導来商スタック上の完全複体のEuler特性が、固定点集合からの寄与によって計算可能か？
• RQ5 特異的または非滑らかさが存在する状況において、導来$Θ$-層化が導来カテゴリの構造をどのように精緻化するか？

主な発見

• 導来$Θ$-層化により、技術的仮定を一切要しない導来商スタック$\mathcal{X} = X/G$に対して$D^{-}\!\mathop{\rm Coh}\nolimits(\mathcal{X})$の半直交分解が可能である。
• 障害クラスが消える擬似滑らか導来商スタックに対して、定理3.1により$D^b\!\mathop{\rm Coh}\nolimits(\mathcal{X})$の半直交分解が確立される。
• 層化の包含写像が正規埋め込みであるとき、定理2.1により$\!\mathop{\rm Perf}\nolimits(\mathcal{X})$の半直交分解が得られる。
• 仮想非アーベル的局所化定理（定理5.1）により、$\chi(\mathcal{X}, F)$は固定点集合$\mathcal{Z}_i$の和として表され、寄与は仮想層$E_i$を介して与えられる。$E_i$は無限和ではあるが、Euler特性への寄与は有限個に限られる。
• 仮想層$E_i$は一パラメータ部分群$\lambda_i$と固定点集合の正規バンドルに依存しており、この公式は層化の選択に敏感である。
• 押し出し複体の有界下方フィルトレーションに依拠し、対応する階層が正の重み部分の対称冪と同型であり、Euler特性に非ゼロの項が有限個しか寄与しないことを保証する。