An equivariant Hochster's formula for Sn\mathfrak {S}_n‐invariant monomial ideals

DOI10.1112/JLMS.12551MaRDI QIDQ6134472zbMATH OpenFDO

Authors Satoshi Murai, Claudiu Raicu

Publication date 22 August 2023

Published in Journal of the London Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2012.13732

zbMATH Keywords

extremal Betti numberHochster's formulaTor group\(S_n\)-invariant monomial idealHook partition

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Representations of finite symmetric groups (20C30)

Abstract: Let $R=Bbbk[x_1,dots,x_n]$ be a polynomial ring over a field $Bbbk$ and let $IsubsetR$ be a monomial ideal preserved by the natural action of the symmetric group $mathfrak{S}_n$ on $R$. We give a combinatorial method to determine the $mathfrak{S}_n$-module structure of $mathrm{Tor}_i(I,Bbbk)$. Our formula shows that $mathrm{Tor}_i(I,Bbbk)$ is built from induced representations of tensor products of Specht modules associated to hook partitions, and their multiplicities are determined by topological Betti numbers of certain simplicial complexes. This result can be viewed as an $mathfrak{S}_n$-equivariant analogue of Hochster's formula for Betti numbers of monomial ideals. We apply our results to determine extremal Betti numbers of $mathfrak{S}_n$-invariant monomial ideals, and in particular recover formulas for their Castelnuovo--Mumford regularity and projective dimension. We also give a concrete recipe for how the Betti numbers change as we increase the number of variables, and in characteristic zero (or $>n$) we compute the $mathfrak{S}_n$-invariant part of $mathrm{Tor}_i(I,Bbbk)$ in terms of $mathrmTor$ groups of the unsymmetrization of $I$.

Recommendations

• Regularity of \(\mathfrak{S}_n\)-invariant monomial ideals
• Equivariant Gröbner Bases of Symmetric Toric Ideals
• Betti tables of monomial ideals fixed by permutations of the variables
• Equivariant Hilbert series in non-Noetherian polynomial rings
• Betti numbers of symmetric shifted ideals

Cites work

• scientific article; zbMATH DE number 1601795 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 863503 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• Alexander duality for Stanley-Reisner rings and squarefree \(\mathbb{N}^n\)-graded modules
• Betti numbers of symmetric shifted ideals
• Betti tables of monomial ideals fixed by permutations of the variables
• Big polynomial rings and Stillman's conjecture
• Castelnuovo-Mumford regularity up to symmetry
• Cellular resolutions of monomial modules
• Codimension and projective dimension up to symmetry
• Elementary construction of minimal free resolutions of the Specht ideals of shapes (n − 2,2) and (d,d,1)
• Extremal Betti numbers and applications to monomial ideals
• Finite Gröbner bases in infinite dimensional polynomial rings and applications
• Finite generation of symmetric ideals
• Graded syzygies
• Local cohomology at monomial ideals
• Monomial Ideals
• On the ideal generated by all squarefree monomials of a given degree
• On the laws of a metabelian variety
• Regularity of \(\mathfrak{S}_n\)-invariant monomial ideals
• Semigroup rings and simplicial complexes
• Stillman’s conjecture via generic initial ideals
• The Geometry of Syzygies
• The lcm-lattice in monomial resolutions
• The representation theory of the symmetric groups

Cited in

(8)

• Theorems of Carathéodory, Minkowski–Weyl, and Gordan up to Symmetry
• When are symmetric ideals monomial?
• Regularity of \(\mathfrak{S}_n\)-invariant monomial ideals
• Elementary construction of minimal free resolutions of the Specht ideals of shapes (n − 2,2) and (d,d,1)
• Finite groups, monomial ideals and a subdivision of a simplex.
• Setting the scene for Betti characters
• Betti tables of monomial ideals fixed by permutations of the variables
• Asymptotic regularity of invariant chains of edge ideals

This page was built for publication: An equivariant Hochster's formula for Sn$\mathfrak {S}_n$‐invariant monomial ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6134472)