Cohen-Macaulay modules of covariants for cyclic $p$-groups

Jonathan Elmer

REVIEW 2 major objections 7 minor 12 references

Cohen-Macaulay modules of covariants for cyclic $p$-groups

T0 review · 2 major / 7 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A degree-sum test turns independent sets into explicit free bases for all modules of covariants of cyclic p-groups when the fixed-point space has codimension at most two.

desk verdict Clean generating sets for the remaining cyclic p-group covariant cases, with an abstract that overstates the scope by omitting the trivial-summand reduction. read the letter →

arxiv 2506.03677 v1 pith:7CNRIMPZ submitted 2025-06-04 math.AC math.RA

Jonathan Elmer This is my paper

classification math.ACmath.RA MSC 13A50

keywords invarianttheorymoduleofcovariantsfreeCohen-Macaulaycyclicp-groups-invariantHilbertseriesmodularrepresentation

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper gives explicit free generating sets for modules of covariants of cyclic p-groups in the modular case, where the field characteristic divides the group order. In this setting a module of covariants is Cohen-Macaulay—free over a polynomial subalgebra generated by a homogeneous system of parameters—whenever the fixed-point space of the representation has codimension at most two. The paper proves a general degree-sum test: for a free graded module over a regular graded algebra, an independent set with the right number of elements generates the module exactly when the sum of its degrees matches the s-invariant read off from Hilbert series. Applying this test to the kernels of the operator $\Delta=\sigma-1$ yields explicit monomial and $\Delta$-image bases for all such covariant modules in the cases $V=V_3$ (the indecomposable module of dimension three) with $p>2$, $V=V_2\oplus V_2$, and $V=V_3$ for the group of order four.

What carries the argument

The load-bearing tool is Proposition 4: if $A$ is a regular graded $k$-algebra with $A_0=k$ and $M$ is a finitely generated free graded $A$-module, then an $A$-independent set $g_1,\dots,g_r$ with $r=r(M,A)$ satisfies $\sum_i \deg(g_i)\ge s(M,A)$, with equality exactly when the set generates $M$. Here $s(M,A)$ is the coefficient of $(t-1)$ in the expansion of $H(M,t)/H(A,t)$ about $t=1$. The paper couples this criterion with the graded $k[V]^G$-module isomorphism $\Xi:\ker(\Delta^n)\cong k[V,V_n]^G$, $\Xi(f)=\sum_{i=0}^{n}\Delta^i(f)w_i$, where $\Delta=\sigma-1$ is the twisted derivation coming from a generator $\sigma$ of the cyclic group. The candidate sets are monomials $M_i$ and $\Delta$-images of monomials $P_i$, chosen so that their lead monomials—the largest monomials with respect to a chosen monomial order—remain distinct after multiplication by elements of the homogeneous system of parameters $A$, which is what makes $A$-independence visible.

What would settle it

For a concrete check in the new $V=V_2\oplus V_2$ case, compute the Hilbert series of the $A$-submodule generated by the set in Theorem 21 and compare it with $H(K_n,t)$; any mismatch, equivalently any monomial of degree at most $s(K_n,A)$ in $K_n$ that cannot be expressed in the $A$-span, refutes the theorem.

Watch

Extended reading notes

Core claim

The paper's central claim is that in the low-codimension setting where the fixed-point space has codimension at most two, freeness of covariant modules over a homogeneous system of parameters can be made explicit: the modules have free bases that are finite sets of monomials and of images of monomials under powers of the operator $\Delta=\sigma-1$, written down directly from the action of the cyclic group. The proof route is to identify $k[V,V_n]^G$, with $V_n$ the indecomposable module of dimension $n$, with $K_n=\ker(\Delta^n)$ through the graded isomorphism $\Xi$, compute the rank $r(K_n,A)=np$ and the s-invariant $s(K_n,A)$ for each case, and verify that the displayed set is $A$-independent by comparing lead monomials. Proposition 4 then guarantees that the set generates $K_n$ freely, because its size is the rank and its degree sum is the s-invariant. Summing the resulting bases over the indecomposable summands of $W$ gives the advertised description of all modules of covariants with $\operatorname{codim}(V^G)\le 2$.

