[论文解读] Integrality structures in topological strings I: framed unknot

Wei Luo, Shengmao Zhu|arXiv (Cornell University)|Nov 20, 2016

Black Holes and Theoretical Physics参考文献 42被引用 13

一句话总结

本论文证明了在任意整数 framing τ 下，带 Aganagic-Vafa brane 的解析化锥面（resolved conifold）上开弦 LMOV 不变量的整性。通过 BKMP 拓扑递归与大 N 对偶性，证明了亏格零 LMOV 不变量为整数，并推导出高亏格不变量的生成函数，该函数属于特定整环。一个关键结果是开弦 GW/DT 对应关系：当 τ ≤ -1 时，约化开弦划分函数与 |τ|-圈 quiver 的上同调 Hall 代数的 Hilbert-Poincaré 系列相等。

ABSTRACT

We study the open string integrality invariants (LMOV invariants) for toric Calabi-Yau 3-folds with Aganagic-Vafa brane (AV-brane). In this paper, we focus on the case of the resolved conifold with one out AV-brane in any integer framing $τ$, which is the large $N$ duality of the Chern-Simons theory for a framed unknot with integer framing $τ$ in $S^3$. We compute the explicit formulas for the LMOV invariants in genus $g=0$ with any number of holes, and prove their integrality. For the higher genus LMOV invariants with one hole, they are reformulated into a generating function $g_{m}(q,a)$, and we prove that $g_{m}(q,a)\in (q^{1/2}-q^{-1/2})^{-2}\mathbb{Z}[(q^{1/2}-q^{-1/2})^2,a^{\pm 1/2}]$ for any integer $m\geq 1$. As a by product, we compute the reduced open string partition function of $\mathbb{C}^3$ with one AV-brane in framing $τ$. We find that, for $τ\leq -1$, this open string partition function is equivalent to the Hilbert-Poincaré series of the Cohomological Hall algebra of the $|τ|$-loop quiver. It gives an open string GW/DT correspondence.

研究动机与目标

• 证明在任意整数 framing τ 下，带一个 AV-brane 的解析化锥面上开弦 LMOV 不变量的整性。
• 推导出任意孔数下亏格零 LMOV 不变量的显式公式。
• 将带一个孔的高亏格 LMOV 不变量重新表述为生成函数，并证明其在指定环中的整性。
• 建立 C³ 上带 AV-brane 的约化开弦划分函数与 |τ|-圈 quiver 的上同调 Hall 代数的 Hilbert-Poincaré 系列之间的对应关系（当 τ ≤ -1 时）。
• 通过二项式系数的数论技巧，对极值 LMOV 不变量提供直接整性证明。

提出的方法

• 应用 BKMP 拓扑递归方法，通过解析化锥面带 AV-brane 的镜像曲线计算开 Gromov-Witten 不变量。
• 利用大 N 对偶性，将解析化锥面上的开弦划分函数与 S³ 上带 framing unknot 的 Chern-Simons 划分函数联系起来。
• 推导出 a-变形的 A-多项式作为镜像曲线，其编码了开弦几何。
• 采用 Eynard-Orantin 递归计算圆盘与圆环振幅，从而得到亏格零与高亏格不变量。
• 将亏格 g ≥ 1 的 LMOV 不变量重新表述为生成函数 gₘ(q,a)，并证明其属于 (q¹ᐟ² − q⁻¹ᐟ²)⁻²ℤ[(q¹ᐟ² − q⁻¹ᐟ²)², a±¹ᐟ²]。
• 将 τ ≤ -1 时的约化开弦划分函数与 |τ|-圈 quiver 的上同调 Hall 代数的 Hilbert-Poincaré 系列进行比较，建立乘积分解与 GW/DT 对应关系。

实验结果

研究问题

• RQ1 在 framing τ ∈ ℤ 的任意整数下，带 AV-brane 的解析化锥面的 LMOV 不变量是否为整数？
• RQ2 能否为任意孔数的亏格零 LMOV 不变量推导出显式公式？
• RQ3 带一个孔的高亏格 LMOV 不变量的生成函数结构如何？其是否属于指定环中的整数？
• RQ4 当 τ ≤ -1 时，C³ 上带 AV-brane 的约化开弦划分函数是否等于 |τ|-圈 quiver 的上同调 Hall 代数的 Hilbert-Poincaré 系列？
• RQ5 能否通过二项式系数的数论性质，对极值 LMOV 不变量的整性进行直接证明？

主要发现

• 在任意整数 framing τ 下，framed unknot 的亏格零 LMOV 不变量被证明为整数。
• 对于所有 m ≥ 1，带一个孔的亏格 g ≥ 1 LMOV 不变量的生成函数 gₘ(q,a) 属于环 (q¹ᐟ² − q⁻¹ᐟ²)⁻²ℤ[(q¹ᐟ² − q⁻¹ᐟ²)², a±¹ᐟ²]。
• 当 τ ≤ -1 时，(C³, Dₜ) 上的约化开弦划分函数 Zₜ(q,x) 等于 |τ|-圈 quiver 的上同调 Hall 代数的 Hilbert-Poincaré 系列 P₋ₜ(q, (-1)ᵗ⁻¹xq¹ᐟ²)。
• 划分函数具有包含非负整数 cₙ,ₖ 的乘积展开，证实了 τ ≤ -1 时的 GW/DT 对应关系。
• 通过二项式系数可除性的直接数论证明，展示了 framed unknot 的极值 LMOV 不变量 Nₘ,ₖ(τ) 为整数。
• 使用相同方法，证明了扭结的 BPS 不变量 bₖₚ,ᵣ⁻ 与 bₖₚ,ᵣ⁺ 的整性，通过 p-进赋值分析二项式系数确认了其整性。