[论文解读] A new cohomology class on the moduli space of curves

Paul Norbury|arXiv (Cornell University)|Dec 11, 2017

Algebraic Geometry and Number Theory被引用 7

一句话总结

本文在模空间 $\overline{\mathcal{M}}_{g,n}$ 上引入了一个新的上同调类 $Θ_{g,n}$，其通过涉及遗忘映射和粘合映射的递归几何约束来定义。关键结果是，交点数 $\int_{\overline{\mathcal{M}}_{g,n}} \Theta_{g,n} \prod \psi_i^{m_i}$ 可以递归计算，并且猜想其生成一个 KdV tau 函数，从而将 Kontsevich 的 Witten-Kontsevich 定理推广到一类新的交点数。

ABSTRACT

We define a collection $Θ_{g,n}\in H^{4g-4+2n}(\overline{\cal M}_{g,n},\mathbb{Q})$ for $2g-2+n>0$ of cohomology classes that restrict naturally to boundary divisors. We prove that the intersection numbers $\int_{\overline{\cal M}_{g,n}}Θ_{g,n}\prod_{i=1}^nψ_i^{m_i}$ can be recursively calculated. We conjecture that a generating function for these intersection numbers is a tau function of the KdV hierarchy. This is analogous to the conjecture of Witten proven by Kontsevich that a generating function for the intersection numbers $\int_{\overline{\cal M}_{g,n}}\prod_{i=1}^nψ_i^{m_i}$ is a tau function of the KdV hierarchy.

研究动机与目标

• 在模空间 $\overline{\mathcal{M}}_{g,n}$ 上定义一个新的上同调类 $\Theta_{g,n}$，使其在遗忘映射和粘合映射下满足自然的几何约束。
• 建立 $\Theta_{g,n}$ 与 $\psi$-类交点数的递归计算方法，利用边界关系。
• 猜想这些交点数的生成函数是 KdV 层次的 tau 函数，类似于 Witten-Kontsevich 理论。
• 探讨 $\Theta_{g,n}$ 与现有上同调场论（包括 Gromov-Witten 不变量和拓扑递归）之间的联系。
• 对低亏格和小 $n$ 的情形提供交点数的显式计算，验证其与猜想的 KdV 结构的一致性。

提出的方法

• 通过从自旋曲线模空间的上推，构造类 $\Theta_{g,n}$，以确保其与遗忘映射和粘合映射的相容性。
• 该类满足递归性质：$\Theta_{g,n+1} = \psi_{n+1} \cdot \pi^*\Theta_{g,n}$，且对稳定图 $\Gamma$ 有 $\phi_\Gamma^*\Theta_{g,n} = \Theta_\Gamma$，从而保证在边界分层上的统一性。
• 在边界分层上拉回映射为单射的假设下，确立了 $\Theta_{g,n}$ 的唯一性，并对 $\Theta_{1,1} = 3\psi_1$ 显式证明了刚性。
• 通过边界分解和自同构因子，将 $\Theta_{g,n}$-加权积分表示为低亏格类的组合，从而实现交点数的递归计算。
• 基于与 Bouscainville-Givental (BGW) tau 函数匹配的项，猜想 $\int \Theta_{g,n} \prod \psi_i^{m_i}$ 的生成函数满足 KdV 层次方程。
• 对 $g=2,3$ 的显式计算表明，其结果在 $\hbar^2$ 项内与 BGW tau 函数一致，支持该猜想。

实验结果

研究问题

• RQ1 是否存在一个上同调类 $\Theta_{g,n} \in H^{4g-4+2n}(\overline{\mathcal{M}}_{g,n}, \mathbb{Q})$，使其在遗忘映射和粘合映射下满足自然的拉回性质，并且在亏格 1 时非平凡？
• RQ2 能否利用边界关系和塔陶洛吉关系，递归计算交点数 $\int_{\overline{\mathcal{M}}_{g,n}} \Theta_{g,n} \prod_{i=1}^n \psi_i^{m_i}$？
• RQ3 这些交点数的生成函数是否如猜想所示，为 KdV 层次的 tau 函数？
• RQ4 $\Theta_{g,n}$ 与已知的上同调场论（如 Gromov-Witten 理论或拓扑递归所生成的理论）之间有何关系？
• RQ5 在低亏格情形下，$\Theta_{g,n}$ 在多大程度上由其边界行为唯一确定？

主要发现

• 类 $\Theta_{g,n}$ 存在且位于度数 $4g-4+2n$，且 $\Theta_{1,1} = 3\psi_1$，确认其非平凡性与刚性。
• 当 $g=2$ 时，交点数 $\int_{\overline{\mathcal{M}}_{2,2}} \Theta_{2,2} \cdot \psi_1 \psi_2 = \frac{15}{1024}$，且 $\int_{\overline{\mathcal{M}}_{2,2}} \Theta_{2,2} \cdot \psi_1 = \frac{9}{128}$，通过递归边界分解计算得出。
• 当 $g=3$ 时，交点数 $\int_{\overline{\mathcal{M}}_{3,2}} \Theta_{3,2} \cdot \psi_1^2 = \frac{75}{1024}$ 与 $\int_{\overline{\mathcal{M}}_{3,2}} \Theta_{3,2} \cdot \psi_1 \psi_2 = \frac{63}{512}$，与稀释方程和 BGW tau 函数一致。
• $\Theta_{g,n}$-加权交点数的生成函数与 Bouscainville-Givental (BGW) tau 函数的 $\hbar^2$ 项匹配，支持 KdV 猜想。
• 类 $\Theta_{g,n}$ 在 $S_n$ 作用下对称，并在所有含亏格 0 分量的分层上消失，反映了其几何起源。
• 显式计算表明，$\Theta_{g,n}$-交点数满足与 Witten-Kontsevich 情况相同的递归结构，但系数已根据新类进行修正。