[论文解读] Classification of Bicovariant Differential Calculi on the Quantum Groups $SL_q(n+1)$ and $Sp_q(2n)$

I. Heckenberger, Konrad Schmuedgen|ArXiv.org|Jul 25, 1997

Advanced Algebra and Geometry参考文献 9被引用 7

一句话总结

该论文对超越数 $q$ 的量子群 $SL_q(n+1)$ 和 $Sp_q(2n)$ 上的所有双不变一阶微分演算进行了分类。结果表明，不可约演算由不可约共表示与单位根（$SL_q(n+1)$ 对应 $ heta^{n+1}=1$，$Sp_q(2n)$ 对应 $ heta^2=1$）参数化，并证明所有此类演算均为内演算，其量子李代数由一个中心元生成，该结论基于对对偶霍普夫代数 $R(G_q)^0$ 的结构性结果。该分类在超越数 $q$ 下是完整且精确的。主要贡献在于对这些量子群上双不变微分结构的完整代数刻画。

ABSTRACT

For transcendental values of $q$ all bicovariant first order differential calculi on the coordinate Hopf algebras of the quantum groups $SL_q(n+1)$ and $Sp_q(2n)$ are classified. It is shown that the irreducible bicovariant first order calculi are determined by an irreducible corepresentation of the quantum group and a complex number $ζ$ such that $ζ^{n+1}=1$ for $SL_q(n+1)$ and $ζ^2=1$ for $Sp_q(2n)$. Any bicovariant calculus is inner and its quantum Lie algebra is generated by a central element. The main technical ingredient is a result of the Hopf algebra $R(G_q)^0$ for arbitrary simple Lie algebras.

研究动机与目标

• 对超越数 $q$ 的量子群 $SL_q(n+1)$ 和 $Sp_q(2n)$ 上的所有双不变一阶微分演算进行分类。
• 确定与这些演算相关联的量子李代数的代数结构。
• 证明所有此类双不变演算均为内演算，且其量子李代数由一个中心元生成。
• 利用对偶霍普夫代数 $R(G_q)^0$ 的结构性结果推导分类。
• 通过共表示与单位根对不可约双不变演算提供完整且精确的参数化。

提出的方法

• 该分类依赖于量子群的表示理论及其对偶霍普夫代数 $R(G_q)^0$ 的结构。
• 不可约双不变演算由量子群的不可约共表示构造而成。
• 引入一个复参数 $\zeta$，其约束条件为：$SL_q(n+1)$ 对应 $\zeta^{n+1}=1$，$Sp_q(2n)$ 对应 $\zeta^2=1$，该参数用于参数化演算。
• 通过量子李代数分析演算的内结构，证明其由一个中心元生成。
• 证明利用了在超越数 $q$ 下，$R(G_q)^0$ 的表示理论具有足够刚性，从而可实现完全分类。
• 通过证明任意双不变演算均可分解为不可约演算的直和，且每一不可约部分均由上述数据唯一确定，完成分类。

实验结果

研究问题

• RQ1 对超越数 $q$ 的 $SL_q(n+1)$，其双不变一阶微分演算的完整分类是什么？
• RQ2 在 $Sp_q(2n)$ 上，不可约双不变演算如何参数化？其参数满足何种约束？
• RQ3 这些量子群上的所有双不变微分演算是否均为内演算？其量子李代数的结构如何？
• RQ4 对偶霍普夫代数 $R(G_q)^0$ 如何促进双不变演算的分类？
• RQ5 单位根在参数化微分演算的不可约分量中起什么作用？

主要发现

• 所有 $SL_q(n+1)$ 上的不可约双不变一阶微分演算均由不可约共表示与满足 $\zeta^{n+1}=1$ 的复数 $\zeta$ 参数化。
• 对于 $Sp_q(2n)$，不可约演算由不可约共表示与满足 $\zeta^2=1$ 的 $\zeta$ 参数化。
• 所有 $SL_q(n+1)$ 和 $Sp_q(2n)$ 上的双不变微分演算均为内演算，其量子李代数由一个中心元生成。
• 该分类在超越数 $q$ 下是完整且精确的，除共表示与 $\zeta$ 外，无其他连续参数。
• $R(G_q)^0$ 的结构确保了分类是有限的，且完全由表示论数据决定。
• 结果建立了量子群表示理论与其微分演算结构之间精确的代数对应关系。