Holomorphic anomaly equations for $\mathbb{C}^5/\mathbb{Z}_5$

技术摘要：$[\mathbb{C}^5/\mathbb{Z}_5]$ 的全纯反常方程

问题陈述
本文研究了商叠 $[\mathbb{C}^5/\mathbb{Z}_5]$ 的 $T$-等变格罗莫夫 - 威滕不变量的结构，其中循环群 $\mathbb{Z}_5$ 通过乘以五次单位根作用于 $\mathbb{C}^5$。具体而言，作者旨在为这些不变量的生成函数（势函数）建立“全纯反常方程”（微分方程），记为 $F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g$，其中亏格 $g \geq 2$。该研究在非紧目标叠的扭曲格罗莫夫 - 威滕理论框架内进行，利用虚拟定域化来定义不变量。

方法论
作者采用了一种与 [13] 中处理类似几何结构时所用策略一致的方案，依赖于基础亏格 0 理论的半单性。方法论按以下步骤进行：

1. 镜像定理与级数构造：作者利用 $[\mathbb{C}^5/\mathbb{Z}_5]$ 的镜像定理（命题 1.1），该定理通过镜像变换 $T(x)$ 将 $J$-函数与 $I$-函数联系起来。从 $I$-函数出发，他们定义了一组形式幂级数（$L, C_1, C_2, C_3$）和导出量（$X_1, X_2, A_1, A_2, B_i$），这些量满足特定的微分关系（方程 1.6–1.11）。
2. 弗罗贝尼乌斯结构与半单性：证明了 $[\mathbb{C}^5/\mathbb{Z}_5]$ 的亏格 0 格罗莫夫 - 威滕理论在 Chen-Ruan 上同调 $H^*_{T,Orb}([\mathbb{C}^5/\mathbb{Z}_5])$ 上产生了一个半单弗罗贝尼乌斯结构。这使得可以应用吉文塔尔 - 特列曼关于半单上同调场论（CohFTs）的分类。
3. $R$-矩阵与平坦方程：作者分析了与弗罗贝尼乌斯结构相关的 $R$-矩阵。通过限制在半单点并利用平坦方程 (2.5)，他们推导出了矩阵 $\tilde{P}^k_{i,j}$ 元素的“修正平坦方程”系统 (2.9)，这些元素与 $R$-矩阵系数相关。
4. 典范提升：一个关键的技术步骤涉及将系数 $\tilde{P}^k_{i,j}$ 从形式幂级数环 $\mathbb{C}[[x]]$ 提升到特定的多项式环 $\mathcal{F} = \mathbb{C}[L^{\pm 1}][A_1, DA_1, D^2A_1, A_2]$。这是通过“典范提升”过程（第 3.1 节）实现的，证明了这些系数位于 $\mathcal{F}$ 中（引理 3.1）。
5. 图展开：利用吉文塔尔 - 特列曼分类，亏格 $g$ 的势函数被表示为带装饰的稳定图的求和（命题 4.1）。顶点、边和腿的贡献用提升后的系数来表示。

主要贡献与结果
本文的主要贡献是证明了两个特定的微分方程，这些方程在将等变参数 $\lambda_i$ 特殊化为单位根后（方程 0.3），支配着高亏格势函数 $F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g$。

1. 有限生成性质（定理 4.2）：作者证明，当将格罗莫夫 - 威滕势函数视为典范提升中变量的函数时，它们属于环 $\mathcal{F}[C_1, C_2, C_3]$。具体而言，对于 $g \geq 2$，有 $F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g \in \mathcal{F}$。
2. 第一个全纯反常方程（定理 4.6）：本文证明了关于变量 $A_2$ 的微分方程：
   $$\frac{C_3}{5L} \frac{\partial F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g}{\partial A_2} = \frac{1}{2} \langle\langle \phi_2, \phi_2 \rangle\rangle^{[\mathbb{C}^5/\mathbb{Z}_5]}_{g-1,2} + \frac{1}{2} \sum_{i=1}^{g-1} \langle\langle \phi_2 \rangle\rangle^{[\mathbb{C}^5/\mathbb{Z}_5]}_{g-i,1} \langle\langle \phi_2 \rangle\rangle^{[\mathbb{C}^5/\mathbb{Z}_5]}_{i,1}$$
   该方程将亏格 $g$ 势函数的导数与具有特定插入项的低亏格势函数联系起来。证明依赖于分析图展开中边贡献的导数（引理 4.4）以及顶点关于 $A_2$ 的导数的消失。
3. 第二个全纯反常方程（定理 4.7）：作者证明了第二个关于变量 $D^2A_1$ 的不同微分方程：
   $$\frac{C_2^2 C_3}{5L^3} \frac{\partial F^{[\mathbb{C}^5/\mathbb{Z}_5]}_g}{\partial (D^2A_1)} = \dots$$
   该方程涉及祖先插入项（$\psi$ 类的幂），并包含负号项，使其与第一个方程区分开来。作者指出，据他们所知，这一特定方程在以往的研究中没有类比。

意义与主张
本文声称，这些结果提供了 $[\mathbb{C}^5/\mathbb{Z}_5]$ 格罗莫夫 - 威滕不变量微分结构的完整描述，其表述基于源自镜像映射和弗罗贝尼乌斯结构的变量。作者指出，他们的方法证实了吉文塔尔 - 特列曼分类适用于这种特定的非紧轨形环境。

该工作的意义通过其与现有文献的关系来构建：

• 第一个反常方程被呈现为与 [12] 和 [13] 主要结果的类比。
• 第二个反常方程被强调为一项新颖的贡献，在以往的研究中没有已知的类比。
• 本文献给 Bumsig Kim 的纪念，暗示了对其在该领域兴趣的延续。

作者并未提出新的实验应用，也未在全纯反常方程的数学框架和 CohFT 分类之外对未来影响进行推测。结果被呈现为对生成函数结构性质的严格证明。