[论文解读] A short overview of the "Topological recursion"

Benoît Eynard|arXiv (Cornell University)|Dec 10, 2014

Geometric and Algebraic Topology参考文献 78被引用 29

一句话总结

本文提出了拓扑递归形式化——一种通用的递归框架，能够从谱曲线生成辛不变量，统一了随机矩阵理论、枚举几何和纽结理论中的各类数学不变量。它表明，这些不变量可恢复格罗莫夫-威滕不变量、赫尔维茨数、模空间体积，并通过纽结的A多项式，推测地恢复琼斯多项式与HOMFLY多项式。

ABSTRACT

This review is an extended version of the Seoul ICM 2014 proceedings.It is a short overview of the "topological recursion", a relation appearing in the asymptotic expansion of many integrable systems and in enumerative problems. We recall how computing large size asymptotics in random matrices, has allowed to discover some fascinating and ubiquitous geometric invariants. Specializations of this method recover many classical invariants, like Gromov--Witten invariants, or knot polynomials (Jones, HOMFLY,...). In this short review, we give some examples, give definitions, and review some properties and applications of the formalism.

研究动机与目标

• 将拓扑递归形式化作为计算可积系统与枚举几何中不变量的通用框架进行介绍与系统化。
• 证明拓扑递归可生成在奇点极限下稳定的辛不变量，并表现出类似模形式的性质。
• 建立拓扑递归与经典不变量（如魏尔-彼得森体积、交数与赫尔维茨数）之间的联系。
• 提出拓扑递归与纽结多项式之间新兴的猜想性联系，扩展体积猜想。
• 激发对递归普遍性背后更深层几何或A模型解释的探索。

提出的方法

• 通过在谱曲线 $\mathcal{S}$ 上递归计算对称微分形式 $\omega_{g,n}$ 来定义拓扑递归，起始于标准的1-形式 $\omega_{0,1}$ 和2-形式 $\omega_{0,2}$。
• 使用以 $2g + n - 2$ 为索引的递归关系来计算高亏格不变量 $\omega_{g,n}$，其中 $F_g = \omega_{g,0}$ 为自由能。
• 将该形式化应用于来自随机矩阵模型的谱曲线，此时 $\omega_{g,n}$ 编码可观测量的渐近期望。
• 利用魏尔-彼得森体积的拉普拉斯变换，推导出拓扑递归结构，如米尔扎哈尼所证明。
• 从双曲纽结的A多项式构造谱曲线（例如，八字纽结），并猜想彩色琼斯多项式是由 $\omega_{g,n}$ 构建的贝克-阿基耶泽核。
• 利用谱曲线的亚纯1-形式 $x$、2-形式 $y\,dx$ 和伯格曼核 $B(z,z')$ 来定义递归关系与不变量。

实验结果

研究问题

• RQ1 拓扑递归形式化如何统一数学物理中看似无关的不变量？
• RQ2 拓扑递归能否重现已知不变量，如格罗莫夫-威滕不变量与赫尔维茨数？
• RQ3 拓扑递归在不同领域中表现出普遍性的几何或物理根源是什么？
• RQ4 纽结多项式（如琼斯多项式、HOMFLY多项式）是否可通过A多项式由拓扑递归生成的猜想，已在更高阶中得到验证？
• RQ5 为何拓扑递归在退化与模变换下保持稳定，其背后存在何种更深层结构？

主要发现

• 魏尔-彼得森体积 $\mathcal{V}_{g,n}(L_1,\dots,L_n)$ 满足拓扑递归，如米尔扎哈尼的拉普拉斯变换递归所证明。
• 对于八字纽结，猜想彩色琼斯多项式由拓扑递归生成，已在 $\ln q^3$ 阶内得到验证。
• 琼斯多项式渐近展开中主项 $S_{-1}(u)$ 与 $S^3 \setminus \mathfrak{K}$ 的双曲体积一致，证实了体积猜想。
• 自由能 $F_g = \omega_{g,0}$ 是辛不变量，并在 $\mathrm{Sp}_{2g}(\mathbb{Z})$ 作用下近乎为模形式。
• 拓扑递归不变量满足类似希罗塔的方程，并形成循环对偶关系，推广了赛伯格-威滕对偶性。
• 由纽结A多项式定义的谱曲线产生 $\omega_{g,n}$，其积分生成彩色琼斯多项式的渐近展开。