[论文解读] The classical Hom-Yang-Baxter equation and Hom-Lie bialgebras

Donald Yau|ArXiv.org|May 12, 2009

Advanced Topics in Algebra参考文献 41被引用 34

一句话总结

本文将经典同态杨-巴克斯特定理（CHYBE）引入为同态李代数中经典杨-巴克斯特定理的扭曲推广，其中结构映射通过自同态 α 变形。研究证明，经典杨-巴克斯特定理的解可诱导出无穷多组 CHYBE 的解，并引入了同态李双代数，证明在特定代数条件下，余括号的微扰可保持准三角与余边界结构，从而将德林费 尔德的李双代数理论推广至同态情形。

ABSTRACT

Motivated by recent work on Hom-Lie algebras and the Hom-Yang-Baxter equation, we introduce a twisted generalization of the classical Yang-Baxter equation (CYBE), called the classical Hom-Yang-Baxter equation (CHYBE). We show how an arbitrary solution of the CYBE induces multiple infinite families of solutions of the CHYBE. We also introduce the closely related structure of Hom-Lie bialgebras, which generalize Drinfel'd's Lie bialgebras. In particular, we study the questions of duality and cobracket perturbation and the sub-classes of coboundary and quasi-triangular Hom-Lie bialgebras.

研究动机与目标

• 将经典杨-巴克斯特定理（CYBE）在同态李代数背景下推广为扭曲版本——经典同态杨-巴克斯特定理（CHYBE）
• 引入并研究同态李双代数，作为德林费 尔德李双代数的推广，融入扭曲映射 α
• 研究同态李双代数中的对偶性与余括号微扰，特别是对余边界与准三角结构的研究
• 建立微扰保持同态李双代数中准三角与余边界性质的条件

提出的方法

• 在同态李代数 (L, [-,-], α) 中定义经典同态杨-巴克斯特定理（CHYBE）为 [[r,r]]^α = 0，其中括号涉及 α-扭曲张量积
• 使用扭曲构造：若 (L, [-,-], α) 是同态李代数且 α 是李代数同态，则通过 [-,-]_α = α∘[-,-] 扭曲括号
• 通过扭曲映射 α 提升经典杨-巴克斯特定理的解，构造 CHYBE 的解
• 将同态李双代数定义为配备满足 α-相容同态雅可比与余雅可比恒等式的余括号 Δ 的同态李代数
• 引入余括号微扰 Δ_t = Δ + ad(t)，并推导微扰后结构仍为同态李双代数的条件
• 证明：若 r 满足 CHYBE，且 t 满足 [[t,t]]^α + ∮(α⊗Δ)(t) = 0 和 [[r,t]]^α + [[t,r]]^α + [[t,t]]^α = 0，则 r+t 满足 CHYBE，且 (L, [-,-], Δ_t, α, r+t) 是准三角同态李双代数

实验结果

研究问题

• RQ1 如何在同态李代数背景下将经典杨-巴克斯特定理推广为扭曲版本？
• RQ2 在何种条件下，余括号微扰 Δ_t = Δ + ad(t) 可保持同态李双代数结构？
• RQ3 在何种条件下，微扰后的 r-矩阵 r+t 仍为经典同态杨-巴克斯特定理的解？
• RQ4 对偶性与余括号微扰的概念如何从李双代数推广至同态李双代数？
• RQ5 每个三角同态李双代数是否均可通过 CHYBE 的解 t，以平凡余括号 Δ=0 的微扰方式构造得到？

主要发现

• 在李代数 L 中，经典杨-巴克斯特定理（CYBE）的解可诱导出在扭曲同态李代数 L_α 中的无穷多组经典同态杨-巴克斯特定理（CHYBE）的解
• 当且仅当代数结构 (L, [-,-], Δ, α) 满足余括号 Δ 满足 α-扭曲余雅可比恒等式且与 α 可交换时，该结构为同态李双代数
• 若 t 满足 [[t,t]]^α + ∮(α⊗Δ)(t) = 0 和 α^⊗2(t) = t，则余括号微扰 Δ_t = Δ + ad(t) 可保持同态李双代数结构
• 若 (L, [-,-], Δ=ad(r), α, r) 是准三角同态李双代数，且 t 满足 [[t,t]]^α + ∮(α⊗Δ)(t) = 0 和 [[r,t]]^α + [[t,r]]^α + [[t,t]]^α = 0，则 (L, [-,-], Δ_t=ad(r+t), α, r+t) 也是准三角同态李双代数
• 每个三角同态李双代数均可通过平凡余括号 Δ=0 的微扰，利用满足 t_{21} = -t 与 α^⊗2(t)=t 的 CHYBE 解 t 构造得到
• 微扰框架表明，平凡余括号 Δ=0 是通过 CHYBE 解构造三角同态李双代数的通用起点