[论文解读] Modularity and value distribution of quantum invariants of hyperbolic knots

Sandro Bettin, Sary Drappeau|arXiv (Cornell University)|May 6, 2019

Geometric and Algebraic Topology参考文献 51被引用 21

一句话总结

本文建立了 $q$-Pochhammer 符号的精确模形式关系，证明了扎吉尔关于双曲纽结的量子不变量的模形式猜想可归约为算术性猜想。该猜想已在除 $7_2$ 外所有最多七条交叉的双曲纽结上得到验证，并通过一种新颖的互反公式，证明了 $4_1$ 纽结在单位根处的彩色 Jones 多项式满足大数定律。

ABSTRACT

We obtain an exact modularity relation for the $q$-Pochhammer symbol. Using this formula, we show that Zagier's modularity conjecture for a knot $K$ essentially reduces to the arithmeticity conjecture for $K$. In particular, we show that Zagier's conjecture holds for hyperbolic knots $K\ eq 7_2$ with at most seven crossings. For $K=4_1$, we also prove a complementary reciprocity formula which allows us to prove a law of large numbers for the values of the colored Jones polynomials at roots of unity. We conjecture a similar formula holds for all knots and we show that this is the case if one assumes a suitable version of Zagier's conjecture.

研究动机与目标

• 建立 $q$-Pochhammer 符号的新模形式关系，以解决量子纽结不变量中的深层猜想。
• 证明扎吉尔关于双曲纽结 $K$ 的模形式猜想可归约为 $K$ 的算术性猜想。
• 验证所有最多七条交叉的双曲纽结（除 $7_2$ 外）的扎吉尔猜想。
• 推导 $4_1$ 纽结的互反公式，从而在单位根处建立其彩色 Jones 多项式的大数定律。
• 在扎吉尔猜想的适当版本下，提出所有纽结的通用互反公式。

提出的方法

• 推导 $q$-Pochhammer 符号的精确模形式关系，精确捕捉全纯部分与周期性误差项。
• 利用此模形式公式分析量子不变量 $\mathcal{J}_{K,0}(q)$ 在单位根 $q = e^{2\pi i h/k}$ 处的渐近行为。
• 应用拉普拉斯方法与连分数展开，控制定义 $\mathcal{J}_{K,0}(q)$ 的级数中非正项的抵消效应，尤其在非正项情形。
• 引入函数 $H_K(x)$，并将其与量子不变量的对数联系起来，通过光滑函数逼近证明其黎曼可积性。
• 利用连分数动力系统与高斯映射 $T(x) = \{1/x\}$ 分析当 $k \to \infty$ 时 $\mathcal{J}_{K,0}(e^{2\pi i h/k})$ 的值分布。
• 借助 [10] 中关于遍历平均与高斯-库兹明分布的结果，推导出 $4_1$ 纽结的大数定律。

实验结果

研究问题

• RQ1 扎吉尔关于双曲纽结量子不变量的模形式猜想是否可由算术性猜想推出？
• RQ2 是否可为最多七条交叉的双曲纽结（除 $7_2$ 外）建立 $\mathcal{J}_{K,0}(q)$ 的模形式性？
• RQ3 是否存在 $4_1$ 纽结的互反公式，使得其在单位根处的彩色 Jones 多项式满足大数定律？
• RQ4 在适当的扎吉尔猜想版本下，所有纽结是否存在一个通用互反公式？
• RQ5 当 $k \to \infty$ 时，双曲纽结的 $\mathcal{J}_{K,0}(e^{2\pi i h/k})$ 值如何分布？

主要发现

• 在推导出的 $q$-Pochhammer 符号模形式关系下，扎吉尔关于双曲纽结 $K$ 的模形式猜想等价于 $K$ 的算术性猜想。
• 该猜想已在所有最多七条交叉的双曲纽结（除 $7_2$ 外）上得到证明，共确认了 20 个双曲纽结的有效性。
• 对于 $4_1$ 纽结，已建立一个互反公式，使得可证明当 $N \to \infty$ 时 $J_{K,N}(e^{2\pi i/N})$ 的值满足大数定律。
• 证明了 $\log|\mathcal{J}_{K,0}(e^{2\pi i h/k})|$ 的分布满足极限定律，其平均值收敛于 $k/h$ 的线性函数与对数校正项。
• 通过导出函数 $\psi(x)$ 的黎曼可积性，控制了 $\log \mathcal{J}_{K,0}(e^{2\pi i h/k})$ 渐近展开中的误差，从而可在连分数的遍历理论框架下使用相关方法。
• 本文提出了一个所有纽结的通用互反公式猜想，若假设一个适当的扎吉尔猜想版本成立，则该公式成立。