Table-locus complete-intersection conjecture

From papers

Fix Q=(u,ur)Q=(u,u-r) with u>r2u>r\ge 2, put B=JQB=J_Q, and let UB\mathcal U_B be the maximal nilpotent subalgebra of the centralizer of BB. For a partition PP, let Z(P)UB\mathfrak Z(P)\subseteq\mathcal U_B be the locus of matrices of Jordan type PP, and let I(Z(P))\mathcal I(\mathfrak Z(P)) be its vanishing ideal. Table-locus conjecture. For every table entry P=Pk,P=P_{k,\ell}, the ideal I(Z(P))\mathcal I(\mathfrak Z(P)) is an irreducible complete intersection generated by k+2k+\ell-2 specific sl2sl_2-homogeneous polynomials, of which min{k+2,r2}\min\{k+\ell-2,r-2\} are linear and the remainder are quadrics. Along a fixed A row or B/C hook, each successive locus is obtained by adjoining one equation; each new quadric on the k+=s+rk+\ell=s+r diagonal is a sum of ss determinants of 2×22\times2 matrices of variables and has sl2sl_2 weight 2(k+1)2(k+\ell-1). These are proposed equations based on computations; the supplied text gives no resolution.

Progress summary

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

Sources & referencesView supporting material

Primary source

Anthony Iarrobino, Leila Khatami, Bart Van Steirteghem and Rui Zhao, “Nilpotent matrices having a given Jordan type as maximum commuting nilpotent orbit”, arXiv:1409.2192 (2018).

Solutions 0

No solutions have been posted yet.