Homological properties of invariant rings of permutation groups
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866915990206414848 |
|---|---|
| author | Maithani, Aryaman |
| author_facet | Maithani, Aryaman |
| contents | Consider the action of a subgroup $G$ of the permutation group on the polynomial ring $S := k[x_{1}, \ldots, x_{n}]$ via permutations. We show that if $k$ does not have characteristic two, then the following are independent of $k$: the $a$-invariant of $S^{G}$, the property of $S^{G}$ being quasi-Gorenstein, and the Hilbert functions of $H_{\mathfrak{m}}^{n}(S)^{G}$ as well as $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$-invariant explicitly, and show that the Hilbert functions of $H_{\mathfrak{m}}^{n}(S)^{G}$ and $H_{\mathfrak{n}}^{n}(S^{G})$ agree up to a shift, given by the number of transpositions. We determine when the inclusion $S^{G} \hookrightarrow S$ splits, thereby proving the Shank--Wehlau conjecture for permutation subgroups. Lastly, we determine the ring of $k$-linear differential operators on $S^{G}$, and show that each differential operator lifts to one over $\mathbb{Z}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_07718 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Homological properties of invariant rings of permutation groups Maithani, Aryaman Commutative Algebra Representation Theory 13A50 Consider the action of a subgroup $G$ of the permutation group on the polynomial ring $S := k[x_{1}, \ldots, x_{n}]$ via permutations. We show that if $k$ does not have characteristic two, then the following are independent of $k$: the $a$-invariant of $S^{G}$, the property of $S^{G}$ being quasi-Gorenstein, and the Hilbert functions of $H_{\mathfrak{m}}^{n}(S)^{G}$ as well as $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$-invariant explicitly, and show that the Hilbert functions of $H_{\mathfrak{m}}^{n}(S)^{G}$ and $H_{\mathfrak{n}}^{n}(S^{G})$ agree up to a shift, given by the number of transpositions. We determine when the inclusion $S^{G} \hookrightarrow S$ splits, thereby proving the Shank--Wehlau conjecture for permutation subgroups. Lastly, we determine the ring of $k$-linear differential operators on $S^{G}$, and show that each differential operator lifts to one over $\mathbb{Z}$. |
| title | Homological properties of invariant rings of permutation groups |
| topic | Commutative Algebra Representation Theory 13A50 |
| url | https://arxiv.org/abs/2511.07718 |