[论文解读] The ABCD of topological recursion

Jørgen Ellegaard Andersen, Gaëtan Borot+2 more|arXiv (Cornell University)|Mar 9, 2017

Advanced Topics in Algebra被引用 8

一句话总结

本文通过分析定义量子艾尔比结构的四维张量 $(A,B,C,D)$，提出了一套李代数框架，用于在规范等价关系下对量子艾尔比结构进行分类——这些结构是康特绍维奇-索伊贝尔曼拓扑递归的关键。研究建立了对分划函数系数 $F_{g,n}$ 的总次数的线性界，证明其在特定线性约束（以亏格 $g$ 和极点数 $n$ 表示）之外将消失，并识别出四类几何结构，包括弗罗贝尼乌斯代数和具有 $ Z_2$ 对称性的环路空间。

ABSTRACT

Kontsevich and Soibelman reformulated and slightly generalised the topological recursion of math-ph/0702045, seeing it as a quantization of certain quadratic Lagrangians in $T^*V$ for some vector space $V$. KS topological recursion is a procedure which takes as initial data a quantum Airy structure -- a family of at most quadratic differential operators on $V$ satisfying some axioms -- and gives as outcome a formal series of functions in $V$ (the partition function) simultaneously annihilated by these operators. Finding and classifying quantum Airy structures modulo gauge group action, is by itself an interesting problem which we study here. We provide some elementary, Lie-algebraic tools to address this problem, and give some elements of classification for ${ m dim}\,V = 2$. We also describe four more interesting classes of quantum Airy structures, coming from respectively Frobenius algebras (here we retrieve the 2d TQFT partition function as a special case), non-commutative Frobenius algebras, loop spaces of Frobenius algebras and a $\mathbb{Z}_{2}$-invariant version of the latter. This $\mathbb{Z}_{2}$-invariant version in the case of a semi-simple Frobenius algebra corresponds to the topological recursion of math-ph/0702045.

研究动机与目标

• 开发一种基于李代数的系统方法，对量子艾尔比结构在规范等价关系下进行分类。
• 建立以亏格 $g$ 和极点数 $n$ 表示的 $F_{g,n}$ 系数总次数的线性界，并证明其在这些界之外将消失。
• 识别并表征由弗罗贝尼乌斯代数、非交换弗罗贝尼乌斯代数、环路空间以及 $ Z_2$-不变环路空间所生成的四类新型量子艾尔比结构。
• 通过将拓扑递归与 $T^*V$ 中拉格朗日子流形的量子化联系起来，阐明其几何与代数起源。
• 为低维情形及单李代数情形下的量子艾尔比结构的构造与分析提供系统性框架。

提出的方法

• 利用李代数的伴随表示重述量子艾尔比结构，将分类问题转化为表示论数据。
• 采用四维张量形式 $(A,B,C,D)$ 编码量子艾尔比结构的定义关系，其中约束条件源自李子代数条件。
• 应用形变理论与群作用（如规范群）定义量子艾尔比结构的模空间。
• 通过在 $2g-2+n$ 上进行归纳，利用 $B$ 与 $C$ 张量的消失性质及分划函数的递归结构，证明 $F_{g,n}$ 的次数界。
• 从弗罗贝尼乌斯代数与环路空间构造显式例子，表明 $ Z_2$-不变版本可恢复伊格纳德-奥兰蒂尼原始的拓扑递归。
• 利用吉本塔尔量子化与辛几何，将形式化与拉格朗日子流形及量子不变量联系起来。

实验结果

研究问题

• RQ1 如何利用李代数工具系统性地对量子艾尔比结构进行分类？
• RQ2 以 $g$ 和 $n$ 表示的 $F_{g,n}$ 系数总次数的精确线性界是什么？这些界如何从张量消失条件中导出？
• RQ3 哪些几何构造——如弗罗贝尼乌斯代数或环路空间——会产生量子艾尔比结构？其物理或几何意义为何？
• RQ4 环路空间构造的 $ Z_2$-不变版本如何恢复伊格纳德-奥兰蒂尼原始的拓扑递归？
• RQ5 规范群作用在量子艾尔比结构分类中起什么作用？其对模空间结构有何影响？

主要发现

• 分划函数系数 $F_{g,n}$ 仅在总指标和 $\sum_{m=1}^n i_m$ 满足线性界 $\sum i_m \leq \alpha n + \beta g + \gamma$ 时非零，其中 $\alpha, \beta, \gamma$ 取决于结构本身，该结果通过在 $2g-2+n$ 上的归纳法证明。
• 当 $s_0 = -1$ 时，该界为 $\sum i_m \leq n + 3g - 3$，与 $ P^1$ 谱曲线在拓扑递归中的已知次数界一致。
• 当 $s_0 \geq 0$ 时，该界变为 $\sum i_m \leq -s_0 n + g + (2s_0 - 1)$，且对 $(g,n) = (1,1), (1,2), (2,1)$ 的情形为精确界。
• $\r Z_2$-不变环路空间构造产生一个量子艾尔比结构，其分划函数可重现半单弗罗贝尼乌斯代数的伊格纳德-奥兰蒂尼拓扑递归。
• 当 $C=0$ 时，递归简化为 $F_{g,n}$ 仅在 $\sum i_m \leq -r_0 n + 2g + (2r_0 - 2)$ 时非零，其中 $r_0$ 与 $B$ 张量的结构相关。
• 通过李代数工具启动了 $ {dim}\, V = 2$ 情形的分类，表明非交换结构源自 $\mathfrak{sl}_2(\mathbb{C})$ 表示及其相关形变。