Matrix units associated with the split basis of a Leonard pair (Q855569)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Matrix units associated with the split basis of a Leonard pair
scientific article

    Statements

    Matrix units associated with the split basis of a Leonard pair (English)
    0 references
    7 December 2006
    0 references
    This paper is one in a chain of publications on Hecke algebras, buildings of averaging operators [cf. \textit{J. Parkinson}, J. Algebra 297, No. 1, 1--49 (2006; Zbl 1095.20003)], Leonard pairs [\textit{K. Nomura} and \textit{P. Terwilliger}, Linear Algebra Appl. 413, No. 1, 189--201 (2006; Zbl 1085.05070)] and the connection with orthogonal polynomials in the Askey scheme [cf. \textit{P. Terwilliger}, Lect. Notes Math. 1883, 255--330 (2006; Zbl 1102.33011)]. Introduce the Leonard pair of a vector space \(V\) of finite positive dimension over a field \(K\) in the usual way: Given a field \(K\) and a vector space \(V\) of finite positive dimension over \(K\), a Leonard pair is a pair \(A,\,A^{*}\) of linear transformations from \(V\) to itself that satisfies (i) there exists a basis \(\alpha\) for \(V\) such that \(\text{mat}_{\alpha,\alpha} A\) is irreducible tridiagonal and \[ \text{mat}_{\alpha,\alpha}A^{*} = \text{diag}(\theta_0^{*},\theta_1^{*}, \dots,\theta_d^{*}), \] (ii) there exists a basis \(\beta\) for \(V\) such that \(\text{mat}_{\alpha,\alpha} A^{*}\) is irreducible tridiagonal and \[ \text{mat}_{\beta,\beta}A = \text{diag}(\theta_0,\theta_1, \dots, \theta_d) \] (a tridiagonal matrix is irreducible if each entry on the sub- and superdiagonal is nonzero). The conditions (i), (ii) imply the existence of two bases \(\{u_i\}_0^d\), \(\{v_i\}_0^d\) and scalars \(\{\psi_i\}_1^d\), \(\{\phi_i\}_1^d\) such that \[ \begin{alignedat}{2}2 Au_i &= \theta_iu_i+u_{i+1}\quad (0\leq i\leq d-1), &\qquad Au_d &= \theta_du_d,\\ A^{*}u_i &= \phi_iu_{i-1}+\theta_i^{*}u_i \quad (1\leq i\leq d), &\qquad A^{*}u_0 &= \theta_0^{*}u_0,\\ Av_i &= \theta_{d-i}v_i + v_{i+1}\quad (0\leq i\leq d-1), &\qquad Av_d &= \theta_0v_d,\\ A^{*}v_i &= \phi_iv_{i-1}+\theta_i^{*}v_i \quad (1\leq i\leq d), &\qquad A^{*}v_0 &= \theta_0^{*}v_0. \end{alignedat} \] The sequence \(\{\phi_i\}_i^d\) is called the first split sequence of the Leonard pair. Introducing furthermore a Leonard system and the so-called \(D_4\)-action, the parameter array \(\Phi\) and the \(\Phi\)-split basis (it would take too much space to cite formulae explicitly here), the matrix units connected with this \(\Phi\)-split basis are described and written in terms of some special polynomials along with information on the primitive idempotents and formulae for the first and second split-sequences in terms of these matrix units.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    tridiagonal pair
    0 references
    \(q\)-Racah polynomial
    0 references
    orthogonal polynomial
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references