Load-bearing premise

The arguments rely on previously published descriptions of the invariant rings being complete: if one of those descriptions missed an invariant, the distinct-leading-term checks would no longer prove that the proposed sets are independent.

Editorial extensions

If this is right

For any indecomposable summand $W=V_n$ with $n\le p$ in the three handled cases, the listed set freely generates $K_n=\ker(\Delta^n)$ over $A$, and the isomorphism $\Xi$ converts it into an explicit free basis of $k[V,V_n]^G$; taking direct sums of these lists covers arbitrary $W$.
The degree-sum test removes the need to compute the Hilbert series of the covariant module itself: the rank and the s-invariant of the invariant ring, together with a lead-monomial independence check, are enough to certify a generating set.
The same sets give normal forms: every element of $K_n$ reduces uniquely to an $A$-linear combination of the displayed generators, making membership in the covariant module decidable by monomial reduction.
Together with the previously handled $V=V_2$ case, the paper completes an explicit description of all free covariant modules for cyclic $p$-groups in the Cohen-Macaulay range $\operatorname{codim}(V^G)\le 2$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The degree-sum strategy is likely transferable: for any finite group whose invariant ring over $A$ has known rank and s-invariant, the search for explicit covariant bases reduces to constructing an $A$-independent set of the right size and degree sum, a problem that monomial-order techniques may solve uniformly.
The paper's observation that kernels of relative transfer maps are modules of covariants suggests that the explicit bases here double as generators for those kernels; working this out would give new structural information about relative transfers in modular invariant theory.
One could try to push the displayed sets beyond the stated bound $n\le p$; the weight and degree-sum identities suggest the same combinatorics could be adapted, but the paper does not determine the outcome there.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's my take on arXiv:2506.03677. The paper does two genuinely useful things. It proves a general criterion (Prop 4) for when an A-independent set in a free graded module is a homogeneous basis, and it uses that criterion to write down explicit free generating sets for modules of covariants k[V,W]^G over an hsop in the two cases that were still open for cyclic p-groups: V = V2⊕V2 and V = V3 with p=2. The V3, p>2 case gets a shorter proof than Elmer's earlier paper [7], and the V2 case is quoted. The new computations check out: the sets have the right size and degree sum, and the lead-monomial independence arguments are basically sound. The general criterion is clean and should be reusable.

The main soft spot is a scope gap in the advertised theorem. The abstract says 'all modules of covariants ... where codim(V^G) ≤ 2 and G is a cyclic p-group.' But Proposition 2 classifies only faithful V with no trivial direct summands, and the four theorems in Section 4 cover exactly those four cases. If V has a trivial summand, say V = k ⊕ V_2 for C_p, then codim(V^G)=1 and the module is free over an hsop, but no reduction is given and none of the theorems apply. Similarly, non-faithful actions are not explicitly reduced to the faithful quotient. The missing reduction is standard: if V = U ⊕ V' with U trivial, then k[V,W]^G ≅ k[U] ⊗ k[V',W]^G, and generating sets extend by tensoring with U. Adding a short paragraph would fix the overstatement. As written, the paper proves the faithful/no-trivial-summand cases, not literally 'all.'

There are also minor presentation issues. Some lead-term computations in the V3, p=2 subsection are asserted rather than shown, and a couple of typos (e.g., the lead-term list in Proposition 23) make that section harder to read than necessary. The proof of Proposition 4 is correct but implicitly assumes the candidate generators are homogeneous; that should be stated.

The V2+V2 degree-sum computation is long but appears correct; I didn't find a numerical error. The paper is a competent subfield completion: nothing earth-shattering, but the new explicit sets and the criterion have value for people working on modular covariants. It deserves a serious referee. I'd send it to peer review and ask for the reduction to trivial summands to be added, plus a few computations expanded.

Referee Report

2 major / 7 minor

