[论文解读] The tropicalization of the moduli space of curves II: Topology and applications

Melody Chan, Søren Galatius+1 more|arXiv (Cornell University)|Apr 11, 2016

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

一句话总结

本文研究了参数化具有 n 个标记点且总边长为 1 的稳定热带曲线的 genus g 的热带模空间 Δ_{g,n} 的拓扑结构，证明了其高度连通性，并计算了其作为对称群表示的有理同调。通过将 Δ_{g,n} 与代数曲线的紧化模空间边界处的对偶复形相等同，作者推导出 M_{1,n} 的上权重上同调的显式公式，并通过阿贝尔圈在纯映射类群同调中构造了显式的对偶基。

ABSTRACT

We study the topology of the tropical moduli space parametrizing stable tropical curves of genus g with n marked points in which the bounded edges have total length 1, and prove that it is highly connected. Using the identification of this space with the dual complex of the boundary in the moduli space of stable algebraic curves, we give a simple expression for the top weight cohomology of M_{1,n} as a representation of the symmetric group and describe an explicit dual basis in homology consisting of abelian cycles for the pure mapping class group.

研究动机与目标

• 理解参数化具有 n 个标记点且总边长为 1 的 genus g 的稳定热带曲线的热带模空间 Δ_{g,n} 的拓扑结构。
• 通过重复标记子复形的可缩性，建立 Δ_{g,n} 的连通性界。
• 将模空间 M_{1,n} 的上权重上同调计算为对称群 S_n 的表示。
• 通过阿贝尔圈在同调中构造纯映射类群的显式对偶基。

提出的方法

• 作者将 Δ_{g,n} 与紧化模空间 ČM_{g,n} 的边界除子的对偶复形相等同，使得 Δ_{g,n} 的拓扑不变量可被解释为 M_{g,n} 的代数不变量。
• 他们利用 Δ_{g,n} 的约化有理同调与 M_{g,n} 的有理上同调的权重滤过之最高阶分量之间的规范等价。
• 通过使用 étale 拉回和转移映射的显式链收缩，证明了参数化具有重复标记的热带曲线的子复形的可缩性。
• 使用 M_{g,n} 上对数 de Rham 复形的权重谱序列，将同调中阿贝尔圈之间的关系与 Δ_{g,n} 上的余边界联系起来。
• 通过分析二面体群 D_n 在 n 边形的顶点和边上的作用，实现阿贝尔圈的显式构造，其中符号表示用于定义 S_n-表示结构。
• 证明与边界复形相关的链复形的同调性，依赖于使用来自 étale 覆盖的标准化转移映射构造链收缩。

实验结果

研究问题

• RQ1 对于 genus g > 1 且 n ≥ 1，热带模空间 Δ_{g,n} 的连通性如何？
• RQ2 如何将 M_{1,n} 的上权重上同调描述为对称群 S_n 的表示？
• RQ3 对于 n ≥ 3，Δ_{1,n} 的同伦类型是什么？它与 (n−1) 维球面的楔和有何关系？
• RQ4 纯映射类群在中间同调度的阿贝尔圈如何与 Δ_{g,n} 上的余边界相关？
• RQ5 重复标记子复形在决定 Δ_{g,n} 拓扑结构中起什么作用？

主要发现

• 当 g > 1 时，热带模空间 Δ_{g,n} 是 (n−5g+4)-连通的，确立了一个非平凡的连通性界。
• 当 n ≥ 3 时，Δ_{1,n} 同伦等价于 (n−1)!/2 个 (n−1) 维球面的楔和，而 Δ_{1,1} 和 Δ_{1,2} 是可缩的。
• M_{1,n} 的上权重上同调仅在度数 i = n 时非零，作为 Q-向量空间同构于 Q^{(n−1)!/2}。
• 作为 S_n-表示，上权重上同调 Gr^{W}_{2n}H^n(M_{1,n};Q) 同构于 Ind_{D_n,φ}^{S_n} Res^{S_n}_{D_n,ψ} sgn，其中 φ 和 ψ 分别是 D_n 在顶点和边上的二面体作用。
• 作者通过阿贝尔圈在同调中构造了纯映射类群的显式对偶基，其关系通过使用权重谱序列在 Δ_{g,n} 上的余边界来描述。
• 在所有 g > 0 且 n > 1 的情况下，Δ_{g,n} 中的重复标记子复形是可缩的，这在证明连通性和同伦类型结果中起到了关键作用。