[论文解读] Homotopy G-algebras and moduli space operad

Murray Gerstenhaber, Alexander A. Voronov|arXiv (Cornell University)|Sep 12, 1994

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 30

一句话总结

本文通過穩定映射的帶裝飾的模空間的鏈操作子作用，確立了凱勒流形的 de Rham 多重複形自然具有同倫 G-代數結構。透過利用上推與下拉構造從這些模空間的單形鏈操作子到 de Rham 多重複形的自同態的態射，作者實現了最一般的同倫 G-結構，推廣了康特舍維奇對 Gromov-Witten 不變量的構造。

ABSTRACT

This paper emphasizes the ubiquitous role of moduli spaces of algebraic curves in associative algebra and algebraic topology. The main results are: (1) the space of an operad with multiplication is a homotopy Gerstenhaber (i.e., homotopy graded Poisson) algebra; (2) the singular cochain complex is naturally an operad; (3) the operad of decorated moduli spaces acts naturally on the de Rham complex $Ω^\bullet X$ of a Kähler manifold $X$, thereby yielding the most general type of homotopy G-algebra structure on $Ω^\bullet X$.

研究动机与目标

• 為解決 Deligne 的猜想：即交換代數的 Hochschild 上鏈複形自然具有 $ E_2 $-代數結構。
• 將此結構推廣至拓撲空間的單形上鏈複形，表明其自然具有操作子結構。
• 構造帶裝飾的模空間的鏈操作子對凱勒流形的 de Rham 多重複形的普遍作用，從而得到最一般的同倫 G-代數結構。
• 透過具有切方向的 Gromov-Witten 型不變量，提供同倫 G-代數的幾何實現。

提出的方法

• 透過帶符號的多重線性運算（括號）定義任何操作子上的括號代數結構，符號由度數與插入順序決定。
• 證明操作子中的乘法運算在底層的分次向量空間上誘導出微分分次交換代數結構。
• 引入同倫 G-代數作為具有相容微分與點乘積的括號代數，並滿足特定相容性恆等式。
• 從實緊化模空間 $ \underline{\cal M}(n) $ 構造鏈操作子，這些空間是 $ \overline{\cal M}_{0,n+1} $ 上的圓叢，並在節點與標記點處攜帶切方向資料。
• 透過評價映射的拉回形式的纖維積分定義映射 $ f_n: \Omega^\bullet X^{\otimes n+1} \to \Omega^\bullet \underline{\cal M}(n) $。
• 利用 Poincaré 配對將該映射對偶化為鏈操作子 $ C_\bullet \underline{\cal M}(n) $ 對 $ \Omega^\bullet X $ 的作用，從而實現 de Rham 多重複形上的操作子作用。

实验结果

研究问题

• RQ1 拓撲空間的單形上鏈複形是否自然具有操作子結構，從而推廣 Hochschild 上鏈複形的結構？
• RQ2 Deligne 的猜想——即 Hochschild 上鏈複形是小正方形操作子的鏈操作子代數——能否透過穩定映射的模空間實現幾何化？
• RQ3 如何利用穩定映射模空間的幾何資料，在凱勒流形的 de Rham 多重複形上構造一個普遍的同倫 G-代數結構？
• RQ4 帶切方向的穩定映射的裝飾模空間在定義微分形式上的鏈級作用中扮演何種角色？

主要发现

• 具有乘法的運算子空間自然具有同倫 G-代數結構，推廣了 Hochschild 上鏈複形的構造。
• 拓撲空間 $ X $ 的單形上鏈複形 $ C^\bullet X $ 自然具有操作子結構，擴展了已知的 Hochschild 上鏈複形結構。
• 凱勒流形 $ X $ 的 de Rham 多重複形 $ \Omega^\bullet X $ 接受鏈操作子 $ C_\bullet \underline{\cal M}(n) $ 的自然作用，其中 $ \underline{\cal M}(n) $ 是帶切方向資料的 $ \overline{\cal M}_{0,n+1} $ 的實緊化。
• 該作用透過評價映射的拉回形式的楔積的上推公式定義，並以辛體積的指數加權。
• 此構造實現了 $ \Omega^\bullet X $ 上最一般的同倫 G-代數結構，推廣了 Kontsevich 對 Gromov-Witten 不變量的構造。
• 在穩定映射的模堆疊光滑且具有角點的假設下，證明了操作子作用是良定義的，完整驗證將留待未來工作。