[论文解读] On the tautological rings of M_{g, 1} and its universal Jacobian

Qizheng Yin|arXiv (Cornell University)|Jun 17, 2012

Advanced Differential Equations and Dynamical Systems参考文献 18被引用 8

一句话总结

本文提出了一种新颖的方法，通过在全纯雅可比簇的查尔斯环上的 $\mathfrak{sl}_2$-作用，生成曲线模空间 $\mathcal{M}_{g,1}$ 中的重言关系。通过应用由此作用导出的微分算子，作者证明了重言关系环 $\mathcal{R}(\mathcal{M}_{g,1})$ 由 $\kappa_1,\ldots,\kappa_{\lfloor g/3\rfloor}$ 和 $\psi$ 生成，证实了当 $g \leq 19$ 时法伯的猜想，并对 $\mathcal{M}_g$ 重新证明了当 $g \leq 23$ 时的猜想，且在 $g=24$ 时恢复了法伯-扎吉耶关系。该方法为重言关系提供了一套系统性的组合方法，具有广泛的计算与理论意义。

ABSTRACT

We give a new method of producing relations in the tautological ring R(M_{g, 1}), using the sl_2-action on the Chow ring of the universal Jacobian. With these relations, we prove that R(M_{g, 1}) is generated by κ_i for i no greater than g/3, together with ψ. Our computation shows that Faber's conjectures for M_{g, 1} are true for g up to 19. Further, by pushing relations forward to M_g, we obtain a new proof of Faber's conjectures (for M_g) for g up to 23. For g = 24, our method recovers all the Faber-Zagier relations. We also give an algebraic proof of an identity of Morita.

研究动机与目标

• 开发一种系统方法，利用几何与代数结构在重言关系环 $\mathcal{R}(\mathcal{M}_{g,1})$ 中生成重言关系。
• 证明 $\mathcal{R}(\mathcal{M}_{g,1})$ 由 $\kappa_1,\ldots,\kappa_{\lfloor g/3\rfloor}$ 和 $\psi$ 生成，解决法伯关于 $\mathcal{M}_{g,1}$ 猜想中的关键部分。
• 通过上推映射将这些结果推广至 $\mathcal{M}_g$，重新证明法伯猜想在 $g \leq 23$ 时成立，并在 $g=24$ 时恢复法伯-扎吉耶关系。
• 在该框架内提供莫里塔恒等式的代数证明。

提出的方法

• 利用全纯雅可比簇 $J \to \mathcal{M}_{g,1}$ 的查尔斯环上的 $\mathfrak{sl}_2$-作用，定义作用于重言关系环 $\mathcal{T}(J)$ 上的微分算子 $\mathcal{D}$。
• 通过将 $\mathcal{D}$ 作用于在几何原因下为零的 $p_{i,j}$ 和 $\psi$ 类的多项式，构造 $\mathcal{T}(J)$ 中的关系。
• 将所得关系限制到子代数 $\mathcal{R}(\mathcal{M}_{g,1})$ 上，其同构于 $\mathcal{T}(J)$ 的商代数，从而在 $\mathcal{M}_{g,1}$ 中获得重言关系。
• 使用计算机代数计算重言上同调群的维数，模一个大素数，以确保在大系数下仍保持数值稳定与精确。
• 应用从 $\mathcal{M}_{g,1}$ 到 $\mathcal{M}_g$ 的上推映射，转移关系并验证与已知法伯-扎吉耶关系的一致性。
• 使用“荷兰房子”组合框架组织并简化复杂关系，使其计算上可处理。

实验结果

研究问题

• RQ1 全息雅可比簇上的 $\mathfrak{sl}_2$-作用是否可用于系统性地生成 $\mathcal{M}_{g,1}$ 中的重言关系？
• RQ2 $\mathcal{R}(\mathcal{M}_{g,1})$ 是否由 $\kappa_1,\ldots,\kappa_{\lfloor g/3\rfloor}$ 和 $\psi$ 生成？
• RQ3 由 $\mathfrak{sl}_2$-作用导出的关系是否证实了 $\mathcal{M}_{g,1}$ 中法伯猜想在 $g \leq 19$ 时成立？
• RQ4 这些关系是否可以上推至 $\mathcal{M}_g$，从而重新证明 $g \leq 23$ 时的法伯猜想？
• RQ5 该方法是否在 $g=24$ 时恢复了法伯-扎吉耶关系？
• RQ6 能否在此框架内构造出莫里塔恒等式的代数证明？

主要发现

• 通过 $\mathfrak{sl}_2$-作用方法，证明了重言关系环 $\mathcal{R}(\mathcal{M}_{g,1})$ 由 $\kappa_1,\ldots,\kappa_{\lfloor g/3\rfloor}$ 和 $\psi$ 生成。
• 通过计算机辅助验证关系空间，证实了法伯关于 $\mathcal{M}_{g,1}$ 的猜想在所有 $g \leq 19$ 时成立。
• 通过将关系上推至 $\mathcal{M}_g$，作者重新证明了法伯猜想在 $\mathcal{M}_g$ 中至 $g=23$ 时成立。
• 在 $g=24$ 时，该方法恰好恢复了法伯-扎吉耶关系集合，表明该亏格下关系空间的完备性。
• 计算显示，在 $g=24$ 且余维数为 13 时，$\mathcal{M}_{g,1}$ 中缺少一条关系；在 $\mathcal{M}_{24}$ 中，余维数 12 缺少一条关系，提示在中间余维数附近可能存在遗漏。
• 利用 $\mathfrak{sl}_2$-作用与微分算子 $\mathcal{D}$，建立了莫里塔恒等式的代数证明，提供了新的概念性推导。