Determinantal presentation conjecture for the transfer elimination ideal

Let n=qpn=qp and let I=f0,f1,,fp1RSnI=\langle f_0,f_1,\ldots,f_{p-1}\rangle\cap R^{S_n} be the elimination ideal, where the fif_i are the polynomials obtained by collecting the coefficients of the characteristic polynomial by powers of tt modulo pp. Let A=[A0 A1  Ap1]A=[A_0\ A_1\ \cdots\ A_{p-1}] be the (2q1)×((q1)+(p1)q)(2q-1)\times((q-1)+(p-1)q) block matrix formed from the Sylvester blocks AiA_i, and let J=I2q1(A)J=\mathcal{I}_{2q-1}(A) be its ideal of maximal minors. Determinantal presentation conjecture. The elimination ideal II is equal to the determinantal ideal JJ. The supplied context says that the paper proves only a radical containment in general and proves the equality in the case q=2q=2, so the conjecture remains open in the full stated generality.

Sources & referencesView supporting material

Primary source

Harm Derksen and Alexandra Pevzner, “Syzygies of the transfer ideal of the symmetric group”, arXiv:2604.27341 (2026).

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.