[论文解读] Generalized Donaldson-Thomas Invariants of 2-Dimensional sheaves on local P^2

Amin Gholampour, Artan Sheshmani|arXiv (Cornell University)|Aug 31, 2013

Algebraic Geometry and Number Theory参考文献 18被引用 3

一句话总结

本论文利用 Joyce-Song 的稳定对理论与 motivic wall-crossing 方法，计算了在 $\mathbb{P}^2$ 的典范丛全空间上，2 维层在半稳定蕴含稳定条件下的广义 Donaldson-Thomas 不变量，针对 $k=1,2,3$ 的情形。证明了 $k=2$ 时的组合公式，并在特定情况下验证了 BPS 整性猜想，将不变量表示为已知的模形式。

ABSTRACT

Let X be the total space of the canonical bundle of P^2. We study the generalized Donaldson-Thomas invariants, defined in the work of Joyce-Song, of the moduli spaces of the 2-dimensional Gieseker semistable sheaves on X with first Chern class equal to k times the class of the zero section of X. When k=1, 2 or 3, and semistability implies stability, we express the invariants in terms of known modular forms. We prove a combinatorial formula for the invariants when k=2 in the presence of the strictly semistable sheaves, and verify the BPS integrality conjecture of Joyce-Song in some cases.

研究动机与目标

• 计算在 $\mathbb{P}^2$ 的典范丛全空间上，第一陈类为零截面类 $k$ 倍的 2 维 Gieseker 半稳定层的广义 Donaldson-Thomas 不变量。
• 在半稳定蕴含稳定条件下，将这些不变量表示为已知的模形式，当 $k=1,2,3$ 时。
• 为 $k=2$ 的情形推导广义 DT 不变量的组合公式，包括严格半稳定的层。
• 通过 motivic wall-crossing 计算堆栈欧拉特征，验证 Joyce-Song 的 BPS 整性猜想在特定情形下的正确性。

提出的方法

• 利用 Joyce-Song 的稳定对理论，将广义 DT 不变量定义为半稳定层模空间的堆栈加权欧拉特征。
• 应用 Joyce 与 Kontsevich-Soibelman 的 motivic wall-crossing 技术，将稳定对的不变量与半稳定层的不变量关联起来。
• 利用虚拟基本类与完美障碍理论，在层的模空间上构造变形不变的不变量。
• 通过约化 Hilbert 多项式与对 $(\mathcal{F},s)$ 的稳定性条件定义稳定性，并确保整性。
• 通过堆函数的 Hall 代数方法构建广义 DT 不变量，实现不同稳定性区域之间不变量的关联。
• 通过 $\Delta$-族的组合枚举与相关数据表，显式计算 $k=2$ 时的不变量。

实验结果

研究问题

• RQ1 当 $k=1,2,3$ 时，若半稳定蕴含稳定，如何计算局部 $\mathbb{P}^2$ 三倍空间上 2 维层的广义 Donaldson-Thomas 不变量？
• RQ2 当 $k=2$ 时，广义 DT 不变量的显式组合公式是什么，包括严格半稳定的层？
• RQ3 能否通过 motivic wall-crossing 与稳定对理论验证这些不变量的 BPS 整性猜想？
• RQ4 在给定稳定性条件下，$k=1,2,3$ 的广义 DT 不变量在多大程度上与已知的模形式相匹配？

主要发现

• 当 $k=1,2,3$ 且半稳定蕴含稳定时，广义 DT 不变量可表示为已知的模形式。
• 为 $k=2$ 的情形推导出广义 DT 不变量的组合公式，即使存在严格半稳定的层，也通过 $\Delta$-族数据与堆栈欧拉特征实现。
• 通过 motivic wall-crossing 显式计算不变量，验证了特定情形下 BPS 整性猜想的正确性。
• $k=2$ 的不变量通过包含 86 项的 $\Delta$-族表计算得出，每一项均对总堆栈欧拉特征有贡献。
• 对于 $k=2$，多个构型下的广义 DT 不变量为 $-2$，表明严格半稳定的层对结果有非平凡贡献。
• 结果确认广义 DT 不变量为有理数，并满足 BPS 整性猜想所预测的整性约束。