English

Equivariant resolutions over Veronese rings

Commutative Algebra 2024-02-21 v3 Combinatorics

Abstract

Working in a polynomial ring S=k[x1,,xn]S=\mathbf{k}[x_1,\ldots,x_n] where k\mathbf{k} is an arbitrary commutative ring with 11, we consider the dthd^{th} Veronese subalgebras R=S(d)R=S^{(d)}, as well as natural RR-submodules M=S(r,d)M=S^{(\geq r, d)} inside SS. We develop and use characteristic-free theory of Schur functors associated to ribbon skew diagrams as a tool to construct simple GLn(k)GL_n(\mathbf{k})-equivariant minimal free RR-resolutions for the quotient ring k=R/R+\mathbf{k}=R/R_+ and for these modules MM. These also lead to elegant descriptions of ToriR(M,M)\mathrm{Tor}^R_i(M,M') for all ii and HomR(M,M)\mathrm{Hom}_R(M,M') for any pair of these modules M,MM,M'.

Keywords

Cite

@article{arxiv.2210.16342,
  title  = {Equivariant resolutions over Veronese rings},
  author = {Ayah Almousa and Michael Perlman and Alexandra Pevzner and Victor Reiner and Keller VandeBogert},
  journal= {arXiv preprint arXiv:2210.16342},
  year   = {2024}
}

Comments

37 pages. Further minor edits. Version to appear in J. London Math. Soc

R2 v1 2026-06-28T04:44:31.635Z