Finite-dimensional modules of the universal Askey--Wilson algebra and DAHA of type $(C_1^{\vee },C_1)$

Abstract

Assume that $\mathbb{F}$ is an algebraically closed field and let $q$ denote a nonzero scalar in $\mathbb{F}$ that is not a root of unity. The universal Askey--Wilson algebra ${△}_q$ is a unital associative $\mathbb{F}$-algebra defined by generators and relations. The generators are $A,B,C$ and the relations state that each of $$A+\frac{qBC-q^{-1}CB}{q^2-q^{-2}},B+\frac{qCA-q^{-1}AC}{q^2-q^{-2}},C+\frac{qAB-q^{-1}BA}{q^2-q^{-2}}$$ is central in ${△}_q$. The universal DAHA (double affine Hecke algebra) ${\mathfrak{H}}_q$ of type $(C_1^{\vee },C_1)$ is a unital associative $\mathbb{F}$-algebra generated by $\{t_i^{\pm 1}{\}}_{i=0}^3$ and the relations state that \begin{gather*} t_it_i^{-1}=t_i^{-1} t_i=1 \quad \hbox{for all $i=0,1,2,3$}; \\ \hbox{$t_i+t_i^{-1}$ is central} \quad \hbox{for all $i=0,1,2,3$}; \\ t_0t_1t_2t_3=q^{-1}. \end{gather*} Each ${\mathfrak{H}}_q$-module is a ${△}_q$-module by pulling back via the injection ${△}_q\to {\mathfrak{H}}_q$ given by \begin{eqnarray*} A &\mapsto & t_1 t_0+(t_1 t_0)^{-1}, \\ B &\mapsto & t_3 t_0+(t_3 t_0)^{-1}, \\ C &\mapsto & t_2 t_0+(t_2 t_0)^{-1}. \end{eqnarray*} We classify the lattices of ${△}_q$-submodules of finite-dimensional irreducible ${\mathfrak{H}}_q$-modules. As a consequence, for any finite-dimensional irreducible ${\mathfrak{H}}_q$-module $V$, the ${△}_q$-module $V$ is completely reducible if and only if $t_0$ is diagonalizable on $V$.

The work gives a q-analog of 1906.09160 and improves 1701.06089

References in corpus (3)

• Finite-dimensional irreducible modules of the Bannai--Ito algebra at characteristic zero
• The $q$-Higgs and Askey-Wilson algebras
• The universal DAHA of type $(C_1^{\vee },C_1)$ and Leonard triples