Affinization of dendriform $\md$-bialgebras, Lie bialgebras and solutions of classical Yang-Baxter equation

技术摘要：Dendriform D-双代数、Lie 双代数及其仿射化与经典杨-巴克斯特方程解

问题陈述
本文旨在解决将已知的关于 dendriform 代数、pre-Lie 代数、结合代数（associative algebras）和 Lie 代数的交换图表提升至双代数（bialgebras）层面的挑战。虽然已知 dendriform 代数可以诱导 pre-Lie 代数和结合代数（进而诱导 Lie 代数），但相应的双代数结构并不自然对齐。具体而言，pre-Lie 双代数通常并不具备 Lie 双代数结构，且 dendriform D-双代数本质上并不具备反对称无穷小（antisymmetric infinitesimal, ASI）双代数结构。此外，本文寻求澄清不同代数结构之间杨-巴克斯特方程解（特别是 Dendriform 杨-巴克斯特方程 DYBE、Pre-Lie 杨-巴克斯特方程 PLYBE、结合杨-巴克斯特方程 AYBE 以及经典杨-巴克斯特方程 CYBE）之间的对应关系。

方法论
作者采用了两种主要的方法论途径来从 dendriform 结构构造 Lie 双代数：

1. 与 Perm 代数的张量积： 本文利用 dendriform 代数（或 pre-Lie 代数）与“perm 代数”（一种满足 $b_1(b_2b_3) = (b_1b_2)b_3 = (b_2b_1)b_3$ 的代数）的张量积。通过引入一个二次 perm 代数（配备了反对称不变非退化双线性型），作者构造了诱导的结合代数和 Lie 代数。
2. 仿射化（Affinization）： 本文研究了 dendriform D-双代数的仿射化。这涉及在洛朗多项式（或更广泛地，在二次 $\mathbb{Z}$-分次 perm 代数）的向量空间上定义代数结构。作者定义了余代数和双代数的“完备化”版本，以处理仿射化过程中产生的无限维结构。

该方法论高度依赖于以下要素之间的相互作用：

• Dendriform D-双代数： 结合了 dendriform 代数与 dendriform 余代数并满足特定相容条件的结构。
• 二次 Perm 代数： 作为将代数结构提升至双代数层面的“桥梁”。
• O-算子（O-operators）： 与双模相关联的线性映射，作为杨-巴克斯特方程解的算子形式。

核心贡献与结果

1. 双代数构造的统一性（定理 5.3）：
   本文证明了从 dendriform D-双代数构造 Lie 双代数的两条不同路径产生相同的结果：

   • 路径 A： Dendriform D-双代数 $\to$ Pre-Lie 双代数 $\to$ （与二次 perm 代数进行张量积）$\to$ Lie 双代数。
   • 路径 B： Dendriform D-双代数 $\to$ （与二次 perm 代数进行张量积）$\to$ ASI 双代数 $\to$ （诱导 Lie 括号）$\to$ Lie 双代数。
     作者证明了通过这两种方法获得的 Lie 双代数是恒等的，从而有效地将代数的交换图表提升到了双代数层面。

2. 仿射化特征化（定理 4.13）：
   本文确立了有限维 dendriform D-双代数与二次 $\mathbb{Z}$-分次 perm 代数的张量积自然构成一个完备 ASI 双代数。反之，如果该 perm 代数是一个特定的二次 $\mathbb{Z}$-分次 perm 代数（与洛朗多项式相关），则所得结构是完备 ASI 双代数，当且仅当原结构是 dendriform D-双代数。这通过仿射化提供了对 dendriform D-双代数的特征化，且独立于算子 Koszul 对偶。

3. 杨-巴克斯特方程解的对应关系：
   本文详细阐述了各种杨-巴克斯特方程解之间的对应关系：

   • Dendriform 代数中 DYBE 的对称解，会通过与 perm 代数的张量积，诱导出一个结合代数中 AYBE 的反对称解。
   • 该 AYBE 的反对称解，进而诱导出一个 Lie 代数中 CYBE 的反对称解。
   • 本文证明了这些诱导解生成了等价的三角双代数结构（三角 dendriform D-双代数、三角 ASI 双代数以及三角 Lie 双代数）。

4. O-算子对应关系：
   本研究澄清了不同结构间 O-算子的关系。它表明，与 dendriform 代数相关的 O-算子，对应于与诱导 pre-Lie 代数以及（通过与 perm 代数进行张量积得到的）诱导 Lie 代数相关的 O-算子。具体而言，诱导 Lie 代数的 O-算子是原 O-算子与由 perm 代数二次型导出的映射的张量积。

意义
本文声称提供了一个从 dendriform D-双代数构造 Lie 双代数和三角双代数结构的系统框架。通过解决将代数交换图表提升至双代数层面的困难，这项工作通过仿射化和与 perm 代数的张量积机制，将 dendriform 代数、pre-Lie 代数和 Lie 双代数理论联系在一起。

其意义在于：

• 结构统一： 证明了从 dendriform 源构造 Lie 双代数的不同方法是等价的。
• 无限维扩展： 提供了一种通过对 dendriform D-双代数进行仿射化来构造无限维反对称无穷小双代数的方法，扩展了以往关于 Novikov 代数和 perm 代数的研究结果。
• 解的传递： 建立了 DYBE、PLYBE、AYBE 和 CYBE 解之间的严格对应关系，使得在一个代数语境下的解能够生成其他语境下的解。
• 三角结构： 展示了三角结构（与因子分解问题和可积系统相关）如何在这些代数范畴之间被保持和转换。

该工作作为数学物理领域内的一项理论发展，专门针对各种双代数类型及其相关的杨-巴克斯特方程之间的结构关系。