Serre-pair decomposition and bijectivity problem

Assume KK is algebraically closed, qKq\in\mathbb K is not a root of unity, VV is a finite-dimensional nonzero KK-vector space, and R,L:VVR,L:V\to V are nilpotent linear maps satisfying the two Serre relations. Assume further that VV has no common nonzero proper invariant subspace for RR and LL. Serre-pair decomposition conjecture. There exists a nonnegative integer dd and nonzero subspaces U0,,UdU_0,\ldots,U_d such that

V=U0U1Ud,V=U_0\oplus U_1\oplus\cdots\oplus U_d,

with RUiUi+1RU_i\subseteq U_{i+1} for 0i<d0\leq i<d, RUd=0RU_d=0, LUiUi1LU_i\subseteq U_{i-1} for 0<id0<i\leq d, and LU0=0LU_0=0. Moreover, assuming this decomposition exists, whenever 0ijd0\leq i\leq j\leq d and i+j=di+j=d, the restrictions Rji:UiUjR^{j-i}:U_i\to U_j and Lji:UjUiL^{j-i}:U_j\to U_i are bijections. If these assertions do not follow from the assumptions, the source asks for a counterexample. The supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Tatsuro Ito and Paul Terwilliger, “The shape of a tridiagonal pair”, arXiv:math/0304244 (2003).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.