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

DOI10.1112/JLMS.12551zbMATH Open1523.13023arXiv2012.13732MaRDI QIDQ6134472FDOQ6134472

Authors: Satoshi Murai, Claudiu Raicu 

Publication date: 22 August 2023

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

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$.

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

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

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)

Cites Work

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

Cited In (7)

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

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)