Table-locus complete-intersection conjecture

About 12 years old · traced to

Fix Q=(u,u−r)Q=(u,u-r) with u>r≥2u>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,r−2}\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.

References

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).

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.