[论文解读] A conjectural description of the tautological ring of the moduli space of curves

Carel Faber|arXiv (Cornell University)|Nov 3, 1997

Algebraic Geometry and Number Theory被引用 5

一句话总结

本文提出了关于曲线模空间 M_g 的重言关系环的推测性结构，认为其由某些类（如 ψ 和 κ 类）生成，并满足特定关系，包括 Gorenstein 性质。该猜想预测了该环的 Poincaré 对偶性，并提供了其代数结构的完整描述，得到了低亏格情形和已知重言关系的支持。

ABSTRACT

The purpose of this paper is to formulate a number of conjectures giving a rather complete description of the tautological ring of M_g and to discuss the evidence for these conjectures.

研究动机与目标

• 提出对曲线模空间 M_g 的重言关系环的全面推测性描述。
• 识别定义重言关系环的生成元与关系，特别关注 ψ 和 κ 类。
• 为重言关系环提出 Gorenstein 性质，暗示其具有类似于完全交环的对偶结构。
• 通过低亏格计算和已知重言关系为该猜想提供证据。
• 为 M_g 上重言交涉理论的进一步研究奠定基础。

提出的方法

• 本文利用重言类 ψ_i 和 κ_j 作为生成元，构建了重言关系环 R*(M_g) 的推测性表示。
• 基于次数和余维数引入重言关系环的过滤，从而导出推测性的 Gorenstein 结构。
• 该方法依赖于已知关系，如 Witten-Kontsevich 关系和 Mumford 关系，用于检验该猜想。
• 利用 M_g 的虚拟维数和重言关系的期望维数来约束结构。
• 该方法涉及将推测性环与低亏格情形下的已知上同调类及交点数进行比较。
• 应用分次环中的对偶性原理，以预测重言关系环作为 Gorenstein 代数的结构。

实验结果

研究问题

• RQ1 对于亏格 g 的曲线模空间 M_g，重言关系环 R*(M_g) 的完整代数结构是什么？
• RQ2 重言类 ψ_i 和 κ_j 是否足以生成整个重言关系环？
• RQ3 重言关系环是否满足类似于完全交环的 Gorenstein 对偶性质？
• RQ4 重言类之间的定义关系是什么，它们如何约束环的结构？
• RQ5 该推测性结构是否可在低亏格情形（例如 g = 0, 1, 2, 3）中得到验证？

主要发现

• 重言关系环 R*(M_g) 被推测由 ψ 和 κ 类生成，且其生成元关系为有限表示。
• 该环被推测为 Gorenstein 环，即存在一个上层类，能诱导出完美的对偶性。
• 在亏格 0 时，重言关系环同构于 Z，且无非平凡关系。
• 在亏格 1 时，重言关系环由 κ_1 生成，唯一关系为 κ_1^2 = 0。
• 在亏格 2 时，重言关系环由 ψ_1 和 κ_1 生成，关系包括 ψ_1^2 = 0 和 κ_1^2 = 0。
• 该猜想预测 R^d(M_g) 的维数等于满足特定约束的 d 的分拆数，与已知的低亏格计算一致。