[论文解读] The algebra $U^+_q$ and its alternating central extension $\mathcal U^+_q$

Paul Terwilliger|arXiv (Cornell University)|Jun 26, 2021

Algebraic structures and combinatorial models参考文献 12被引用 4

一句话总结

本文建立了一个生成函数公式，将量子仿射代数 $U_q(\widehat{\mathfrak{sl}}_2)$ 的正部分 $U^+_q$ 的 Damiani PBW 基元素用其中心扩张 $\mathcal{U}^+_q$ 的交错生成元表示。关键贡献是通过生成函数，建立了经典 PBW 基与新交错生成元之间的闭式关系，阐明了扩展代数的结构，并实现了在新框架下对基元素的显式计算。

ABSTRACT

Let $U^+_q$ denote the positive part of the quantized enveloping algebra $U_q(\widehat{\mathfrak{sl}}_2)$. The algebra $U^+_q$ has a presentation involving two generators $W_0$, $W_1$ and two relations, called the $q$-Serre relations. In 1993 I. Damiani obtained a PBW basis for $U^+_q$, consisting of some elements $\lbrace E_{n δ+ α_0} brace_{n=0}^\infty$, $\lbrace E_{n δ+ α_1} brace_{n=0}^\infty$, $\lbrace E_{n δ} brace_{n=1}^\infty$. In 2019 we introduced the alternating central extension $\mathcal U^+_q$ of $U^+_q$. We defined $\mathcal U^+_q$ by generators and relations. The generators, said to be alternating, are denoted $\lbrace \mathcal W_{-k} brace_{k=0}^\infty$, $\lbrace \mathcal W_{k+1} brace_{k=0}^\infty$, $ \lbrace \mathcal G_{k+1} brace_{k=0}^\infty$, $\lbrace \mathcal { ilde G}_{k+1} brace_{k=0}^\infty$. Let $\langle \mathcal W_0, \mathcal W_1 angle$ denote the subalgebra of $\mathcal U^+_q$ generated by $\mathcal W_0$, $\mathcal W_1$. It is known that there exists an algebra isomorphism $U^+_q o \langle \mathcal W_0, \mathcal W_1 angle$ that sends $W_0 \mapsto \mathcal W_0$ and $W_1 \mapsto \mathcal W_1$. Via this isomorphism we identify $U^+_q$ with $\langle \mathcal W_0, \mathcal W_1 angle$. In our main result, we express the Damiani PBW basis elements in terms of the alternating generators. We give the answer in terms of generating functions.

研究动机与目标

• 将 $U^+_q$ 的 Damiani PBW 基用其中心扩张 $\mathcal{U}^+_q$ 的交错生成元表示。
• 建立一个生成函数框架，将 $\mathcal{U}^+_q$ 中的经典 PBW 基元素与新交错生成元联系起来。
• 通过同构嵌入经典 $U^+_q$ 并扩展其基，阐明 $\mathcal{U}^+_q$ 的代数结构。

提出的方法

• 本文利用同构 $\varphi: \mathcal{U}^+_q \to U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$ 将经典 PBW 基元素提升到扩展代数中。
• 定义生成函数 $E^-(t) = \sum_{n=0}^\infty E_{n\delta + \alpha_0} t^n$，$E^+(t) = \sum_{n=0}^\infty E_{n\delta + \alpha_1} t^n$，以及 $E(t) = \sum_{n=0}^\infty E_{n\delta} t^n$，以编码 PBW 基元素。
• 主要结果通过涉及交错生成元 $\mathcal{W}_k$，$\mathcal{G}_k$，和 $\widetilde{\mathcal{G}}_k$ 的生成函数恒等式推导得出，特别是通过方程 (77) 至 (81) 中的关系。
• 推导依赖于交错生成元之间已知的对易关系，如引理 14.2 和推论 12.5 所形式化。
• 使用 $\mathcal{U}^+_q$ 的 PBW 基的约化规则，对生成元的乘积进行重排，确保与生成函数表达式的一致性。
• 通过同构 $\varphi$ 利用了中心扩张 $\mathcal{U}^+_q$ 的结构，该同构将中心映射到 $1 \otimes \mathbb{F}[z_1,z_2,\ldots]$。

实验结果

研究问题

• RQ1 如何将 $U^+_q$ 的 Damiani PBW 基用其中心扩张 $\mathcal{U}^+_q$ 的交错生成元表示？
• RQ2 哪些生成函数关系控制了经典 PBW 基元素与新交错生成元之间的对应关系？
• RQ3 如何通过 $\mathcal{U}^+_q$ 中的对易关系重构经典 PBW 基？
• RQ4 中心扩张 $\mathcal{U}^+_q$ 在统一经典与扩展代数结构中起什么作用？
• RQ5 生成函数 $E^-(t)$，$E^+(t)$ 和 $E(t)$ 能否仅用交错生成元及其关系重写？

主要发现

• 本文推导出经典 PBW 基元素在 $U^+_q$ 中的生成函数表达式，用 $\mathcal{U}^+_q$ 的交错生成元表示，建立了直接的代数对应关系。
• 证明了关键恒等式 $\bigl{(}\widetilde{\mathcal{G}}(t)\bigr{)}^{-1}\mathcal{W}_0 = q^2\mathcal{W}_0\bigl{(}\widetilde{\mathcal{G}}(t)\bigr{)}^{-1} - q(q-q^{-1})\mathcal{W}^-(q^{-2}t)\bigl{(}\widetilde{\mathcal{G}}(q^{-2}t)\bigr{)}^{-1}\bigl{(}\widetilde{\mathcal{G}}(t)\bigr{)}^{-1}$，该式将 $\mathcal{W}_0$ 与 $\widetilde{\mathcal{G}}$ 生成函数联系起来。
• 类似地，建立了基本对易关系 $\bigl{(}\widetilde{\mathcal{G}}(t)\bigr{)}^{-1}\mathcal{W}_1 = q^{-2}\mathcal{W}_1\bigl{(}\widetilde{\mathcal{G}}(t)\bigr{)}^{-1} + q^{-1}(q-q^{-1})\mathcal{W}^+(q^2t)\bigl{(}\widetilde{\mathcal{G}}(q^2t)\bigr{)}^{-1}\bigl{(}\widetilde{\mathcal{G}}(t)\bigr{)}^{-1}$。
• 证明了生成函数 $E^-(t)$，$E^+(t)$ 和 $E(t)$ 可通过推导出的函数方程用交错生成元表示。
• 引理 14.3 中的约化规则允许系统性地重排交错生成元的乘积，确保与 $\mathcal{U}^+_q$ 中 PBW 基结构的一致性。
• 同构 $\varphi: \mathcal{U}^+_q \to U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$ 实现了经典基元素到扩展代数的转换，其中 $\mathcal{W}_0$ 和 $\mathcal{W}_1$ 分别映射为 $W_0 \otimes 1$ 和 $W_1 \otimes 1$。