Tridiagonal pairs of $q$-Racah type, the double lowering operator $ψ$, and the quantum algebra $U_q(\mathfrak{sl}_2)$

Abstract

Let \K denote an algebraically closed field and let V denote a vector space over \K with finite positive dimension. We consider an ordered pair of linear transformations A:V\to V,A*:V \to V that satisfy the following conditions:(i)Each of A,A* is diagonalizable;(ii)there exists an ordering {V_i}_{i=0}^d of the eigenspaces of A such that A*V_i\subseteq V_{i-1}+V_i+V_{i+1} for 0\leq i\leq d, where V_{-1}=0 and V_{d+1}=0;(iii)there exists an ordering {V*_i}_{i=0}^δof the eigenspaces of A* such that A V*_i\subseteq V*_{i-1}+V*_i+V*_{i+1} for 0\leq i\leqδ, where V*_{-1}=0 and V*_{δ+1}=0;(iv)there does not exist a subspace W of V such that AW\subseteq W,A*W\subseteq W,W\neq 0,W\neq V. We call such a pair a tridiagonal pair on V. It is known that d=δ; to avoid trivialities assume d\geq 1. We assume that A,A* belongs to a family of tridiagonal pairs said to have q-Racah type. This is the most general type of tridiagonal pair. Let {U_i}_{i=0}^d and {U_i^\Downarrow}_{i=0}^d denote the first and second split decompositions of V. In an earlier paper we introduced the double lowering operator ψ:V\to V. One feature of ψis that both ψU_i\subseteq U_{i-1} and ψU_i^\Downarrow\subseteq U_{i-1}^\Downarrow for 0\leq i\leq d. Define linear transformations K:V\to V and B:V\to V such that (K-q^{d-2i}I)U_i=0 and (B-q^{d-2i}I)U_i^\Downarrow=0 for 0\leq i\leq d. Our results are summarized as follows. Using ψ,K,B we obtain two actions of Uq(sl2) on V. For each of these Uq(sl2)-module structures, the Chevalley generator e acts as a scalar multiple of ψ. For each of the Uq(sl2)-module structures, we compute the action of the Casimir element on V. We show that these two actions agree. Using this fact, we express ψas a rational function of K^{\pm 1},B^{\pm 1} in several ways. Eliminating ψfrom these equations we find that K,B are related by a quadratic equation.