稳定有理曲线的实模空间再探
Real moduli space of stable rational curves revised
AI总结：
本文通过结合代数 operad 的同伦商刻画稳定零亏格曲线实模空间，证明其 operad 与 $n\geq6$ 时流形的非形式性、上同调的 Koszul 性及有理 $K(\pi,1)$ 性质。
摘要：
带标记点的稳定零亏格曲线模空间的实轨迹 $\overline{{\mathcal M}_{0,{n+1}}}(\mathbb{R})$ 已知是一个光滑流形，并且是所谓纯 Cactus 群的 Eilenberg–MacLane 空间。我们用结合代数 operad 的同伦商来描述由这些空间构成的 operad。利用该模型，我们为 $\overline{{\mathcal M}_{0,{n+1}}}(\mathbb{R})$ 的链与同调的代数 operad 确定了多种 Hopf 模型。特别地，我们证明 operad $\overline{{\mathcal M}_{0,{n+1}}}(\mathbb{R})$ 不是形式的。作为这些 operad 构造的应用，我们证明对每个 $n$，上同调环 $H^{\bullet}(\overline{{\mathcal M}_{0,{n+1}}}(\mathbb{R}),\mathbb{Q})$ 是 Koszul 代数，并且流形 $\overline{{\mathcal M}_{0,{n+1}}}(\mathbb{R})$ 在 $n\geq 6$ 时不是形式的，但却是有理 $K(\pi,1)$ 空间。此外，我们还描述了与纯 Cactus 群的下中心列滤过相关的李代数。
英文摘要：
The real locus of the moduli space of stable genus-zero curves with marked points, $\overline{{\mathcal M}_{0,{n+1}}}({\mathbb R})$, is known to be a smooth manifold and is the Eilenberg-MacLane spaces for the so-called pure Cactus groups. We describe the operad formed by these spaces in terms of a homotopy quotient of an operad of associative algebras. Using this model, we identify various Hopf models for 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. As an application of these operadic constructions, we prove that for each $n$, the cohomology ring $H^{\bullet}(\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 for $n\geq 6$ but is a rational $K(π,1)$-space. Additionally, we describe the Lie algebras associated with the lower central series filtration of the pure Cactus groups.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