Summary. The paper proves a general criterion (Proposition 4) for deciding whether a set of homogeneous elements of a free graded module is a generating set: an A-independent set with r(M,A) elements has degree sum at least s(M,A), with equality exactly when it generates. It then uses this criterion to find explicit free generating sets, over a homogeneous system of parameters A, for modules of covariants k[V,W]^G when G is a cyclic p-group and codim(V^G) ≤ 2. The main cases are V=V_2, V=V_3 (p>2), V=V_2⊕V_2, and V=V_3 for G=C_4 in characteristic 2; the latter two families are new. The proofs proceed by identifying k[V,V_n]^G with ker(Δ^n) via the isomorphism Ξ of Section 3, then exhibiting A-independent sets with the correct cardinality and degree sum.

Significance. If the advertised scope is repaired, the paper gives a useful and elegant general freeness criterion and explicit, checkable generating sets for modular covariants in low codimension. Proposition 4 is a clean tool that may have independent applications. The new cases V_2⊕V_2 and V_3 for C_4 are substantive, and the degree-sum and cardinality computations in §4.2 are worked out in detail. The reliance on previously established descriptions of invariant rings (from [7], [2], and [4]) is reasonable, though it means the independence arguments inherit any incompleteness in those descriptions.

major comments (2)

[Abstract and §1, Proposition 2] The abstract claims generating sets for all modules of covariants with codim(V^G) ≤ 2, but Proposition 2 classifies only faithful representations with no trivial direct summands, and Section 4 treats only the four cases listed there. For V = k^m ⊕ V' with G acting trivially on k^m, one has codim(V^G)=codim(V'^G) ≤ 2 and k[V,W]^G ≅ k[t_1,...,t_m] ⊗_k k[V',W]^G, but this reduction is never stated or used. Theorems 17, 21, and Propositions 22–24 therefore do not, as written, cover all modules of covariants with codim(V^G) ≤ 2. A short reduction argument for trivial summands is needed to make the advertised 'all modules' claim true.
[§2, Proposition 4] Proposition 4 is the central tool, but its statement is imprecise: it says 'A-independent set of elements' and refers to deg(g_i), yet the proof compares with a homogeneous basis f_1,...,f_r and uses Hilbert-series arguments that require all elements to be homogeneous. The statement should explicitly require M to be graded and g_1,...,g_r to be homogeneous; otherwise the degree sum is undefined and the equality criterion is not meaningful. This is a formulation issue under the intended hypotheses, but it should be corrected because the proposition is load-bearing.

minor comments (7)

[Abstract and title] There are several typographical errors: 'a a' and 'and and' in the abstract, 'MACAULA Y' in the title, and 'V3, p= 2. .' in the Section 4.3 heading.
[§2, Proposition 4] The opening phrase 'Let A be a regular, graded k-module' should read 'regular, graded k-algebra'.
[§4.2, Lemma 18] The proof refers to 'Equations (6) and (5) above', but Equation (6) first appears later in §4.3; Lemma 18 should instead cite the Campbell–Hughes rank r(k[V]^G,A)=p and Equation (5).
[§4.2, Theorem 21] In the independence argument, the sentence 'Multiplying an element of k[V] by an element of A preserves its x1- and x2-degree modulo p' is imprecise: multiplication by N^G(x1) can introduce x1-degree 1 terms. What is needed, and what the argument uses, is that the lead monomials of elements of A have x1- and x2-degree divisible by p; this should be stated explicitly.
[§4.3, Propositions 22–24] For G=C_4 the case n=1 is not treated: K_1=k[V]^G is free over A with basis {1,u} by the argument preceding Proposition 22, so this case should be stated explicitly if the claim covers arbitrary indecomposable W.
[§4.3, Proposition 23] The computation of s(k[V,V_3]^H,k[V]^H)=1 is terse; since k[V] is free over k[N_H(x1),x2,x3] with basis {1,x1}, adding one or two lines would make the s-invariant calculation transparent.
[§4.3, Proposition 24] The A-independence proof says the argument is 'similar to the previous result' without listing the lead terms of the eight elements of S; listing them would improve verifiability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the new cases are verified against independently computed ranks and s-invariants, and self-citations concern only previously published, checkable results.

full rationale

The derivation chain for the paper's genuinely new cases is not circular. The strategy (Section 4 preamble) is to use Broer-Chuai's rank and s-invariant formulas (Propositions 1, 3 and 7) together with known invariant-ring descriptions from Campbell-Hughes [2] and Derksen-Kemper [4] to compute r(K_n,A) and s(K_n,A) independently; then construct an explicit candidate set, verify A-independence by lead-monomial arguments, and apply Proposition 4, which converts degree-sum equality into freeness. The candidate sets are not fitted from the quantity they are said to predict: s is computed before the sets are checked, and the independence arguments are direct. The only self-citation of note is the use of the author's earlier paper [7] for the invariant-ring structure in the V=V3, p>2 case and for two lead-monomial lemmas; that case was already obtained in [7], is published and externally checkable, and is not used in the new V2+V2 or C4 cases. A non-circular completeness gap exists: Proposition 2 assumes V has no trivial direct summands, but Section 4 then says 'Now we assume that codim(V^G) ≤ 2, so V is isomorphic to one of the modules listed in Proposition 2,' while the abstract claims 'all modules,' so representations with trivial summands are omitted. This is a scoping/correctness issue, not a circularity, and it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The central claim rests only on standard algebra, representation theory, and cited structural results about the relevant invariant rings. There are no fitted numbers, no new postulated objects, and no ad hoc assumptions introduced to force the conclusion.

assumptions (6)

domain assumption Broer-Chuai theorem: if codim(V^G) is at most 2 then k[V,W]^G is Cohen-Macaulay and hence free over a homogeneous system of parameters for k[V]^G.
Invoked throughout the paper as the starting point for the explicit generating-set problem; cited to [1].
standard math Classification of indecomposable kG-modules for cyclic p-groups, with the unique indecomposable V_r of dimension r and dim(V_r^G)=1.
Used in Proposition 2 to reduce the possible V to four cases.
domain assumption Known descriptions of invariant rings: [7, Prop. 12] for V3 with odd p, [2, Prop. 2.1] for V2+V2, and [4, Thm. 3.71] with direct computation for V3 with p=2.
These cited results supply the freeness of k[V]^G over A and the secondary generators 1,f or {1,u}, which the lead-monomial independence arguments in Section 4 depend on.
domain assumption Rank and s-invariant multiplicativity and pseudo-reflection invariance from [1]: Proposition 3 and Proposition 7.
Used to compute r(K_n,A) and s(K_n,A) in Lemma 13, Lemma 18, and Section 4.3.
standard math Hilbert series and the Hilbert-Poincare theorem, plus the representation of a free module's Hilbert series by the degrees of a homogeneous basis.
This is the technical foundation of Proposition 4.
standard math The long exact sequence in group cohomology after taking G-invariants.
Used in Section 3 to identify the kernel of Delta^n with the module of covariants k[V,V_n]^G.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Cohen-Macaulay modules of covariants for cyclic $p$-groups." pith.science (2026). https://pith.science/paper/7CNRIMPZ

@misc{pith2026250603677,
  author       = {Pith},
  title        = {Pith review of: Cohen-Macaulay modules of covariants for cyclic $p$-groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7CNRIMPZ}},
  note         = {Machine review of arXiv:2506.03677}
}

