[论文解读] Quantum correspondences of affine Lie superalgebras

Ying Xu, R. B. Zhang|arXiv (Cornell University)|Jul 5, 2016

Algebraic structures and combinatorial models参考文献 19被引用 8

一句话总结

本文通过使用 Drinfeld twist $\mathcal{J}$ 对 Hopf 超代数结构进行扭变，建立了诸如 $\mathfrak{osp}(2m+1|2n)$ 与 $\mathfrak{osp}(2n+1|2m)$ 等量子仿射超代数对之间的显式同构。关键结果是这些量子超代数的表示类别在有 braided strict tensor category 意义下等价，推广了量子群中已知的 $q \leftrightarrow -q$ 对偶性。

ABSTRACT

There is a surprising isomorphism between the quantised universal enveloping algebras of osp(1|2n) and so(2n+1). This same isomorphism emerged in recent work of Mikhaylov and Witten in the context of string theory as a T-duality composed with an S-duality. We construct similar Hopf superalgebra isomorphisms for families of pairs of quantum affine superalgebras. An immediate consequence is that the representation categories of the quantum affine superalgebras in each pair are equivalent as strict tensor categories.

研究动机与目标

• 将已知的 $\mathfrak{osp}(1|2n)$ 与 $\mathfrak{so}(2n+1)$ 量子群之间的同构关系推广至仿射李超代数。
• 构造量子仿射超代数对偶对之间的显式 Hopf 超代数同构。
• 建立其表示类别在 braided strict tensor category 意义下的等价性。
• 通过系统构造量子对应关系，统一数学物理与表示理论中的量子对偶现象。

提出的方法

• 构造 smash 乘积 $\mathfrak{U}_q(\mathfrak{g}, \Pi) = \mathrm{U}_q(\mathfrak{g}, \Pi) \sharp \mathbb{C}G$，其中 $G$ 是通过根系对称性作用的 $\mathbb{Z}_2$-群。
• 通过与单个根相关的元素 $\sigma_i$ 定义 Drinfeld 扭变 $\mathcal{J}$，其修改了共乘法与反极。
• 应用该扭变，得到新的 Hopf 超代数结构 $({\mathfrak{U}}_q({\mathfrak{g}},\Pi), \tilde{\Delta}^{\mathcal{J}}, \epsilon, \tilde{S}^{\mathcal{J}})$，其共结构被修改。
• 证明扭变后的 Hopf 超代数同构于 $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$（对应对偶代数 $\mathfrak{g}'$），并通过显式代数同构实现。
• 利用扭变将 $\mathfrak{U}_q(\mathfrak{g}, \Pi)$ 与 $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$ 的表示类别关联为 braided tensor category。
• 借助 Yetter-Drinfeld 模与 Nichols 代数的量子双代数框架，从范畴论角度解释该对偶性。

实验结果

研究问题

• RQ1 能否将有限维量子群中观察到的 $q \leftrightarrow -q$ 对偶性推广至量子仿射超代数？
• RQ2 量子仿射超代数类型 $\mathfrak{osp}(2m+1|2n)$ 与 $\mathfrak{osp}(2n+1|2m)$ 之间的对偶性背后的精确代数结构是什么？
• RQ3 如何将对偶量子仿射超代数的表示类别关联为 braided tensor category？
• RQ4 Drinfeld 扭变 $\mathcal{J}$ 在实现不保持 $\mathbb{Z}_2$-分次的 Hopf 超代数同构中起到何种作用？
• RQ5 是否存在一个范畴框架（如 Nichols 代数的量子双代数）能够统一这些对偶性？

主要发现

• 为表 1 列出的对偶对 $({\mathfrak{g}}, {\mathfrak{g}}')$，构造了 $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$ 与 $\mathfrak{U}_q(\mathfrak{g}, \Pi)$ 之间的显式结合代数同构。
• 该同构通过 Drinfeld 扭变 $\mathcal{J}$ 实现，其在保持底层代数结构的同时，修改了共乘法与反极。
• 扭变后的 Hopf 超代数 $({\mathfrak{U}}_q({\mathfrak{g}},\Pi), \tilde{\Delta}^{\mathcal{J}}, \epsilon, \tilde{S}^{\mathcal{J}})$ 的共乘法满足 $\tilde{\Delta}^{\mathcal{J}}(E_i) = E_i \otimes 1 + K_i \otimes E_i$ 与 $\tilde{\Delta}^{\mathcal{J}}(F_i) = F_i \otimes K_i^{-1} + 1 \otimes F_i$，形式与标准量子群一致。
• 量子超代数 $\mathfrak{U}_q(\mathfrak{g}, \Pi)$ 与 $\mathfrak{U}_{-q}(\mathfrak{g}', \Pi')$ 的表示类别在 braided strict tensor category 意义下等价。
• 该对偶性并非超代数同构，而是通过一种图像变换（扭变）实现，其通过群作用与 Drinfeld 扭变重新定义了 Hopf 超代数结构。
• 该构造将已知的 $\mathfrak{osp}(1|2n) \cong \mathfrak{so}(2n+1)$ 量子对偶性推广至仿射情形，并涵盖如 $\mathfrak{sl}(2m+1|2n)^{(2)}$ 与 $\mathfrak{osp}(2m+2|2n)^{(2)}$ 等扭仿射类型。