The shape of a tridiagonal pair.

DOI10.1016/J.JPAA.2003.10.002MaRDI QIDQ1428102zbMATH OpenOpenAlexFDO

Authors Tatsuro Ito, Paul Terwilliger

Publication date 14 March 2004

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0304244, http://hdl.handle.net/2297/1862

zbMATH Keywords

shape vectortridiagonal pair

Mathematics Subject Classification ID

Canonical forms, reductions, classification (15A21) Quantum groups (quantized enveloping algebras) and related deformations (17B37)

Abstract: Let K denote an algebraically closed field with characteristic 0. Let V denote a vector space over K with finite positive dimension and let A,B denote a tridiagonal pair on V. We make an assumption about this pair. Let q denote a nonzero scalar in K which is not a root of unity. We assume A and B satisfy the q-Serre relations (i) A^3B - [3]A^2BA + [3]ABA^2 - BA^3=0; (ii) B^3A - [3]B^2AB + [3]BAB^2 - AB^3=0, where [3]=(q^3-q^{-3})/(q-q^{-1}). Let ( ho_0, ho_1,..., ho_d) denote the shape vector for A,B. We show the entries in this shape vector are bounded above by binomial coefficients. Indeed we show ho_i is at most (d atop i) for 0 leq i leq d. We obtain this result by displaying a spanning set for V.

Review text

Let \(V\) be a vector space over the field \(F\) with finite positive dimension. By a tridiagonal pair on \(V\), we mean a pair \((A,A^*)\) of linear transformations \(V\) that satisfy the following conditions: (i) each of \(A,A^*\) is diagonalizable, (ii) there exists an ordering \(V_0,\dots,V_d\) of the eigenspaces of \(A\) such that \(A^*V_i\subseteq V_{i-1}+V_i+V_{i+1}\) (\(0\leq i\leq d\)), where \(V_{-1}=V_{d+1}=0\), (iii) there exists an ordering \(V_0^*,...,V_\delta^*\) of the eigenspaces of \(A^*\) such that \(AV_i^*\subseteq V_{i-1}^*+V_i^*+V_{i+1}^*\) (\(0\leq i\leq \delta\)), where \(V_{-1}^*=V_{\delta+1}^*=0\), (iv) there does not exist a subspace \(W\) of \(V\), \(0\neq W\neq V\) such that \(AW\subseteq W\), \(A^*W\subseteq W\). It is known that \(d=\delta\) and the spaces \(V_i,V_i^*\) have the same dimension \(\rho_i\). The sequence (\(\rho_0,\dots,\rho_d\)) is symmetric and unimodal and it is called the shape vector of \(A,A^*\). Theorem 1.6. Let \(A,A^*\) be a tridiagonal pair on \(V\), \(F\) be an algebraically closed field with characteristic 0. If \(q\in F\) is a nonzero scalar that is not a root of unity, \(\beta=q^2+q^{-2}\) and \([A,A^2A^*-\beta AA^*A+A^*A^2]=0\), \([A^*,A^{*2}A-\beta A^*AA^*+AA^{*2}]=0\) (where \([r,s]=rs-sr\)), then \(\rho_i\leq {d\choose i}\) (\(0\leq i\leq d\)).

Recommendations

• Tridiagonal pairs of shape \((1,2,1)\)
• On the shape of a tridiagonal pair
• The structure of a tridiagonal pair
• Tridiagonal pairs of height one
• scientific article; zbMATH DE number 7166401

Cites work

• A Set of Orthogonal Polynomials That Generalize the Racah Coefficients or 6 - j Symbols
• scientific article; zbMATH DE number 3884178 (Why is no real title available?)
• scientific article; zbMATH DE number 4068961 (Why is no real title available?)
• scientific article; zbMATH DE number 192896 (Why is no real title available?)
• scientific article; zbMATH DE number 1557113 (Why is no real title available?)
• scientific article; zbMATH DE number 1568227 (Why is no real title available?)
• Introduction to Leonard pairs.
• Introduction to quantum groups
• Leonard pairs and the \(q\)-Racah polynomials
• Leonard pairs from 24 points of view.
• Orthogonal Polynomials, Duality and Association Schemes
• Quantum affine algebras
• Some algebra related to P- and Q-polynomial association schemes
• The subconstituent algebra of an association scheme. I
• Two linear transformations each tridiagonal with respect to an eigenbasis of the other
• Two linear transformations each tridiagonal with respect to an eigenbasis of the other: comments on the split decomposition
• Two linear transformations each tridiagonal with respect to an eigenbasis of the other; comments on the parameter array
• Two linear transformations each tridiagonal with respect to an eigenbasis of the other; the TD-D canonical form and the LB-UB canonical form
• Two relations that generalize the q-Serre relations and the Dolan-Grady relations.

