2025-11-10T02:32:11.554354

A further study on averaging commutative and cocommutative infinitesimal bialgebras and special apre-perm bialgebras

Zhao, Liu

In order to generalize the fact that an averaging commutative algebra gives rise to a perm algebra to the bialgebra level, the notion of a special apre-perm algebra was introduced as a new splitting of perm algebras, and it has been shown that an averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra. In this paper, we give a further study on averaging commutative and cocommutative infinitesimal bialgebras and special apre-perm bialgebras. A solution of the averaging associative Yang-Baxter equation whose symmetric part is invariant gives rise to an averaging commutative and cocommutative infinitesimal bialgebra that is called quasi-triangular, and such solutions can be equivalently characterized as $\mathcal{O}$-operators of admissible averaging commutative algebras with weights. Moreover assuming the symmetric parts of such solutions to be zero or nondegenerate, we obtain typical subclasses of quasi-triangular averaging commutative and cocommutative infinitesimal bialgebras, namely the triangular and factorizable ones respectively. Both of them are shown to closely relate to symmetric averaging Rota-Baxter Frobenius commutative algebras. There is a parallel procedure developed for special apre-perm bialgebras. In particular, the fact that an averaging commutative and cocommutative infinitesimal bialgebra gives rise to a special apre-perm bialgebra is still available when these bialgebras are limited to the quasi-triangular cases.

academic

A further study on averaging commutative and cocommutative infinitesimal bialgebras and special apre-perm bialgebras

基本信息

论文ID: 2510.09208
标题: A further study on averaging commutative and cocommutative infinitesimal bialgebras and special apre-perm bialgebras
作者: Quan Zhao, Guilai Liu
分类: math.RA (环与代数)
发表时间: 2025年10月13日
论文链接: https://arxiv.org/abs/2510.09208

摘要

本文深入研究了平均交换余交换无穷小双代数和特殊apre-perm双代数的构造理论。作者证明了平均结合Yang-Baxter方程的解（其对称部分不变）能够产生称为拟三角的平均交换余交换无穷小双代数，这些解可以等价地刻画为带权重的可容许平均交换代数的O-算子。通过假设这些解的对称部分为零或非退化，获得了拟三角平均交换余交换无穷小双代数的两个重要子类：三角型和可分解型，它们都与对称平均Rota-Baxter Frobenius交换代数密切相关。

研究背景与动机

核心问题: 本文旨在将"平均交换代数产生perm代数"这一事实推广到双代数层面，并深入研究相关的构造理论。
重要性:
- 平均算子最初由Reynolds在湍流理论中隐式研究，后来在量子物理学和组合数学中找到了广泛应用
- 双代数结构在数学物理中具有重要地位，如Lie双代数与Poisson-Lie群相关，在量子群的无穷小化中发挥重要作用
- perm代数在代数操作子理论中扮演重要角色，其操作子是pre-Lie代数操作子的Koszul对偶
现有局限性:
- 之前的工作主要建立了平均交换代数与特殊apre-perm代数的基本对应关系
- 缺乏对这些结构的深入构造理论研究，特别是Yang-Baxter方程和O-算子的系统性分析
研究动机: 通过引入拟三角、三角和可分解等概念，建立完整的构造理论框架，深化对这些代数结构之间关系的理解。

核心贡献

引入平均结合Yang-Baxter方程(AAYBE): 建立了平均交换余交换无穷小双代数的构造理论基础
建立O-算子刻画: 证明了AAYBE的解可以等价地用可容许平均交换代数的O-算子来刻画
分类拟三角结构: 系统研究了拟三角平均交换余交换无穷小双代数的两个重要子类：
- 三角型（对称部分为零）
- 可分解型（对称部分非退化）
建立与Rota-Baxter代数的联系: 证明了这些结构与对称平均Rota-Baxter Frobenius交换代数的密切关系
平行理论发展: 为特殊apre-perm双代数建立了类似的完整理论框架
构造对应图: 建立了多个重要的交换图，展示了不同代数结构之间的系统性联系

方法详解

任务定义

本文研究的核心任务是建立平均交换余交换无穷小双代数和特殊apre-perm双代数的构造理论，包括：

输入：平均交换代数结构和相关的线性映射
输出：相应的双代数结构及其分类
约束：满足特定的Yang-Baxter方程和不变性条件

核心理论框架

1. 平均结合Yang-Baxter方程(AAYBE)

对于可容许平均交换代数 $(A, ·_A, P, Q)$ ，如果 $r = \sum_i u_i \otimes v_i \in A \otimes A$ 满足以下条件：

$A(r) = 0$ （结合Yang-Baxter方程）
$(P \otimes \text{id} - \text{id} \otimes Q)r = 0$
$(Q \otimes \text{id} - \text{id} \otimes P)r = 0$

则称 $r$ 是AAYBE的解。

2. O-算子刻画

定理2.17: 设 $(A, ·_A, P, Q)$ 是可容许平均交换代数， $r \in A \otimes A$ 且 $r + \tau(r)$ 在 $(A, ·_A)$ 上不变。则以下条件等价：

$r$ 是AAYBE的解，使得 $(A, ·_A, \Delta_r, P, Q)$ 是拟三角平均交换余交换无穷小双代数
$r^♯$ 是权重为 $-1$ 的O-算子

3. 分类理论

三角情形: 当 $r$ 是反对称的，得到三角平均交换余交换无穷小双代数。

可分解情形: 当 $(r + \tau(r))^♯$ 是双射时，得到可分解平均交换余交换无穷小双代数。

特殊apre-perm双代数的并行理论

1. 特殊apre-perm Yang-Baxter方程(SAPP-YBE)

对于特殊apre-perm代数 $(A, ▷_A, ◁_A)$ ，定义： $SA(r) = \sum_{i,j} u_i ◦_A u_j \otimes v_i \otimes v_j + u_i \otimes v_i ◁_A u_j \otimes v_j + u_i \otimes u_j \otimes v_j ◦_A v_i$