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

平均可換・余可換無限小双代数と特殊apre-perm双代数に関するさらなる研究

基本情報

論文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-作用素と等価に特徴付けることができる。これらの解の対称部分がゼロまたは非退化であるという仮定の下で、準三角平均可換余可換無限小双代数の2つの重要な部分類が得られた：三角型と分解可能型であり、これらは両方とも対称平均Rota-Baxter Frobenius可換代数と密接に関連している。

研究背景と動機

中心的問題: 本論文は、「平均可換代数がperm代数を生成する」という事実を双代数レベルに一般化し、関連する構成理論を深く研究することを目指している。
重要性:
- 平均作用素は当初Reynolds により乱流理論で暗黙的に研究され、その後量子物理学と組合数学で広く応用されている
- 双代数構造は数学物理学において重要な地位を占めており、Lie双代数はPoisson-Lie群と関連し、量子群の無限小化において重要な役割を果たす
- perm代数は代数作用素理論において重要な役割を果たし、その作用素はpre-Lie代数作用素のKoszul双対である
既存の制限:
- 先行研究は主に平均可換代数と特殊apre-perm代数の基本的な対応関係を確立していた
- これらの構造の深い構成理論、特にYang-Baxter方程式とO-作用素の体系的分析が不足していた
研究動機: 準三角、三角、分解可能などの概念を導入することにより、完全な構成理論の枠組みを確立し、これらの代数構造間の関係の理解を深める。

核心的貢献

平均結合Yang-Baxter方程式(AAYBE)の導入: 平均可換余可換無限小双代数の構成理論の基礎を確立
O-作用素特性付けの確立: AAYBE の解が許容平均可換代数のO-作用素で等価に特性付けられることを証明
準三角構造の分類: 準三角平均可換余可換無限小双代数の2つの重要な部分類を体系的に研究：
- 三角型（対称部分がゼロ）
- 分解可能型（対称部分が非退化）
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$

$SA(r) = 0$ のとき、 $r$ をSAPP-YBEの解と呼ぶ。

2. 構成対応関係

命題3.11: 準三角平均可換余可換無限小双代数は自然に準三角特殊apre-perm双代数を生成し、平均代数から特殊apre-perm代数への基本的な対応関係を保持する。

技術的革新点

統一されたYang-Baxter枠組み: 古典的なYang-Baxter方程式を平均代数と特殊apre-perm代数の設定に一般化
O-作用素理論の拡張: これらの新しい代数構造のO-作用素理論を体系的に発展
分類方法: 対称部分の性質（ゼロ、非退化）を通じた自然な分類
可換図の構成: 異なる代数構造間の深い関連性を明らかにする複数の重要な可換図を確立

主要定理と結果

重要定理

定理2.6: $(A, ·_A, P, Q)$ を許容平均可換代数とし、 $r \in A \otimes A$ とする。 $r + \tau(r)$ が $(A, ·_A)$ 上で不変であり、 $r$ がAAYBEの解であれば、 $(A, ·_A, \Delta_r, P, Q)$ は平均可換余可換無限小双代数である。

定理3.8: $(A, ▷_A, ◁_A)$ を特殊apre-perm代数とし、 $r \in A \otimes A$ とする。 $r$ がSAPP-YBEの解であり、対称部分が不変であれば、 $(A, ▷_A, ◁_A, \vartheta_r, \theta_r)$ は特殊apre-perm双代数である。