[论文解读] The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points

Pavel Etingof, André Henriques+2 more|ArXiv.org|Jul 25, 2005

Commutative Algebra and Its Applications参考文献 2被引用 5

一句话总结

本文完全确定了带 $n$ 个标记点的稳定亏格 0 曲线模空间的实余化 $M_n$ 的有理上同调环。利用胞腔分解与范畴结构，证明了上同调同构于一个组合定义的代数 $λ_n$，其 Poincaré 系列为 $∏_{0\leq k<(n-3)/2}(1+(n-3-2k)^2 t)$，并表明上同调无 4-挠，仅存在 2-挠与奇数挠。

ABSTRACT

We compute the Poincare polynomial and the cohomology algebra with rational coefficeints of the manifold M_n of real points of the moduli space of algebraic curves of genus 0 with n labeled points. This cohomology is a quadratic algebra, and we conjecture that it is Koszul. We also compute the 2-local torsion in the cohomology of M_n. As was shown by E. Rains in arXiv:math/0610743 the cohomology of M_n does not have odd torsion, so that the above determines the additive structure of the integral homology and cohomology. Further, we prove that the rational homology operad of M_n is the operad of 2-Gerstenhaber algebras, which is closely related to the Hanlon-Wachs operad of 2-Lie algebras (generated by a ternary bracket). Finally, using Drinfeld's theory of quantization of coboundary Lie quasibialgebras, we show that a large series of representations of the quadratic dual Lie algebra L_n of H^*(M_n,Q) (associated to such quasibialgebras) factors through the the natural projection of L_n to the associated graded Lie algebra of the prounipotent completion of the fundamental group of M_n. This leads us to conjecture that the said projection is an isomorphism, which would imply a formula for lower central series ranks of the fundamental group. On the other hand, we show that the spaces M_n are not formal starting from n=6.

研究动机与目标

• 确定带 $n$ 个标记点的稳定亏格 0 曲线模空间的实余化 $M_n = \overline{M_{0,n}}(\mathbb{R})$ 的有理上同调环。
• 解决长期悬而未决的 $M_n$ 的贝蒂数计算问题。
• 理解上同调作为对称群 $S_n$ 模的结构，并描述其挠子群。
• 建立 $M_n$ 的同调上的范畴结构，并将其与 2-gerstenhaber 代数联系起来。
• 证明 $M_n$ 是一个 $K(\pi,1)$ 空间，并计算其基本群 $\Gamma_n$ 的上同调。

提出的方法

• 通过 $M_n$ 的胞腔分解导出的生成元与关系，构造上同调代数 $H^*(M_n, \mathbb{Q})$ 的表示。
• 通过索引于基本三角森林的单项式定义一个组合代数 $λ_n$，作为上同调的模型。
• 通过与三元森林 $G$ 关联的映射 $g_G: M_4^d \times M_c \to M_n$ 实现上同调类的几何实现，将基本类上拉至 $H_*(M_n, \mathbb{Z})$。
• 在模 2-挠的上同调中建立 $λ_n$ 与 $H^*(M_n, \mathbb{Z})$ 之间的完美配对，证明 $λ_n$ 是 $H^*(M_n, \mathbb{Z})/H^*(M_n, \mathbb{Z})\langle 2\rangle$ 的直和项。
• 分析 Bockstein 上同调谱序列与 $Ä_2$ 系数上同调，排除 4-挠并确定挠子群的结构。
• 利用同构 $τλ_n \otimes \mathbb{F}_2 \cong H^*(M_n, \mathbb{Z}/4\mathbb{Z})/H^*(M_n, \mathbb{Z}/4\mathbb{Z})\langle 2\rangle$，推导出 $H^*(M_n, \mathbb{Z})$ 无 4-挠，且 $λ_n$ 在上同调中的补集为奇数挠模的乘积。

实验结果

研究问题

• RQ1 带 $n$ 个标记点的稳定亏格 0 曲线模空间的实余化 $M_n = \overline{M_{0,n}}(\mathbb{R})$ 的有理上同调环是什么？
• RQ2 随着 $n$ 增大，$M_n$ 的贝蒂数如何增长，其显式公式是什么？
• RQ3 $H^*(M_n, \mathbb{Z})$ 中的挠结构是什么，是否包含 4-挠？
• RQ4 如何通过 $M_n$ 的同调形成范畴结构，其满足何种代数结构？
• RQ5 上同调 $H^*(M_n, \mathbb{Q})$ 是否同构于一个组合定义的代数 $λ_n$？若是，其基的几何实现是什么？

主要发现

• 有理上同调 $H^*(M_n, \mathbb{Q})$ 的 Poincaré 系列为 $\prod_{0 \leq k < (n-3)/2} (1 + (n-3-2k)^2 t)$，完整描述了贝蒂数。
• 有理上同调 $H_1(M_n, \mathbb{Q})$ 的秩为 $\binom{n-1}{3}$，解决了 Morava 提出的问题。
• 上同调 $H^*(M_n, \mathbb{Z})$ 无 4-挠，其 2-挠在直和分解中被完整描述。
• 有理上同调环 $H^*(M_n, \mathbb{Q})$ 同构于组合代数 $λ_n$，该代数由一个超交换乘积与一个满足二次雅可比恒等式的斜超交换三元 2-括号生成。
• 同调范畴 $M_n$ 同构于 2-Gerstenhaber 代数的范畴，由一个度数为 0 的乘积与一个度数为 1 的三元括号生成。
• 有理同调 $H_*(M_n, \mathbb{Q})$ 的基通过与基本三角森林关联的映射的上拉基本类实现，证实了组合模型的几何实现。