[论文解读] Knots, Perturbative Series and Quantum Modularity

Stavros Garoufalidis, Don Zagier|arXiv (Cornell University)|Nov 12, 2021

Geometric and Algebraic Topology参考文献 85被引用 4

一句话总结

本文为双曲扭结引入了一个矩阵值不变量 Φα(h)，该不变量将模 1 的有理数映射到 Q[[h]] 上的幂级数的矩阵。该不变量推广了 Kashaev 不变量和微扰级数，通过 SL2(Z)-上循环 Wγ 展现了量子模形式性，并通过 Habiro 类环和 q-差分方程提供了一个统一框架，将量子不变量、q-级数和模形式性质联系起来，对 4₁、5₂ 和 (−2,3,7) 梳状扭结进行了显式计算。

ABSTRACT

We introduce an invariant of a hyperbolic knot which is a map $α\mapsto \boldsymbolΦ_α(h)$ from $\mathbb{Q}/\mathbb{Z}$ to matrices with entries in $\overline{\mathbb{Q}}[[h]]$ and with rows and columns indexed by the boundary parabolic ${ m SL}_2(\mathbb{C})$ representations of the fundamental group of the knot. These matrix invariants have a rich structure: (a) their $(σ_0,σ_1)$ entry, where $σ_0$ is the trivial and $σ_1$ the geometric representation, is the power series expansion of the Kashaev invariant of the knot around the root of unity ${ m e}^{2π{ m i} α}$ as an element of the Habiro ring, and the remaining entries belong to generalized Habiro rings of number fields; (b) the first column is given by the perturbative power series of Dimofte-Garoufalidis; (c) the columns of $\boldsymbolΦ$ are fundamental solutions of a linear $q$-difference equation; (d) the matrix defines an ${ m SL}_2(\mathbb{Z})$-cocycle $W_γ$ in matrix-valued functions on $\mathbb{Q}$ that conjecturally extends to a smooth function on $\mathbb{R}$ and even to holomorphic functions on suitable complex cut planes, lifting the factorially divergent series $\boldsymbolΦ(h)$ to actual functions. The two invariants $\boldsymbolΦ$ and $W_γ$ are related by a refined quantum modularity conjecture which we illustrate in detail for the three simplest hyperbolic knots, the $4_1$, $5_2$ and $(-2,3,7)$ pretzel knots. This paper has two sequels, one giving a different realization of our invariant as a matrix of convergent $q$-series with integer coefficients and the other studying its Habiro-like arithmetic properties in more depth.

研究动机与目标

• 为双曲扭结定义一个新的矩阵值不变量 Φα(h)，该不变量推广了 Kashaev 不变量和微扰级数。
• 建立一个关于 Φα(h) 与 Q 上矩阵值函数的 SL2(Z)-上循环 Wγ 之间关系的精细量子模形式性猜想。
• 证明 Φα(h) 满足一个线性 q-差分方程，并可提升为 R 或复数割缝平面上的光滑或全纯函数。
• 对 4₁、5₂ 和 (−2,3,7) 梳状扭结显式计算 Φα(h)，在低复杂度情形下验证该猜想。

提出的方法

• 将 Φα(h) 构造为以扭结群的边界抛物线 SL2(C) 表示为指标的矩阵，其元素属于 Q[[h]]。
• 证明 Φα(h) 的 (σ₀,σ₁) 元素是 Kashaev 不变量在 Habiro 环中的幂级数展开。
• 证明 Φα(h) 的第一列与 Dimofte–Garoufalidis 的微扰级数一致。
• 证明 Φα(h) 的各列是线性 q-差分方程的基本解。
• 从 Φα(h) 定义一个 SL2(Z)-上循环 Wγ，并猜想其可延拓为 R 或复数割缝平面上的光滑或全纯函数。
• 使用渐近分析和代数数论方法，对特定扭结（包括 61 扭结）计算 Φα(h) 的系数，采用高精度算术的 O(N) 算法。

实验结果

研究问题

• RQ1 Kashaev 不变量如何推广为定义在 Q/Z 上、取值于 Q[[h]] 的矩阵值函数？
• RQ2 Habiro 环及其推广在编码双曲扭结的量子不变量中起什么作用？
• RQ3 Dimofte–Garoufalidis 的微扰级数如何作为矩阵 Φα(h) 的第一列出现？
• RQ4 在何种意义上，矩阵 Φα(h) 满足量子模形式性？这在上循环 Wγ 中如何体现？
• RQ5 通过上循环构造，发散级数 Φα(h) 是否可被提升为实际的光滑或全纯函数？

主要发现

• Φα(h) 的 (σ₀,σ₁) 元素是 Kashaev 不变量在 Habiro 环中的幂级数展开，其系数属于 Q[[h]]。
• Φα(h) 的第一列与 Dimofte–Garoufalidis 的微扰级数一致，证实与已知渐近展开的一致性。
• Φα(h) 的各列是线性 q-差分方程的基本解，表明其具有深刻的代数结构。
• 对于 4₁、5₂ 和 (−2,3,7) 梳状扭结，矩阵 Φα(h) 及其关联的上循环 Wγ 展现出量子模形式性，且有显式数值验证。
• 对于 61 扭结，使用高精度 O(N) 算法数值计算了 Φ₆₁⁰(h) 的前三个系数，并通过 [14] 的预测识别出代数数。
• 猜想矩阵 Φα(h) 可通过上循环 Wγ 提升为 R 上的光滑函数或复数割缝平面上的全纯函数，从而解决阶乘发散问题。