[论文解读] 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$ 上层丛的 Gieseker 模空间的交上同调的 Hodge 数提供了一种新的计算方法。关键结果是两个散射图完全一致，证明了这些模空间的交上同调为 Hodge-Tate 型，并首次提供了对精细 Donaldson-Thomas 不变量 $\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$ 上 Bridgeland 稳定性条件导出的几何散射图与算法定义的散射图之间的对应关系。
• 为 $\mathbb{P}^2$ 上半稳定层丛的经典 Gieseker 模空间的交上同调的 Hodge 数提供一种新的计算算法。
• 证明这些模空间的交上同调为 Hodge-Tate 型，即集中在 $(p,p)$-双次数上。
• 首次提供对局部 $\mathbb{P}^2$ 上一维层丛的精细 Donaldson-Thomas 不变量 $\chi$-无关性猜想的非平凡数值验证。

提出的方法

• 从 $D^b(\mathbb{P}^2)$ 中 Bridgeland 半稳定对象的壁穿跃行为构造散射图 $\mathfrak{D}^{\mathbb{P}^2}_{u,v}$。
• 利用导出范畴和 quiver 表示的初始数据，定义算法散射图 $S(\mathfrak{D}^{\mathrm{in}}_{u,v})$。
• 运用混合 Hodge 理论与 Donaldson-Thomas 形式化方法，将数值不变量与模空间的 Poincar\'e 多项式联系起来。
• 应用壁穿跃公式，关联一维稳定性流形 $U \subset \mathrm{Stab}(\mathbb{P}^2)$ 中不同稳定性条件下的不变量。
• 采用树分解技术，通过层丛分解的各个分支的贡献计算模空间的 Poincar\'e 多项式。
• 通过 $d=3$ 和 $d=4$ 的显式计算，验证了 $\mathfrak{D}^{\mathbb{P}^2}_{u,v} = S(\mathfrak{D}^{\mathrm{in}}_{u,v})$。

实验结果

研究问题

• RQ1 从 $\mathbb{P}^2$ 上 Bridgeland 稳定性条件导出的散射图是否与算法构造的散射图一致？
• RQ2 $\mathbb{P}^2$ 上 Gieseker 半稳定层丛模空间的交上同调是否为 Hodge-Tate 型，即是否集中在 $(p,p)$-双次数上？
• RQ3 局部 $\mathbb{P}^2$ 上一维层丛的精细 Donaldson-Thomas 不变量是否在不同欧拉示性数下表现出 $\chi$-无关性？
• RQ4 能否通过散射图算法性地计算半稳定层丛模空间的 Poincar\'e 多项式？
• RQ5 层丛分解的不同分支的贡献是否与散射算法的预测一致？

主要发现

• 从 $\mathbb{P}^2$ 上 Bridgeland 稳定性条件导出的散射图 $\mathfrak{D}^{\mathbb{P}^2}_{u,v}$ 与算法构造的图 $S(\mathfrak{D}^{\mathrm{in}}_{u,v})$ 完全相等，建立了完整的对应关系。
• $\mathbb{P}^2$ 上 Gieseker 半稳定层丛模空间的交上同调为 Hodge-Tate 型，所有 Hodge 双次数均集中在 $(p,p)$。
• 当 $d=3$ 时，$M_{(0,3,1)}$ 的 Poincar\'e 多项式为 $[9]_q[3]_q$，与散射算法的输出一致。
• 当 $d=4$ 时，$M_{(0,4,1)}$、$M_{(0,4,2)}$ 和 $M_{(0,4,4)}$ 的 Poincar\'e 多项式均为 $[12]_q(1+q+4q^2+4q^3+4q^4+q^5+q^6)$，证实了 $\chi$-无关性。
• 散射算法正确计算了层丛分解中 codimension 0、1、2 和 3 分支的贡献，验证了其在计算 Poincar\'e 多项式中的有效性。