[论文解读] Cohomology of moduli spaces

Frances Kirwan|ArXiv.org|May 24, 2003

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

一句话总结

本文对曲线模空间及其紧化空间的上同调进行了全面综述，重点聚焦于由Mumford的$κ$类生成的典型环。它整合了数十年的研究成果，突出展示了关键进展，例如通过Madsen-Weiss同伦等价性证明了Mumford关于稳定上同调的猜想，并讨论了相关模空间，包括稳定映射和向量丛模空间，强调了其与Gromov-Witten理论和枚举几何的深刻联系。

ABSTRACT

Some recent progress towards understanding the cohomology of moduli spaces of curves is described. Madsen and Weiss have given a proof of a generalisation of Mumford's conjecture on the stable cohomology of these moduli spaces M_g, and other contributors have made advances related to Faber's conjectures on the tautological ring of M_g.

研究动机与目标

• 整合并阐明关于曲线模空间上同调，特别是$\mathcal{M}_g$及其紧化空间的现有知识状态。
• 解释典型环在理解$\mathcal{M}_g$有理上同调中的重要性，尤其与Mumford猜想的关系。
• 将$\mathcal{M}_g$的上同调与更广泛的几何与拓扑结构联系起来，包括稳定映射$\overline{\mathcal{M}}_{g,n}(X,\beta)$和向量丛模空间。
• 突出近期突破，如Madsen-Weiss对Mumford猜想的证明及其对稳定上同调与典型关系的启示。
• 概述开放问题与未来方向，特别是几何不变量理论与局部化技术在曲线模空间中应用的潜力。

提出的方法

• 综述代数几何中的基础成果，包括Mumford对典型类$\kappa_j$的定义及其在$\overline{\mathcal{M}}_g$上的推广。
• 通过Harer的稳定性定理分析稳定上同调环$H^*(\mathcal{M}_\infty;\mathbb{Q})$，该定理表明当$g \gg k$时，$H^k(\mathcal{M}_g;\mathbb{Q})$趋于稳定。
• 呈现Madsen-Tillmann对Mumford映射的同伦理论解释，该解释后来由Madsen和Weiss证明为同伦等价。
• 回顾Faber关于典型环结构的猜想，包括其预期的Poincaré对偶性，以及由$\kappa_1, \dots, \kappa_{[g/3]}$生成且在低度无关系的特性。
• 将典型框架扩展至$\overline{\mathcal{M}}_{g,n}$和$\overline{\mathcal{M}}_{g,n}(X,\beta)$，将其与Witten猜想及Gromov-Witten不变量联系起来。
• 综述向量丛模空间$\mathcal{B}_\Sigma(r,d)$的上同调结果，包括挠性自由性、生成元与交配对，尤其在互素情形下。

实验结果

研究问题

• RQ1 在$H^*(\mathcal{M}_g;\mathbb{Q})$中，典型环的结构是什么？它与稳定上同调环$H^*(\mathcal{M}_\infty;\mathbb{Q})$有何关系？
• RQ2 典型环在$\mathcal{M}_g$中在多大程度上由$\kappa_j$类生成？它们之间的完整关系集是什么？
• RQ3 Madsen-Weiss定理如何证实Mumford猜想，即稳定上同调由$\kappa_j$类自由生成？
• RQ4 通过模空间$\overline{\mathcal{M}}_{g,n}(X,\beta)$，$\mathcal{M}_g$的典型上同调与Gromov-Witten理论之间存在何种联系？
• RQ5 $\mathcal{B}_\Sigma(r,d)$的上同调与交配理论如何与$\mathcal{M}_g$及其紧化空间的相应理论相关联？

主要发现

• 稳定上同调环$H^*(\mathcal{M}_\infty;\mathbb{Q})$同构于多项式环$\mathbb{Q}[\kappa_1, \kappa_2, \dots]$，通过Madsen-Weiss对Madsen-Tillmann同伦等价性的证明，确认了Mumford猜想。
• Faber猜想预测$\mathcal{M}_g$的典型环是维数为$g-2$的Gorenstein环，由$\kappa_1, \dots, \kappa_{[g/3]}$生成，且在度数$\leq [g/3]$内无关系。
• Morita证明了$\mathcal{M}_g$的有理上同调典型环确实由$\kappa_1, \dots, \kappa_{[g/3]}$生成，支持了Faber猜想。
• $r,d$互素时，$\mathcal{B}_\Sigma(r,d)$的上同调是挠性自由的，具有完整的生成元集与交配对，且存在贝蒂数与关系的显式公式。
• 当$r$与$d$不互素时，Torelli群在$H^*(\mathcal{B}_\Sigma(r,d);\mathbb{Q})$上的作用非平凡，使结构更复杂，尽管$\overline{\mathcal{B}}_\Sigma(r,d)$的交会上同调与$\tilde{\mathcal{B}}_\Sigma(r,d)$的上同调已得到充分研究。
• 稳定映射的模空间$\overline{\mathcal{M}}_{g,n}(X,\beta)$是Gromov-Witten理论的核心，Givental对$\mathbb{P}^n$的Virasoro猜想的证明，通过已知关系，暗示了Faber猜想的部分成立。