Some $q$-exponential formulas for finite-dimensional $\square_q$-modules (1612.02864v3)

Abstract: We consider the algebra $\square_q$ which is a mild generalization of the quantum algebra $U_q(\frak{sl}2)$. The algebra $\square_q$ is defined by generators and relations. The generators are ${x_i}{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 a cubic $q$-Serre relation. For $i\in \mathbb{Z}4$ we show that the action of $x_i$ is invertible on each nonzero finite-dimensional $\square_q$-module. We view $x_i^{-1}$ as an operator that acts on nonzero finite-dimensional $\square_q$-modules. For $i\in \mathbb{Z}_4$, define $\mathfrak{n}{i,i+1}=q(1-x_ix_{i+1})/(q-q^{-1})$. We show that the action of $\mathfrak{n}{i,i+1}$ is nilpotent on each nonzero finite-dimensional $\square_q$-module. We view the $q$-exponential ${\rm {exp}}_q(\mathfrak{n}{i,i+1})$ as an operator that acts on nonzero finite-dimensional $\square_q$-modules. In our main results, for $i,j\in \mathbb{Z}4$ we express each of of ${\rm {exp}}_q(\mathfrak{n}{i,i+1})x_j{\rm {exp}}q(\mathfrak{n}{i,i+1})^{-1}$ and ${\rm {exp}}q(\mathfrak{n}{i,i+1})^{-1}x_j{\rm {exp}}q(\mathfrak{n}{i,i+1})$ as a polynomial in ${x_k^{\pm 1}}_{k\in \mathbb{Z}_4}$.