Regularity of S_n-invariant monomial ideals

DOI10.1016/J.JCTA.2020.105307MaRDI QIDQ2005185zbMATH OpenOpenAlexFDO

Authors Claudiu Raicu

Publication date 7 October 2020

Published in Journal of Combinatorial Theory. Series A (Search for Journal in Brave)

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

zbMATH Keywords

Ext moduleslocal cohomologymonomial idealsprojective dimensionregularity

Mathematics Subject Classification ID

Local cohomology and commutative rings (13D45)

Abstract: For a polynomial ring S in n variables, we consider the natural action of the symmetric group S_n on S by permuting the variables. For an S_n-invariant monomial ideal I in S and j >= 0, we give an explicit recipe for computing the modules Ext^j(S/I,S), and use this to describe the projective dimension and regularity of I. We classify the S_n-invariant monomial ideals that have a linear free resolution, and also characterize those which are Cohen-Macaulay. We then consider two settings for analyzing the asymptotic behavior of regularity: one where we look at powers of a fixed ideal I, and another where we vary the dimension of the ambient polynomial ring and examine the invariant monomial ideals induced by I. In the first case we determine the asymptotic regularity for those ideals I that are generated by the S_n-orbit of a single monomial by solving an integer linear optimization problem. In the second case we describe the behavior of regularity for any I, recovering a recent result of Murai.

Review text

Let \(S\) be the polynomial ring in \(n\) variables and \(\mathfrak{S}_n\) the symmetric group acting on \(S\) by permuting the variables. The present paper considers \(\mathfrak{S}_n\)-invariant monomial ideals \(I\subseteq S\). The main theorem in the paper gives a recipe for the explicit computation of the modules \(\operatorname{Ext}^j_S(S/I,S)\) for all \(j\geq 0\) (Theorem 3.1). This result allows, among other consequences, to describe the projective dimension and regularity of \(I\) (Formula (1.3) and Section 3.1). The paper also classfies the \(\mathfrak{S}_n\)-invariant monomial ideals that have a linear free resolution (Theorem 4.4) and characterizes those which are Cohen-Macaulay (Section 3.2). Finally, the author analyzes the asymptotic behaviour of regularity in two different settings: considering powers of a fixed ideal \(I\) (Theorem 5.1) and varying the dimension of the ambient polynomial ring and examining the invariant monomial ideals induced by a given ideal \(I\) (Theorem 6.1).

Recommendations

• An equivariant Hochster's formula for Sn$\mathfrak {S}_n$‐invariant monomial ideals
• Castelnuovo-Mumford regularity up to symmetry
• Degrees of regular sequences with a symmetric group action
• Betti tables of monomial ideals fixed by permutations of the variables
• scientific article

Cites work

• \(C_{4}\)-free edge ideals
• Alexander duality for Stanley-Reisner rings and squarefree \(\mathbb{N}^n\)-graded modules
• Asymptotic behaviour of Castelnuovo-Mumford regularity
• Betti numbers of symmetric shifted ideals
• Betti tables of monomial ideals fixed by permutations of the variables
• Castelnuovo-Mumford regularity of products of ideals
• Cellular resolutions of monomial modules
• Codimension and projective dimension up to symmetry
• Cohomology and toric varieties and local cohomology with monomial supports
• Combinatorics and commutative algebra.
• Finite generation of symmetric ideals
• Finite Gröbner bases in infinite dimensional polynomial rings and applications
• scientific article; zbMATH DE number 1001729 (Why is no real title available?)
• scientific article; zbMATH DE number 1347166 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• Local cohomology at monomial ideals
• Local cohomology with support in generic determinantal ideals
• Multigraded Betti numbers of multipermutohedron ideals
• On the ideal generated by all squarefree monomials of a given degree
• On the laws of a metabelian variety
• Regularity and cohomology of determinantal thickenings
• Regularity of powers of forests and cycles
• The regularity of powers of edge ideals
• Young diagrams and determinantal varieties

Cited in

(19)

• Feasibility criteria for high-multiplicity partitioning problems
• Finite group characters on free resolutions
• MFO-RIMS tandem workshop: Symmetries on polynomial ideals and varieties. Abstracts from the MFO-RIMS tandem workshop held September 5--11, 2021 (hybrid meeting)
• Rationality of equivariant Hilbert series and asymptotic properties
• scientific article; zbMATH DE number 5509899 (Why is no real title available?)
• scientific article; zbMATH DE number 1400040 (Why is no real title available?)
• Castelnuovo-Mumford regularity up to symmetry
• Codimension and projective dimension up to symmetry
• Betti tables of monomial ideals fixed by permutations of the variables
• Degrees of regular sequences with a symmetric group action
• Finite groups, monomial ideals and a subdivision of a simplex.
• On restricted powers of complete intersections
• Setting the scene for Betti characters
• An equivariant Hochster's formula for Sn$\mathfrak {S}_n$‐invariant monomial ideals
• Asymptotic regularity of invariant chains of edge ideals
• Regularity of canonical and deficiency modules for monomial ideals
• GL-algebras in positive characteristic. II: the polynomial ring
• Ideals preserved by linear changes of cordinates in positive characteristic
• Asymptotic depth of invariant chains of edge ideals

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Regularity of \(\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 Q2005185)