[論文レビュー] 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})$ のモデルを提示する。このモデルは、結合的operadの商として構成され、有理コホモロジー環がKoszulであること、空間が有理 $K(\pi,1)$ であるが形式的ではないこと、およびoperadの非形式的性を示している。また、純粋なカクティ群に関連するLie代数の記述もなされている。

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})$ を結合的operadのホモトピー商として記述すること。
• $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ のチェインおよびホモロジーoperadに対する複数のHopfモデルを構成すること。
• operad $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ が形式的でないことを証明すること。
• $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ が有理 $K(\pi,1)$ 空間であり、その有理コホモロジー環がKoszulであることを確立すること。
• 純粋なカクティ群に関連するLie代数を記述すること。

提案手法

• 結合的代数のoperadのホモトピー商として $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ をモデル化すること。
• このモデルを用いて、モジュライ空間のチェインおよびホモロジーに明示的なHopf operad構造を構成すること。
• コホモロジー的障害を用いて、operad的技法により非形式的性を検出すること。
• 純粋なカクティ群の $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ に対する既知のEilenberg-MacLane性質を活用し、有理ホモトピー型を分析すること。
• コホモロジー環 $H^*(\overline{\mathcal{M}}_{0,n+1}(\mathbb{R}), \mathbb{Q})$ を分析して、それがKoszul代数であることを証明すること。
• operad的枠組みを用いて、純粋なカクティ群の下位中心系列に関連する可換化されたLie代数を計算すること。

実験結果

リサーチクエスチョン

• RQ1 operad $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ は $\mathbb{Q}$ 上で形式的か。形式的でなければ、どのような障害が生じるか？
• RQ2 実モジュライ空間 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ は結合的operadのホモトピー商としてモデル化可能か？
• RQ3 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ の有理コホモロジー環はKoszul代数か？
• RQ4 $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ は非形式的であるにもかかわらず、有理 $K(\pi,1)$ 空間の構造を有するか？
• RQ5 純粋なカクティ群の下位中心系列に関連するLie代数の構造は何か？

主な発見

• コホモロジー的障害を用いたoperad的構造による分析により、operad $\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})$ の基本群として実現され、その可換化されたLie代数はoperad的モデルを用いて記述された。
• $\overline{\mathcal{M}}_{0,n+1}(\mathbb{R})$ のチェインおよびホモロジーoperadに対して、複数のHopfモデルが構成され、そのトポロジーを研究するための新しい代数的道具が得られた。
• 実モジュライ空間のホモトピー商モデルにより、その有理ホモトピー理論およびoperad的構造の体系的かつ包括的な研究が可能になった。