Tridiagonal pairs and the -conjecture

From MaRDI portal
(Redirected from Publication:958036)
Tridiagonal pairs and the \(\mu \)-conjecture




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 Vii=0d of the eigenspaces of A such that AVisubseteqVi1+Vi+Vi+1 for 0leqileqd, where V1=0 and Vd+1=0; (iii) there exists an ordering Vii=0delta of the eigenspaces of A such that AVisubseteqVi1+Vi+Vi+1 for 0leqileqdelta, where V1=0 and Vdelta+1=0; (iv) there is no subspace W of V such that AWsubseteqW, AWsubseteqW, 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, Vdi, Vi, Vdi coincide. We say the pair A,A is {it sharp} whenever dimV0=1. It is known that if F is algebraically closed then A,A is sharp. A conjectured classification of the sharp tridiagonal pairs was recently introduced by T. Ito and the second author. We present a result which supports the conjecture. Given scalars hii=0d, hii=0d in F that satisfy the known constraints on the eigenvalues of a tridiagonal pair, we define an F-algebra T by generators and relations. We consider the algebra e0Te0 for a certain idempotent e0inT. Let R denote the polynomial algebra over F involving d variables.We display a surjective algebra homomorphism mu:Roe0Te0. We conjecture that mu is an isomorphism. We show that this mu-conjecture implies the classification conjecture, and that the mu-conjecture holds for dleq5.



Cites work







This page was built for publication: Tridiagonal pairs and the \(\mu \)-conjecture

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