Regularity of [formula omitted]-invariant monomial ideals

Abstract

For a polynomial ring S in n variables, we consider the natural action of the symmetric group Sn on S by permuting the variables. For an Sn-invariant monomial ideal I⊆S and j≥0, we give an explicit recipe for computing the modules ExtSj(S/I,S), and use this to describe the projective dimension and regularity of I. We classify the Sn-invariant monomial ideals I 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 Sn-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.