[论文解读] Twisted automorphisms of Hopf algebras

Alexei Davydov|ArXiv.org|Aug 21, 2007

Algebraic structures and combinatorial models参考文献 10被引用 11

一句话总结

本文将余交换霍普夫代数的扭曲自同态作为双代数自同态的推广，利用不变扭量的规范类。研究表明，对于普遍包络代数，扭曲自同态可分解为标准自同态与不变扭量的组合，其中扭量的规范类构成一个与李代数外平方的不变量同构的阿贝尔群，而扭曲自同态的完整群则构成与李代数自同态群的半直积。

ABSTRACT

Twisted homomorphisms of bialgebras are bialgebra homomorphisms from the first into Drinfeld twistings of the second. They possess a composition operation extending composition of bialgebra homomorphisms. Gauge transformations of twists, compatible with adjacent homomorphisms, give rise to gauge transformation of twisted homomorphisms, which behave nicely with respect to compositions. Here we study (gauge classes of) twisted automorphisms of cocommutative Hopf algebras. After revising well-known relations between twists, twisted forms of bialgebras and $R$-matrices (for commutative bialgebras) we describe twisted automorphisms of universal enveloping algebras.

研究动机与目标

• 将双代数同态的概念扩展为捕捉表示范畴之间超出标准双代数映射的张量函子的扭曲同态。
• 研究余交换霍普夫代数（特别是普遍包络代数）的扭曲自同态，以理解表示理论中的隐藏对称性。
• 通过不变扭量的规范类对扭曲自同态进行分类，将其与李代数中的上同调结构联系起来。
• 从一个群通过扭曲自同态作用构造一个半直积双代数，为这类对称性提供具体的代数实现。
• 阐明在形式幂级数环（特别是李代数上）的背景下，德林费尔德扭量与R-矩阵在扭曲自同态中的作用。

提出的方法

• 将扭曲同态定义为二元组 (f, F)，其中 f 是代数同态，F 是满足扭曲共结合性与归一化条件的可逆扭量。
• 通过广义张量积运算定义扭曲同态的复合，保持表示范畴中的张量结构。
• 利用规范变换关联等价的扭曲同态，通过相容性条件确保复合下的一致性。
• 聚焦于分离的扭曲自同态，其中 f 是双代数自同态，且 F 在 f(H) 作用下不变，从而获得清晰的代数结构。
• 将普遍包络代数中的不变扭量表征为 (Λ²𝔤)𝔤 的不变量元素，其规范类构成一个阿贝尔群。
• 从一个群 G 通过扭曲自同态 (τ, θ) 作用构造半直积双代数 H*ₜ(τ,θ)G，给出乘法与共乘法的显式公式。

实验结果

研究问题

• RQ1 如何系统地对余交换霍普夫代数的扭曲自同态进行分类？它们构成何种代数结构？
• RQ2 在普遍包络代数的背景下，扭曲自同态与R-矩阵或德林费尔德扭量之间存在何种关系？
• RQ3 规范变换如何作用于扭曲自同态？在这些变换下哪些不变量保持不变？
• RQ4 普遍包络代数的扭曲自同态的规范类群具有何种代数结构？
• RQ5 能否通过群作用于扭曲自同态来构造一个新的双代数，采用半直积构造？其定义关系是什么？

主要发现

• 在普遍包络代数 U(𝔤)[[h]] 中，不变扭量的规范类构成一个阿贝尔群，同构于 (Λ²𝔤)𝔤 中 𝔤-不变元素的空间。
• U(𝔤)[[h]] 的每一个扭曲自同态都与一对 (φ, F) 等价，其中 φ 是 U(𝔤)[[h]] 的双代数自同态，F 是一个不变扭量。
• 扭曲自同态的规范类群同构于李代数自同态群 Aut(𝔤) 与不变扭量规范类阿贝尔群的半直积。
• 对于海森堡代数 𝔥(V,b)，该构造产生一个双代数 U(𝔥(V,b))[V,a]，其生成元 l_v 满足 [l_v, l_u] = (b(u,v)/3)c³ 且 Δ(l_v) = v⊗c − c⊗v + l_v⊗1 + 1⊗l_v。
• 当满足相容性条件 (22) 与 (23) 时，半直积构造 H*ₜ(τ,θ)G 是一个良定义的双代数，其乘法与共乘法有显式公式。
• 该形式化方法允许将量子群类关系用新生成元 l_X 表示，满足 [l_X, l_Y] = −a(X,Y) 与 Δ(l_X) = X + l_X⊗1 + 1⊗l_X，从而扩展了双代数结构。