Sidman–Smith conjecture on determinantal ideals of cactus varieties

Let XX be a smooth projective variety of dimension nn. Let κk(X,L)\kappa_k(X,L) be the kk-th cactus variety, namely the closure of the union of the kk-planes spanned by finite subschemes of XX of length k+1k+1, and let L=ABL=A\otimes B with AA and BB sufficiently ample. The catalecticant matrix Cat(A,B)\operatorname{Cat}(A,B) is the matrix of the multiplication map H0(X,A)H0(X,B)H0(X,L)H^0(X,A)\otimes H^0(X,B)\to H^0(X,L). Sidman–Smith conjecture. The ideal I(κk(X,L))I(\kappa_k(X,L)) is generated by the (k+2)×(k+2)(k+2)\times(k+2)-minors of Cat(A,B)\operatorname{Cat}(A,B); in particular, I(κk(X,L))I(\kappa_k(X,L)) is determinantally presented whenever LL is sufficiently ample. This generalizes the Eisenbud–Koh–Stillman conjecture by replacing secant varieties with cactus varieties, which is necessary because the catalecticant minors may vanish on the cactus variety as well as on the secant variety. The source does not state a resolution of this conjecture.

Sources & referencesView supporting material

Primary source

Daniele Agostini and Jinhyung Park, “Determinantal ideals of secant varieties”, arXiv:2510.01895 (2025).

Additional references

2 papers in this index state this conjecture (2024–2025). The statement above is taken from the most recent of them; the others are arXiv:2412.00709.

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.