Homological properties of invariant rings of permutation groups

Consider the action of a subgroup G G of the permutation group on the polynomial ring S ≔ k [ x 1 , … , x n ] S ≔k[x_{1}, \ldots , x_{n}] via permutations. We show that if k k does not have characteristic two, then the following are independent of k k : the a a -invariant of S G S^{G} , the property of S G S^{G} being quasi-Gorenstein, and the Hilbert functions of H m n ( S ) G H_{\mathfrak {m}}^{n}(S)^{G} as well as H n n ( S G ) H_{\mathfrak {n}}^{n}(S^{G}) ; moreover, these Hilbert functions coincide. In particular, being independent of characteristic, they may be computed using characteristic zero techniques, such as Molien’s formula. In characteristic two, we show that the ring of invariants is always quasi-Gorenstein, compute the a a -invariant explicitly, and show that the Hilbert functions of H