[論文レビュー] Enumerative invariants and wall-crossing formulae in abelian categories

Dominic Joyce|arXiv (Cornell University)|Nov 8, 2021

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

ひとこと要約

この論文は、可換カテゴリにおける数え上げ不変量の普遍的枠組みを、モジュライスタック上の仮想的および不変的クラスを用いて構築する。この枠組みにより、射影的線形モジュライスタックのホモロジー上のリー代数構造を介して、異なる安定性条件における不変量を関連付ける壁越え公式を確立する。主な貢献は、安定＝半安定でない場合にまで、ドナルドソン＝トーマス型不変量を体系的に拡張することであり、これは導来代数幾何およびホモロジー上のボソン/リー代数の技法を用いて証明される。

ABSTRACT

Enumerative invariants in Algebraic Geometry 'count' $τ$-(semi)stable objects $E$ with fixed topological invariants $[E]=a$ in some geometric problem, using a virtual class $[{\cal M}_a^{ m ss}(τ)]_{ m virt}$ in homology, for the moduli spaces ${\cal M}_a^{ m st}(τ)\subseteq{\cal M}_a^{ m ss}(τ)$ of $τ$-(semi)stable objects. We get numbers by taking integrals $\int_{[{\cal M}_a^{ m ss}(τ)]_{ m virt}}Υ$ for cohomology classes $Υ$. Let $\cal A$ be a $\mathbb C$-linear abelian category in Algebraic Geometry. There are two moduli stacks of objects in $\cal A$: the usual moduli stack $\cal M$, and the 'projective linear' moduli stack $\cal M^{ m pl}$. We give $H_*({\cal M})$ the structure of a vertex algebra, and $H_*({\cal M}^{ m pl})$ a Lie algebra. Virtual classes $[{\cal M}_a^{ m ss}(τ)]_{ m virt}$ lie in $H_*({\cal M}^{ m pl})$. We develop a universal theory of enumerative invariants in such $\mathcal A$. Virtual classes $[{\cal M}_a^{ m ss}(τ)]_{ m virt}$ are only defined when ${\cal M}_a^{ m st}(τ)={\cal M}_a^{ m ss}(τ)$. We define invariants $[{\cal M}_a^{ m ss}(τ)]_{ m inv}$ in $H_*({\cal M}^{ m pl})$ for all $a$, with $[{\cal M}_a^{ m ss}(τ)]_{ m inv}=[{\cal M}_a^{ m ss}(τ)]_{ m virt}$ when ${\cal M}_a^{ m st}(τ)={\cal M}_a^{ m ss}(τ)$. If $τ,τ'$ are stability conditions on $\cal A$, we prove a wall-crossing formula writing $[{\cal M}_a^{ m ss}(τ')]_{ m inv}$ in terms of the $[{\cal M}_b^{ m ss}(τ)]_{ m inv}$, using the Lie bracket on $H_*({\cal M}^{ m pl})$. We apply our results for $\cal A$ the representations of a quiver or quiver with relations, or coh$(X)$ for $X$ a curve, surface or Fano 3-fold, or a category of 'pairs' in coh$(X)$ for $X$ a curve or surface. This proves conjectures in Gross-Joyce-Tanaka arXiv:2005.05637.

研究の動機と目的

• 代数幾何から生じるアーベルカテゴリにおいて、安定＝半安定でない場合にまで、数え上げ不変量の理論を拡張すること。
• Mst = Mss のとき仮想クラス [Mss_α(τ)]_virt を一般化する、H*(Mpl) における普遍的不変クラス [Mss_α(τ)]_inv の定義。
• H*(Mpl) におけるリー括弧を用いて、[Mss_α(˜τ)]_inv を [Mss_β(τ)]_inv の形で表す壁越え公式の確立。
• クイバー表現、曲線・曲面・ファノ3次元多様体上の局所係数層、および層のペアといった重要な幾何的設定におけるフレームワークの検証。
• 3-および4-カラビ＝ヤウカテゴリへの拡張を、既存のドナルドソン＝トーマス理論の代替手段として提案すること。

提案手法

• 通常のモジュライスタックのホモロジー H*(M) に、グレーディング付きボソン代数構造を構成し、射影的線形モジュライスタックのホモロジー H*(Mpl) に、関連するグレーディング付きリー代数構造を定義する。
• すべての α ∈ C(A) に対して、H*(Mpl) における不変クラス [Mss_α(τ)]_inv を定義し、安定性が良好な場合（Mst = Mss）には仮想クラスと一致する。
• Gm-局在化および障害理論の技法を用いて、仮想クラスと等置ホモロジーを関連付け、リー代数の関係を介して壁越えを導出する。
• クイバー表現の mod-CQ および mod-CQ/I、X が曲線・曲面・ファノ3次元多様体であるときの coh(X)、および coh(X) 内のペア (ρ: V⊗L → E) に理論を適用する。
• 導来スタック設定における仮想クラスのリー括弧関係に依拠し、有限性およびコンパクト性の仮定を用いて壁越え公式を証明する。
• 安定性のチャネル分解に基づく帰納法により公式を確立し、有限性条件（仮定5.3(b)）を用いて、無限級数の取り扱いやキャンセルを丁寧に処理する。

実験結果

リサーチクエスチョン

• RQ1 安定対象と半安定対象が一致しない場合でも、アーベルカテゴリにおける数え上げ不変量を一貫して定義する方法は何か？
• RQ2 変化する安定性条件の下での不変量の空間に、どのような代数的構造が存在するか？
• RQ3 ある安定性条件における不変量を、別の安定性条件における不変量で表す普遍的壁越え公式を導出できるか？
• RQ4 射影的線形モジュライスタック Mpl のホモロジー群は、不変量の壁越え行動をどのように表現するか？
• RQ5 このフレームワークは、カラビ＝ヤウ3次元および4次元多様体上の局所係数層およびクイバー表現に、どの程度まで適用可能か？

主な発見

• 論文は、Mst ≠ Mss の場合にまで仮想クラス [Mss_α(τ)]_virt を拡張する普遍的不変クラス [Mss_α(τ)]_inv を H*(Mpl) に構成する。
• 壁越え公式が証明された：[Mss_α(˜τ)]_inv は、oβ = oα を満たす β に対して、H*(Mpl) 内のリー括弧展開として [Mss_β(τ)]_inv の形で表される。
• 有限個の仮定（例えば、コンパクト性、有限性、準滑らかさ）の下で公式が成り立ち、クイバー表現および曲線・曲面・ファノ3次元多様体上の局所係数層において検証される。
• ペア (ρ: V⊗L → E) における coh(X) に対しても理論が適用可能であり、安定ペアを用いたランク削減技法が可能になる。
• このフレームワークは、Gross–Joyce–Tanaka [81] の予想を証明し、3-および4-カラビ＝ヤウカテゴリにおけるドナルドソン＝トーマス理論の新たなアプローチを提供する。
• 発散する無限級数を避けるために有限性条件を用いることで、級数の再配列が正当化され、キャンセルが有限に制限される。