Hessenberg pairs of linear transformations

From MaRDI portal
Publication:840655



Abstract: Let fld denote a field and V denote a nonzero finite-dimensional vector space over fld. We consider an ordered pair of linear transformations A:VoV and A∗:VoV that satisfy (i)--(iii) below. Each of A,A∗ is diagonalizable on V. There exists an ordering lbraceVibracei=0d of the eigenspaces of A such that A^* V_i subseteq V_0 + V_1 + ... + V_{i+1} qquad qquad (0 leq i leq d), where V−1=0, Vd+1=0. There exists an ordering lbraceVi∗bracei=0delta of the eigenspaces of A∗ such that A V^*_i subseteq V^*_0 + V^*_1 + ... +V^*_{i+1} qquad qquad (0 leq i leq delta), where V−1∗=0, Vdelta+1∗=0. We call such a pair a {it Hessenberg pair} on V. In this paper we obtain some characterizations of Hessenberg pairs. We also explain how Hessenberg pairs are related to tridiagonal pairs.


Let \(V\) be a finite dimensional space over a field \(K\) and \((A,B)\) be a pair of endomorphisms of \(V\). The author calls \((A,B)\) a Hessenberg pair if \(A\) and \(B\) are both diagonalizable and it is possible to order the eigenspaces \(V_{0},\dots,V_{s}\), say, of \(A\) such that \(B\) maps \(V_{i}\) into the sum of the first \(i+1\) eigenspaces for each \(i\), and the analogous property holds for \(B\) with respect to \(A\). We shall say that \((A,B)\) is irreducible if the algebra generated by \(\left\{ A,B\right\} \) is irreducible. When \((A,B)\) is an irreducible Hessenberg pair, it can be shown that \(A\) and \(B\) have the same number of distinct eigenvalues. The main result of the paper is the following. Suppose that \((A,B)\) is an irreducible pair of diagonizable linear transformations with equal numbers of distinct eigenvalues, say \(\theta _{0},\dots,\theta_{d}\) and \(\theta_{0}^{\prime},\dots,\theta_{d}^{\prime}\), respectively. Then \((A,B)\) is a Hessenberg pair if and only if there exists a subspace decomposition \(V=U_{0}\oplus\dots\oplus U_{d}\) such that \((A-\theta _{n-i}I)U_{i}\subseteq U_{i+1}\) and \((B-\theta_{i}^{\prime}I)U_{i}\subseteq U_{i-1}\) for all \(i\) (take \(U_{-1}=U_{d+1}=0\)).











This page was built for publication: Hessenberg pairs of linear transformations

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