[论文解读] The alternating central extension for the positive part of $U_q(\widehat{\mathfrak{sl}}_2)$

Paul Terwilliger|arXiv (Cornell University)|Jul 23, 2019

Algebraic structures and combinatorial models参考文献 20被引用 9

一句话总结

本文通过交替生成元引入了量子群 $U_q(\widehat{\mathfrak{sl}}_2)$ 的正部分 $U^+_q$ 的中心扩张 $\tau^+_q$。它构造了一个从 $\tau^+_q$ 到 $U^+_q$ 的满同态，随后建立了同构 $\tau^+_q \cong U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$，证明了交替生成元构成一个 PBW 基。关键贡献在于以中心元素形式实现了该代数的新实现，将其与 $q$-Onsager 代数及可积模型联系起来。

ABSTRACT

This paper is about the positive part $U^+_q$ of the quantum group $U_q(\widehat{\mathfrak{sl}}_2)$. The algebra $U^+_q$ has a presentation with two generators $A,B$ that satisfy the cubic $q$-Serre relations. Recently we introduced a type of element in $U^+_q$, said to be alternating. Each alternating element commutes with exactly one of $A$, $B$, $qBA-q^{-1}AB$, $qAB-q^{-1}BA$; this gives four types of alternating elements. There are infinitely many alternating elements of each type, and these mutually commute. In the present paper we use the alternating elements to obtain a central extension $\mathcal U^+_q$ of $U^+_q$. We define $\mathcal U^+_q$ by generators and relations. These generators, said to be alternating, are in bijection with the alternating elements of $U^+_q$. We display a surjective algebra homomorphism $\mathcal U^+_q o U^+_q$ that sends each alternating generator of $\mathcal U^+_q$ to the corresponding alternating element in $U^+_q$. We adjust this homomorphism to obtain an algebra isomorphism $\mathcal U_q^+ o U^+_q \otimes \mathbb F \lbrack z_1, z_2,\ldots brack$ where $\mathbb F$ is the ground field and $\lbrace z_n brace_{n=1}^\infty$ are mutually commuting indeterminates. We show that the alternating generators form a PBW basis for $\mathcal U_q^+$. We discuss how $\mathcal U^+_q$ is related to the work of Baseilhac, Koizumi, Shigechi concerning the $q$-Onsager algebra and integrable lattice models.

研究动机与目标

• 通过交替元素构造 $U_q(\widehat{\mathfrak{sl}}_2)^+$ 的中心扩张 $\mathcal{U}^+_q$。
• 澄清 $\mathcal{U}^+_q$ 与 $U^+_q$ 之间的结构关系，特别是 $q$-Onsager 代数 $\mathcal{O}_q$ 与其当前代数 $\mathcal{A}_q$ 之间不明确的联系。
• 利用交替生成元为 $\mathcal{U}^+_q$ 提供一个 PBW 基，确保扩展代数的有序基结构。
• 通过显式公式建立同构 $\mathcal{U}^+_q \to U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$，揭示 $\mathcal{U}^+_q$ 的中心结构。

提出的方法

• 通过对应于 $U^+_q$ 中交替元素的生成元 $\{\mathcal{W}_{-k}, \mathcal{W}_{k+1}, \mathcal{G}_{k+1}, \widetilde{\mathcal{G}}_{k+1}\}_{k \in \mathbb{N}}$ 定义 $\mathcal{U}^+_q$，其关系源自 $q$-Serre 和 $q$-shuffle 代数恒等式。
• 构造一个从 $\mathcal{U}^+_q$ 到 $U^+_q$ 的满同态代数同态，将每个生成元 $\mathcal{W}_{-k}$ 等映射到其在 $U^+_q$ 中对应的交替元素 $W_{-k}$ 等。
• 引入生成函数 $\mathcal{W}^+(t), \mathcal{W}^-(t), \mathcal{G}(t), \widetilde{\mathcal{G}}(t)$ 以编码关系，并定义中心元素 $Z^\vee(t)$。
• 利用由交换关系导出的约化规则，证明 $Z^\vee_n$ 与所有生成元可交换，从而确立其在 $\mathcal{U}^+_q$ 中的中心性。
• 通过同构关系证明交替生成元构成 $\mathcal{U}^+_q$ 的 PBW 基，即证明其线性无关性与张量生成性。
• 通过显式公式建立同构 $\mathcal{U}^+_q \cong U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$，其中 $\mathcal{W}_{-n} \mapsto \sum_{k=0}^n W_{k-n} \otimes z_k$，以及其他生成元的类似公式。

实验结果

研究问题

• RQ1 如何利用自然源于 $q$-shuffle 代数实现的交替元素，构造 $U^+_q$ 的中心扩张？
• RQ2 扩展代数 $\mathcal{U}^+_q$ 与原始代数 $U^+_q$ 之间的精确代数关系是什么，特别是在生成元、关系和结构方面？
• RQ3 $\mathcal{U}^+_q$ 是否允许一个 PBW 基？如果是，该基是否由交替生成元生成？
• RQ4 是否可以显式识别 $\mathcal{U}^+_q$ 中的中心元素，并证明其与所有生成元可交换？
• RQ5 是否存在 $\mathcal{U}^+_q$ 与 $U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$ 之间的典范同构？这对其结构意味着什么？

主要发现

• 代数 $\mathcal{U}^+_q$ 由对应于 $U^+_q$ 的交替元素的生成元与关系定义，其生成元与 $U^+_q$ 中的交替元素一一对应。
• 存在一个从 $\mathcal{U}^+_q$ 到 $U^+_q$ 的满同态代数同态，将每个交替生成元映射到其在 $U^+_q$ 中的对应元素，但该映射不是单射。
• $\mathcal{U}^+_q$ 的中心元素 $Z^\vee_n$ 被证明与所有生成元可交换，从而证明对每个 $n \in \mathbb{N}$，$Z^\vee_n$ 是 $\mathcal{U}^+_q$ 中的中心元素。
• 显式构造了同构 $\mathcal{U}^+_q \cong U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$，其中 $\mathcal{W}_{-n} \mapsto \sum_{k=0}^n W_{k-n} \otimes z_k$，其他生成元亦有类似公式。
• 交替生成元 $\{\mathcal{W}_{-k}, \widetilde{\mathcal{G}}_{k+1}, \mathcal{W}_{k+1}\}$ 构成 $\mathcal{U}^+_q$ 的 PBW 基，确认了其有序基结构。
• 由交换关系导出的约化规则可系统地重写非标准单项式，从而确认了代数结构的一致性与实用性。