[论文解读] Calculating intersection numbers on moduli spaces of pointed curves

Stephanie Yang|arXiv (Cornell University)|Aug 14, 2008

Algebraic Geometry and Number Theory参考文献 10被引用 13

一句话总结

本文提出了一种计算稳定曲线模空间上典型类交点数的算法，通过带装饰的稳定图包含边界类。该方法在 Maple 中实现，计算了亏格 4 的典型关系，并确定了低亏格和标记点数下典型环 Gorenstein 商的秩。

ABSTRACT

This is a note on calculating intersection numbers on moduli spaces of curves. A codimension 3 relation among tautological classes on the moduli space of genus 4 curves is given.

研究动机与目标

• 开发一种系统性算法，用于计算稳定曲线模空间上涉及典型类——特别是边界类——的交点数。
• 扩展现有计算工具，这些工具仅处理 ψ、κ 和 λ 类，扩展至包含拓扑定义的边界类。
• 计算由 Bergström-Tommasi 预言的亏格 4 典型关系在上同调中的系数。
• 确定低亏格和标记点数下典型环的 Gorenstein 商的秩。
• 分析紧致类型和有理尾曲线的局部典型环结构，支持 Gorenstein 猜想。

提出的方法

• 改编 Graber 与 Pandharipande（2003）的边界类乘法公式，使用带装饰的稳定图。
• 使用稳定图编码稳定曲线的对偶图，顶点表示分支，边表示节点，半边表示标记点。
• 定义 G-结构以形式化图的特化，实现交点数的递归计算。
• 在 Maple 中实现该算法，利用带装饰图的框架计算高阶交点数。
• 将该算法应用于计算亏格 4 典型关系在上同调中的系数。
• 计算 $ R^*(\overline{\mathcal{M}}_{g,n}) $、$ R^*(\mathcal{M}^{\operatorname{ct}}_{g,n}) $ 和 $ R^*(\mathcal{M}^{\operatorname{rt}}_{g,n}) $ 在小 $ g $ 和 $ n $ 下的 Gorenstein 商的秩。

实验结果

研究问题

• RQ1 如何在 $ \overline{\mathcal{M}}_{g,n} $ 上系统地计算涉及边界类的交点数？
• RQ2 由 Bergström-Tommasi 预言的亏格 4 典型关系在上同调中的系数是多少？
• RQ3 在低 $ g $ 和 $ n $ 下，$ \overline{\mathcal{M}}_{g,n} $、$ \mathcal{M}^{\operatorname{ct}}_{g,n} $ 和 $ \mathcal{M}^{\operatorname{rt}}_{g,n} $ 的典型环的 Gorenstein 商的秩是多少？
• RQ4 紧致类型和有理尾曲线的典型环结构与完整模空间相比如何？
• RQ5 基于计算出的秩，Gorenstein 猜想在这些典型环中在多大程度上成立？

主要发现

• 该算法成功计算出亏格 4 典型关系在上同调中的系数，通过 Bergström-Tommasi 的结果证实了其存在性。
• 计算了 $ R^*(\overline{\mathcal{M}}_{g,n}) $、$ R^*(\mathcal{M}^{\operatorname{ct}}_{g,n}) $ 和 $ R^*(\mathcal{M}^{\operatorname{rt}}_{g,n}) $ 在低 $ g $ 和 $ n $ 下的 Gorenstein 商的秩，为 Gorenstein 猜想提供了数值证据。
• 在 Maple 中的实现使得涉及边界类的交点数计算更加高效，填补了现有软件（如 HodgeIntegrals 和基于 Maple 的工具）的空白。
• 通过带装饰的稳定图的方法提供了一个组合框架，能够捕捉边界子簇及其交点的几何结构。
• 对 $ \mathcal{M}^{\operatorname{ct}}_{g,n} $ 和 $ \mathcal{M}^{\operatorname{rt}}_{g,n} $ 计算出的秩与 Gorenstein 猜想下的预期一致，支持其在低亏格下的有效性。
• 结果表明，这些局部的典型环在低度下表现良好且有限维，与 Gorenstein 对偶性一致。