abstract

Let $G$ be a a finite group, $k$ a field of characteristic dividing $|G|$ and and $V,W$ $kG$-modules. Broer and Chuai showed that if $\mathrm{codim}(V^G) \leq 2$ then the module of covariants $k[V,W]^G = (k[V]\otimes W)^G$ is a Cohen-Macaulay module, hence free over a homogeneous system of parameters for the invariant ring $k[V]^G$. In the present article we prove a general result which allows us to determine whether a set of elements of a free $A$-module is a generating set, for any $k$-algebra $A$. We use this result to find generating sets for all modules of covariants $k[V,W]^G$ over a homogeneous system of parameters, where $\mathrm{codim}(V^G) \leq 2$ and $G$ is a cyclic $p$-group.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[7]

Modular covariants of cyclic groups of order p

Jonathan Elmer. Modular covariants of cyclic groups of order p. J. Algebra , 598:134–155, 2022

work page 2022
[2]

H. E. A. Campbell and I. P. Hughes. 2-dimensional vector invariants of parabolic subgroups of Gl2(Fp) over the field Fp. J. Pure Appl. Algebra , 112(1):1–12, 1996

work page 1996
[4]

Computational invariant theory

Harm Derksen and Gregor Kemper. Computational invariant theory . Invariant Theory and Algebraic Transformation Groups, I. Springer-Verlag, Berlin, 2002. Encyclopaedia of Mathe- matical Sciences, 130

