[论文解读] On higher rank Donaldson-Thomas invariants

Kentaro Nagao|arXiv (Cornell University)|Feb 18, 2010

Advanced Topics in Algebra参考文献 22被引用 11

一句话总结

该论文通过构建 quiver，利用 Joyce-Song 的 wall-crossing 公式，使 motivic invariants 与 Calabi-Yau 3- folds 上的高阶 Donaldson-Thomas 不变量匹配，从而确立了这些不变量的整数性与对称性。通过利用 quiver 表示与导出等价性，该研究将已知的秩一结果推广至更高秩，证明了这些不变量为整数并满足对偶对称性。

ABSTRACT

We study higher rank Donaldson-Thomas invariants of a Calabi-Yau 3-fold using Joyce-Song's wall-crossing formula. We construct quivers whose counting invariants coincide with the Donaldson-Thomas invariants. As a corollary, we prove the integrality and a certain symmetry for the higher rank invariants.

研究动机与目标

• 证明 Calabi-Yau 3- folds 上高阶 Donaldson-Thomas 不变量在秩一以上情形的整数性。
• 建立形式为 $\Omega^+(r,n)$ 与 $\Omega^+(n-r,n)$ 的不变量之间的对偶对称性。
• 构造无关系的 quiver，使其 motivic 不变量与 D0-D6 及 D0-D2-D6 绑定态的 DT 不变量相匹配。
• 证明 Calabi-Yau 3- folds 上相干层的 wall-crossing 公式可通过 Grothendieck 群之间的群同态与 quiver 表示的 wall-crossing 公式一致。
• 通过导出等价性与非交换 crepant 分解，将秩一情形的整数性结果推广至更高秩不变量。

提出的方法

• 构造一个 quiver $Q_{\chi,N}$，其中 $\chi = \chi(X)$，其 Grothendieck 群 $\Gamma_Q$ 通过同态 $\pi$ 映射到 3- fold 的数值 Grothendieck 群 $\Gamma_X$。
• 在有限维 $Q$-模的范畴上定义稳定性条件 $Z_Q^\pm = Z_X^\pm \circ \pi$，确保其与 $X$ 上原始稳定性条件相容。
• 利用 Joyce-Song 的 wall-crossing 公式，该公式仅依赖于 $\Gamma_Q$、$\langle -, - \rangle_Q$ 与 $Z_Q^\pm$，从而从 $\Omega_Q^-(\beta)$ 计算 $\Omega_Q^+(\beta)$。
• 证明对于 $n \leq N$，有 $\Omega_X^+(r,n) = \sum_{\beta \in \pi^{-1}(r,n)} \Omega_Q^+(\beta)$，将 $X$ 上的不变量与 quiver 上的不变量联系起来。
• 利用已知的无关系 quiver 的 DT 不变量的整数性（见 [JS, Theorem 7.28]），推导出 $\Omega_X^+(r,n)$ 的整数性。
• 利用 [BGP73] 中的反射函子，证明对称性 $\Omega_X^+(r,n) = \Omega_X^+(n-r,n)$，该对称性源自 quiver 的结构。

实验结果

研究问题

• RQ1 能否通过 quiver 理论方法证明 Calabi-Yau 3- folds 上高阶 DT 不变量的整数性？
• RQ2 Calabi-Yau 3- folds 上相干层的 wall-crossing 公式是否具有与初始数据和系数完全相同的 quiver 模型？
• RQ3 高阶不变量是否存在对偶对称性 $\Omega^+(r,n) = \Omega^+(n-r,n)$？若存在，其根源是什么？
• RQ4 能否通过 quiver 表示利用奇点的非交换 crepant 分解来建模高阶 DT 不变量？
• RQ5 D0-D6 与 D0-D2-D6 绑定态的不变量与带势能的 quiver 的不变量有何关系？

主要发现

• D0-D6 绑定态的高阶 DT 不变量 $\Omega_X^+(r,n)$ 为整数，因为其等于无关系 quiver 的 DT 不变量 $\Omega_Q^+(\beta)$ 的和，而后者已知为整数。
• 对称性 $\Omega_X^+(r,n) = \Omega_X^+(n-r,n)$ 对于 $n \leq N$ 成立，其根源来自 quiver $Q_{\chi,N}$ 上的反射函子。
• 对于合面与小 crepant 分解，不变量 $\Omega_X^+(r,n)$ 通过 quiver $Q_\sigma$ 与 $\hat{Q}_G$ 计算得出，且在引理 2.12 与 2.13 中给出了 $\Omega_Q^-(\beta)$ 的显式公式。
• 对于受阻的 $(0,-2)$-曲线，不变量 $\Omega_{\hat{Q},w}^-(r,\alpha)$ 被显式计算：当 $\alpha = (n,n+1)$ 或 $(n+1,n)$ 时为 $N$，当 $\alpha = (n,n)$ 时为 $-2$，当 $r=1, \alpha=0$ 时为 $1$。
• 维数向量为 $\alpha = (n,n+1)$ 或 $(n+1,n)$ 的稳定模的模空间同构于 $\mathrm{Spec}(\mathbb{C}[u]/(u^N))$，其同调等价于 $N$ 个孤立点。
• 由于满足 $\langle -, - \rangle_Q = \langle \pi(-), \pi(-) \rangle_X$ 与 $Z_Q^\pm = Z_X^\pm \circ \pi$，$X$ 与 quiver $Q$ 的 wall-crossing 公式完全一致，从而保证了不变量的匹配。