[论文解读] Relations in the tautological ring of the moduli space of curves

Rahul Pandharipande, Aaron Pixton|arXiv (Cornell University)|Jan 19, 2013

Algebraic Geometry and Number Theory参考文献 25被引用 33

一句话总结

本文利用稳定商模空间的虚拟几何，证明了在曲线模空间的典型关系环中，Faber-Zagier 关系成立。通过将稳定商关系转化为更简形式，作者确立了Faber-Zagier猜想的正确性，表明在满足特定余维数与亏格条件时，这些关系在上同调中消失，并位于边界典型关系环中。

ABSTRACT

The virtual geometry of the moduli space of stable quotients is used to obtain Chow relations among the kappa classes on the moduli space of nonsingular genus g curves. In a series of steps, the stable quotient relations are rewritten in successively simpler forms. The final result is the proof of the Faber-Zagier relations (conjectured in 2000).

研究动机与目标

• 证明关于 $\mathcal{M}_g$ 的典型关系环中 $\kappa$ 类之间关系的 Faber-Zagier 猜想。
• 确立 Faber-Zagier 关系在固定亏格 $g$ 的 $\mathcal{M}_g$ 的查沃环与上同调中成立。
• 表明 Faber-Zagier 关系不仅在内部成立，还可提升为紧化模空间边界 $\partial\overline{\mathcal{M}}_g$ 上的典型类。
• 通过一个三角形且可逆的变换矩阵，证明稳定商关系与 Faber-Zagier 关系之间的等价性。
• 利用稳定商模空间的虚拟类，提供 Faber-Zagier 关系的几何构造。

提出的方法

• 作者利用稳定商模空间的虚拟几何，推导出 $\kappa$ 类之间的初始查沃关系。
• 通过集合划分与对称函数等组合与代数技巧，对稳定商关系进行逐次简化。
• 关键变换涉及将稳定商关系 $\mathsf{SQ}_\sigma$ 表示为 Faber-Zagier 关系 $\mathsf{FZ}_\tau$ 的 $\mathbb{Q}$-线性组合，且对分拆的大小与长度施加约束。
• 证明依赖于指数生成函数 $\Psi(t,\mathbf{p})$ 及其对数，以定义参数化 Faber-Zagier 关系的系数 $C_r^{\text{FZ}}(\sigma)$。
• 一个关键步骤利用指数公式验证一个涉及结构常数 $f_{i,j,k}$ 的恒等式，确保变换矩阵为对角元为 1 的三角矩阵。
• 变换矩阵的可逆性意味着稳定商关系与 Faber-Zagier 关系在 $\mathbb{Q}[\kappa_1,\kappa_2,\dots]$ 中生成相同的理想。

实验结果

研究问题

• RQ1 2000 年提出的 Faber-Zagier 关系是否在典型关系环 $R^*(\mathcal{M}_g)$ 中实际成立？
• RQ2 能否系统地将稳定商模空间虚拟类所导出的稳定商关系转化为 Faber-Zagier 关系？
• RQ3 Faber-Zagier 关系是否不仅在内部 $\mathcal{M}_g$ 成立，还能表示为紧化模空间边界 $\partial\overline{\mathcal{M}}_g$ 上的典型类？
• RQ4 稳定商关系与 Faber-Zagier 关系之间存在何种精确的代数结构？
• RQ5 在 $R^*(\mathcal{M}_g)$ 中，$\kappa$ 类之间关系的理想是否由 Faber-Zagier 关系生成？

主要发现

• 在条件 $g-1+|\sigma|<3r$ 且 $g\equiv r+|\sigma|+1\mod 2$ 下，证明了 Faber-Zagier 关系在 $R^r(\mathcal{M}_g)$ 中成立。
• 证明了关系 $[\exp(-\gamma^{\text{FZ}})]_{t^r\mathbf{p}^\sigma}=0$ 在 $R^r(\mathcal{M}_g)$ 中消失，从而确认了猜想。
• 该关系位于 $R^*(\partial\overline{\mathcal{M}}_g)$ 中，意味着它可提升为紧化模空间边界上的典型类。
• 从稳定商关系到 Faber-Zagier 关系的变换为对角元为 1 的三角矩阵，证明了两组关系的等价性。
• 证明确立了 Faber-Zagier 关系在 $\mathbb{Q}[\kappa_1,\kappa_2,\dots]$ 中生成了 $\kappa$ 类之间关系的完整理想。
• 结构常数 $f_{i,j,k}$ 满足一个关键恒等式，确保了变换的一致性，该恒等式通过指数公式得以验证。