[论文解读] Drinfeld second realization of the quantum affine superalgebras of $D^{(1)}(2,1;x)$ via the Weyl groupoid

I. Heckenberger, Fabian Spill+2 more|ArXiv.org|May 8, 2007

Algebraic structures and combinatorial models参考文献 27被引用 31

一句话总结

本文通过 Weyl 群胚框架，建立了量子仿射超代数 $D^{(1)}(2,1;x)$ 的 Drinfeld 第二实现，推广了 Beck 对量子仿射代数的方法。关键结果是通过满足 Coxeter 型关系的 Lusztig 型同构，建立了 Drinfeld 第二实现与标准 Chevalley-Serre 表示之间的显式同构。

ABSTRACT

We obtain Drinfeld second realization of the quantum affine superalgebras associated with the affine Lie superalgebra $D^{(1)}(2,1;x)$. Our results are analogous to those obtained by Beck for the quantum affine algebras. Beck's analysis uses heavily the (extended) affine Weyl groups of the affine Lie algebras. In our approach the structures are based on a Weyl groupoid.

研究动机与目标

• 将 Drinfeld 的第二实现推广至类型 $D^{(1)}(2,1;x)$ 的量子仿射超代数，该类型在理论物理中具有重要意义，特别是在 AdS/CFT 对应中。
• 通过采用 Weyl 群胚结构，克服传统 Weyl 群在非单连通根系的李超代数中的局限性，使其更适用于此类结构。
• 为研究量子 $D^{(1)}(2,1;x)$ 的有限维表示和普遍 $R$-矩阵，提供一种新的代数框架。
• 将 Beck 对量子仿射代数的结果推广至超代数情形，利用 Lusztig 型同构与 Coxeter 型关系。

提出的方法

• 通过 $D^{(1)}(2,1;x)$ 的 Chevalley-Serre 生成元定义量子仿射超代数 $U'_d$，包含 $q$-变形的 Serre 关系与中心荷约束。
• 引入单个（偶与奇）反射，并构造 $U'_d$ 不同实现之间的 Lusztig 型同构，这些同构满足 Coxeter 型 braid 关系。
• 将 $D^{(1)}(2,1;x)$ 的 Weyl 群胚作为核心代数工具，取代经典情形中使用的扩展仿射 Weyl 群。
• 通过生成元 $x^{ au}_{i,k;d}$, $ar{h}_{i,r;d}$, $K_{u,d}^{rac{1}{2}}$, 以及 $ar{ ho}_{i,k;d}$ 定义 Drinfeld 第二实现 $DU'_d$，其关系由量子交换子与 $q$-整数导出。
• 通过匹配生成元与定义关系，建立 $bZ ilde{ ho}_d$-分次代数同构 $ ilde{F}_d: DU'_d o U'_d$，并将其延拓至整个量子代数。
• 通过引入群代数 $bC[K_{ ilde{ ho}_0;d}^{rac{1}{2}}, K_{ ilde{ ho}_0;d}^{-rac{1}{2}}]$ 的 smash 乘积，将同构延拓至普遍包络代数，纳入零级 Heisenberg 型生成元。

实验结果

研究问题

• RQ1 能否将量子仿射代数的 Drinfeld 第二实现推广至类型 $D^{(1)}(2,1;x)$ 的量子仿射超代数？
• RQ2 如何利用 Weyl 群胚在超代数情形下构造 Lusztig 型同构与 Coxeter 型关系？
• RQ3 是否存在 $U_q(D^{(1)}(2,1;x))$ 的 Chevalley-Serre 表示与 Drinfeld 第二实现之间的同构？
• RQ4 Weyl 群胚在分类量子仿射超代数的定义关系与生成元方面起什么作用？
• RQ5 如何利用新的 Drinfeld 第二实现研究普遍 $R$-矩阵与有限维表示？

主要发现

• 通过 Weyl 群胚构造了 $U_q(D^{(1)}(2,1;x))$ 的 Drinfeld 第二实现，将 Beck 对量子仿射代数的工作推广至超代数情形。
• 为每个单个反射（偶与奇）定义了 Lusztig 型同构，其满足 Coxeter 型 braid 关系，构成代数上的群胚作用。
• 定理 6.6 建立了 Drinfeld 第二实现 $DU'_d$ 与标准 Chevalley-Serre 表示 $U'_d$ 之间的 $bZ ilde{ ho}_d$-分次代数同构，证明了二者等价。
• 同构 $ ilde{F}_d$ 在生成元上显式定义：其将 $ ilde{h}_{i,r;d}$ 映射为 $ ho_{i,i;d}^r K_{ ilde{ ho}_d;d}^{-r/2} ar{h}_{i,r;d}$，并将 $ ilde{ ho}^{ au}_{i, au l;d}$ 映射为 $ ho_{i,i;d}^l (q - q^{-1}) K_{i,d}^{ au} K_{ ilde{ ho}_d;d}^{ au l/2} ar{ ho}_{i, au l;d}$。
• 通过 smash 乘积构造 $DU_d = DU'_d \ atural bC[K_{ ilde{ ho}_0;d}^{rac{1}{2}}, K_{ ilde{ ho}_0;d}^{-rac{1}{2}}]$，将同构延拓至整个量子代数 $U_d$，纳入零级 Heisenberg 型生成元 $K_{ ilde{ ho}_0;d}^{rac{1}{2}}$。
• 定理 6.10 确认 $ ilde{F}_d$ 延拓为代数同构 $DU_d o U_d$，并保持中心荷生成元的作用。