Cited in

(58)

• Transition maps between the 24 bases for a Leonard pair
• Tridiagonal pairs and the \(q\)-tetrahedron algebra
• On the shape of a tridiagonal pair
• Tridiagonal pairs and the Askey--Wilson relations
• A family of tridiagonal pairs
• Irreducible modules for the quantum affine algebra \(U_{q}(\mathfrak {\widehat{sl}_2})\) and its Borel subalgebra
• Linking the special orthogonal algebra \(\mathfrak{so}_4\) and the tetrahedron algebra \(\boxtimes \)
• Using Catalan words and a \(q\)-shuffle algebra to describe the Beck PBW basis for the positive part of \(U_q( \widehat{\mathfrak{sl}}_2)\)
• The alternating central extension of the \(q\)-Onsager algebra
• The traces associated with a sharp tridiagonal system
• Tridiagonal pairs and the quantum affine algebra \(U_q(\widehat{\text{sl}}_2)\).
• Tridiagonal pairs of Krawtchouk type
• The switching element for a Leonard pair
• A refinement of the split decomposition of a tridiagonal pair
• Tridiagonal pairs of height one
• The quantum algebra \(U_q(\mathfrak{sl}_2)\) and its equitable presentation
• The determinant of \(AA^{*} - A^{*}A\) for a Leonard pair \(A,A^{*}\)
• Q-polynomial distance-regular graphs with a₁=0 and a₂ 0
• Tridiagonal pairs, alternating elements, and distance-regular graphs
• q-inverting pairs of shape 1,2,1
• Self-duality of tridiagonal pairs of q-Serre type
• Analogues of Lusztig's higher order relations for the q-Onsager algebra
• TWO NON-NILPOTENT LINEAR TRANSFORMATIONS THAT SATISFY THE CUBIC q-SERRE RELATIONS
• ON THE WITT INDEX OF THE BILINEAR FORM DETERMINED BY A LEONARD PAIR
• TD-pairs of type II with shape 1,2,,2,1
• Two commuting operators associated with a tridiagonal pair
• LEONARD PAIRS AND THE ASKEY–WILSON RELATIONS
• An action of the tetrahedron algebra on the standard module for the Hamming graphs and Doob graphs
• Bidiagonal pairs, the Lie algebra \(\mathfrak{sl}_2\), and the quantum group \(U_q(\mathfrak{sl}_2)\)
• How to sharpen a tridiagonal pair
• Higher order relations for ADE-type generalized \(q\)-Onsager algebras
• scientific article; zbMATH DE number 7373356 (Why is no real title available?)
• The \(q\)-Onsager algebra and the positive part of \(U_q(\hat{\mathfrak{sl}}_2)\)
• TD-pairs and the q-Onsager algebra
• The Drinfel'd polynomial of a tridiagonal pair
• A classification of sharp tridiagonal pairs
• Mock tridiagonal systems
• Raising/Lowering Maps and Modules for the Quantum Affine Algebra
• Circular bidiagonal pairs
• Using a q-shuffle algebra to describe the basic module V(Λ_0) for the quantized enveloping algebra Uq(sl^2)
• On standard bases of irreducible modules of Terwilliger algebras of Doob schemes
• Tridiagonal pairs of Krawtchouk type arising from finite-dimensional irreducible \(\mathfrak{so}_4\)-modules
• Every \(Q\)-polynomial distance-regular graph is sharp over \(\mathbb{R}\)
• Some trace formulae involving the split sequences of a Leonard pair
• Tridiagonal pairs of q-Racah type
• Matrix units associated with the split basis of a Leonard pair
• Linear transformations that are tridiagonal with respect to both eigenbases of a Leonard pair
• The tetrahedron algebra and its finite-dimensional irreducible modules
• The split decomposition of a tridiagonal pair
• A bilinear form for tridiagonal pairs of \(q\)-Serre type
• Sharp tridiagonal pairs
• Tridiagonal pairs of shape \((1,2,1)\)
• Towards a classification of the tridiagonal pairs
• The structure of a tridiagonal pair
• The Terwilliger algebra of a distance-regular graph of negative type
• Tridiagonal pairs and the -conjecture
• Tridiagonal pairs of \(q\)-Racah type and the \(\mu \)-conjecture
• \(p\)-inverting pairs of linear transformations and the \(q\)-tetrahedron algebra

This page was built for publication: The shape of a tridiagonal pair.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1428102)