How to sharpen a tridiagonal pair

From MaRDI portal



Abstract: Let F denote a field and let V denote a vector space over F with finite positive dimension. We consider a pair of linear transformations A:VoV and A∗:VoV that satisfy the following conditions: (i) each of A,A∗ is diagonalizable; (ii) there exists an ordering lbraceVibracei=0d of the eigenspaces of A such that A∗VisubseteqVi−1+Vi+Vi+1 for 0leqileqd, where V−1=0 and Vd+1=0; (iii) there exists an ordering lbraceVi∗bracei=0delta of the eigenspaces of A∗ such that AVi∗subseteqVi−1∗+Vi∗+Vi+1∗ for 0leqileqdelta, where V−1∗=0 and Vdelta+1∗=0; (iv) there is no subspace W of V such that AWsubseteqW, A∗WsubseteqW, Weq0, WeqV. We call such a pair a {it tridiagonal pair} on V. It is known that d=delta, and for 0leqileqd the dimensions of Vi,Vi∗,Vd−i,Vd−i∗ coincide. Denote this common dimension by hoi and call A,A∗ {it sharp} whenever ho0=1. Let T denote the F-subalgebra of mEndF(V) generated by A,A∗. We show: (i) the center Z(T) is a field whose dimension over F is ho0; (ii) the field Z(T) is isomorphic to each of E0TE0, EdTEd, E0∗TE0∗, Ed∗TEd∗, where Ei (resp. Ei∗) is the primitive idempotent of A (resp. A∗) associated with Vi (resp. Vi∗); (iii) with respect to the Z(T)-vector space V the pair A,A∗ is a sharp tridiagonal pair.











This page was built for publication: How to sharpen a tridiagonal pair

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