[论文解读] The tautological ring of the moduli space M_{2,n}^rt

Mehdi Tavakol|arXiv (Cornell University)|Jan 27, 2011

Algebraic Geometry and Number Theory参考文献 8被引用 5

一句话总结

本文通过证明 $ R^*(M_{2,n}^{rt}) $ 与配置空间 $ F(X,n) $ 的 Fulton-MacPherson 紧化 $ X[n] $ 的 tautological ring 之间存在同构，确立了 genus 两曲线带 rational tails 的模空间 $ M_{2,n}^{rt} $ 的 tautological ring $ R^*(M_{2,n}^{rt}) $ 是一个 socle 在度数 $ n $ 的 Gorenstein 代数。该证明利用了 $ R^*(X^n) $ 中的关系以及 $ \overline{M}_{2,n} $ 上的 tautological 关系。关键结果确认了该模空间在 genus 两时的 Gorenstein 猜想。

ABSTRACT

We study the tautological ring of the moduli space of stable n-pointed curves of genus two with rational tails. The algebra is described in terms of explicit generators and relations. It is proven that this algebra is Gorenstein.

研究动机与目标

• 确定 tautological ring $ R^*(M_{2,n}^{rt}) $ 的结构，该空间是 $ M_{2,n} $ 的一个部分紧化，参数化 genus 两带 rational tails 的曲线。
• 通过证明 $ R^*(M_{2,n}^{rt}) $ 是一个 socle 在度数 $ n $ 的 Gorenstein 代数，验证 genus 两时 tautological ring 的 Gorenstein 猜想。
• 通过 genus 两曲线 $ X $ 的 reduced fiber 建立 $ M_{2,n}^{rt} $、配置空间 $ F(X,n) $ 及其 Fulton-MacPherson 紧化 $ X[n] $ 的 tautological ring 之间的联系。
• 分析 $ R^*(X^n) $ 和 $ R^*(X[n]) $ 中的 tautological 关系，证明二者均为 Gorenstein，并利用此结果推导出 $ R^*(M_{2,n}^{rt}) $ 的结构。

提出的方法

• 将 $ M_{2,n}^{rt} $ 定义为 $ \overline{M}_{2,n} \to \overline{M}_2 $ 的自然态射下 $ M_2 $ 的逆像，即参数化带有 rational tails 的稳定 $ n $-点 genus 两曲线。
• 利用固定 genus 两曲线 $ X $ 上的 reduced fiber $ X[n] $，即 $ F(X,n) $ 的 Fulton-MacPherson 紧化，建立 tautological ring 之间的联系。
• 通过分析 $ R^2(X^3) $ 和 $ R^3(X^6) $ 中的关系（包括 Faber-Pandharipande 与 Belorousski-Pandharipande 关系）证明 $ R^*(X^n) $ 是 Gorenstein。
• 通过验证某些特征多项式 $ P_{W/X^n}(t) $ 的展开式中单项式的消失性，证明 $ R^*(X[n]) $ 是 Gorenstein。
• 通过证明 $ X[n] $ 上的 tautological 关系（如 $ P_{Z/X^n}(-\sum_{I \subseteq J} D_J) = 0 $）可下移至 $ M_{2,n}^{rt} $，建立同构 $ R^*(X[n]) \to R^*(M_{2,n}^{rt}) $。
• 验证 $ \prod_{i \neq j \in I} (d_{i,j} - \sum_{I \subseteq J} D_J) $ 展开式中所有单项式在 $ R^*(M_{2,n}^{rt}) $ 中为零，从而确认同构与 Gorenstein 性质。

实验结果

研究问题

• RQ1 tautological ring $ R^*(M_{2,n}^{rt}) $ 是否如 Faber 猜想所预测的那样是 Gorenstein 代数？
• RQ2 对于固定 genus 两曲线 $ X $，tautological ring $ R^*(X^n) $ 的结构是什么？它与 $ R^*(M_{2,n}^{rt}) $ 有何关系？
• RQ3 Fulton-MacPherson 紧化 $ X[n] $ 的 tautological ring 是否可用于描述 $ R^*(M_{2,n}^{rt}) $？它本身是否也是 Gorenstein？
• RQ4 $ R^*(X^n) $ 和 $ R^*(X[n]) $ 中的 tautological 关系是否可下移至 $ R^*(M_{2,n}^{rt}) $？它们是否蕴含 Gorenstein 性质？
• RQ5 $ R^*(M_{2,n}^{rt}) $ 的 socle 度数是多少？它是否与 Gorenstein 猜想所预期的度数 $ n $ 一致？

主要发现

• tautological ring $ R^*(M_{2,n}^{rt}) $ 是一个 socle 在度数 $ n $ 的 Gorenstein 代数，确认了该模空间在 genus 两时的 Gorenstein 猜想。
• 存在 $ X[n] $ 的 tautological ring $ R^*(X[n]) $ 与 $ R^*(M_{2,n}^{rt}) $ 之间的典范同构，建立了配置空间 tautological ring 与模空间 tautological ring 之间的桥梁。
• $ R^*(X^n) $ 中的关系（包括 $ R^2(X^3) $ 和 $ R^3(X^6) $ 中的两个关键关系）在证明 $ R^*(X^n) $ 和 $ R^*(X[n]) $ 的 Gorenstein 性质中起着关键作用。
• $ R^2(M_{2,n}^{rt}) $ 中的乘积 $ D_I \cdot D_J $ 仅在 $ I \subseteq J $、$ J \subseteq I $ 或 $ I \cap J = \emptyset $ 时非零，该性质在 $ R^*(\overline{M}_{2,n}) $ 中对大小至少为三的子集也成立。
• $ \prod_{i \neq j \in I} (d_{i,j} - \sum_{I \subseteq J} D_J) $ 展开式中的所有单项式在 $ R^*(M_{2,n}^{rt}) $ 中均为零，确认了模空间上特征多项式关系的消失性。
• 通过证明 $ X[n] $ 上的所有 tautological 关系（包括来自 $ P_{W/X^n}(t) $ 的关系）均可下移并在 $ R^*(M_{2,n}^{rt}) $ 中消失，建立了同构 $ R^*(X[n]) \to R^*(M_{2,n}^{rt}) $，从而完整证明了 Gorenstein 结构。