[论文解读] Real moduli space of stable rational curves revisted

Anton Khoroshkin, Thomas Willwacher|arXiv (Cornell University)|May 11, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 35被引用 4

一句话总结

本文通过一个结合了结合性操作的商式，为实数模空间 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 提供了一个同伦理论模型，揭示了其有理上同调环是 Koszul 环，且该空间是有理 $K(\pi,1)$ 空间但不是形式空间。本文证明了该操作的非形式性，并描述了与纯卡蒂斯群相关的李代数。

ABSTRACT

We give a description of the operad formed by the real locus of the moduli space of stable genus zero curves with marked points $\overline{{\mathcal M}_{0,{n+1}}}({\mathbb R})$ in terms of a homotopy quotient of an operad of associative algebras. We use this model to find different Hopf models of the algebraic operad of Chains and homologies of $\overline{{\mathcal M}_{0,{n+1}}}({\mathbb R})$. In particular, we show that the operad $\overline{{\mathcal M}_{0,{n+1}}}({\mathbb R})$ is not formal. The manifolds $\overline{{\mathcal M}_{0,{n+1}}}({\mathbb R})$ are known to be Eilenberg-MacLane spaces for the so called pure Cacti groups. As an application of the operadic constructions we prove that for each $n$ the cohomology ring $H(\overline{{\mathcal M}_{0,{n+1}}}({\mathbb R}),{\mathbb{Q}})$ is a Koszul algebra and that the manifold $\overline{{\mathcal M}_{0,{n+1}}}({\mathbb R})$ is not formal but is a rational $K(\pi,1)$ space. We give the description of the Lie algebras associated with the lower central series filtration of the pure Cacti groups.

研究动机与目标

• 将模空间 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 的实数部分描述为一个结合性操作的同伦商式。
• 为 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 的链复和同调操作构建多个霍普夫模型。
• 证明操作 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 不是形式的。
• 确立 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 是一个有理 $K(\pi,1)$ 空间，且其有理上同调环是 Koszul 环。
• 描述与纯卡蒂斯群的下中心列相关的李代数。

提出的方法

• 将 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 建模为结合代数操作的同伦商式。
• 利用该模型，在模空间的链复和同调上构造显式的霍普夫操作结构。
• 应用操作论技术，通过上同调障碍检测非形式性。
• 利用已知的 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 对于纯卡蒂斯群的 Eilenberg-MacLane 性质，分析其有理同伦型。
• 分析上同调环 $H^*(\overline{\mathcal{M}}_{0,n+1}(\mathbb{R}), \mathbb{Q})$，以证明其为 Koszul 代数。
• 使用操作论框架，计算纯卡蒂斯群的下中心列的关联分次李代数。

实验结果

研究问题

• RQ1 操作 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 在 $\mathbb{Q}$ 上是否形式？如果不是，其障碍是什么？
• RQ2 实数模空间 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 是否可以被建模为一个结合性操作的同伦商式？
• RQ3 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 的有理上同调环是否为 Koszul 代数？
• RQ4 尽管非形式，$\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 是否仍具有有理 $K(\pi,1)$ 空间的结构？
• RQ5 与纯卡蒂斯群的下中心列相关的李代数具有何种结构？

主要发现

• 操作 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 在 $\mathbb{Q}$ 上不是形式的，其上同调障碍在操作结构中显现。
• 有理上同调环 $H^*(\overline{\mathcal{M}}_{0,n+1}(\mathbb{R}), \mathbb{Q})$ 是一个 Koszul 代数。
• 流形 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 是一个有理 $K(\pi,1)$ 空间，意味着其有理同伦型由其基本群决定。
• 纯卡蒂斯群被实现为 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 的基本群，其关联分次李代数通过操作论模型得以描述。
• 为 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ 的链复和同调操作构建了多个霍普夫模型，为研究其拓扑提供了新的代数工具。
• 实数模空间的同伦商式模型使得其有理同伦理论和操作结构得以系统研究。