[论文解读] Relations in the tautological ring of $M_g$

Eleny-Nicoleta Ionel|ArXiv.org|Dec 4, 2003

Algebraic Geometry and Number Theory参考文献 4被引用 11

一句话总结

本文通过使用 $\mathbb{P}^1$ 上度 $d$ 覆盖的几何构造，在曲线模空间 $\mathcal{M}_g$ 的重言性环中建立了无限多个非平凡关系。通过分析标记点配置并应用 Porteous 公式，作者推导出这些关系的生成函数，证明了类 $\kappa_1, \dots, \kappa_{[g/3]}$ 生成重言性环——从而证实了 Faber 猜想的一个关键情形。

ABSTRACT

Using a simple geometric argument, we obtain an infinite family of nontrivial relations in the tautological ring of $M_g$ (and in fact that of $M_{g,2}$). One immediate consequence of these relations is that the classes $κ_1,...,κ_{[g/3]}$ generate the tautological ring of $M_g$, which has been conjectured by Faber, and recently proven at the level of {\em cohomology} by Morita.

研究动机与目标

• 通过曲线模空间上的几何构造，建立重言性环 $R^*(\mathcal{M}_g)$ 中的新非平凡关系。
• 证明类 $\kappa_1, \dots, \kappa_{[g/3]}$ 生成重言性环，从而证实 Faber 的一个猜想。
• 为这些关系提供生成函数形式，简化其结构并揭示深层代数模式。
• 在查尔斯环中的几何构造与 $\kappa$ 类之间的显式多项式关系之间建立联系，超越上同调结果的限制。

提出的方法

• 利用 $\mathbb{P}^1$ 上度 $d$ 覆盖的模空间来定义类 $w_{d,g}$，并用其在 $A^*(\mathcal{M}_g)$ 中构造几何关系。
• 应用 Porteous 公式，将纤维上带标记的覆盖的周期类表示为重言性类，从而在查尔斯环中得到关系。
• 引入一个满足简单常微分方程（ODE）的通用生成函数 $G$，该函数编码了这些几何关系。
• 通过将关系表达为含 $\kappa_a$ 和辅助变量 $x, u$ 的形式幂级数的系数，推导出关系的生成函数表达式。
• 利用遗忘映射的上推和下拉，将 $\mathcal{C}_g^{d+2}$ 上的关系与 $\mathcal{M}_g$ 关联，将复杂的周期恒等式简化为重言性表达式。
• 依赖 Deligne-Mumford 紧化结构以及 $A^*(\overline{\mathcal{M}}_{g,2})$ 中的关系，推导出关键恒等式。

实验结果

研究问题

• RQ1 在 $\mathbb{P}^1$ 上度 $d$ 覆盖上的几何构造能否在 $\mathcal{M}_g$ 的重言性环中产生非平凡关系？
• RQ2 从这类几何构型导出的关系是否具有统一的生成函数表达式？
• RQ3 生成函数方法能否证明 $\kappa_1, \dots, \kappa_{[g/3]}$ 生成 $R^*(\mathcal{M}_g)$，从而证实 Faber 猜想？
• RQ4 是否存在关于 $\kappa$ 类的显式多项式关系，其在相对于亏格的低次下成立，如生成函数所暗示的？

主要发现

• 本文证明了类 $\kappa_1, \dots, \kappa_{[g/3]}$ 生成重言性环 $R^*(\mathcal{M}_g)$，从而证实了 Faber 猜想的一个关键情形。
• 通过在 $\mathbb{P}^1$ 上度 $d$ 覆盖及其标记分支点的几何论证，构造了 $R^*(\mathcal{M}_g)$ 中无限多个非平凡关系。
• 这些关系被编码在一个形式为 $\left[\exp\left(-\sum_{a=1}^\infty x^a \kappa_a \sum_{j=0}^a c_{a,j} u^j \right) \cdot (\kappa_{b-1} - 2\sum_{a=0}^\infty \kappa_{a+b} x^{a+1} \sum_{j=0}^a q_{a,j} u^{j+1}) \right]_{x^{g+2-2d}u^d} = 0$ 的生成函数中，该式对所有 $d \geq 2$ 和 $b \geq 0$ 成立。
• 生成函数 $G$ 满足一个简单的 ODE，其形式幂级数展开使得复杂的周期关系可简化为所述指数形式。
• 这些关系被证明来源于 $A^*(\overline{\mathcal{M}}_{g,2})$ 中重言性关系的限制，通过遗忘映射和对角类得到显式表达式。
• 本文首次给出了在次数 $g+2-2d$ 下，$\psi_1$ 和 $\kappa$ 类之间非平凡多项式关系的已知实例，且 $\psi_1^a$ 的系数非零，这对低次重言性关系具有重要意义。