Tridiagonal pairs and the -conjecture

From MaRDI portal
Publication:958036

DOI10.1016/J.LAA.2008.08.008zbMATH Open1155.15011arXiv0908.2604OpenAlexW2962704052WikidataQ122971923 ScholiaQ122971923MaRDI QIDQ958036FDOQ958036


Authors: Kazumasa Nomura, Paul Terwilliger Edit this on Wikidata


Publication date: 2 December 2008

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

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 A*VisubseteqVi1+Vi+Vi+1 for 0leqileqd, where V1=0 and Vd+1=0; (iii) there exists an ordering Vi*i=0delta of the eigenspaces of A such that AVi*subseteqVi1*+Vi*+Vi+1* for 0leqileqdelta, where V1*=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, 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, hi*i=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 e0*Te0* 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.


Full work available at URL: https://arxiv.org/abs/0908.2604




Recommendations




Cites Work


Cited In (10)





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)