[Paper Review] Tridiagonal pairs of $q$-Racah type

Tatsuro Ito, Paul Terwilliger|ArXiv.org|Jul 2, 2008

Finite Group Theory Research53 references4 citations

TL;DR

This paper classifies tridiagonal pairs of $q$-Racah type over an algebraically closed field up to isomorphism, using representation theory of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$. The key result is that such pairs are completely determined by their parameter arrays, and the shape conjecture holds for this class, with dimensions bounded by binomial coefficients.

ABSTRACT

Let $K$ denote an algebraically closed field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V o V$ and $A^*:V o V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i brace_{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 $\lbrace V^*_i brace_{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 is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W eq 0$, $W eq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$. For $0 \leq i \leq d$ let $θ_i$ (resp. $θ^*_i$) denote the eigenvalue of $A$ (resp. $A^*$) associated with $V_i$ (resp. $V^*_i$). The pair $A,A^*$ is said to have {\it $q$-Racah type} whenever $θ_i = a + b q^{2i-d}+ c q^{d-2i}$ and $θ^*_i = a^* + b^*q^{2i-d}+c^*q^{d-2i}$ for $0 \leq i \leq d$, where $q, a,b,c,a^*,b^*,c^*$ are scalars in $K$ with $q,b,c,b^*,c^*$ nonzero and $q^2 ot\in \lbrace 1,-1 brace$. This type is the most general one. We classify up to isomorphism the tridiagonal pairs over $K$ that have $q$-Racah type. Our proof involves the representation theory of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$.

Motivation & Objective

• To classify tridiagonal pairs of $q$-Racah type over an algebraically closed field up to isomorphism.
• To establish a correspondence between such pairs and parameter arrays derived from $q$-Racah polynomials.
• To prove the shape conjecture for $q$-Racah type tridiagonal pairs, showing that the dimension sequence $\rho_i$ satisfies $\rho_i \leq \binom{d}{i}$.

Proposed method

• Construct a $T$-module $TE_0^*V$ from the standard ordering of primitive idempotents of a $q$-Racah type TD pair.
• Identify the maximal proper $T$-submodule $M$ of $TE_0^*V$ and form the quotient $L = TE_0^*V / M$, which is finite-dimensional and irreducible as a $T$-module.
• Show that the action of $A$, $A^*$, and their projections $\{E_i\}$, $\{E_i^*\}$ on $L$ forms a TD system with specified eigenvalue and dual eigenvalue sequences.
• Use the canonical $T$-module homomorphism to relate the split sequence $\{\zeta_i\}$ to the parameter array, establishing the TD system's structure.
• Leverage the representation theory of $U_q(\widehat{\mathfrak{sl}}_2)$ to analyze the structure of $L$ and derive the parameter array.
• Bound the dimensions of $E_iL$ and $E_i^*L$ by $\binom{d}{i}$ using the embedding of $E_iTE_0^*V$ into $E_iV$, whose dimension is $\binom{d}{i}$.

Experimental results

Research questions

• RQ1 How can tridiagonal pairs of $q$-Racah type be classified up to isomorphism over an algebraically closed field?
• RQ2 What is the role of the quantum affine algebra $U_q(\widehat{\mathfrak{sl}}_2)$ in classifying these pairs?
• RQ3 Does the shape conjecture hold for $q$-Racah type tridiagonal pairs, i.e., is $\rho_i \leq \binom{d}{i}$ for all $i$?
• RQ4 Can the parameter array $(\{\theta_i\}, \{\theta_i^*\}, \{\zeta_i\})$ uniquely determine a $q$-Racah type TD pair?
• RQ5 What is the relationship between the primitive idempotents of a $q$-Racah type TD pair and the structure of the quotient module $L = TE_0^*V / M$?

Key findings

• The classification of tridiagonal pairs of $q$-Racah type over an algebraically closed field is achieved via the parameter array $(\{\theta_i\}, \{\theta_i^*\}, \{\zeta_i\})$, which fully determines the isomorphism class.
• The quotient module $L = TE_0^*V / M$ is a finite-dimensional irreducible $T$-module on which the TD system acts with eigenvalue sequences $\{\theta_i\}$ and $\{\theta_i^*\}$.
• The split sequence $\{\zeta_i\}$ of the TD system on $L$ is derived from the action of $E_0^* \tau_i(A) E_0^*$, and matches the parameter array definition.
• The dimension of each $E_iL$ is at most $\binom{d}{i}$, as $E_iL$ is the image of $E_iTE_0^*V$ in $L$, and $\dim(E_iV) = \binom{d}{i}$ by Lemma 9.6.
• The same bound applies to $E_i^*L$, so the shape $\{\rho_i\}$ satisfies $\rho_i \leq \binom{d}{i}$ for all $0 \leq i \leq d$, confirming the shape conjecture for $q$-Racah type pairs.
• The construction establishes that every $q$-Racah type TD pair arises from such a quotient module $L$, and thus the classification is complete.