[论文解读] On Hopf algebraic structures of quantum toroidal algebras

Naihuan Jing, Honglian Zhang|arXiv (Cornell University)|Apr 19, 2016

Algebraic structures and combinatorial models参考文献 15被引用 3

一句话总结

本文通过使用 Drinfeld 生成元，为量子环面代数 $U_q(\widehat{sl}_{n+1},\text{tor})$ 引入了一个简化的代数 $υ_0$，证明了从 $\mathcal{U}_0$ 到完整量子环面代数的满同态，并建立了与 Drinfeld-Jimbo 结构相容的有限共乘法公式。关键结果是：当 $n=1,2$ 时，$\mathcal{U}_0$ 是一个霍普夫代数，且同构于一个 Drinfeld 双代数，对一般 $n$ 提出了猜想公式。该构造将霍普夫代数结构推广至量子环面代数，解决了量子群理论中长期存在的问题。

ABSTRACT

We define an algebra $\mathcal{U}_0$ using a simplified set of generators for the quantum toroidal algebra $U_q(sl_{n+1}, tor)$ and show that there exists an epimorphism from $\mathcal{U}_0$ to $U_q(sl_{n+1}, tor)$. We derive a closed formula of the comultiplication on the generators of $\mathcal{U}_0$ that extends that of the quantum affine algebra $U_q(\hat{sl}_{n+1})$. As a consequence, we show that $\mathcal{U}_0$ is a Hopf algebra for $n=1, 2$ and give conjectural formulas in the general case. We further show that $\mathcal{U}_0$ is isomorphic to a double algebra.

研究动机与目标

• 为解决长期存在的开放问题：即为此前仅允许无限共乘法的量子环面代数构造有限霍普夫代数结构。
• 通过 $U_q(\widehat{sl}_{n+1},\text{tor})$ 的最小 Drinfeld 生成元集，定义一个简化的代数 $\mathcal{U}_0$。
• 推导出 $\mathcal{U}_0$ 上的闭式共乘法，使其扩展量子仿射代数的 Drinfeld-Jimbo 共乘法。
• 证明当 $n=1$ 和 $n=2$ 时，$\mathcal{U}_0$ 是一个霍普夫代数，并对任意 $n$ 提出一个通用的共乘法公式。
• 通过基于共乘法的斜对偶配对，证明 $\mathcal{U}_0$ 同构于一个 Drinfeld 双代数 $\mathcal{D}(\mathcal{B}, \mathcal{B}')$。

提出的方法

• 将 $\mathcal{U}_0$ 定义为由 $U_q(\widehat{sl}_{n+1},\text{tor})$ 的简化 Drinfeld 生成元集生成的商代数。
• 通过将 Drinfeld-Jimbo 共乘法从量子仿射代数 $U_q(\widehat{sl}_{n+1})$ 延拓，构造 $\mathcal{U}_0$ 生成元上的共乘法 $\Delta$。
• 通过涉及 $q$-特征标和配对关系的显式计算，验证当 $n=1$ 和 $n=2$ 时，共乘法满足共结合性并兼容代数关系。
• 利用 Drinfeld 双代数构造，证明 $\mathcal{U}_0 \cong \mathcal{D}(\mathcal{B}, \mathcal{B}')$，其中 $\mathcal{B}$ 和 $\mathcal{B}'$ 是具有斜对偶配对的子代数。
• 对生成元中特定字 $X$ 的 $\Delta^{(2)}(X)$ 进行详细计算，验证 Serre 型关系在共乘法下保持不变。
• 提出任意 $n$ 情况下共乘法的一般公式，并指出其可能与有根树相关。

实验结果

研究问题

• RQ1 能否使用 Drinfeld 生成元为量子环面代数构造一个有限且明确定义的共乘法？
• RQ2 简化代数 $\mathcal{U}_0$ 在 $n=1$ 和 $n=2$ 时是否具有霍普夫代数结构？
• RQ3 $\mathcal{U}_0$ 是否同构于一个 Drinfeld 双代数？若是，其底层配对结构为何？
• RQ4 共乘法公式能否推广至任意 $n$？其一般情形的代数结构基础是什么？
• RQ5 $\mathcal{U}_0$ 上的共乘法如何与 $q$-特征标理论及通用 $R$-矩阵相关联？

主要发现

• 存在一个从简化代数 $\mathcal{U}_0$ 到完整量子环面代数 $U_q(\widehat{sl}_{n+1},\text{tor})$ 的满同态。
• 当 $n=1$ 和 $n=2$ 时，代数 $\mathcal{U}_0$ 是一个具有明确定义共乘法的霍普夫代数，该共乘法扩展了 Drinfeld-Jimbo 结构。
• $\mathcal{U}_0$ 上的共乘法被显式计算，并证明其保持代数关系，包括高阶 Serre 关系。
• $\mathcal{U}_0$ 通过基于共乘法的斜对偶配对，同构于一个 Drinfeld 双代数 $\mathcal{D}(\mathcal{B}, \mathcal{B}')$。
• 对一般 $n$ 提出了共乘法的猜想公式，并指出其可能与有根树相关。
• 该构造意味着 $\mathcal{U}_0$ 存在通用 $R$-矩阵（作为量子双代数），推广了量子仿射代数的 $R$-矩阵结构。