[论文解读] Integrality of the LMOV invariants for framed unknot

Wei Luo, Shengmao Zhu|arXiv (Cornell University)|Jun 5, 2021

Cuban History and Society被引用 4

一句话总结

该论文通过基于莫比乌斯反演和量子整数的统一代数方法，证明了在所有亏格下，框架化 unknot 的 LMOV 不变量的整性。它证明了零亏格不变量 $ n_{m,l}(\tau) $ 和两部分边界不变量 $ n_{(m_1,m_2)}(\tau) $ 为整数，并通过生成函数 $ g_m(q,a) $ 将此结果推广至更高亏格，表明所有系数属于 $ \mathbb{Z} $，从而确认了该类不变量的整性猜想。

ABSTRACT

The Labastida-Marinõ-Ooguri-Vafa (LMOV) invariants are the open string BPS invariants which are expected to be integers based on the string duality conjecture from M-theory. Several explicit formulae of LMOV invariants for framed unknot have been obtained in the literature. In this paper, we present a unified method to deal with the integrality of such explicit formulae. Furthermore, we also prove the integrality of certain LMOV invariants for framed unknot in higher genera.

研究动机与目标

• 证明框架化 unknot 的 LMOV 不变量显式公式为整数，这些公式基于 M-理论对偶性被推测为整数。
• 通过在二项式和带符号二项式表达式上应用莫比乌斯反演，统一并严格证明零亏格 LMOV 不变量 $ n_{m,l}(\tau) $ 的整性。
• 通过分析生成函数 $ g_m(q,a) $，将整性证明推广至更高亏格的 LMOV 不变量。
• 确认如扭结的极值 BPS 不变量等特殊情况的整性，此前虽被推测但未严格证明。

提出的方法

• 使用莫比乌斯反演将零亏格 LMOV 不变量 $ n_{m,l}(\tau) $ 表示为涉及 $ c_{m,l}(\tau) $ 的除数和，其中 $ c_{m,l}(\tau) $ 为带符号的二项式系数表达式。
• 定义 $ c_{m,l}(\tau) = -\frac{(-1)^{m\tau+m+l}}{m^2} \binom{m}{l} \binom{m\tau + l - 1}{m - 1} $，该表达式捕捉了不变量的核心组合结构。
• 应用莫比乌斯函数 $ \mu(d) $ 对对称子结构进行平均，通过数论上的消去作用确保整性。
• 引入生成函数 $ g_m(q,a) = \sum_{g \geq 0} \sum_Q n_{m,g,Q}(\tau) z^{2g-2} a^Q $，其中 $ z = q^{1/2} - q^{-1/2} $，将不变量与量子群不变量联系起来。
• 使用恒等式 $ g_m(q,a) = \sum_{d|m} \mu(d) \mathcal{Z}_{m/d}(q^d, a^d) $，其中 $ \mathcal{Z}_m(q,a) $ 为量子整数和 $ a $-变形 $ q $-二项式构成的有理函数。
• 证明 $ \{m\}\{m\tau\} \mathcal{Z}_m(q,a) \in \mathbb{Z}[q^{\pm 1/2}, a^{\pm 1/2}] $，确保在缩放后生成函数 $ g_m(q,a) $ 的系数为整数。

实验结果

研究问题

• RQ1 框架化 unknot 的零亏格 LMOV 不变量（边界类型为 $ (m) $，参数为 $ Q $）的显式公式是否为整数？
• RQ2 零亏格不变量的整性是否可推广至框架化 unknot 的更高亏格？
• RQ3 此前被推测为整数的扭结极值 BPS 不变量，能否被严格证明为整数？
• RQ4 更高亏格 LMOV 不变量的生成函数 $ g_m(q,a) $ 是否属于环 $ z^{-2} \mathbb{Z}[z^2, a^{\pm 1/2}] $？

主要发现

• 对所有 $ m \geq 1 $，$ l \geq 0 $，和 $ \tau \in \mathbb{Z} $，零亏格 LMOV 不变量 $ n_{m,l}(\tau) $ 均为整数，该结论通过在带符号二项式系数上应用莫比乌斯反演得以证明。
• 对所有 $ m_1, m_2 \geq 1 $，$ \tau \in \mathbb{Z} $，两部分边界不变量 $ n_{(m_1,m_2)}(\tau) $ 均为整数，且满足 $ n_{(m_1,m_2)}(\tau) = n_{(m_2,m_1)}(\tau) $。
• 生成函数 $ g_m(q,a) $ 属于 $ z^{-2} \mathbb{Z}[z^2, a^{\pm 1/2}] $，证明了所有更高亏格 LMOV 不变量 $ n_{m,g,Q}(\tau) $ 均为整数，且在 $ g $ 或 $ Q $ 较大时消失。
• 文献 [8] 中扭结极值 BPS 不变量的公式被确认为生成整数，因为它们是 $ n_{m,l}(\tau) $ 一般公式的特例。
• 表达式 $ \{m\}\{m\tau\} \mathcal{Z}_m(q,a) $ 属于 $ \mathbb{Z}[q^{\pm 1/2}, a^{\pm 1/2}] $，这是证明生成函数整性的关键。