Syzygies of the transfer ideal of the symmetric group
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.27341
curl -X POST /api/v1/records/arxiv/2604.27341/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.27341/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'