Regularity of \(\mathfrak{S}_n\)-invariant monomial ideals (Q2005185)

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