[论文解读] Twisting on associative algebras and Rota-Baxter type operators

Kyousuke Uchino|ArXiv.org|Oct 23, 2007

Advanced Topics in Algebra参考文献 28被引用 3

一句话总结

本文引入了一种受李理论中Drinfeld扭变启发的结合代数扭变操作，利用Hochschild复形上的导出括号构造。研究证明Rota-Baxter算子与Nijenhuis算子是微分graded李代数结构中Maurer-Cartan方程的解，为结合代数设定下的形变理论与算子代数提供了统一框架。

ABSTRACT

We will introduce an operation "twisting" on Hochschild complex by analogy with Drinfeld's twisting operations. By using the twisting and derived bracket construction, we will study differential graded Lie algebra structures associated with bi-graded Hochschild complex. We will show that Rota-Baxter type operators are solutions of Maurer-Cartan equations. As an application of twisting, we will give a construction of associative Nijenhuis operators.

研究动机与目标

• 通过Hochschild上同调将Drinfeld的扭变操作从李代数推广到结合代数。
• 在扭变代数的Hochschild复形上构造一个微分graded李代数结构。
• 证明Rota-Baxter算子与Nijenhuis算子在此框架下是Maurer-Cartan方程的解。
• 通过扭变与导出括号构造，提供结合Nijenhuis算子的上同调表征。

提出的方法

• 使用Gerstenhaber括号在Hochschild复形 $ C^*(\t A_1 \oplus \t A_2) $ 上定义一个双分次李代数结构。
• 通过一个1-上链 $ H: \t A_2 \to \t A_1 $ 引入扭变操作，其形式类比于泊松几何中的哈密顿向量场。
• 将结合结构 $ \theta $ 分解为四个分量：$ \hat{\phi}_1, \hat{\mu}_1, \hat{\mu}_2, \hat{\phi}_2 $，并推导其在扭变下的变换规则。
• 利用导出括号构造，在 $ C^*(\t A_2, \t A_1) $ 上诱导出一个dg-Lie代数结构，从而支持形变理论。
• 证明零权Rota-Baxter算子满足广义Rota-Baxter恒等式，并由此导出Maurer-Cartan方程的解。
• 通过积分算子与导子的复合构造Nijenhuis算子，并通过显式验证证明其满足Nijenhuis条件。

实验结果

研究问题

• RQ1 如何通过Hochschild上同调将Drinfeld的扭变操作从李代数推广到结合代数？
• RQ2 导出括号构造在将结合扭变代数与微分graded李代数联系起来的过程中起什么作用？
• RQ3 在何种条件下，代数上的Rota-Baxter算子对应于所诱导的dg-Lie代数中Maurer-Cartan方程的解？
• RQ4 强Maurer-Cartan算子如何在结合代数上诱导出Nijenhuis算子？
• RQ5 广义Rota-Baxter恒等式在扭变与形变理论语境下的上同调意义是什么？

主要发现

• 在结合代数上，零权Rota-Baxter算子在dg-Lie代数 $ C^*(\t A_2, \t A_1) $ 中诱导出Maurer-Cartan方程的解，建立了与形变理论的上同调联系。
• 结合代数上的扭变操作完全由四个分量 $ \hat{\phi}_1, \hat{\mu}_1, \hat{\mu}_2, \hat{\phi}_2 $ 的变换规则决定，第4.5定理中给出了明确的公式。
• 强Maurer-Cartan算子 $ \Omega $（定义为从 $ \mathcal{A} $ 到 $ M_\pi $ 的导子）诱导出一个Nijenhuis算子 $ N = \int \Omega $，该算子满足Nijenhuis条件。
• 在 $ C^1([0,1]) $ 的例子中，积分算子 $ \pi(f)(x) = \int_0^x f(t)dt $ 与导子 $ \Omega(f)(x) = \omega(x)f'(x) $ 生成一个Nijenhuis算子 $ N(f)(x) = \int_0^x \omega(t)f'(t)dt $，其满足Nijenhuis恒等式已通过显式验证。
• 在非交换情形下，如形式幂级数代数或Weyl代数，形式积分算子是零权Rota-Baxter算子，且复合 $ N = \int \Omega $ 产生一个类似投影的Nijenhuis算子。
• 在Weyl代数 $ W\langle x, \partial_x \rangle $ 上，Nijenhuis算子 $ N $ 作用为对形如 $ k_{ij} \partial_x^i * x^j $（其中 $ j \neq 0 $）的元素的投影，确认了其几何与代数意义。