[论文解读] The twisting procedure

Vladimir Dotsenko, Sergey Shadrin+1 more|arXiv (Cornell University)|Oct 6, 2018

Advanced Topics in Algebra参考文献 16被引用 9

一句话总结

本文为同伦代数中的扭结过程提供了概念性框架，展示了微分graded李代数、结合代数和操作子中Maurer–Cartan元素如何通过规范群作用生成新的同伦代数。它建立了一个操作子可支持有意义扭结过程的标准，并计算了图复形的上同调，确认了扭结BV操作子的0度上同调同构于Gerstenhaber操作子，对Grothendieck–Teichmüller群具有重要意义。

ABSTRACT

This paper provides a conceptual study of the twisting procedure, which amounts to create functorially new differential graded Lie algebras, associative algebras or operads (as well as their homotopy versions) from a Maurer--Cartan element. On the way, we settle the integration theory of complete pre-Lie algebras in order to describe this twisting procedure in terms of gauge group action. We give a criterion on quadratic operads for the existence of a meaningful twisting procedure of their associated categories of (homotopy) algebras. We also give a new presentation of the twisting procedure for operads à la Willwacher and we perform new homology computations of graph complexes.

研究动机与目标

• 为微分graded代数和操作子中的扭结过程提供一个概念性与函子性框架。
• 为二次操作子建立其同伦范畴中支持有意义扭结过程的标准。
• 通过完备预-Lie代数上的规范群作用描述扭结过程，整合完备设定下的形变理论。
• 以新的代数表述重新诠释并推广Willwacher对非对称操作子的扭结过程。
• 计算图复形的同调，特别是证明扭结BV操作子的上同调同构于Gerstenhaber操作子。

提出的方法

• 作者发展了完备预-Lie代数的积分理论，以建模扭结过程背后的规范群作用。
• 他们将扭结过程定义为在带曲率的$\mathcal{A}_\infty$-和$\mathcal{L}_\infty$-代数上的规范作用，使用Maurer–Cartan元素作为扭结参数。
• 他们引入了一种基于过滤且完备的卷积代数结构的新表述，用于非对称操作子的扭结过程。
• 他们使用谱序列计算BV操作子扭结形变复形的上同调，按$\Delta$标记的输入数量进行过滤。
• 他们将第一个谱序列的上链复形识别为一个余单位元的余代数的cobar构造，从而实现$E^2$-页上同调的计算。
• 他们证明$\mathrm{Tw}\operatorname{BV}(n)$的上同调由对应于Gerstenhaber操作子$\operatorname{Gerst}^+$的元素$\lambda^{(\sigma,\bar{0},\bar{*})}$张成。

实验结果

研究问题

• RQ1 如何系统地将扭结过程理解为同伦代数上规范群作用？
• RQ2 何种条件下二次操作子可确保其同伦代数上存在明确定义的扭结过程？
• RQ3 BV操作子扭结形变复形的上同调结构为何？
• RQ4 非对称操作子的扭结过程如何与图复形上同调及Grothendieck–Teichmüller群相关？
• RQ5 完备预-Lie代数在积分带曲率的$\mathcal{L}_\infty$-代数的规范作用中起何作用？

主要发现

• 扭结BV操作子$\mathrm{Tw}\operatorname{BV}(n)$的上同调同构于Gerstenhaber操作子$\operatorname{Gerst}^+$，其基由元素$\lambda^{(\sigma,\bar{0},\bar{*})}$构成，其中$\bar{*} = (-,\dots,-)$。
• 计算$\mathrm{H}(\mathrm{Tw}\operatorname{BV})$的谱序列在$E^2$-页崩溃，且$E^2 \cong \mathrm{H}(\Lambda(J))$，由元素$\lambda^{(\sigma,\bar{0},\bar{*})}$张成。
• 形变复形的第一个谱序列同构于余代数$C = \mathbb{k}1 \oplus \mathbb{k}x \oplus \mathbb{k}y \oplus \mathbb{k}z$的cobar构造，其中$|x|=0$，$|y|=|z|=1$，且$\Delta(y) = x\otimes z - z\otimes x$。
• 在$E^1$-页上的微分由$d^1(yZ^kX^l) = (-1)^{l+1}xZ^{k+1}X^l$给出，且$d^1(xZ^kX^l) = 0$，从而导致$E^2$由$xX^l$（$l \geq 0$）张成。
• 在$\mathrm{Def}(\mathcal{S}^{-1}\mathcal{L}_\infty \to \operatorname{BV})$的1度上同调作用于$\mathrm{H}(\mathrm{Tw}\operatorname{BV})$，对应于$\operatorname{Gerst}^+$的1度微分$\mu \mapsto \lambda$。
• 从$\mathcal{S}^{-1}\mathcal{A}_\infty \to \operatorname{BV}$的态射出发，唯一的非平凡无穷小形变类是一维的，对应于$\operatorname{Gerst}^+$中的$\lambda$-运算。