{"id":"arxiv/2604.27341","url":"https://arxiv.org/abs/2604.27341","tags":["math.AC"],"score":0,"title":"Syzygies of the transfer ideal of the symmetric group","domain":"math.AC","source":"arxiv","authors":["Harm Derksen","Alexandra Pevzner"],"reviews":0,"subject":"math.AC","summary":"We consider the modular action of the symmetric group $S_n$ on $R = k[x_1,\\ldots,x_n]$ when $\\mathrm{char}(k) = p \\leq n$. We show that the image of the transfer map $R\\to R^{S_n}$ is an elimination ideal $J\\cap R^{S_n}$, where $J\\subset R^{S_n}[t]$ is generated by $p$ polynomials with generic coefficients. The structure of this elimination ideal depends only on the quotient $q$ when writing $n = qp + r$ with unique remainder $0 \\leq r < p$, implying that the image of the transfer also enjoys this stability. We conjecture a determinantal presentation of the elimination ideal and prove it in…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-30","reactions":{}}