Regularity of Sn-invariant monomial ideals

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 Sn-invariant monomial ideal I subset of S and j >= 0, we give an explicit recipe for computing the modules Ext(S)(j)(S/I, S), and use this to describe the projective dimension and regularity of I. We classify the S-n-invariant monomial ideals Ithat 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 Ithat 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. (C) 2020 Elsevier Inc. All rights reserved.