[Paper Review] Linear transformations that are tridiagonal with respect to the three decompositions for an LR triple

Kazumasa Nomura|arXiv (Cornell University)|Aug 19, 2015

Advanced Topics in Algebra5 references5 citations

TL;DR

This paper characterizes linear transformations that are tridiagonal with respect to all three decompositions associated with an LR triple—defined by three linear operators where each pair forms a lowering-raising pair. It provides an explicit basis for the space of such tridiagonal transformations, excluding those associated with $q$-Weyl type LR triples, using trace and idempotent data to classify the structure in terms of parameters $t$, $\rho_0$, $\rho'_0$, $\rho''_0$, and dimension $d$. The key contribution is a complete basis construction for the tridiagonal space in non-$q$-Weyl cases.

ABSTRACT

Fix an integer $d \geq 0$, a field $\mathbb{F}$, and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$. By a decomposition of $V$ we mean a sequence $\{V_i\}_{i=0}^d$ of $1$-dimensional subspaces of $V$ whose sum is $V$. For a linear transformation $A$ from $V$ to $V$, we say $A$ lowers $\{V_i\}_{i=0}^d$ whenever $A V_i = V_{i-1}$ for $0 \leq i \leq d$, where $V_{-1}=0$. We say $A$ raises $\{V_i\}_{i=0}^d$ whenever $A V_i = V_{i+1}$ for $0 \leq i \leq d$, where $V_{d+1}=0$. An ordered pair of linear transformations $A,B$ from $V$ to $V$ is called LR whenever there exists a decomposition $\{V_i\}_{i=0}^d$ of $V$ that is lowered by $A$ and raised by $B$. In this case the decomposition $\{V_i\}_{i=0}^d$ is uniquely determined by $A,B$; we call it the $(A,B)$-decomposition of $V$. Consider a $3$-tuple of linear transformations $A$, $B$, $C$ from $V$ to $V$ such that any two of $A$, $B$, $C$ form an LR pair on $V$. Such a $3$-tuple is called an LR triple on $V$. Let $α$, $β$, $γ$ be nonzero scalars in $\mathbb{F}$. The triple $αA, βB, γC$ is an LR triple on $V$, said to be associated to $A,B,C$. Let $\{V_i\}_{i=0}^d$ be a decomposition of $V$ and let $X$ be a linear transformation from $V$ to $V$. We say $X$ is tridiagonal with respect to $\{V_i\}_{i=0}^d$ whenever $X V_i \subseteq V_{i-1} + V_i + V_{i+1}$ for $0 \leq i \leq d$. Let $\cal X$ be the vector space over $\mathbb{F}$ consisting of the linear transformations from $V$ to $V$ that are tridiagonal with respect to the $(A,B)$ and $(B,C)$ and $(C,A)$ decompositions of $V$. There is a special class of LR triples, called $q$-Weyl type. In the present paper, we find a basis of $\cal X$ for each LR triple that is not associated to an LR triple of $q$-Weyl type.

Motivation & Objective

• To study linear transformations that are tridiagonal with respect to all three decompositions arising from an LR triple.
• To classify the structure of the vector space $\mathcal{X}$ consisting of such tridiagonal transformations.
• To provide a basis for $\mathcal{X}$ when the LR triple is not associated with a $q$-Weyl type triple.
• To express the action of $A$, $B$, $C$ and their products on basis elements using trace and idempotent data.
• To analyze the decomposition of $\mathcal{X}$ into subspaces $\mathcal{X}J$ and $\mathcal{X}(I-J)$ for bipartite LR triples.

Proposed method

• Define the tridiagonal space $\mathcal{X}$ as the set of linear transformations $X \in \text{End}(V)$ such that $XV_i \subseteq V_{i-1} + V_i + V_{i+1}$ for all $i$ with respect to the three decompositions: $(A,B)$, $(B,C)$, and $(C,A)$.
• Use the idempotent sequences $\{E_i\}$, $\{E'_i\}$, $\{E''_i\}$ associated with each decomposition to define the structure of $\mathcal{X}$.
• Employ trace data $a_i = \text{tr}(CE_i)$, $a'_i = \text{tr}(AE'_i)$, $a''_i = \text{tr}(BE''_i)$ to parametrize the space and distinguish $q$-Weyl type from non-$q$-Weyl type LR triples.
• For non-$q$-Weyl type LR triples, construct a basis of $\mathcal{X}$ as $\{J, AJ, BJ, ACBJ\}$ and $\{I-J, A(I-J), B(I-J), ABC(I-J)\}$, where $J$ is the central idempotent in the bipartite case.
• Express the images of $C$, $ABC$, $BAC$, $BCA$, $CAB$, $CBA$ under the basis via coefficient matrices depending on parameters $t$, $\rho_0$, $\rho'_0$, $\rho''_0$, and $d$.
• Use the equitable presentation of $U_q(\mathfrak{sl}_2)$ and $\mathfrak{sl}_2$ to motivate the construction, particularly in finite-dimensional irreducible modules.

Experimental results

Research questions

• RQ1 What is the structure of the space $\mathcal{X}$ of linear transformations tridiagonal with respect to all three decompositions of an LR triple?
• RQ2 How can a basis for $\mathcal{X}$ be explicitly constructed when the LR triple is not of $q$-Weyl type?
• RQ3 What role do the trace data and idempotent sequences play in classifying the tridiagonal space?
• RQ4 How do the operators $A$, $B$, $C$ and their products act on the basis elements of $\mathcal{X}$?
• RQ5 What is the decomposition of $\mathcal{X}$ into $\mathcal{X}J$ and $\mathcal{X}(I-J)$, and how are the basis elements related?

Key findings

• For non-$q$-Weyl type LR triples, the space $\mathcal{X}$ of tridiagonal transformations has a basis $\{J, AJ, BJ, ACBJ\}$ when the triple is bipartite and $d \geq 4$, with $J$ being the central idempotent.
• The action of $C$ on the basis $\{J, AJ, BJ, ACBJ\}$ is given by coefficients involving $\rho''_0$, $\rho'_0$, and $t$, with $CJ$ having zero coefficient for $J$ and non-zero entries for $AJ$, $BJ$, and $ACBJ$.
• For the $\text{B}_d(\mathbb{F}; t, \rho_0, \rho'_0, \rho''_0)$ case, the coefficient of $ABCJ$ in $BACJ$ is $-\frac{\rho''_0}{\rho_0 \rho'_0}$, showing dependence on the trace parameters.
• In the $t=1$ case, the coefficient matrix for $\mathcal{X}(I-J)$ shows rational dependence on $\rho_0$, $\rho'_0$, $\rho''_0$, with $CBA(I-J)$ having coefficient 1 for $ABC(I-J)$, indicating a normalized structure.
• The space $\mathcal{X}(I-J)$ has basis $\{I-J, A(I-J), B(I-J), ABC(I-J)\}$, and the action of $C$ on $I-J$ has coefficient $-\frac{\rho_0 \rho'_0}{t}$ for $A(I-J)$, showing non-trivial interaction.
• The full coefficient matrices for both $\mathcal{X}J$ and $\mathcal{X}(I-J)$ are explicitly tabulated for both $t$-deformed and $t=1$ cases, providing a complete parametrization of $\mathcal{X}$.