[论文解读] Modular $q$-holonomic modules

Stavros Garoufalidis, Campbell Wheeler|arXiv (Cornell University)|Mar 31, 2022

Algebraic structures and combinatorial models被引用 6

一句话总结

本文引入了模形式 $q$-正则模——$q$-差分方程的解具有改进的解析性质，其单值性上链可解析开拓至 $\mathbb{C} \setminus (-\infty, 0]$。关键结果是广义 $q$-超几何方程以及 Chern–Simons 理论中的三个核心 $q$-正则模（量子 dilogarithm、Appell-Lerch 和、$4_1$ 粒子态积分）均为模形式，为近期量子不变量与精确 Chern–Simons 理论中的重正化与解析性现象提供了概念性解释。

ABSTRACT

We introduce the notion of modular $q$-holonomic modules whose fundamental matrices define a cocycle with improved analyticity properties and show that the generalised $q$-hypergeometric equation, as well as three key $q$-holonomic modules of complex Chern--Simons theory are modular. This notion explains conceptually recent structural properties of quantum invariants of knots and 3-manifolds, and of exact and perturbative Chern--Simons theory, and in addition provides an effective method to solve the corresponding linear $q$-difference equations. An alternative title of our paper, emphasising the equations rather than the modules, is: Modular linear $q$-difference equations.

研究动机与目标

• 解释在量子不变量与 Chern–Simons 理论中出现的 $q$-差分方程解所观测到的改进解析性性质。
• 引入一类新的 $q$-正则模——模形式 $q$-正则模，其特征为 $\mathrm{SL}_2(\mathbb{Z})$-上链可从 $\mathbb{C} \setminus \mathbb{R}$ 解析开拓至 $\mathbb{C} \setminus (-\infty, 0]$。
• 统一并推广量子拓扑与共形场论中 $q$-超几何函数、Appell-Lerch 和与态积分的结构性质。
• 为在模形式设定下通过 $q$-Borel 与 $q$-Laplace 变换有效求解线性 $q$-差分方程提供方法。
• 建立一个概念性框架，通过单值性与上链结构将 $q$-正则模、重正化与全纯量子模形式联系起来。

提出的方法

• 通过在 $\mathbb{C} \setminus \mathbb{R}$ 上生成 $\mathrm{SL}_2(\mathbb{Z})$-上链并将其解析开拓至 $\mathbb{C} \setminus (-\infty, 0]$，定义模形式 $q$-正则模。
• 使用 $q$-Borel 与 $q$-Laplace 变换构造解，并分析其解析开拓与单值性。
• 通过 $q$-超几何级数、Appell-Lerch 和与态积分显式构造解，利用函数方程证明其模形式性质。
• 应用反演算子与对偶性，关联 $t=0$ 与 $t=\infty$ 处的解，证明单值性关系与类似重正化的留数结构。
• 利用 $q$-Pochhammer 符号与 theta 函数，将留数与连接矩阵表示为基本解的形式。
• 通过围道变形与函数方程，将解的解析开拓扩展至实轴之外，证明其可拓展至 $\mathbb{C} \setminus (-\infty, 0]$。

实验结果

研究问题

• RQ1 哪些 $q$-差分方程的结构性质解释了解从 $\mathbb{C} \setminus \mathbb{R}$ 到 $\mathbb{C} \setminus (-\infty, 0]$ 的解析开拓？
• RQ2 Chern–Simons 理论与量子纽结不变量中出现的 $q$-正则模是否在所提出的含义下为模形式？
• RQ3 能否证明广义 $q$-超几何方程具有具有改进解析性的模形式 $\mathrm{SL}_2(\mathbb{Z})$-上链？
• RQ4 $q$-Borel 与 $q$-Laplace 变换如何与模形式结构相互作用，以实现解的构造？
• RQ5 模形式 $q$-正则模在多大程度上统一了重正化、量子模形式与拓扑场论中的精确解？

主要发现

• 广义 $q$-超几何方程是模形式，其基本解具有可解析开拓至 $\mathbb{C} \setminus (-\infty, 0]$ 的单值性上链。
• 两个 $ {}_2\phi_1 $ 级数的双线性组合，其在 $\mathbb{C} \setminus \mathbb{R}$ 上为亚纯函数，可进一步解析开拓至 $\mathbb{C} \setminus (-\infty, 0]$。
• 与 Faddeev 量子 dilogarithm 关联的 $q$-正则模是模形式，其单值性满足模形式 $\mathrm{SL}_2(\mathbb{Z})$ 变换律。
• Appell-Lerch 和模与 Andersen–Kashaev 的 $4_1$ 纽结态积分均为模形式 $q$-正则模，证实了其改进的解析结构。
• $q$-Borel 变换在 $x = q^N$ 处对颜色 Jones 多项式终止为多项式，而 $q$-Laplace 变换可恢复原函数，从而实现解析开拓。
• 通过 $q$-Laplace 变换对 $L^{(x^\pm)}$ 函数构造 $4_1$ 纽结的 $q$-差分方程解，这些函数满足函数方程，从而确保了解可解析开拓至 $\mathbb{C} \setminus (-\infty, 0]$。