[论文解读] Rational cohomology of the moduli spaces of pointed genus 1 curves

Gorinov Alexei|arXiv (Cornell University)|Mar 22, 2013

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

一句话总结

本文通过分析从 $\mathcal{M}_{1,n}(N)$ 到 $\mathcal{M}_{1,1}(N)$ 的遗忘映射的 Leray 谱序列，提供了具有 $n$ 个标记点和 $N$ 级结构的亏格 1 曲线模空间的有理上同调的组合描述。它证明了 $E_2$ 项作为带有 $\mathfrak{S}_n$-作用的混合 Hodge 结构，同构于 $\mathcal{M}_{1,n}(N)$ 的有理上同调，推广了经典情形 $N=1$。

ABSTRACT

We give a combinatorial description of the rational cohomology of the moduli spaces of pointed genus 1 curves with $n$ marked points and level $N$ structures. More precisely, we explicitly describe the $E_2$ term of the Leray spectral sequence of the forgetful mapping $\EuScript{M}_{1,n}(N) o\EuScript{M}_{1,1}(N)$ and show that the result is isomorphic to the rational cohomology of $\EuScript{M}_{1,n}(N)$ as a rational mixed Hodge structure equipped with an action of the symmetric group $\mathfrak{S}_n$. The classical moduli space $\EuScript{M}_{1,n}$ is the particular case N=1.

研究动机与目标

• 理解带有 $N$ 级结构的标记亏格 1 曲线模空间的有理上同调。
• 为这些模空间的有理上同调提供组合描述。
• 分析遗忘映射 $\mathcal{M}_{1,n}(N) \to \mathcal{M}_{1,1}(N)$ 的 Leray 谱序列，以提取上同调信息。
• 建立该谱序列的 $E_2$ 项与 $\mathcal{M}_{1,n}(N)$ 的有理上同调作为带有 $\mathfrak{S}_n$-作用的混合 Hodge 结构之间的同构关系。
• 将经典情形 $N=1$ 推广至任意 $N$ 级结构。

提出的方法

• 本文使用与遗忘态射 $\mathcal{M}_{1,n}(N) \to \mathcal{M}_{1,1}(N)$ 关联的 Leray 谱序列，分析 $\mathcal{M}_{1,n}(N)$ 的上同调。
• 应用组合技术，显式描述谱序列的 $E_2$ 项。
• 将 $\mathcal{M}_{1,n}(N)$ 的有理上同调识别为带有对称群 $\mathfrak{S}_n$ 作用的混合 Hodge 结构。
• 证明 $E_2$ 项的结构同构于 $\mathcal{M}_{1,n}(N)$ 的有理上同调，同时保持 Hodge 结构与对称群作用。
• 结合代数几何与混合 Hodge 理论的技术，分析谱序列及其退化性质。
• 当 $N=1$ 时，对应经典模空间 $\mathcal{M}_{1,n}$，该情形作为特例自然包含在一般框架中。

实验结果

研究问题

• RQ1 模空间 $\mathcal{M}_{1,n}(N)$（具有 $n$ 个标记点和 $N$ 级结构的亏格 1 曲线）的有理上同调是什么？
• RQ2 遗忘映射 $\mathcal{M}_{1,n}(N) \to \mathcal{M}_{1,1}(N)$ 的 Leray 谱序列如何有助于理解 $\mathcal{M}_{1,n}(N)$ 的上同调？
• RQ3 $E_2$ 项是否同构于 $\mathcal{M}_{1,n}(N)$ 的有理上同调作为带有 $\mathfrak{S}_n$-作用的混合 Hodge 结构？
• RQ4 经典情形 $N=1$ 是否能自然地嵌入此框架中？
• RQ5 一般 $N$ 情形下，$\mathcal{M}_{1,n}(N)$ 的有理上同调背后的组合结构是什么？

主要发现

• 遗忘映射 $\mathcal{M}_{1,n}(N) \to \mathcal{M}_{1,1}(N)$ 的 Leray 谱序列的 $E_2$ 项以组合方式显式描述。
• $E_2$ 项作为带有 $\mathfrak{S}_n$-作用的混合 Hodge 结构，同构于 $\mathcal{M}_{1,n}(N)$ 的有理上同调。
• 同构关系保持了 Hodge 理论结构与对称群作用，提供了更精细的上同调描述。
• 经典模空间 $\mathcal{M}_{1,n}$ 对应于 $N=1$ 的情形，该情形自然包含在一般框架中。
• $\mathcal{M}_{1,n}(N)$ 的有理上同调被谱序列的 $E_2$ 项完全捕捉，表明其具有强退化性质。
• 组合数据编码了全部有理上同调，使得显式计算与结构分析成为可能。