[论文解读] The equitable presentation for the quantum group $U_q(g)$ associated with a symmetrizable Kac-Moody algebra $g$

Paul Terwilliger|ArXiv.org|Jul 22, 2005

Algebraic structures and combinatorial models参考文献 18被引用 11

一句话总结

本文为与可对称化 Kac-Moody 代数 $\mathfrak{g}$ 相关的量子群 $U_q(\mathfrak{g})$ 提供了一种公平的表示，将 $U_q(\mathfrak{sl}_2)$ 的公平表示推广至高秩量子群。该表示使用生成元 $X_i, X_i^{-1}, Y_i, Z_i$，其关系对称且涉及 $q$-换位子，霍普夫代数结构以这些生成元明确描述，揭示了与库恩温德尔的扭曲原点元素相关的自然准扭变原点结构。

ABSTRACT

We consider the quantum group $U_q(g)$ associated with a symmetrizable Kac-Moody algebra $g$. We display a presentation for $U_q(g)$ that we find attractive; we call this the equitable presentation. For $g=sl_2$ the equitable presentation has generators $X,X^{-1},Y,Z$ and relations $X X^{-1} =1$, $X^{-1} X=1$, $\frac{qXY-q^{-1}YX}{q-q^{-1}}=1$, $\frac{qYZ-q^{-1}ZY}{q-q^{-1}}=1$, $\frac{qZX-q^{-1}XZ}{q-q^{-1}}=1$.

研究动机与目标

• 将 $U_q(\mathfrak{sl}_2)$ 的公平表示推广至任意可对称化 Kac-Moody 代数 $\mathfrak{g}$ 的量子群 $U_q(\mathfrak{g})$。
• 提供一种生成元 $X_i, Y_i, Z_i$ 在角色上更对称、更公平的表示，相较于标准的 Chevalley 生成元。
• 以公平生成元明确描述霍普夫代数结构（共乘法、单位元、反积）。
• 通过准扭变原点性的概念，将公平生成元与 Koornwinder 的扭曲原点元素联系起来。

提出的方法

• 为 Kac-Moody 代数的索引集中的每个指标 $i$，引入使用生成元 $X_i, X_i^{-1}, Y_i, Z_i$ 的 $U_q(\mathfrak{g})$ 新表示。
• 将关系定义为 $q$-换位子关系：$\frac{qXY - q^{-1}YX}{q - q^{-1}} = 1$，并类似地定义 $YZ$ 和 $ZX$ 的关系，推广至 $i,j$-索引对。
• 通过将生成元映射至 Chevalley 生成元，建立该新表示与标准 $U_q(\mathfrak{g})$ 之间的同构。
• 以公平生成元显式表达霍普夫代数结构（共乘法、单位元、反积），表明 $\Delta(X_i) = X_i \otimes X_i$ 且 $\Delta(Y_i) = (Y_i - 1) \otimes X_i^{-1} + 1 \otimes Y_i$。
• 定义准扭变原点性的概念：$\Delta(u) = 1 \otimes u + u \otimes S(g)$，并证明 $Y_i - 1$ 和 $Z_i - 1$ 关于 $X_i$ 是准扭变原点的。
• 利用同构关系，将公平生成元与 Koornwinder 的扭曲原点元素联系起来，表明该结构推广了 $\mathfrak{sl}_2$ 情形下的已知结果。

实验结果

研究问题

• RQ1 如何为可对称化 Kac-Moody 代数 $\mathfrak{g}$ 的量子群 $U_q(\mathfrak{g})$ 提供一种生成元更对称、更公平的表示？
• RQ2 当以公平生成元表达时，$U_q(\mathfrak{g})$ 的霍普夫代数结构（共乘法、单位元、反积）是什么？
• RQ3 在量子群的语境下，公平生成元如何与 Koornwinder 的扭曲原点元素相关联？
• RQ4 能否将扭曲原点性的概念推广，以容纳公平表示中所见的结构？

主要发现

• 本文建立了一种新的 $U_q(\mathfrak{g})$ 表示，使用通过 $q$-换位子关系对称关联的生成元 $X_i, X_i^{-1}, Y_i, Z_i$，推广了 $\mathfrak{sl}_2$ 的情形。
• 在公平表示中，共乘法满足 $\Delta(X_i) = X_i \otimes X_i$，$\Delta(Y_i) = (Y_i - 1) \otimes X_i^{-1} + 1 \otimes Y_i$，且 $\Delta(Z_i) = (Z_i - 1) \otimes X_i^{-1} + 1 \otimes Z_i$。
• 单位元满足 $\varepsilon(X_i) = \varepsilon(Y_i) = \varepsilon(Z_i) = 1$，反积由 $S(X_i) = X_i^{-1}$，$S(Y_i) = 1 + X_i - Y_i X_i$，$S(Z_i) = 1 + X_i - Z_i X_i$ 给出。
• $Y_i - 1$ 和 $Z_i - 1$ 关于 $X_i$ 是准扭变原点的，即 $\Delta(Y_i - 1) = (Y_i - 1) \otimes X_i^{-1} + 1 \otimes (Y_i - 1)$，且对 $Z_i - 1$ 同理成立。
• 公平表示推广了已知的 $\mathfrak{sl}_2$ 情形，并为高秩量子群提供了统一的框架，使生成元角色更加对称。
• 公平表示与标准 $U_q(\mathfrak{g})$ 之间的同构被显式构造，表明 Chevalley 生成元可作为公平生成元的有理函数被恢复。