[论文解读] A cohomological study of modified Rota-Baxter algebras

Apurba Das|arXiv (Cornell University)|Jul 5, 2022

Advanced Topics in Algebra被引用 4

一句话总结

本文为修正的Rota-Baxter代数引入了一种上同调理论，建立了其与Rota-Baxter代数上同调的联系，并将其应用于形式形变与阿贝尔扩张的分类。关键贡献在于构建了一个上同调框架，通过诱导乘积 $*_R$ 将修正的Rota-Baxter代数与结合代数结构联系起来，从而利用Hochschild型复形实现形变与扩张的分类。

ABSTRACT

A modified Rota-Baxter algebra is an algebra equipped with an operator that satisfies the modified Yang-Baxter equation. In this paper, we define the cohomology of a modified Rota-Baxter algebra with coefficients in a suitable bimodule. We relate our cohomology of a modified Rota-Baxter algebra with the known cohomology theory of a Rota-Baxter algebra. As applications of our cohomology, we study formal one-parameter deformations and abelian extensions of modified Rota-Baxter algebras.

研究动机与目标

• 为带有双模系数的修正Rota-Baxter代数发展一种上同调理论。
• 将修正Rota-Baxter代数的上同调与已知的Rota-Baxter代数上同调联系起来。
• 利用上同调对修正Rota-Baxter代数的形式单参数形变与阿贝尔扩张进行分类。
• 将形变与扩张理论从Rota-Baxter代数推广至修正Rota-Baxter代数。
• 提出未来研究方向，包括 $L_∞$-代数结构与修正Rota-Baxter代数的同伦理论。

提出的方法

• 将修正Rota-Baxter代数 $(A,R)$ 上的双模定义为满足 $R$、$S$ 与 $M$ 上 $A$-双模结构之间相容条件的对 $(M,S)$。
• 在 $A$ 的底层空间上构造一个新的结合代数 $A_R$，其乘积定义为 $a*_R b = R(a)\cdot b + a\cdot R(b)$。
• 将双模 $M$ 赋予 $A_R$-双模结构 $\widetilde{M}$，从而可使用Hochschild上链复形。
• 将 $(A,R)$ 关于系数 $(M,S)$ 的上同调复形定义为 $A$ 与 $A_R$ 的Hochschild复形的组合，得到 $H^*_{\mathrm{mRBA}}((A,R),(M,S))$。
• 证明：权重为 $\lambda$ 的Rota-Baxter代数 $(A,P)$ 的上同调同构于权重为 $\kappa=-\lambda^2$ 的修正Rota-Baxter代数 $(A,R=\lambda\mathrm{id}+2P)$ 的上同调。
• 利用上同调对形式形变与阿贝尔扩张进行分类，方法为通过2-上循环与等价类进行分类。

实验结果

研究问题

• RQ1 如何为带有双模系数的修正Rota-Baxter代数定义上同调理论？
• RQ2 修正Rota-Baxter代数的上同调与Rota-Baxter代数的上同调之间有何关系？
• RQ3 如何利用该上同调对修正Rota-Baxter代数的形式单参数形变进行分类？
• RQ4 如何利用上同调不变量对修正Rota-Baxter代数的阿贝尔扩张进行分类？
• RQ5 该理论在 $L_\infty$-代数、同伦理论以及李或群论类比方面的前景如何？

主要发现

• 权重为 $\lambda$ 的Rota-Baxter代数 $(A,P)$ 的上同调同构于权重为 $\kappa=-\lambda^2$ 的修正Rota-Baxter代数 $(A,R=\lambda\mathrm{id}+2P)$ 的上同调。
• 修正Rota-Baxter代数 $(A,R)$ 的底层空间 $A$ 装备了一种新的结合代数结构 $A_R$，其乘积由 $a*_R b = R(a)\cdot b + a\cdot R(b)$ 定义。
• 任意修正Rota-Baxter代数 $(A,R)$ 上的双模 $(M,S)$ 均继承了 $A_R$-双模结构 $\widetilde{M}$，从而可构造Hochschild上链复形。
• 修正Rota-Baxter代数的形式形变由第二上同调群 $H^2_{\mathrm{mRBA}}((A,R),(M,S))$ 分类。
• 修正Rota-Baxter代数的阿贝尔扩张由同一第二上同调群分类，且存在从扩张类到上同调类的明确定义的映射。
• 该分类在扩张同构下保持不变，确认了上同调不变量是良定义且典范的。