[论文解读] HOMFLY polynomials, stable pairs and motivic Donaldson-Thomas invariants

Duiliu-Emanuel Diaconescu, Z Hua+1 more|arXiv (Cornell University)|Feb 21, 2012

Algebraic Geometry and Number Theory参考文献 39被引用 5

一句话总结

本文通过将平面曲线奇点的希尔伯特纲不变量与紧致卡拉比-丘三fold上的框架稳定对不变量相联系，建立了奥布洛莫科夫-申德猜想的卡拉比-丘三fold解释。利用 motivic Donaldson-Thomas 理论，构造了代数扭结的自然 motivic 不变量，通过墙-crossing 公式将不同稳定性参数下的不变量联系起来，得到的生成函数通过分拆的乘积恒等式与猜想的 HOMFLY 多项式结构相匹配。

ABSTRACT

Hilbert scheme topological invariants of plane curve singularities are identified to framed threefold stable pair invariants. As a result, the conjecture of Oblomkov and Shende on HOMFLY polynomials of links of plane curve singularities is given a Calabi-Yau threefold interpretation. The motivic Donaldson-Thomas theory developed by M. Kontsevich and the third author then yields natural motivic invariants for algebraic knots. This construction is motivated by previous work of V. Shende, C. Vafa and the first author on the large $N$ duality derivation of the above conjecture.

研究动机与目标

• 通过框架稳定对理论，为代数扭结的大 N 对偶提供数学构造。
• 弥合在一般代数扭结下，具有拉格朗日边界条件的唐纳森-托马斯或稳定对不变量定义的空白。
• 通过墙-crossing，建立嵌套希尔伯特纲的拓扑不变量与框架稳定对模空间之间的对应关系。
• 推导 motivic 不变量的生成函数，使其与彩色 HOMFLY 多项式结构相匹配。

提出的方法

• 将仿射曲线 $ C^\bullet $ 嵌入紧致卡拉比-丘三fold $ X $，利用射影完成 $ C \subset \mathbb{P}^2 $，以在 $ X $ 上定义 $ C $-框架稳定对。
• 将 $ C $-框架稳定对定义为从 $ \mathcal{O}_Y $ 到 $ F $ 的态射，其中 $ F $ 支持在 $ C^\circ \cup C_0 $ 上，沿 $ C^\circ $ 的重数为 1，并满足斜率稳定性条件。
• 在导出范畴中使用墙-crossing技术，关联不同稳定性域（特别是 $ b = -\infty $ 与 $ b = 0^- $ 域）中的 $ C $-框架稳定对象。
• 应用 motivic Hall 代数形式化方法，通过墙-crossing公式计算 motivic 不变量，将 $ b = -\infty $ 处的不变量表示为 $ b = 0^- $ 处的不变量与精化不变量 $ N^{\text{top}}(r,n) $ 的组合。
• 推导出生成函数恒等式 $ Z^{\text{top}}_{-\infty} = \exp\left[ \sum (-1)^n n N^{\text{top}}(r,n) T^r u^n \right] Z^{\text{top}}_{0-} $，其简化为 $ \prod_{k \geq 1} (1 + T u^k)^k $。
• 通过将变量 $ T, u $ 与 $ q_0, q_1 $ 关联，验证该生成函数与 [40] 中已知结果一致，确认其与基于 Behrend 函数的不变量一致。

实验结果

研究问题

• RQ1 在卡拉比-丘三fold 上的框架稳定对不变量能否实现平面曲线奇点链的 HOMFLY 多项式不变量？
• RQ2 如何通过具有拉格朗日型支撑的框架稳定对，为代数扭结定义 motivic Donaldson-Thomas 不变量？
• RQ3 在 $ C $-框架错位相干层的背景下，不同稳定性参数下不变量之间的精确墙-crossing 公式是什么？
• RQ4 这些不变量的生成函数是否能重现奥布洛莫科夫-申德猜想所预测的乘积结构？
• RQ5 精化不变量 $ N^{\text{top}}(r,n) $ 是否能显式计算，并用于重构完整的 motivic 分区函数？

主要发现

• 在 $ b = -\infty $ 处，$ C $-框架稳定对不变量的生成函数为 $ \prod_{k \geq 1} (1 + T u^k)^k $，与 HOMFLY 多项式生成函数的猜想形式完全匹配。
• 精化不变量 $ N^{\text{top}}(r,n) $ 仅在 $ n \equiv 0 \mod r $ 时非零，此时其值为 $ (-1)^{r-1}/r^2 $。
• 墙-crossing公式将 $ b = -\infty $ 与 $ b = 0^- $ 处不变量的差异表示为对 $ (r,n) $ 的分拆求和，权重为 $ P^{\text{top}}_{0-}(r',n') \prod_{i=1}^l n_i N^{\text{top}}(r_i,n_i) $。
• 当 $ n = kr $ 时，$ C_0 $ 上 $ \omega $-斜率半稳定层的模堆栈同构于 $ [\text{Spec}(\mathbb{C}) / GL(r,\mathbb{C})] $，确认了秩与欧拉示性数的约束。
• 通过 Hall 代数形式化构造的 motivic 不变量提供了一致且可计算的代数扭结不变量框架，具有显式生成函数。
• 该结果证实了大 $ N $ 对偶的物理预期，并为格罗莫夫-威滕理论中拉格朗日 brane 与稳定对不变量之间的对应关系提供了严格的数学实现。