The Hankel gradient ideal colon conjecture

Let kk be the base field, let RR be the polynomial ring containing the entries of the generic m×mm\times m Hankel matrix Hm\mathcal{H}_m, and let JJ be the gradient ideal of det(Hm)\det(\mathcal{H}_m). Write P=Im1(Hm)P=I_{m-1}(\mathcal{H}_m) for the ideal of its submaximal minors. Hankel gradient ideal colon conjecture. For every integer ii with 0im20\leq i\leq m-2, one has

JPi:Pi+1=Im2i(Hm).JP^i:P^{i+1}=I_{m-2-i}(\mathcal{H}_m).

This conjecture predicts the successive colon ideals governing the powers of the submaximal-minor ideal. Its stated consequences include that Im2(Hm)I_{m-2}(\mathcal{H}_m) is the only other, necessarily embedded, associated prime of R/JR/J, that the reduction number of PP with respect to JJ is m2m-2, and that the partial derivatives of the determinant are algebraically independent. The source notes that the case m=3m=3 is proved, while the general statement is posed as an open conjecture.

Sources & referencesView supporting material

Primary source

Maral Mostafazadehfard and Aron Simis, “Homaloidal determinants”, arXiv:1407.8089 (2014).

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.