pith. sign in

arxiv: 2511.07718 · v2 · submitted 2025-11-11 · 🧮 math.AC · math.RT

Homological properties of invariant rings of permutation groups

Aryaman Maithani This is my paper

Pith reviewed 2026-05-18 00:06 UTC · model grok-4.3

classification 🧮 math.AC math.RT MSC 13A50
keywords invariant ringspermutation groupsa-invariantquasi-Gorensteinlocal cohomologyMolien formulaShank-Wehlau conjecture
0
0 comments X

The pith

For permutation groups acting on polynomial rings, the a-invariant and quasi-Gorenstein property of the invariant ring are independent of the base field when its characteristic is not two.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies rings of invariants S^G where G is a subgroup of the symmetric group acting on the polynomial ring S = k[x1, ..., xn] by permuting the variables. It shows that when the characteristic of k is not two, the a-invariant of S^G, whether S^G is quasi-Gorenstein, and the Hilbert functions of the local cohomology modules H_m^n(S)^G and H_n^n(S^G) are all independent of the specific field k. These quantities coincide with each other and can therefore be computed using characteristic-zero methods such as Molien's formula. In characteristic two the ring is always quasi-Gorenstein, the a-invariant is given explicitly, and the two Hilbert functions agree up to a shift determined by the number of transpositions in G.

Core claim

When G acts by permuting the variables of S = k[x1, ..., xn] and char(k) ≠ 2, the a-invariant of the invariant ring S^G, the property that S^G is quasi-Gorenstein, and the Hilbert functions of H_m^n(S)^G together with H_n^n(S^G) are all independent of k; moreover the two Hilbert functions coincide.

What carries the argument

The local cohomology modules H_m^n(S)^G and H_n^n(S^G) whose Hilbert functions, together with the a-invariant, capture the homological information that turns out to be independent of the base field.

Load-bearing premise

The group G acts by permuting the variables of the polynomial ring S over the field k.

What would settle it

An explicit computation of the a-invariant of S^G for a fixed permutation group G, once in characteristic zero and once in characteristic three, that yields different values.

read the original abstract

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}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The paper studies homological properties of the invariant ring S^G for a subgroup G of the symmetric group acting by permuting variables in the polynomial ring S = k[x_1, …, x_n]. It shows that when char(k) ≠ 2 the a-invariant of S^G, the quasi-Gorenstein property of S^G, and the Hilbert functions of H_m^n(S)^G and H_n^n(S^G) are independent of k, with the two Hilbert functions coinciding; these quantities may therefore be computed via characteristic-zero methods such as Molien’s formula. In characteristic 2 the ring is always quasi-Gorenstein, the a-invariant is given explicitly, and the Hilbert functions agree up to a shift by the number of transpositions in G. The manuscript also determines when the inclusion S^G ↪ S splits (thereby proving the Shank–Wehlau conjecture for permutation subgroups) and identifies the ring of k-linear differential operators on S^G, showing each lifts to an operator over ℤ.

Significance. If the central claims hold, the work supplies a complete, characteristic-independent description of several key homological invariants for permutation invariants, together with an explicit treatment of the characteristic-2 case. The reduction to combinatorial data (cycle indices and fixed-point statistics) that manifestly avoids dependence on k (when char(k) ≠ 2) is a clear strength, as is the resolution of the Shank–Wehlau conjecture in this setting and the integrality result for differential operators. These results allow uniform computations across most characteristics and clarify the precise role of the permutation hypothesis.

major comments (2)
  1. [§4] §4, the identification of H_m^n(S)^G with a combinatorial generating function: the argument that this generating function is independent of k when char(k) ≠ 2 is load-bearing for the independence claim, yet the precise step that equates the local-cohomology Hilbert series to the cycle-index expression is not fully expanded; a short additional paragraph spelling out the graded-piece isomorphism would strengthen the derivation.
  2. [Theorem 6.3] Theorem 6.3 (characteristic-2 case): the shift in the Hilbert functions is stated to be exactly the number of transpositions; because this shift is used to relate H_m^n(S)^G and H_n^n(S^G), it would be useful to see an explicit verification that the sign representation on transpositions produces precisely this degree shift and no further characteristic-dependent correction.
