[论文解读] Some remarks on quantized Lie superalgebras of classical type

Nathan Geer|ArXiv.org|Aug 23, 2005

Algebraic structures and combinatorial models参考文献 12被引用 4

一句话总结

本文建立了典型类李超代数（任意Cartan矩阵）的Drinfeld-Jimbo型量子普遍包络超代数与Etingof-Kazhdan量子化之间的同构，证明了最高权模可形变为相应量子代数上的模，并通过辫子张量等价性将Drinfeld-Kohno定理推广至超代数情形。

ABSTRACT

In this paper we use the Etingof-Kazhdan quantization of Lie bi-superalgebras to investigate some interesting questions related to Drinfeld-Jimbo type superalgebra associated to a Lie superalgebra of classical type. It has been shown that the D-J type superalgebra associated to a Lie superalgebra of type A-G, with the distinguished Cartan matrix, is isomorphic to the E-K quantization of the Lie superalgebra. The first main result in the present paper is to extend this to arbitrary Cartan matrices. This paper also contains two other main results: 1) a theorem stating that all highest weight modules of a Lie superalgebra of type A-G can be deformed to modules over the corresponding D-J type superalgebra and 2) a super version of the Drinfeld-Kohno Theorem.

研究动机与目标

• 将李超代数（经典类型）的Drinfeld-Jimbo与Etingof-Kazhdan量子化之间的同构关系，从特殊Cartan矩阵推广至任意Cartan矩阵。
• 证明类型A-G的李超代数上的最高权模可形变为相应Drinfeld-Jimbo量子化超代数上的最高权模。
• 建立Drinfeld-Kohno定理的超代数版本，将 braid 群的单值表示与R-矩阵构造联系起来。
• 通过Etingof-Kazhdan的扭构造，提供量子超代数之间同构的构造性证明，避免依赖在超代数设定下可能不成立的上同调消去假设。

提出的方法

• 利用李双超代数的Etingof-Kazhdan量子化，构造与给定Cartan矩阵 (A, τ) 关联的李超代数的普遍量子化。
• 应用Yamane的工作，验证量子Serre关系属于相关双线性形式的核，从而实现Drinfeld-Jimbo与Etingof-Kazhdan量子化之间的同构。
• 通过扭一个拟Hopf超代数，将Etingof-Kazhdan量子化实现为形式幂级数环 ℂ[[h]] 上的普遍包络代数的形变。
• 利用Etingof-Kazhdan量子化与Drinfeld-Jimbo代数的模范畴之间的辫子张量等价性，关联单值表示。
• 应用Knizhnik-Zamolodchikov微分方程组，定义在最高权模的张量幂上的braid群单值表示。
• 建立同构 α: U_h^DJ(g,A,τ) → U_h(g,A,τ)，其在Cartan子超代数上限制为恒等映射，确保形变中权的保持。

实验结果

研究问题

• RQ1 在经典类型的李超代数中，Drinfeld-Jimbo与Etingof-Kazhdan量子化之间的同构是否对所有Cartan矩阵（而不仅特殊矩阵）都成立？
• RQ2 类型A-G的李超代数上任意最高权模能否形变为相应Drinfeld-Jimbo量子化超代数上的最高权模，同时保持其特征标？
• RQ3 是否存在Drinfeld-Kohno定理的超代数类比，将KZ联络的单值性与量子普遍包络超代数的R-矩阵联系起来？
• RQ4 在不依赖于在超代数设定下可能失效的上同调消去定理的前提下，能否显式构造模的形变？

主要发现

• 存在同构 α: U_h^DJ(g,A,τ) → U_h(g,A,τ)，作为量子普遍包络超代数，且满足 α|_h = id，将此前仅针对特殊Cartan矩阵的结果推广至任意Cartan矩阵。
• 所有类型A-G的李超代数上的不可约最高权模 V(Λ) 均可形变为 U_h^DJ(g,A,τ) 上的最高权模 ˜V(Λ)，其特征标与 ℂ[[h]] 上的权空间结构保持不变。
• 李双超代数 (g,A,τ) 的Etingof-Kazhdan量子化被实现为一个拟Hopf超代数的扭，从而实现了同构的显式构造。
• KZ单值表示在 V(Λ)^⊗n[[h]] 上与由R-矩阵 e^{hΩ/2} 诱导的表示一致，确立了Drinfeld-Kohno定理的超代数版本。
• 通过同构 α，U_h^DJ(g,A,τ) 上的模范畴与Etingof-Kazhdan量子化的模范畴之间存在辫子张量等价。
• 证明通过使用Etingof-Kazhdan方法避免了上同调消去假设，使其在普遍包络代数的 H^1 或 H^2 不消去时依然适用。