[论文解读] The moduli space of curves and its invariants

Mehdi Tavakol|arXiv (Cornell University)|Oct 30, 2016

Algebraic Geometry and Number Theory参考文献 71被引用 3

一句话总结

本文全面回顾了曲线模空间中的重言不变量，重点在于交点理论与上同调。通过等变与运算 Chow 理论，建立了曲线模堆栈的积分 Chow 环的基础结果，关键成果包括在特征 ≠ 2,3 时计算出 $ A^*(\mathcal{M}_{1,1}) = \mathbb{Z}[t]/(12t) $ 和 $ A^*(\mathcal{M}_2) = \mathbb{Z}[\lambda_1,\lambda_2]/(10\lambda_1, 2\lambda_1^2 - 24\lambda_2) $。

ABSTRACT

This note is about invariants of moduli spaces of curves. It includes their intersection theory and cohomology. Our main focus in on the distinguished piece containing the so called tautological classes. These are the most natural classes on the moduli space. We give a review of known results and discuss their conjectural descriptions.

研究动机与目标

• 回顾关于曲线模空间中重言类的已知结果与猜想性描述。
• 研究 $\overline{M}_{g,n}$ 的交点理论与上同调，特别关注重言环。
• 建立使用等变与运算 Chow 理论计算模堆栈 Chow 环的基础工具。
• 通过商堆栈构造方法计算模堆栈 $\mathcal{M}_{1,1}$ 与 $\mathcal{M}_2$ 的积分 Chow 环。
• 阐明等变 Chow 群、运算 Chow 环与商堆栈的堆栈理论 Chow 群之间的关系。

提出的方法

• 利用代数堆栈的框架，特别是商堆栈 $[X/G]$，来建模曲线的模空间。
• 应用等变 Chow 理论，通过将堆栈的 Chow 环化约为光滑代数簇的等变 Chow 环来计算其 Chow 环。
• 利用等式 $A^*(\mathcal{F}) = A^*_G(X)$ 对于光滑商堆栈 $\mathcal{F} = [X/G]$，将运算 Chow 环与等变 Chow 环联系起来。
• 将 Hodge 线丛的 Chern 类 $\lambda_i$ 作为 $\mathcal{M}_2$ 的 Chow 环的生成元，关系式由几何约束导出。
• 应用 $Q$-簇理论处理 $\overline{M}_g$ 中的奇点，通过 étale 局部商栈实现交点理论。
• 依赖于 $A^*_G(X)$ 不依赖于表示 $X/G$ 的事实，确保在不同群作用下保持不变。

实验结果

研究问题

• RQ1 椭圆曲线模堆栈 $\mathcal{M}_{1,1}$ 的积分 Chow 环结构是什么？
• RQ2 如何通过等变方法计算 $\mathcal{M}_2$（即亏格 2 曲线的模堆栈）的 Chow 环？
• RQ3 等变 Chow 群与商堆栈的运算 Chow 环之间存在何种关系？
• RQ4 重言类如何生成 $\overline{M}_{g,n}$ 的上同调与 Chow 环，其关系为何？
• RQ5 在何种条件下，商堆栈 $[X/G]$ 的 Chow 环是良定义的且不依赖于群作用的表示？

主要发现

• 模堆栈 $\mathcal{M}_{1,1}$ 的积分 Chow 环为 $\mathbb{Z}[t]/(12t)$，其中 $t$ 是 Hodge 线丛的 first Chern 类。
• 紧化模堆栈 $\overline{\mathcal{M}}_{1,1}$ 的积分 Chow 环为 $\mathbb{Z}[t]/(24t^2)$，反映了紧化中存在节点曲线。
• 模堆栈 $\mathcal{M}_2$ 同构于商 $Y/\mathrm{GL}_2$，其中 $Y$ 参数化具有平凡化 Hodge 线丛的对 $(\pi, \alpha)$。
• $\mathcal{M}_2$ 的 Chow 环 $A^*(\mathcal{M}_2)$ 同构于 $\mathbb{Z}[\lambda_1, \lambda_2]/(10\lambda_1, 2\lambda_1^2 - 24\lambda_2)$，在特征 ≠ 2,3 时成立。
• 第一个等变 Chow 群 $A^1_G(X)$ 与模问题 $[X/G]$ 的 Picard 群一致，将几何与代数 K-理论联系起来。
• 光滑商堆栈 $\mathcal{F} = [X/G]$ 的运算 Chow 环 $A^*(\mathcal{F})$ 等于等变 Chow 环 $A^*_G(X)$，确保了不同理论之间的一致性。