Determinantal presentation conjecture for the transfer elimination ideal

Less than 1 year old · traced to

Let n=qpn=qp and let I=⟨f0,f1,…,fp−1⟩∩RSnI=\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 ⋯ Ap−1]A=[A_0\ A_1\ \cdots\ A_{p-1}] be the (2q−1)×((q−1)+(p−1)q)(2q-1)\times((q-1)+(p-1)q) block matrix formed from the Sylvester blocks AiA_i, and let J=I2q−1(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.

References

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.