[论文解读] On the Chow and cohomology rings of moduli spaces of stable curves

Samir Canning, Hannah Larson|arXiv (Cornell University)|Aug 3, 2022

Algebraic Geometry and Number Theory被引用 7

一句话总结

该论文证明了在 $g=2$，$n\leq9$，以及 $3\leq g\leq7$，$2g+n\leq14$ 的情况下，稳定曲线模空间 $\overline{\mathcal{M}}_{g,n}$ 的有理查尔斯环与上同调环均由典型类生成。作者结合了几何技巧，包括爆破分解、上下文论证以及查尔斯-库恩斯性质（CKgP），证明了典型环是戈伦斯坦环，并且在这些情形下模空间具有多项式点计数。

ABSTRACT

In this paper, we ask: for which $(g, n)$ is the rational Chow or cohomology ring of $\overline{\mathcal{M}}_{g,n}$ generated by tautological classes? This question has been fully answered in genus $0$ by Keel (the Chow and cohomology rings are tautological for all $n$) and genus $1$ by Belorousski (the rings are tautological if and only if $n \leq 10$). For $g \geq 2$, work of van Zelm shows the Chow and cohomology rings are not tautological once $2g + n \geq 24$, leaving finitely many open cases. Here, we prove that the Chow and cohomology rings of $\overline{\mathcal{M}}_{g,n}$ are isomorphic and generated by tautological classes for $g = 2$ and $n \leq 9$ and for $3 \leq g \leq 7$ and $2g + n \leq 14$. For such $(g, n)$, this implies that the tautological ring is Gorenstein and $\overline{\mathcal{M}}_{g,n}$ has polynomial point count.

研究动机与目标

• 确定在哪些 $(g,n)$ 下，$\overline{\mathcal{M}}_{g,n}$ 的有理查尔斯环与上同调环由典型类生成。
• 将 genus 0 和 genus 1 的已知结果推广至更高亏格，特别是 $g=2$ 和 $3\leq g\leq7$，其中典型环被猜想为完整的查尔斯环。
• 建立典型环为戈伦斯坦环，并证明在所识别的情形下，$\overline{\mathcal{M}}_{g,n}$ 具有多项式点计数。
• 利用几何分解技巧与查尔斯-库恩斯性质（CKgP）证明查尔斯群映射的满射性与典型生成性。
• 填补 $\overline{\mathcal{M}}_{g,n}$ 的典型环分类中剩余的开放情形，完整刻画 $g\leq7$ 的情形。

提出的方法

• 利用查尔斯-库恩斯性质（CKgP）证明某些模空间及其子空间具有由典型类生成的查尔斯群。
• 应用紧致映射上的消去与上下文公式，特别是 $\beta_n'$，将 $\mathcal{M}_{g,n}$ 中子空间的查尔斯环与更结构化的空间（如 $\mathcal{H}_{4,g,n}^f$）的查尔斯环联系起来。
• 通过 $\mathcal{M}_{g,n}^3$ 和 $PQ_n$ 等子簇构造 $\mathcal{M}_{g,n}$ 的分层结构，并证明每个子层具有 CKgP。
• 利用低亏格（如 genus 0 和 1）中已知的典型生成结果，并通过归纳几何论证加以推广。
• 利用向量丛结构以及仿射空间关于 $\mathrm{GL}_d$ 和 $\mathrm{SL}_2$ 的商，将堆栈实现为具有 CKgP 的商空间。
• 应用引理 3.3、3.5、3.8 以及 4.1/4.3（填充准则），将 CKgP 与典型生成性在整个模空间上传播。

实验结果

研究问题

• RQ1 在哪些 $(g,n)$ 下，$\overline{\mathcal{M}}_{g,n}$ 的有理查尔斯环由典型类生成？
• RQ2 在哪些 $(g,n)$ 下，$\overline{\mathcal{M}}_{g,n}$ 的有理上同调环由典型类生成？
• RQ3 在所识别的情形下，$\overline{\mathcal{M}}_{g,n}$ 的典型环是否满足戈伦斯坦性质？
• RQ4 当查尔斯环为典型环时，模空间 $\overline{\mathcal{M}}_{g,n}$ 是否具有多项式点计数？
• RQ5 CKgP 与上下文技术能否用于将典型生成性从开子层推广至完整的紧化模空间？

主要发现

• 当 $g=2$ 且 $n\leq9$ 时，$\overline{\mathcal{M}}_{g,n}$ 的查尔斯环与上同调环同构，并由典型类生成。
• 当 $3\leq g\leq7$ 且 $2g+n\leq14$ 时，$\overline{\mathcal{M}}_{g,n}$ 的查尔斯环与上同调环同构，并由典型类生成。
• 在这些情形下，典型环是戈伦斯坦环，意味着查尔斯环具有对偶性结构。
• 在所识别的 $(g,n)$ 情形下，模空间 $\overline{\mathcal{M}}_{g,n}$ 在有限域上具有多项式点计数。
• 证明依赖于证明关键子层（如 $\mathcal{M}_{g,n}\setminus\mathcal{M}_{g,n}^3$ 与 $\mathcal{M}_{g,n}\setminus(\mathcal{M}_{g,n}^3\cup PQ_n)$）具有 CKgP，且从 $\mathcal{H}_{4,g,n}^f$ 到查尔斯群的上推射是满射。
• 典型生成性通过当 $n\leq4f-2g+1$ 时，从 $A^*((\mathbb{P}\mathcal{E}^\vee)^n)$ 到 $A^*(\mathcal{H}_{4,g,n}^f)$ 的满射建立，其中主要情形下 $f=4$。