Using a $q$-shuffle algebra to describe the basic module $V({\Lambda }_0)$ for the quantized enveloping algebra $U_q({\widehat{\mathfrak{sl}}}_2)$

Abstract

We consider the quantized enveloping algebra $U_q({\widehat{\mathfrak{sl}}}_2)$ and its basic module $V({\Lambda }_0)$. This module is infinite-dimensional, irreducible, integrable, and highest-weight. We describe $V({\Lambda }_0)$ using a $q$-shuffle algebra in the following way. Start with the free associative algebra $\mathbb{V}$ on two generators $x,y$. The standard basis for $\mathbb{V}$ consists of the words in $x,y$. In 1995 M. Rosso introduced an associative algebra structure on $\mathbb{V}$, called a $q$-shuffle algebra. For $u,v\in \{x,y\}$ their $q$-shuffle product is $u\star v=uv+q^{(u,v)}vu$, where $(u,v)=2$ (resp. $(u,v)=-2$) if $u=v$ (resp. $u\ne v$). Let $\mathbb{U}$ denote the subalgebra of the $q$-shuffle algebra $\mathbb{V}$ that is generated by $x,y$. Rosso showed that the algebra $\mathbb{U}$ is isomorphic to the positive part of $U_q({\widehat{\mathfrak{sl}}}_2)$. In our first main result, we turn $\mathbb{U}$ into a $U_q({\widehat{\mathfrak{sl}}}_2)$-module. Let $\mathbf{U}$ denote the $U_q({\widehat{\mathfrak{sl}}}_2)$-submodule of $\mathbb{U}$ generated by the empty word. In our second main result, we show that the $U_q({\widehat{\mathfrak{sl}}}_2)$-modules $\mathbf{U}$ and $V({\Lambda }_0)$ are isomorphic. Let $\mathbf{V}$ denote the subspace of $\mathbb{V}$ spanned by the words that do not begin with $y$ or $xx$. In our third main result, we show that $\mathbf{U}=\mathbb{U}\cap \mathbf{V}$.

35 pages

References in corpus (7)

• The alternating central extension of the $q$-Onsager algebra
• The alternating presentation of $U_q(\widehat{g{l}_2})$ from Freidel-Maillet algebras
• The $q$-Onsager algebra and its alternating central extension
• A compact presentation for the alternating central extension of the positive part of $U_q({\widehat{\mathfrak{sl}}}_2)$
• Using Catalan words and a $q$-shuffle algebra to describe the Beck PBW basis for the positive part of $U_q({\widehat{\mathfrak{sl}}}_2)$
• The algebra $U_q^{+}$ and its alternating central extension ${\mathcal{U}}_q^{+}$
• The compact presentation for the alternating central extension of the $q$-Onsager algebra