English

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

Commutative Algebra 2025-06-05 v1 Rings and Algebras

Abstract

Let GG be a a finite group, kk a field of characteristic dividing G|G| and and V,WV,W kGkG-modules. Broer and Chuai showed that if codim(VG)2\mathrm{codim}(V^G) \leq 2 then the module of covariants k[V,W]G=(k[V]W)Gk[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]Gk[V]^G. In the present article we prove a general result which allows us to determine whether a set of elements of a free AA-module is a generating set, for any kk-algebra AA. We use this result to find generating sets for all modules of covariants k[V,W]Gk[V,W]^G over a homogeneous system of parameters, where codim(VG)2\mathrm{codim}(V^G) \leq 2 and GG is a cyclic pp-group.

Keywords

Cite

@article{arxiv.2506.03677,
  title  = {Cohen-Macaulay modules of covariants for cyclic $p$-groups},
  author = {Jonathan Elmer},
  journal= {arXiv preprint arXiv:2506.03677},
  year   = {2025}
}

Comments

16 pages