[论文解读] Curved O-operator systems

Tianshui Ma, Abdenacer Makhlouf+1 more|arXiv (Cornell University)|Oct 14, 2017

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

一句话总结

本文引入了曲率形式的𝒪-算子系统，作为Rota-Baxter系统与𝒪-算子的推广，统一了曲率Rota-Baxter代数、(三)dendriform代数与pre-Lie代数。研究证明，曲率形式的𝒪-算子系统可诱导出结合代数、dendriform代数与pre-Lie代数结构，关键结果表明：通过曲率条件，双重曲率Rota-Baxter系统与弱伪扭器及pre-Lie代数建立联系。

ABSTRACT

In this paper, we introduce the notion of curved $\mathcal{O}$-operator systems as a generalization of T. Brzeziński's (curved) Rota-Baxter systems, and then investigate their relations with $\mathcal{O}$-operator systems, (tri)dendriform systems, pre-Lie algebras, associative Yang-Baxter pairs and quasitriangular covariant bialgebras.

研究动机与目标

• 将T. Brzeziński的曲率Rota-Baxter系统与C. M. Bai等人提出的𝒪-算子推广为统一框架。
• 探索曲率形式的𝒪-算子系统与(dendriform)、tridendriform代数、pre-Lie代数及结合代数之间的联系。
• 研究特殊情况，包括具有结合相容对的广义Rota-Baxter代数与双重曲率Rota-Baxter系统。
• 建立双重曲率Rota-Baxter系统与弱伪扭器及曲率映射之间的对应关系。

提出的方法

• 将曲率形式的𝒪-算子系统定义为五元组(A, V, R, S, ω)，其中V为A-双模，R, S: V → A为线性映射，ω: V⊗V → V为曲率映射。
• 通过包含曲率项ω₁ = R∘ω与ω₂ = S∘ω的两个方程定义该系统，涉及R(S(x)·y + x·S(y) + ω(x⊗y))与S(R(x)·y + x·S(y) + ω(x⊗y))的表达式。
• 证明此类系统通过涉及R与S的修正乘法在A上诱导出结合代数结构。
• 表明曲率形式的𝒪-算子系统可通过V上的特定运算诱导出dendriform与tridendriform代数结构。
• 引入双重曲率Rota-Baxter系统，并构造一个具有伴随𝒯与曲率映射ω₁, ω₂的双重曲率弱伪扭器T。
• 证明μ∘T为结合乘法，且当且仅当曲率条件满足时，pre-Lie乘积a∘b = R(a)b − bS(a)构成pre-Lie代数。

实验结果

研究问题

• RQ1 如何在包含曲率项的广义框架下统一Rota-Baxter系统与𝒪-算子？
• RQ2 曲率形式的𝒪-算子系统会生成哪些代数结构（如dendriform、pre-Lie）？
• RQ3 在何种条件下，双重曲率Rota-Baxter系统会诱导出弱伪扭器结构？
• RQ4 曲率映射ω₁与ω₂如何影响所诱导乘法的结合性与pre-Lie性质？
• RQ5 操作a∘b = R(a)b − bS(a)构成pre-Lie代数的精确条件是什么？

主要发现

• 曲率形式的𝒪-算子系统推广了Rota-Baxter系统与𝒪-算子，为曲率代数结构提供了统一框架。
• 当曲率ω满足与R、S的特定相容条件时，该系统在V上诱导出dendriform代数结构。
• 双重曲率Rota-Baxter系统可导出具有伴随𝒯与曲率映射ω₁, ω₂的双重曲率弱伪扭器T。
• 当且仅当图式(3.8)与(3.9)可交换时，μ∘T为结合乘法，这等价于方程(3.7)中的曲率条件。
• 当且仅当ω₁(a⊗b) − ω₂(b⊗a)属于A的中心时，操作a∘b = R(a)b − bS(a)在A上定义出pre-Lie代数。
• 该构造通过曲率控制的非结合性，直接建立了曲率Rota-Baxter系统与pre-Lie代数之间的联系。