[论文解读] Motivic Donaldson-Thomas invariants of the conifold and the refined topological vertex

Andrew Morrison, Sergey Mozgovoy+2 more|arXiv (Cornell University)|Jul 25, 2011

Algebraic structures and combinatorial models参考文献 38被引用 10

一句话总结

该论文通过带势的 quiver 表示，计算了所有稳定性条件区域中解析化锥面的 motivic Donaldson-Thomas 不变量。它建立了 DT/PT 对应关系的完整 motivic 精化形式，并通过所有区域中虚拟动机的显式乘积公式，确认了与精化拓扑顶点形式的一致性。

ABSTRACT

We compute the motivic Donaldson-Thomas theory of the resolved conifold, in all chambers of the space of stability conditions of the corresponding quiver. The answer is a product formula whose terms depend on the position of the stability vector, generalizing known results for the corresponding numerical invariants. Our formulae imply in particular a motivic form of the DT/PT correspondence for the resolved conifold. The answer for the motivic PT series is in full agreement with the prediction of the refined topological vertex formalism.

研究动机与目标

• 计算解析化锥面在稳定性参数空间所有区域中的 motivic Donaldson-Thomas 不变量。
• 通过奇点循环的虚拟动机，将数值 DT 不变量推广为其 motivic 精化形式。
• 通过虚拟动机的生成函数，建立锥面对应关系的 motivic 形式。
• 通过特定变量替换下生成函数的匹配，验证与精化拓扑顶点形式的兼容性。

提出的方法

• 利用带势的锥面 quiver，通过表示理论代数建模解析化锥面上的凝聚层。
• 在 motivic Hall 代数框架下，应用 motivic 奇点循环和虚拟动机理论，使用动机环 $\mathcal{M}_{\mathbb{C}}$。
• 基于根系 $\Delta_{+} = \Delta^{\mathrm{re}}_{+} \sqcup \Delta^{\mathrm{im}}_{+}$，采用 motivic 生成函数的因式分解性质，实根与虚根具有不同的乘积结构。
• 在每个区域中，推导出依赖于稳定性向量 $\zeta$ 的 motivic 生成函数 $Z_\zeta(y_0, y_1)$ 的显式乘积公式。
• 使用 torus-等变技术与维数约化至一个 tame quiver，计算关键结果，包括定理 2.1。
• 通过变量替换 $q = \mathbb{L}^{1/2}s$，$t = \mathbb{L}^{-1/2}s$，将生成函数 $Z_{\rm PT}(-s,T)$ 与精化拓扑顶点表达式匹配，验证一致性。

实验结果

研究问题

• RQ1 对于解析化锥面，motivic Donaldson-Thomas 不变量在所有稳定性条件区域中如何表现？
• RQ2 能否使用虚拟动机形式化并验证锥面的 motivic DT/PT 对应关系？
• RQ3 精化拓扑顶点形式与通过 quiver 表示理论计算出的 motivic 生成函数在多大程度上一致？
• RQ4 motivic Milnor 纤维在将数值不变量精化为虚拟动机中起什么作用？
• RQ5 cohomological Hall 代数框架如何用于将 motivic 不变量解释为混合 Hodge 模块的 E-多项式？

主要发现

• motivic 生成函数 $Z_\zeta(y_0, y_1)$ 由依赖于稳定性参数 $\zeta$ 所在区域的乘积公式给出，$\Delta_+$ 中实根与虚根具有不同形式。
• 对于实根 $\alpha = (i, i-1)$ 或 $(i-1, i)$，该系列为 $\prod_{j=0}^{\alpha_0 - 1} \left(1 - \mathbb{L}^{-\frac{\alpha_0}{2} + \frac{1}{2} + j} y_0^{\alpha_0} y_1^{\alpha_1}\right)$。
• 对于虚根 $\alpha = (i,i)$，该系列为 $\prod_{j=0}^{\alpha_0 - 1} \left(1 - \mathbb{L}^{-\frac{\alpha_0}{2} + 1 + j} y_0^{\alpha_0} y_1^{\alpha_1}\right)$。
• motivic PT 生成函数在替换 $q = \mathbb{L}^{1/2}s$，$t = \mathbb{L}^{-1/2}s$ 下，与精化拓扑顶点表达式 $Z^\text{vertex}_{\rm PT}(t,q,T)$ 一致，证实了 motivic = 精化 对应关系。
• 结果与 motivic Hall 代数框架完全兼容，且不依赖于 [23] 中部分尚属猜想的积分映射，实现了直接计算。
• 通过令 $\mathbb{L} \mapsto q$，得到奇点循环的混合 Hodge 模块的 E-多项式，从而在本设定下恢复了 [12] 的公式。