minor comments (3)
  1. [§1] The maximal ideals m and n are introduced in the abstract and §1 but their precise definitions (as the irrelevant ideal of S and of S^G respectively) appear only later; moving the definitions to the first paragraph of §2 would improve readability.
  2. [§3] Molien’s formula is invoked repeatedly without a reference; adding a standard citation (e.g., to the original paper or a textbook treatment in invariant theory) would be helpful for readers.
  3. [§7] In the statement of the differential-operator result, the phrase “each differential operator lifts to one over ℤ” could be clarified by specifying whether the lift is unique or canonical.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation of the manuscript and for the constructive suggestions that will improve its clarity. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

  1. Referee: [§4] §4, the identification of H_m^n(S)^G with a combinatorial generating function: the argument that this generating function is independent of k when char(k) ≠ 2 is load-bearing for the independence claim, yet the precise step that equates the local-cohomology Hilbert series to the cycle-index expression is not fully expanded; a short additional paragraph spelling out the graded-piece isomorphism would strengthen the derivation.

    Authors: We agree that expanding this step will strengthen the exposition. The independence from the base field (when char(k) ≠ 2) follows from the fact that the relevant graded pieces of local cohomology are identified with a combinatorial expression coming from the cycle index of G, which is defined over ℤ. In the revised manuscript we will insert a short additional paragraph in §4 that explicitly describes the graded-piece isomorphism between H_m^n(S)^G and the cycle-index generating function. This addition makes the characteristic-independence argument fully transparent while leaving the overall proof unchanged. revision: yes

  2. Referee: [Theorem 6.3] Theorem 6.3 (characteristic-2 case): the shift in the Hilbert functions is stated to be exactly the number of transpositions; because this shift is used to relate H_m^n(S)^G and H_n^n(S^G), it would be useful to see an explicit verification that the sign representation on transpositions produces precisely this degree shift and no further characteristic-dependent correction.

    Authors: We concur that an explicit verification is desirable. The shift arises because the sign representation on the transpositions in G acts on the top local cohomology by a degree shift equal to the number of transpositions, and this action is defined integrally. In the revised version we will add a direct computation, immediately following the statement of Theorem 6.3, that verifies the precise degree shift induced by this representation and confirms the absence of any additional characteristic-dependent correction terms in characteristic 2. This will clarify the relation between the two Hilbert functions. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives its central claims—the k-independence (for char(k) ≠ 2) of the a-invariant of S^G, the quasi-Gorenstein property, and the equality of Hilbert functions of H_m^n(S)^G and H_n^n(S^G)—by reducing the graded pieces and local cohomology modules to combinatorial invariants of the permutation representation (cycle index, fixed-point statistics). These generating functions are manifestly independent of the base field once the permutation hypothesis is in place, and the reduction invokes only the standard Molien theorem rather than any quantity defined or fitted inside the paper. The char-2 case is handled by a separate explicit sign-representation shift that tracks transpositions. The splitting criterion for S^G ↪ S (which proves the Shank–Wehlau conjecture for permutation groups) and the description of the ring of differential operators likewise follow directly from the same combinatorial data without self-referential definitions or load-bearing self-citations. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so a complete audit of free parameters, axioms, and invented entities is impossible. The statements appear to rest on standard facts from commutative algebra and representation theory rather than new ad-hoc postulates.

axioms (1)
  • standard math Standard properties of local cohomology modules H_m^n and H_n^n in graded commutative algebra
    Invoked when defining the Hilbert functions whose independence is claimed.

pith-pipeline@v0.9.0 · 5545 in / 1313 out tokens · 47039 ms · 2026-05-18T00:06:14.014180+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [1]

    Locally finite derivations and modular coinvariants

    2 [DK] Harm Derksen and Gregor Kemper. Computational invariant theory. enlarged. V ol. 130. Encyclopaedia of Math- ematical Sciences. With two appendices by Vladimir L. Popov, and an addendum by Norbert A’Campo and Popov, Invariant Theory and Algebraic Transformation Groups, VIII. Springer, Heidelberg, 2015, pp. xxii+366. 9 [ES] Jonathan Elmer and M ¨ufit...

    work page 2015

  2. [2]

    Infinite integral extensions and big Cohen-Macaulay algebras

    1 [HH1] Melvin Hochster and Craig Huneke. “Infinite integral extensions and big Cohen-Macaulay algebras”. In: Ann. of Math. (2) 135.1 (1992), pp. 53–89. 2 [HH2] Melvin Hochster and Craig Huneke. “ F-regularity, test elements, and smooth base change”. In: Trans. Amer. Math. Soc. 346.1 (1994), pp. 1–62. 1 [HS] Mitsuyasu Hashimoto and Anurag K. Singh. “Frobe...

    work page arXiv 1992