Structures in topological recursion relations

技术摘要：拓扑递归关系中的结构

问题陈述
本文研究了稳定曲线模空间 $\mathcal{M}_{g,n}$ 上度为 $g$ 的拓扑递归关系（TRRs）的结构性质。虽然已知存在 TRRs 可以将 $\psi$-类中的任何度为 $g$ 的多项式表示为边界类（支撑在边界 $\overline{\mathcal{M}}_{g,n} \setminus \mathcal{M}_{g,n}$ 上的类），但这些关系的显式公式仅在低亏格（$g \leq 4$）时已知，且通常极其复杂。作者旨在揭示这些关系系数的基本结构约束，特别关注两种类型的边界层：“花束类”（bouquet class，一个带有 $g$ 个环的单基因 0 顶点）和“有理尾”类（rational tail classes，即一个基因 $g$ 曲线连接到一个有理分量的层）。理解这些系数至关重要，因为 TRRs 转化为 Gromov–Wottens 不变量的通用方程，这对于计算高亏格不变量以及研究如维拉索罗（Virasoro）猜想等可积系统至关重要。

方法论
作者采用了一种源自 Pixton 的双重分歧（DR）循环公式的构造算法，该算法在他们此前与 Clader 及 Zakharov [5] 的工作中得到了改进。核心方法包括：

1. Pixton 的 DR 公式： 利用 Pixton 类 $D_{g,n}(a_1, \dots, a_n)$ 在变量 $a_i$ 和参数 $r$ 下的多项式性质。具体而言，他们通过提取这些类中特定单项式的系数来生成度为 $g$ 的 TRRs。
2. 层代数与推前（Push-forwards）： 在层代数 $S_{g,n}$ 中，他们分析了这些类在遗忘映射下的推前。他们根据稳定图如何映射到基图，将其贡献分为三类：添加一条边（leg）、将一条边分裂为有理尾、或分裂一条边。
3. 生成函数与组合恒等式： 为了计算特定系数，作者引入了一个作用于 $\psi$-类多项式的线性泛函 $F$。通过将该泛函应用于特定图（特别是平凡图和花束图）的贡献，他们导出了涉及双曲函数（$\sinh, \cosh$）和伯努利数（Bernoulli numbers）的恒等式。
4. 归纳与线性关系： 他们结合 Faber 交点数猜想中的线性关系，利用对亏格和标记点数量的归纳法，来分离出特定的项。

主要贡献与结果

1. 花束类的系数（定理 1）：
   本文证明了关于度为 $g$ 的 TRRs 中花束类系数的 Kimura-Liu 猜想。对于任何和为 $g$ 的非负整数 $\{k_i\}$，$\prod \psi_i^{k_i}$ 展开式中类 $\xi_{\Gamma_{0,g,[n]}^{loop}}^*(1)$ 的系数显式地由下式给出：
   $$\frac{1}{8^g \prod_{i=1}^n (2k_i + 1)!!}$$
   作者确立了在关于低亏格顶点上不存在 $\kappa$-类及高阶 $\psi$-单项式的特定条件下，该系数是唯一的。

2. 有理尾系数的线性关系（定理 2）：
   作者导出了 TRRs 中有理尾层系数之间的线性关系。具体而言，对于形式为 $\prod \psi_i^{k_i} = \sum a_{\Gamma} \xi_{\Gamma}^*(\dots)$ 的 TRR，对应于有理尾的系数之和满足取决于 $g$ 和 $n$ 的特定恒等式。对于 $n=2$，系数显式计算为 $\frac{(2g-1)!!}{(2k_1-1)!!(2k_2-1)!!}$。对于 $n \geq 3$，虽然单个系数不是唯一的，但它们的总和是受约束的。

3. 在 Gromov–Witten 理论中的应用（推论 4 & 5）：
   通过算子 $T$（用于移动下降层级/descendant levels）将几何 TRRs 转化为 Gromov–Witten 不变量的语言，作者提供了显式的通用方程。

   • 他们导出了一个涉及带有特定插入项的亏格 0 不变量之和的公式，用于计算 $\langle\langle T^{k_1}(W_1) \dots T^{k_n}(W_n) \rangle\rangle_g$。
   • 他们建立了一个针对 $n=2$ 的关系，其中亏格 $g$ 的不变量可以表示为量子乘积的亏格 $g$ 不变量，减去低亏格项。

4. $\lambda_g$ 双重分歧公式中的系数（命题 6）：
   作为定理 1 的应用，作者计算了顶 Hodge 类 $\lambda_g$ 公式（通过 Pixton 的 DR 公式表达）中花束类的系数。他们表明该系数是 $\frac{(-1)^g}{2^g} \frac{t^2 e^t}{(e^t-1)^2}$ 展开式中 $t^{2g}$ 的系数。

5. 交点数的递归算法（定理 27）：
   本文提出了一种新的组合递归公式，用于计算交点数 $\int_{\mathcal{M}_{g,n}} \prod \psi_i^{k_i}$，其中 $\sum k_i = 3g-3+n$。不同于 Kontsevich 的拓扑模型，该方法使用由 Pixton 公式导出的度为 $(3g-3+n)$ 的 TRRs。该算法将这些积分表示为至少有一条边的稳定图之和，并由来自 DR 公式、string 方程和 dilaton 方程的有理系数进行加权。

意义与主张
本文声称提供了对任意亏格下度为 $g$ 的 TRRs 系数的首次显式结构性理解。

• 解决猜想： 它为 Kimura-Liu 关于花束类系数的猜想提供了肯定的回答，该问题在一般 $n$ 的情况下一直悬而未决。
• 计算效用： 所得公式提供了一种构造性方法，用于计算此前因关系过于复杂（例如 Getzler 方程）而无法获取的特定系数。
• 作为 Kontsevich 的替代方案： 用于计算交点数的递归算法提供了一种纯组合性的方法，区别于 Kontsevich 的矩阵积分和拓扑胞腔分解，可能为恢复 Witten 猜想提供一条新路径。
• 普遍性： 其结果产生了任何光滑射影簇的 Gromov–Witten 不变量的显式通用方程，为从半单情形下的亏格 0 数据确定高亏格不变量的广泛努力做出了贡献。

作者对于 $n \geq 3$ 时有理尾单个系数的唯一性保持谨慎，指出虽然存在线性关系，但由 Faber 猜想所启发的单个系数的共同因子结构仍是一个开放问题，尚需尚未推导出的显式公式。