[论文解读] Invariants of spectral curves and intersection theory of moduli spaces of complex curves

Bertrand Eynard|arXiv (Cornell University)|Oct 13, 2011

Geometry and complex manifolds参考文献 21被引用 14

一句话总结

本文建立了B模型拓扑弦理论中谱曲线与带颜色边界之稳定黎曼曲面模空间上交数之间的普遍对应关系。它在模空间 $\mathcal{M}_{g,n}^{\mathfrak{b}}$ 上构造了一个上同调类 $\hat{\Lambda}(\mathcal{S})$，使得任意谱曲线 $\mathcal{S}$ 的拓扑递归不变量 $W_{g,n}(\mathcal{S})$ 可表示为该类与B模型核的积分，其中镜像对偶通过拉普拉斯变换实现。

ABSTRACT

To any spectral curve S, we associate a topological class Λ(S) in a moduli space M^b_{g,n} of "b-colored" stable Riemann surfaces of given topology (genus g, n boundaries), whose integral coincides with the topological recursion invariants W_{g,n}(S) of the spectral curve S. This formula can be viewed as a generalization of the ELSV formula (whose spectral curve is the Lambert function and the associated class is the Hodge class), or Marino-Vafa formula (whose spectral curve is the mirror curve of the framed vertex, and the associated class is the product of 3 Hodge classes), but for an arbitrary spectral curve. In other words, to a B-model (i.e. a spectral curve) we systematically associate a mirror A-model (integral in a moduli space of "colored" Riemann surfaces). We find that the mirror map, i.e. the relationship between the A-model moduli and B-model moduli, is realized by the Laplace transform.

研究动机与目标

• 将ELSV与Marino–Vafa公式推广至任意谱曲线，而不仅限于特殊情况。
• 为拓扑递归不变量 $W_{g,n}(\mathcal{S})$ 提供几何解释，即其为带颜色黎曼曲面模空间上的交数。
• 在 $\overline{\mathcal{M}}^{\mathfrak{b}}_{g,n}$ 上构造一个规范上同调类 $\hat{\Lambda}(\mathcal{S})$，使得 $W_{g,n}(\mathcal{S})$ 等于该类与B模型核的积分。
• 在基于谱曲线的统一框架下，整合Witten–Kontsevich、Weil–Petersson体积、赫尔维茨数、格罗莫夫–威滕不变量等各类枚举不变量。

提出的方法

• 引入一个紧致模空间 $\overline{\mathcal{M}}^{\mathfrak{b}}_{g,n}$，用于描述具有 $n$ 个标记点与亏格 $g$ 的 $\mathfrak{b}$-颜色稳定黎曼曲面，推广了标准模空间。
• 在 $\overline{\mathcal{M}}^{\mathfrak{b}}_{g,n}$ 上定义一个依赖于谱曲线 $\mathcal{S}$ 的上同调类 $\hat{\Lambda}(\mathcal{S})$，以编码其几何结构。
• 构造一个B模型核 $\hat{B}(z,1/\psi)$，其拉普拉斯变换推广了ELSV公式中 $\frac{\mu_i}{1 - \mu_i \psi_i}$ 的项。
• 利用拉普拉斯变换将B模型模参数（谱曲线参数）与A模型模参数（模空间上同调类）联系起来，实现镜像对偶。
• 应用留数微积分与图的节点退化上的递推关系，证明 $\hat{\Lambda}(\mathcal{S}) \cdot \prod_i \hat{B}(z_i, 1/\psi_i)$ 的积分为 $W_{g,n}(\mathcal{S})$。
• 推导 $\xi_{a_i,d}(z)$ 及其拉普拉斯变换 $f_{a_k,a_i,d}(u)$ 的递推关系，导出生成函数 $\check{B}_{a_k,a_i}(u,v)$，以编码核的结构。

实验结果

研究问题

• RQ1 任意谱曲线 $\mathcal{S}$ 的拓扑递归不变量 $W_{g,n}(\mathcal{S})$ 是否可解释为黎曼曲面模空间上的交数？
• RQ2 是否存在一个适用于任意B模型谱曲线的通用A模型镜像构造，以推广ELSV与Marino–Vafa等已知公式？
• RQ3 在此框架中，镜像对偶（即B模型模参数与A模型模参数之间的关系）如何从几何与分析上实现？
• RQ4 能否系统地将不变量 $W_{g,n}(\mathcal{S})$ 表示为带颜色黎曼曲面模空间上的积分？
• RQ5 在 $\overline{\mathcal{M}}^{\mathfrak{b}}_{g,n}$ 上，是否存在精确的上同调类 $\hat{\Lambda}(\mathcal{S})$，使得 $W_{g,n}(\mathcal{S}) = \int_{\overline{\mathcal{M}}^{\mathfrak{b}}_{g,n}} \hat{\Lambda}(\mathcal{S}) \cdot \prod_i \hat{B}(z_i, 1/\psi_i)$ 成立？

主要发现

• 主要结果为公式 $W_{g,n}(\mathcal{S}; z_1, \dots, z_n) = 2^{\dim \mathcal{M}^{\mathfrak{b}}_{g,n}} \int_{\overline{\mathcal{M}}^{\mathfrak{b}}_{g,n}} \hat{\Lambda}(\mathcal{S}) \cdot \prod_{i=1}^n \hat{B}(z_i, 1/\psi_i)$，该公式将任意 $W_{g,n}$ 表示为交数。
• 类 $\hat{\Lambda}(\mathcal{S})$ 由谱曲线 $\mathcal{S}$ 构造而成，其推广了ELSV中的霍奇类与Marino–Vafa中的霍奇类乘积。
• 核 $\hat{B}(z, 1/\psi)$ 推广了ELSV中的因子 $\frac{\mu}{1 - \mu \psi}$，其拉普拉斯变换恢复了已知公式中依赖于 $\mu_i$ 的项。
• B模型（谱曲线）与A模型（模空间）之间的镜像对偶通过拉普拉斯变换实现，提供了一种通用的对偶机制。
• 证明依赖于留数微积分与带节点退化的带花图的递推关系，表明在所有拓扑类型下均保持一致性。
• 当 $dx$ 为亚纯时，$\xi_{a_i,d}(z)$ 的递归结构及其拉普拉斯变换导出生成函数 $\check{B}_{a_k,a_i}(u,v)$，满足 $\check{B}_{a_k,a_i}(u,v) = \frac{uv}{u+v} \left( \delta_{i,k} - \sum_j f_{k,j}(u) f_{i,j}(v) \right)$，该式编码了核的行为。