[论文解读] Action of the Grothendieck-Teichmueller group on the operad of Gerstenhaber algebras

Dimitri Tamarkin|ArXiv.org|Feb 5, 2002

Advanced Topics in Algebra参考文献 1被引用 27

一句话总结

本文证明了格罗滕迪克-泰希缪勒群通过同调上的单射映射，非平凡地作用于格伦斯坦哈伯代数的operad，从而证明了每个非平凡元素均在该operad的自由展开上诱导出同伦非平凡的作用。该结果通过一个结合了滤化代数与形变理论的李代数与operad框架，将作用从弦图转移到了operad上。

ABSTRACT

Action of the graded Grothendieck-Teichmueller (GT) group on a resolution of the operad of Gerstenhaber algebras (GA) is defined. It is shown that the induced Lie algebra action is homotopically non-trivial (i.e. the induced map from the Lie algebra of the graded GT group to the deformation complex of the operad of GA is injective).

研究动机与目标

• 建立格罗滕迪克-泰希缪勒群对格伦斯坦哈伯代数operad的非平凡作用。
• 证明该作用在同调层面上非平凡，意味着其并非同伦平凡。
• 构造从格罗滕迪克-泰希缪勒群的李代数到格伦斯坦哈伯operad形变复形的映射。
• 证明诱导出的同调映射为单射，从而确保作用非退化。

提出的方法

• 对有限集 $T$ 定义李代数 $\mathfrak{g}(T)$，其生成元为 $t_{ij}$，满足关系 $[t_{ij}, t_{kl}] = 0$（当指标互不相同时），以及 $[t_{ij}, t_{ik} + t_{jk}] = 0$。
• 通过 $\mathfrak{g}(X)$ 的完备泛包络代数与括号化operad $\mathbf{P}(X)$ 构造operad $\mathbf{PCD}$，在小滤化范畴的范畴中形成张量积。
• 利用 $\mathfrak{g}(X)$ 的函子性（通过有限集上的直接像与逆像）定义operad的复合映射。
• 将格罗滕迪克-泰希缪勒群在弦图上的作用转移至operad $\mathbf{PCD}$，再进一步转移至格伦斯坦哈伯operad的自由展开。
• 通过复合映射与全序定义operad上的格伦斯坦哈伯括号，并利用其构造同伦结合与交换的operad $\mathbf{hoass}$ 与 $\mathbf{hoComm}$。
• 通过分析格伦斯坦哈伯operad的形变复形及其与 $\mathfrak{g}_{\text{RT}}$ 李代数的关系，证明诱导同调映射的单射性。

实验结果

研究问题

• RQ1 格罗滕迪克-泰希缪勒群是否以同伦上有意义的方式非平凡地作用于格伦斯坦哈伯代数的operad？
• RQ2 从格罗滕迪克-泰希缪勒群的李代数 $\mathfrak{g}_{\text{RT}}$ 到格伦斯坦哈伯operad形变复形的映射在同调上是否为单射？
• RQ3 能否将格罗滕迪克-泰希缪勒群在弦图上的作用提升为对格伦斯坦哈伯operad自由展开的非平凡作用？
• RQ4 由 $\mathfrak{g}(X)$ 与 $\mathbf{P}(X)$ 构造的operad $\mathbf{PCD}$ 与格伦斯坦哈伯operad及其展开之间有何关系？

主要发现

• 格罗滕迪克-泰希缪勒群对格伦斯坦哈伯operad的作用在同调上诱导出从李代数 $\mathfrak{g}_{\text{RT}}$ 到operad形变复形的单射映射。
• 格罗滕迪克-泰希缪勒群的任意非平凡元素在格伦斯坦哈伯operad的自由展开上均诱导出同伦非平凡的作用。
• 该构造利用了 $\mathfrak{g}(X)$ 上的函子性operad结构，其复合通过有限集上的直接像与逆像映射定义。
• 作为 $\mathbf{CD}$ 与 $\mathbf{P}$ 张量积构造的operad $\mathbf{PCD}$ 具有自然的共交换余代数结构，并支持该作用。
• operad $\mathbf{hoass}$ 定义为结合代数自由展开的移位，其微分满足 $dm_n' + \frac{1}{2}\sum_{i=2}^{n-1} \{m_i', m_{n+1-i}'\} = 0$；而 $\mathbf{hoComm}$ 通过将 $\mathbf{hoass}$ 商以混洗理想得到。
• 映射 $p_{c}: \mathbf{hoComm} \to \mathbf{comm}$ 是一个拟同构，表明 $\mathbf{hoComm}$ 是交换operad的自由展开。