work page 2002
[1]

Modules of covariants in modular invariant theory

Abraham Broer and Jianjun Chuai. Modules of covariants in modular invariant theory. Proc. Lond. Math. Soc. (3) , 100(3):705–735, 2010

work page 2010
[3]

Invariants of finite groups generated by reflections.Amer

Claude Chevalley. Invariants of finite groups generated by reflections.Amer. J. Math., 77:778– 782, 1955

work page 1955
[5]

On invariants and the theory of numbers

Leonard Eugene Dickson. On invariants and the theory of numbers . Dover Publications, Inc., New York, 1966

work page 1966
[6]

Profondeur d’anneaux d’invariants en caract´ eristique p

Geir Ellingsrud and Tor Skjelbred. Profondeur d’anneaux d’invariants en caract´ eristique p. Compositio Math., 41(2):233–244, 1980

work page 1980
[8]

James Shank

Peter Fleischmann, Gregor Kemper, and R. James Shank. Depth and cohomological connec- tivity in modular invariant theory. Trans. Amer. Math. Soc. , 357(9):3605–3621 (electronic), 2005

work page 2005

Show all 12 references

[9]

Hochster and John A

M. Hochster and John A. Eagon. Cohen-Macaulay rings, invariant theory, and the generic perfection of determinantal loci. Amer. J. Math. , 93:1020–1058, 1971

1971
[10]

Barbara R. Peskin. Quotient-singularities and wild p-cyclic actions. J. Algebra, 81(1):72–99, 1983

1983
[11]

James Shank and David L

R. James Shank and David L. Wehlau. Decomposing symmetric powers of certain modular representations of cyclic groups. In Symmetry and spaces, volume 278 of Progr. Math., pages 169–196. Birkh¨ auser Boston, Boston, MA, 2010

2010
[12]

G. C. Shephard and J. A. Todd. Finite unitary reflection groups. Canadian J. Math. , 6:274– 304, 1954. Middlesex University, The Burroughs, Hendon, London, NW4 4BT UK Email address : j.elmer@mdx.ac.uk

1954

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [7]

Modular covariants of cyclic groups of order p

Jonathan Elmer. Modular covariants of cyclic groups of order p. J. Algebra , 598:134–155, 2022

work page 2022

[2] [2]

H. E. A. Campbell and I. P. Hughes. 2-dimensional vector invariants of parabolic subgroups of Gl2(Fp) over the field Fp. J. Pure Appl. Algebra , 112(1):1–12, 1996

work page 1996

[3] [4]

Computational invariant theory

Harm Derksen and Gregor Kemper. Computational invariant theory . Invariant Theory and Algebraic Transformation Groups, I. Springer-Verlag, Berlin, 2002. Encyclopaedia of Mathe- matical Sciences, 130

work page 2002

[4] [1]

Modules of covariants in modular invariant theory

Abraham Broer and Jianjun Chuai. Modules of covariants in modular invariant theory. Proc. Lond. Math. Soc. (3) , 100(3):705–735, 2010

work page 2010

[5] [3]

Invariants of finite groups generated by reflections.Amer

Claude Chevalley. Invariants of finite groups generated by reflections.Amer. J. Math., 77:778– 782, 1955

work page 1955

[6] [5]

On invariants and the theory of numbers

Leonard Eugene Dickson. On invariants and the theory of numbers . Dover Publications, Inc., New York, 1966

work page 1966

[7] [6]

Profondeur d’anneaux d’invariants en caract´ eristique p

Geir Ellingsrud and Tor Skjelbred. Profondeur d’anneaux d’invariants en caract´ eristique p. Compositio Math., 41(2):233–244, 1980

work page 1980

[8] [8]

James Shank

Peter Fleischmann, Gregor Kemper, and R. James Shank. Depth and cohomological connec- tivity in modular invariant theory. Trans. Amer. Math. Soc. , 357(9):3605–3621 (electronic), 2005

work page 2005