[论文解读] Conjectural relations in the tautological ring of $\bar{M}_{g,n}$

Aaron Pixton|arXiv (Cornell University)|Jul 8, 2012

Algebraic Geometry and Number Theory参考文献 2被引用 28

一句话总结

本文提出将 FZ 关系（Faber-Zagier 关系）的猜想性推广，应用于含标记点与边界分量的模空间 $\overline{\mathcal{M}}_{g,n}$ 的重言性环，借助形式分量代数框架实现。核心贡献是系统构造了一类由分拆与标记点不变量参数化的新型重言性关系，计算验证支持其有效性，并暗示其可能的完备性。

ABSTRACT

We describe a very large class of conjectural relations in the tautological ring of the moduli space $\bar{M}_{g,n}$ of stable curves of genus $g$ with $n$ marked points, extending and generalizing the Faber-Zagier relations. These notes are loosely based on informal talks given by the author at the workshop at KTH Stockholm on "The moduli space of curves and its intersection theory" in April 2012.

研究动机与目标

• 将原本定义在 $\mathcal{M}_g$ 上的 Faber-Zagier 关系推广至含 $n$ 个标记点的紧化模空间 $\overline{\mathcal{M}}_{g,n}$。
• 在 $R^*(\overline{\mathcal{M}}_{g,n})$ 中系统构造新的重言性关系，推广 FZ 关系以包含标记点与边界分量。
• 猜想这些关系生成从分量代数 $\mathcal{S}_{g,n}$ 到 $R^*(\overline{\mathcal{M}}_{g,n})$ 的满射的整个核，从而暗示完备性。

提出的方法

• 将分量代数 $\mathcal{S}_{g,n}$ 定义为形式 $\mathbb{Q}$-代数，其生成元对应于 $\overline{\mathcal{M}}_{g,n}$ 的边界分量，以带亏格、标记与边数据的对偶图标记。
• 利用生成函数 $A(T)$、$B(T)$ 与 $C_i(T)$ 构造关系 $\mathcal{R}(g,n,r;\sigma,a_1,\ldots,a_n)$，并引入形式 $\kappa$-算子，将不定元 $K_n$ 的单项式映射至 $\kappa$-类。
• 以 $A$、$B$、$\psi$-类与 $\zeta_v$-类（亏格权重）定义边贡献 $\Delta_e$，通过恒等式 $A(T)B(-T) + A(-T)B(T) + 2 = 0$ 确保其有理函数性质。
• 通过胶合映射的推出与遗忘映射的拉回，使系统在几何操作下封闭，确保与重言性环结构相容。
• 将 $\mathcal{R}_{g,n}$ 定义为 $\mathcal{S}_{g,n}$ 中由低维分量关系的推出与其它分量上任意类的乘积生成的理想。
• 通过小亏格与小 $n$ 的计算验证猜想，包括恢复 Getzler 与 Belorousski-Pandharipande 的关系。

实验结果

研究问题

• RQ1 能否以自然且系统的方式将 $R^*(\mathcal{M}_g)$ 中的 Faber-Zagier 关系推广至 $R^*(\overline{\mathcal{M}}_{g,n})$？
• RQ2 在 $\overline{\mathcal{M}}_{g,n}$ 中，正确推广 FZ 关系以包含标记点与边界分量的形式是什么？
• RQ3 在给定的度数条件下，所提出的关系 $\mathcal{R}(g,n,r;\sigma,a_1,\ldots,a_n)$ 是否在 $R^*(\overline{\mathcal{M}}_{g,n})$ 中消失？
• RQ4 由这些关系生成的理想 $\mathcal{R}_{g,n}$ 是否等于从 $\mathcal{S}_{g,n} \to R^*(\overline{\mathcal{M}}_{g,n})$ 的满射的整个核？
• RQ5 所有新重言性关系在正亏格下是否均为 $S_n$-不变，如关系结构所暗示的那样？

主要发现

• 当满足 $3r \geq g+1 + |\sigma| + \sum a_i$ 时，猜想关系 $\mathcal{R}(g,n,r;\sigma,a_1,\ldots,a_n)$ 在 $R^*(\overline{\mathcal{M}}_{g,n})$ 中消失，如猜想 1 所述。
• 关系 $\mathcal{R}_{g,n}$ 构成分量代数 $\mathcal{S}_{g,n}$ 中的理想，且在胶合与遗忘映射的推出与拉回下封闭。
• 当 $g > 0$ 时，$\mathcal{R}_{g,n}/\mathcal{R}^{\text{old}}_{g,n}$ 中的所有新关系均为 $S_n$-不变，并源自所有部分满足 $\equiv 1 \pmod{3}$ 的分拆 $\sigma$。
• 这些关系可恢复已知的重言性关系：$R^2(\overline{\mathcal{M}}_{1,4})$ 中的 Getzler 关系，以及 $R^2(\overline{\mathcal{M}}_{2,3})$ 中的 Belorousski-Pandharipande 关系。
• Sage 计算确认 $\mathcal{R}_{g,n}$ 生成了正确的 Gorenstein 商的秩：$R^3(\overline{\mathcal{M}}_{2,4})$ 中为 333，$R^4(\overline{\mathcal{M}}_{3,2})$ 中为 142，$R^4(\overline{\mathcal{M}}_4)$ 与 $R^5(\overline{\mathcal{M}}_4)$ 中均为 50。