[论文解读] The $q$-Onsager algebra and the positive part of $U_q({\widehat{\mathfrak{sl}}}_2)$

Paul Terwilliger|arXiv (Cornell University)|Jun 29, 2015

Algebraic structures and combinatorial models参考文献 22被引用 10

一句话总结

本文建立了量子仿射代数 $U_q(\widehat{\mathfrak{sl}}_2)$ 的正部分 $U_q^+$ 与 $q$-Onsager 代数 $\mathcal{O}_q$ 之间的深层代数联系。结果表明，$\mathcal{O}_q$ 在自然滤子下的约化代数同构于 $U_q^+$，并引入了一个新的四生成元代数 $\square_q$，其满足 $q$-Weyl 关系与 $q$-Serre 关系，该代数可分解为两个 $U_q^+$ 的张量积，且存在从 $\mathcal{O}_q$ 到 $\square_q$ 的单射同态。其核心贡献在于构建了一个统一的代数框架，将这两个重要的量子代数联系起来。

ABSTRACT

The positive part $U^+_q$ of $U_q({\widehat{\mathfrak{sl}}}_2)$ has a presentation by two generators $X,Y$ that satisfy the $q$-Serre relations. The $q$-Onsager algebra $\mathcal O_q$ has a presentation by two generators $A,B$ that satisfy the $q$-Dolan/Grady relations. We give two results that describe how $U^+_q$ and $\mathcal O_q$ are related. First, we consider the filtration of $\mathcal O_q$ whose $n$th component is spanned by the products of at most $n$ generators. We show that the associated graded algebra is isomorphic to $U^+_q$. Second, we introduce an algebra $\square_q$ and show how it is related to both $U^+_q$ and $\mathcal O_q$. The algebra $\square_q$ is defined by generators and relations. The generators are $\lbrace x_i brace_{i \in \mathbb Z_4}$ where $\mathbb Z_4$ is the cyclic group of order 4. For $i \in \mathbb Z_4$ the generators $x_i, x_{i+1}$ satisfy a $q$-Weyl relation, and $x_i,x_{i+2}$ satisfy the $q$-Serre relations. We show that $\square_q$ is related to $U^+_q$ in the following way. Let $ \square^{ m even}_q$ (resp. $ \square^{ m odd}_q$) denote the subalgebra of $ \square_q$ generated by $x_0, x_2$ (resp. $x_1, x_3$). We show that (i) there exists an algebra isomorphism $U^+_q o \square^{ m even}_q$ that sends $X\mapsto x_0$ and $Y\mapsto x_2$; (ii) there exists an algebra isomorphism $U^+_q o \square^{ m odd}_q$ that sends $X\mapsto x_1$ and $Y\mapsto x_3$; (iii) the multiplication map $\square^{ m even}_q \otimes \square^{ m odd}_q o \square_q$, $u \otimes v \mapsto uv$ is an isomorphism of vector spaces. We show that $\square_q$ is related to $\mathcal O_q$ in the following way. For nonzero scalars $a,b$ there exists an injective algebra homomorphism $ \mathcal O_q o \square_q$ that sends $A \mapsto a x_0+ a^{-1} x_1$ and $B \mapsto b x_2+ b^{-1} x_3$.

研究动机与目标

• 澄清 $U_q(\widehat{\mathfrak{sl}}_2)$ 的正部分 $U_q^+$ 与 $\mathcal{O}_q$-Onsager 代数之间的代数关系。
• 通过构造精确的代数同构与嵌入，解决 $q$-Serre 关系与 $q$-Dolan/Grady 关系之间的表面相似性问题。
• 引入一个新的代数 $\square_q$，通过四生成元的表示方式，统一 $U_q^+$ 与 $\mathcal{O}_q$ 的结构特征。
• 提供一个理解三对角代数与量子群在表示理论与可积系统中相互作用的框架。

提出的方法

• 通过在 $\mathcal{O}_q$ 上定义基于生成元 $A,B$ 的字长的滤子，并计算其对应的约化代数 $\overline{\mathcal{O}_q}$。
• 构造一个代数 $\square_q$，其生成元 $\{x_i\}_{i \in \mathbb{Z}_4}$ 满足相邻指标的 $q$-Weyl 关系与相对指标的 $q$-Serre 关系。
• 证明偶数与奇数子代数 $\square_q^{\text{even}}$ 与 $\square_q^{\text{odd}}$ 均通过显式映射 $X \mapsto x_0, Y \mapsto x_2$ 和 $X \mapsto x_1, Y \mapsto x_3$ 同构于 $U_q^+$。
• 证明乘法映射 $\square_q^{\text{even}} \otimes \square_q^{\text{odd}} \to \square_q$ 是向量空间同构，从而推出张量积分解。
• 构造一个从 $\mathcal{O}_q$ 到 $\square_q$ 的单射代数同态，映射为 $A \mapsto a x_0 + a^{-1} x_1$，$B \mapsto b x_2 + b^{-1} x_3$，其中 $a,b$ 为非零标量。
• 利用 $U_q(\widehat{\mathfrak{sl}}_2)$ 的已知自同构，验证同态 $\mathcal{O}_q \to \square_q$ 的单射性，并将 $\square_q$ 与量子群联系起来。

实验结果

研究问题

• RQ1 是否存在 $\mathcal{O}_q$ 上的自然滤子，使得其对应的约化代数同构于 $U_q^+$？
• RQ2 能否构造一个新代数，使其同时实现 $U_q^+$ 作为子代数，并嵌入 $\mathcal{O}_q$？
• RQ3 当扩展到循环四生成元系统时，$q$-Weyl 与 $q$-Serre 关系如何相互作用？
• RQ4 从 $\square_q$ 的偶数与奇数子代数出发的乘法映射是否诱导出到 $\square_q$ 的向量空间同构？
• RQ5 是否存在一个典范的嵌入 $\mathcal{O}_q \to \square_q$，使其保持 $q$-Dolan/Grady 关系？

主要发现

• 在 $A,B$ 的字长滤子下，$\mathcal{O}_q$ 的约化代数同构于 $U_q^+$，从而在两者之间建立了直接的代数联系。
• 代数 $\square_q$ 由四个指标为 $\mathbb{Z}_4$ 的元素 $x_0,x_1,x_2,x_3$ 生成，满足相邻对的 $q$-Weyl 关系与对角对的 $q$-Serre 关系。
• 由 $x_0,x_2$ 生成的子代数 $\square_q^{\text{even}}$ 通过映射 $X \mapsto x_0$，$Y \mapsto x_2$ 同构于 $U_q^+$，类似地，$\square_q^{\text{odd}}$ 通过 $X \mapsto x_1$，$Y \mapsto x_3$ 同构于 $U_q^+$。
• 乘法映射 $\square_q^{\text{even}} \otimes \square_q^{\text{odd}} \to \square_q$ 是向量空间同构，意味着 $\square_q$ 作为向量空间同构于两个 $U_q^+$ 的张量积。
• 存在一个从 $\mathcal{O}_q$ 到 $\square_q$ 的单射代数同态，映射为 $A \mapsto a x_0 + a^{-1} x_1$，$B \mapsto b x_2 + b^{-1} x_3$，其中 $a,b$ 为任意非零标量，从而将 $\mathcal{O}_q$ 嵌入 $\square_q$。
• 该构造在任意满足 $q \neq 0$ 且 $q^2 \neq 1$ 的域上均成立，且无需假设 $q$ 为单位根或域的特征为零，即可证明 $\mathcal{O}_q \to \square_q$ 同态的单射性。