[論文レビュー] Scattering diagrams, stability conditions, and coherent sheaves on $\mathbb{P}^2$

Pierrick Bousseau|arXiv (Cornell University)|Sep 6, 2019

Algebraic Geometry and Number Theory参考文献 82被引用数 16

ひとこと要約

本稿は、$\mathbb{P}^2$ の導来圏における壁を越える行動を符号化する幾何的に動機づけられた散乱図と、アルゴリズム的に構成された散乱図の間の対応関係を確立し、$\mathbb{P}^2$ 上の層のギーゼッカーmoduli空間の交差コホモロジーのホッジ数を計算する新しい手法を提供する。主な結果は、二つの図が一致することであり、これによりこれらのmoduli空間の交差コホモロジーがホッジ＝テイト的であることが証明され、精錬されたドナルドソン＝トーマス不変量の $\chi$-独立性予想に対する初めての非自明な数値的検証が得られる。

ABSTRACT

We show that a purely algebraic structure, a two-dimensional scattering diagram, describes a large part of the wall-crossing behavior of moduli spaces of Bridgeland semistable objects in the derived category of coherent sheaves on $\mathbb{P}^2$. This gives a new algorithm computing the Hodge numbers of the intersection cohomology of the classical moduli spaces of Gieseker semistable sheaves on $\mathbb{P}^2$, or equivalently the refined Donaldson-Thomas invariants for compactly supported sheaves on local $\mathbb{P}^2$. As applications, we prove that the intersection cohomology of moduli spaces of Gieseker semistable sheaves on $\mathbb{P}^2$ is Hodge-Tate, and we give the first non-trivial numerical checks of the general $χ$-independence conjecture for refined Donaldson-Thomas invariants of one-dimensional sheaves on local $\mathbb{P}^2$.

研究の動機と目的

• $\mathbb{P}^2$ 上のブリッジランド安定性条件から導かれる幾何的散乱図と、アルゴリズム的に定義された散乱図との間の対応関係を確立すること。
• $\mathbb{P}^2$ 上の半安定層の古典的ギーゼッカーmoduli空間の交差コホモロジーのホッジ数を計算するための新しいアルゴリズムを提供すること。
• これらのmoduli空間の交差コホモロジーがホッジ＝テイト的である、すなわち $(p,p)$-双次数に集中していることを証明すること。
• 局所$\mathbb{P}^2$ 上の1次元層の精錬されたドナルドソン＝トーマス不変量の $\chi$-独立性予想に対する、初めての非自明な数値的検証を提供すること。

提案手法

• $D^b(\mathbb{P}^2)$ 内のブリッジランド半安定対象の壁を越える行動から散乱図 $\mathfrak{D}^{\mathbb{P}^2}_{u,v}$ を構成する。
• 導来圏とクウェイバー表現からの初期データを用いて、アルゴリズム的散乱図 $S(\mathfrak{D}^{\mathrm{in}}_{u,v})$ を定義する。
• 混合ホッジ理論とドナルドソン＝トーマス形式主義を用いて、数値的不変量とmoduli空間のポincare多項式を関連付ける。
• 壁を越える公式を用いて、1次元安定性多様体 $U \subset \mathrm{Stab}(\mathbb{P}^2)$ 内の異なる安定性条件間の不変量を関連付ける。
• 木分解技術を用いて、層の分解のストラトゥムからの寄与を介して、moduli空間のポincare多項式を計算する。
• $d=3$ および $d=4$ に対して明示的な計算により、$\mathfrak{D}^{\mathbb{P}^2}_{u,v} = S(\mathfrak{D}^{\mathrm{in}}_{u,v})$ の等しさを検証する。

実験結果

リサーチクエスチョン

• RQ1 ブリッジランド安定性条件から生じる散乱図 $\mathfrak{D}^{\mathbb{P}^2}_{u,v}$ は、アルゴリズム的に定義された散乱図と一致するか？
• RQ2 ギーゼッカー半安定層のmoduli空間の交差コホモロジーはホッジ＝テイト的であるか、すなわち $(p,p)$-双次数に集中しているか？
• RQ3 局所$\mathbb{P}^2$ 上の1次元層の精錬されたドナルドソン＝トーマス不変量は、異なるオイラー標数の間で $\chi$-独立性を示すか？
• RQ4 半安定層のmoduli空間のポincare多項式は、散乱図を用いてアルゴリズム的に計算可能か？
• RQ5 層の分解の異なるストラトゥムからの寄与は、散乱アルゴリズムの予測と一致するか？

主な発見

• ブリッジランド安定性条件から生じる散乱図 $\mathfrak{D}^{\mathbb{P}^2}_{u,v}$ は、アルゴリズム的に構成された図 $S(\mathfrak{D}^{\mathrm{in}}_{u,v})$ と一致し、完全な対応関係が確立された。
• ギーゼッカー半安定層のmoduli空間の交差コホモロジーはホッジ＝テイト的であり、すべてのホッジ双次数が $(p,p)$ に集中している。
• $d=3$ の場合、$M_{(0,3,1)}$ のポincare多項式は $[9]_q[3]_q$ に一致し、散乱アルゴリズムの出力と一致する。
• $d=4$ の場合、$M_{(0,4,1)}$、$M_{(0,4,2)}$、$M_{(0,4,4)}$ のポincare多項式はすべて $[12]_q(1+q+4q^2+4q^3+4q^4+q^5+q^6)$ に等しく、$\chi$-独立性が確認された。
• 散乱アルゴリズムは、層の分解の次元0, 1, 2, 3のストラトゥムからの寄与を正しく計算しており、ポincare多項式の計算に使用可能なことが検証された。