[論文レビュー] 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$ の中心拡大 $τ^+_q$ を、交互に現れる生成子を用いて導入する。$τ^+_q$ から $U^+_q$ への全射な代数準同型を構成し、同型 $τ^+_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$ の中心拡大 $\mathcal{U}^+_q$ を、$U_q(\widehat{\mathfrak{sl}}_2)$ の交互に現れる要素を用いて構成すること。
• 特に、$q$-Onsager代数 $\mathcal{O}_q$ とその現在代数 $\mathcal{A}_q$ の間の曖昧な関係を踏まえて、$\mathcal{U}^+_q$ と $U^+_q$ の構造的関係を明確にすること。
• 交互に現れる生成子を用いて、$\mathcal{U}^+_q$ の PBW 基底を提供することにより、拡張された代数の整列された基底を保証すること。
• 明示的な同型 $\mathcal{U}^+_q \to U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$ を確立し、$\mathcal{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$ を定義し、$U^+_q$ の交互に現れる要素に対応させる。関係式は $q$-Serre および $q$-シャッフル代数の恒等式から導出する。
• 各生成子 $\mathcal{W}_{-k}$ などがある対応する交互に現れる要素 $W_{-k}$ などに写される全射代数準同型 $\mathcal{U}^+_q \to U^+_q$ を構成する。
• 生成関数 $\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{W}_{-n} \mapsto \sum_{k=0}^n W_{k-n} \otimes z_k$ などを用いて、同型 $\mathcal{U}^+_q \cong U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$ を確立する。

実験結果

リサーチクエスチョン

• RQ1 $q$-シャッフル代数の実現から自然に生じる交互に現れる要素を用いて、$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$ の構造にどのような意味を持つのか。

主な発見

• 代数 $\mathcal{U}^+_q$ は、$U^+_q$ の交互に現れる要素に対応する生成子と関係式によって定義され、生成子は $U^+_q$ の交互に現れる要素と一対一対応する。
• $\mathcal{U}^+_q$ から $U^+_q$ への全射代数準同型が存在し、各交互に現れる生成子が $U^+_q$ の対応する要素に写されるが、この写像は単射ではない。
• $\mathcal{U}^+_q$ のすべての生成子と可換であることが示されたため、各 $n \in \mathbb{N}$ に対して $Z^\vee_n$ は $\mathcal{U}^+_q$ の中心的要素である。
• 明示的な公式 $\mathcal{W}_{-n} \mapsto \sum_{k=0}^n W_{k-n} \otimes z_k$ などを用いて、同型 $\mathcal{U}^+_q \cong U^+_q \otimes \mathbb{F}[z_1,z_2,\ldots]$ が構成された。
• 交互に現れる生成子 $\{\mathcal{W}_{-k}, \widetilde{\mathcal{G}}_{k+1}, \mathcal{W}_{k+1}\}$ は $\mathcal{U}^+_q$ の PBW 基底をなしており、整列された基底構造が確認された。
• 交換関係から導かれる還元規則により、非標準的モノミアルの体系的書き換えが可能であり、代数的構造の整合性と有用性が確認された。