[论文解读] Lecture notes on topological recursion and geometry

Gaëtan Borot|arXiv (Cornell University)|May 28, 2017

Algebraic Geometry and Number Theory参考文献 10被引用 12

一句话总结

本文通过量子 Airy 结构的视角，对拓扑递归进行了全面综述，提出了一套统一的代数框架，该框架推广并简化了早期的表述形式。它展示了拓扑递归如何自然地源自几何与量子场论结构，并通过张量 A、B、C、D、D 和 f 上的超定二次关系系统，将拓扑递归与模空间体积、二维拓扑量子场论（2D TQFTs）以及上同调场论联系起来；尽管这些关系形式复杂，但被证明具有几何实现性。

ABSTRACT

These are lecture notes for a 4h mini-course held in Toulouse, May 9-12th, at the thematic school on "Quantum topology and geometry". The goal of these lectures is to (a) explain some incarnations, in the last ten years, of the idea of topological recursion: in two dimensional quantum field theories, in cohomological field theories, in the computation of Weil-Petersson volumes of the moduli space of curves; (b) relate them more specifically to Eynard-Orantin topological recursion (revisited from Kontsevich-Soibelman point of view based on quantum Airy structures).

研究动机与目标

• 通过现代量子 Airy 结构的形式化方法，为拓扑递归提供一个自包含的导引。
• 通过将其与二维拓扑量子场论、上同调场论（CohFTs）以及曲线模空间中的体积计算相联系，阐明拓扑递归的代数与几何基础。
• 提出一种无基底、不变的量子 Airy 结构形式化方法，推广原始的 Eynard-Orantin 拓扑递归。
• 确立定义量子 Airy 结构的超定关系系统的自洽性与几何相关性，尽管其过度确定程度很高。

提出的方法

• 本文以量子 Airy 结构作为基础输入，其由满足次数与像条件的李代数同态 L: V → W_V(≤2) 定义。
• 将量子 Airy 结构的定义关系表述为对张量 A、B、C、D 和 f 的六条约束，其中包含李括号关系 [L_i, L_j] = ∑_a ℏ f_{ij}^a L_a。
• 该系统被分解为线性与二次关系：两条关于 f 和 A 的线性关系，一条关于 D 的仿射关系，以及三条涉及 B、C 和 A 的耦合 IHX 型二次关系。
• 通过在 Weyl 代数 W_V 中工作，并利用次数与 ℏ-次数滤子，实现无基底化，从而分离出 L 的 0、1、2 次分量。
• 构造了被所有 L_i 所 annihilate 的分区函数 F，构成拓扑递归过程的核心。
• 该方法被证明可通过量子 Airy 结构框架恢复已知的量子拓扑结果，包括 Mirzakhani 的体积递归与 Givental 群作用。

实验结果

研究问题

• RQ1 如何从一个统一的代数结构出发，系统地推导出拓扑递归，以统一多种几何与物理理论？
• RQ2 定义量子 Airy 结构的精确代数约束是什么？为何其为超定系统却仍可实现？
• RQ3 量子 Airy 结构以何种方式编码几何数据，如曲线模空间的体积或二维拓扑量子场论中的相关函数？
• RQ4 在 Weyl 代数中通过无基底形式化量子 Airy 结构，如何推广并简化原始的 Eynard-Orantin 拓扑递归？
• RQ5 Givental 群作用在拓扑递归中的角色是什么？其与量子 Airy 结构形式化有何关联？

主要发现

• 定义量子 Airy 结构的关系系统是超定的，当 dim V = d 时，关系数以 d⁴ 增长，未知数以 d³ 增长，因此构造解具有非平凡性。
• 尽管存在超定性，量子 Airy 结构仍存在且具有几何实现性，这由模空间体积与二维拓扑量子场论中的已知例子所证实。
• 量子 Airy 结构形式化提供了一个比原始 Eynard-Orantin 拓扑递归（基于谱曲线）更代数化、更通用的框架。
• 由量子 Airy 结构构造的分区函数 F 满足一个拓扑递归，可计算所有亏格与极点的不变量。
• 该形式化自然地包含了 Givental 群作用，并重现了 Mirzakhani 对带边黎曼曲面模空间体积的递归公式。
• 通过 Weyl 代数与次数滤子实现的无基底形式化确保了不变性，并可推广至向量空间之外的对称张量范畴。