[论文解读] Rota-Baxter Coalgebras

Run-Qiang Jian, Jiao Zhang|arXiv (Cornell University)|Sep 10, 2014

Advanced Topics in Algebra参考文献 17被引用 8

一句话总结

本文将Rota-Baxter余代数引入为Rota-Baxter代数的对偶概念，建立了其公理化结构，通过群元素、楔积和 smash 余积构造了显式例子，并证明了Rota-Baxter代数的有限余代数构成Rota-Baxter余代数。一个关键贡献是，在一个由序列元素生成的自由余代数上构造了一个Rota-Baxter余代数，其余积公式具有特定形式，经验证满足权重为$-1$的Rota-Baxter恒等式。本文还定义了Rota-Baxter余模，并建立了其与代数上Rota-Baxter模的对偶关系。

ABSTRACT

We introduce the notion of Rota-Baxter coalgebra which can be viewed as the dual notion of Rota-Baxter algebra. We provide some concrete examples and establish various properties of this new object. We also consider comodules over Rota-Baxter coalgebras.

研究动机与目标

• 在余代数的背景下，正式定义Rota-Baxter代数的对偶概念。
• 通过群元素、楔积和smash余积，构造Rota-Baxter余代数的显式例子。
• 通过有限余代数和双余积，建立Rota-Baxter代数与Rota-Baxter余代数之间的对偶性。
• 引入并研究Rota-Baxter余代数上的Rota-Baxter余模，并将其与代数上Rota-Baxter模的关系联系起来。
• 提供Rota-Baxter余代数为幂等元以及满足Atkinson加法分解对偶版本的充要条件。

提出的方法

• 将权重为$\lambda$的Rota-Baxter余代数定义为一个余代数$(C, \Delta, \varepsilon)$，配备一个线性算子$P$，使其满足算子恒等式$(P \otimes P)\Delta = (\mathrm{id} \otimes P)\Delta P + (P \otimes \mathrm{id})\Delta P + \lambda \Delta P$。
• 在以$\{c_n\}_{n \geq 0}$为基的自由余代数$C$上构造一个Rota-Baxter余代数，其中余积定义为$\Delta(c_n) = \sum_{i,j} (-1)^{i+j+n} \binom{n}{j} \binom{j}{n-i} c_i \otimes c_j$。
• 利用涉及二项式系数的组合恒等式，证明余积的共结合性，特别是验证$$\sum_{i} \binom{n}{j} \binom{j}{n-i} \binom{i}{l} \binom{l}{i-k} = \sum_{i} \binom{n}{j} \binom{n-j}{n-i} \binom{i}{n-k} \binom{j}{i-l}$$。
• 验证由$P(c_n) = c_{n-1}$（当$n \geq 1$）和$P(c_0) = 0$定义的算子$P$满足权重为$-1$的Rota-Baxter恒等式。
• 证明Rota-Baxter代数的有限余代数是Rota-Baxter余代数，且在特定条件下（如有限维性与双积结构），其逆命题也成立。
• 定义Rota-Baxter余代数上的Rota-Baxter余模，并证明其与Rota-Baxter代数上Rota-Baxter模的对偶关系。

实验结果

研究问题

• RQ1 如何在余代数的背景下，形式化定义Rota-Baxter代数的对偶概念？
• RQ2 除了代数的平凡对偶之外，Rota-Baxter余代数有哪些自然且具体的例子？
• RQ3 在什么条件下，Rota-Baxter代数的有限余代数会生成Rota-Baxter余代数？何时其逆命题也成立？
• RQ4 Rota-Baxter余代数的结构如何与双余积、楔积等经典构造相关联？
• RQ5 在Rota-Baxter余代数的背景下，Atkinson加法分解的对偶版本是什么？

主要发现

• 在以$\{c_n\}$为基的自由余代数上构造了权重为$-1$的Rota-Baxter余代数，其中余积定义为$\Delta(c_n) = \sum_{i,j} (-1)^{i+j+n} \binom{n}{j} \binom{j}{n-i} c_i \otimes c_j$，且该余积满足共结合性。
• 由$P(c_n) = c_{n-1}$（当$n \geq 1$）和$P(c_0) = 0$定义的算子$P$满足权重为$-1$的Rota-Baxter恒等式，使得$(C, \Delta, \varepsilon, P)$构成一个Rota-Baxter余代数。
• Rota-Baxter代数的有限余代数是Rota-Baxter余代数，且在适当条件下（如有限维性与双积结构），其逆命题也成立。
• 为Rota-Baxter余代数建立了Atkinson加法分解的对偶版本，推广了代数中的经典分解。
• 定义了Rota-Baxter余代数上的Rota-Baxter余模，并证明其与Rota-Baxter代数上Rota-Baxter模之间存在对偶关系，从而扩展了模理论框架。