[論文レビュー] Theta-stratifications, Theta-reductive stacks, and applications

Daniel Halpern-Leistner|arXiv (Cornell University)|Aug 16, 2016

Algebraic Geometry and Number Theory参考文献 32被引用数 4

ひとこと要約

本稿は、幾何的不変理論を越えて代数的幾何におけるモジュライ問題を分析するための枠組みとして $Θ$-stratifications と $Θ$-reductive スタックを導入する。K理論における仮想非アーベル局所化公式を確立し、古典的結果を一般化し、その理論を応用して、導来カテゴリーやボレル＝ムーレイホモロジーの構造定理を導出し、特にK3多様体における壁交叉に対するポincare多項式の不変性を示す。

ABSTRACT

These are expanded notes on a lecture of the same title at the 2015 AMS summer institute in algebraic geometry. We give an introduction and overview of the "beyond geometric invariant theory" program for analyzing moduli problems in algebraic geometry. We discuss methods for analyzing stability in general moduli problems, focusing on the moduli of coherent sheaves on a smooth projective scheme as a toy example. We describe several applications: a general structure theorem for the derived category of coherent sheaves on an algebraic stack; some results on the topology of moduli stacks; and a "virtual non-abelian localization formula" in K-theory. We also propose a generalization of toric geometry to arbitrary compactifications of homogeneous spaces for algebraic groups, and formulate a conjecture on the Hodge theory of algebraic-symplectic stacks.

研究の動機と目的

• 幾何的不変理論を越えて代数的幾何におけるモジュライ問題を分析する一般枠組みを構築すること。
• 各層がモジュラー解釈を持つように、代数的スタックに対する $Θ$-stratification を構成し、それが良いモジュライ空間を有するに近づくこと。
• K理論における仮想非アーベル局所化公式を確立し、トーラス作用に対する局所化定理を一般化すること。
• $Θ$-stratification を持つスタック上の連接層の導来カテゴリの構造定理を証明すること。
• K3多様体上のギーゼッカー半安定な層のモジュライスタックのボレル＝ムーレイホモロジーのPoincaré多項式が、一般安定条件の選択に依存しないことを示すこと。

提案手法

• モジュライスタックの $Θ$-再帰的拡大を導入し、$Θ$-stratification の構成を可能にする。
• コホモロジー類 $\ell \in H^2(\mathcal{X}^\prime; \mathbb{Q})$ と $b \in H^4(\mathcal{X}^\prime; \mathbb{Q})$ を用いて、$Θ$-安定性条件を定義し、その stratification を誘導する。
• 導来代数的幾何の技法を用いて、コホモロジーおよびボレル＝ムーレイホモロジーに対するキルワンの上への性質のカテゴリファイケーションを行う。
• $Θ$-stratification の理論を用いて、安定条件の壁交叉における不変量を比較し、特にK3多様体上の層のモジュライに対して応用する。
• 導来 $Θ$-stratification フレームワークを活用し、特定の条件下で半安定部分集合のコホモロジーを全スタックのコホモロジーと同定する。
• 仮想非アーベル局所化公式を用いて、ヒッグスバンドルのモジュライスタック上のラインバンドルのコホモロジー群の次数付き次元を計算する。

実験結果

リサーチクエスチョン

• RQ1 良いモジュライ空間を伴わないモジュライ問題を扱うために、幾何的不変理論をどのように一般化できるか。
• RQ2 各層がモジュラー解釈を持ち、良いモジュライ空間を有するに近い状態となるようなスタック上に $Θ$-stratification を構成できるか。
• RQ3 $Θ$-stratification を持つスタック上の連接層の導来カテゴリの構造はいかなるものか。
• RQ4 K3多様体上の半安定な層のモジュライスタックのボレル＝ムーレイホモロジーのPoincaré多項式は、一般安定条件の選択に依存しないか。
• RQ5 トーラス作用に対する古典的局所化定理を一般化するK理論における仮想非アーベル局所化公式を確立できるか。

主な発見

• K3多様体上のギーゼッカー半安定な層のモジュライスタックのボレル＝ムーレイホモロジーのPoincaré多項式は、一般安定条件の選択に依存しない。
• K理論における仮想非アーベル局所化公式が確立され、トーラス作用に対する局所化定理を一般化し、非アーベル群作用にも適用可能である。
• 特定の正のラインバンドル $\mathcal{L}$ に対して、$H^i(\mathcal{H}iggs_G^{\rm{ss}}, \mathcal{L})$ は $i > 0$ のとき消えることが示され、$H^0$ の次数付き次元は明示的な公式で与えられる。
• $Θ$-stratification を持つスタック上の導来カテゴリは、キルワンの上への性質をカテゴリファイする構造定理を持つ。
• この理論により、安定条件の変化に伴うモジュライスタック上のタウトロジカルクラスのインデックスの壁交叉公式が得られる。
• このフレームワークにより、再帰的群の球面的ビルディング内の有理的多面体を用いた、トーリック幾何の一般化が可能になる。