[论文解读] The A-infinity operad and the moduli space of curves

Kevin Costello|ArXiv.org|Feb 2, 2004

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用 19

一句话总结

本文证明了带边界的黎曼曲面模空间的模形式操作族是 $A_{\infty}$ 循环操作族的模形式包络，为曲线模空间的辫图胞分解提供了新的同伦理论证明。它表明，将由辫图参数化的圆盘型曲面的子空间包含于完整模空间中是同伦等价的，通过几何流技术重新获得了 Harer-Mumford-Thurston-Penner 与 Kontsevich 的结果。

ABSTRACT

The modular envelope of a cyclic operad is the smallest modular operad containing it. A modular operad is constructed from moduli spaces of Riemann surfaces with boundary; this modular operad is shown to be the modular envelope of the A-infinity cyclic operad. This gives a new proof of the result of Harer-Mumford-Thurston-Penner-Kontsevich that a cell complex built from ribbon graphs is homotopy equivalent to the moduli space of curves.

研究动机与目标

• 澄清 $A_{\infty}$ 操作族与曲线模空间之间在几何与操作族结构上的关系。
• 为曲线模空间的辫图胞分解提供一个全新、几何动机明确的证明。
• 证明带边界的黎曼曲面模空间的模形式操作族是 $A_{\infty}$ 循环操作族的模形式包络。
• 建立开拓扑共形场论与带有不变内积的 $A_{\infty}$ 代数之间的等价性。

提出的方法

• 通过沿边界到内部的测地线法向流，构造带边界的黎曼曲面模空间到完全由圆盘组成的曲面子空间的形变收缩。
• 利用每条曲面上的规范双曲度量，定义一种将边界向内收缩的流，同时保持结构直至出现奇点。
• 证明边界首次变为奇点的时刻对应于仅含圆盘分支的稳定节点曲面，从而确保像位于紧化模空间的边界上。
• 证明所得流是形变收缩，意味着圆盘子空间包含于完整模空间中是同伦等价的。
• 利用圆盘模空间构成的循环操作族同构于拓扑 $A_{\infty}$ 操作族，且完整模形式操作族在同伦意义下由这些生成。
• 利用同伦等价性，证明模空间的有理奇异链复形与由辫图构建的复形之间是拟同构的。

实验结果

研究问题

• RQ1 曲线模空间及其通过辫图实现的胞分解背后，精确的操作族结构是什么？
• RQ2 为何曲线模空间的辫图分解在几何上是自然的？其与完整模空间同伦等价的深层原因是什么？
• RQ3 $A_{\infty}$ 操作族如何与开拓扑共形场论及曲线模空间相关联？
• RQ4 能否通过带边曲面的几何流恢复曲线模空间的同伦类型？
• RQ5 在此背景下，模形式包络构造在将循环操作族与模形式操作族关联中起什么作用？

主要发现

• 将仅由圆盘组成的曲面子空间 $D_{g,n,0}$ 包含于紧化模空间 $\overline{\mathcal{N}}_{g,n,0}$ 中是同伦等价的。
• 带边界的黎曼曲面模空间 $\overline{\mathcal{N}}_{g,n,r}$ 在标记点处粘合下构成一个模形式操作族。
• 模形式操作族 $\overline{\mathcal{N}}_{g,n,r}$ 是 $A_{\infty}$ 循环操作族的模形式包络，后者同构于拓扑 $A_{\infty}$ 操作族。
• 有理奇异链复形 $C_*(\mathcal{M}_{g,n} \otimes \mathbb{Q})$ 与辫图复形之间是拟同构的，从而恢复了 Harer-Mumford-Thurston-Penner 的结果。
• 曲面边界向内流动并首次出现奇点的时刻，对应于仅含圆盘分支的稳定节点曲面，确保形变收缩的像落在紧化边界的内部。
• 一个开拓扑共形场论等价于一个带有不变内积的 $A_{\infty}$ 代数。