Modular covariants of cyclic groups of order p

DOI10.1016/J.JALGEBRA.2022.01.015MaRDI QIDQ2667907zbMATH OpenOpenAlexFDO

Authors Jon Elmer

Publication date 2 March 2022

Published in Journal of Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/1806.11024

zbMATH Keywords

Cohen-Macaulaycovariantsfree moduleHilbert seriesmodular invariant theory

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50)

Abstract: Let $G$ be a cyclic group of order $p$, let $k$ be a field of characteristic $p$, and let $V,W$ be $kG$-modules. We study the modules of covariants $k[V,W{]}^G=(S(V^{\ast })otimesW{)}^G$. For $V$ indecomposable with dimension 2, and $W$ an arbitrary indecomposable module, we show $k[V,W{]}^G$ is a free $k[V{]}^G$-module (recovering a result of Broer and Chuai) and we give an explicit set of covariants generating $k[V,W{]}^G$ freely over $k[V{]}^G$. For $V$ indecomposable with dimension 3 and $W$ an indecomposable module with dimension at most 5, we show that $k[V,W{]}^G$ is a Cohen-Macaulay $k[V{]}^G$-module (again recovering a result of Broer and Chuai) and we give an explicit set of covariants which generate $k[V,W{]}^G$ freely over a homogeneous system of parameters for $k[V{]}^G$. We conjecture that a similar set of covariants generates $k[V,W{]}^G$ freely over a homogeneous system of parameters for $k[V{]}^G$ when $W$ has arbitrary dimension.

Review text

Let \(G\) be a cyclic group of prime order \(p\), \(\Bbbk\) be a field of characteristic \(p\), and \(V, W\) be finite dimensional \(\Bbbk G\)-modules, therefore we have a modular representation. In this note, the author provides constructive methods for the structures and generators of the covariants \(\Bbbk[V,W]^G\), when \(V\) is the indecomposable \(\Bbbk G\)-module of dimension 2 or 3. For the notations mentioned here, the reader may refer to any standard text on invariant theory or better to the note under review. The methods used in this note can be listed as; the twisted derivation \(\Delta \), Hilbert series \(H(M,t)\), and the map \(\Theta:K_n\to\Bbbk [V,W]^G\) defined as \(\Theta(f)=\sum_{i=1}^n \Delta^{i-1}(f) w_i\) which provides an isomorphism between \(K_n\) and \(\Bbbk [V,W]^G\), and hence used to describe the module generators. To be more specific, \(\Bbbk [V_2,W]^G\) is freely generated over \(\Bbbk [V]^G\) by \(\{\Theta(1)=w_1, \Theta(x_1), \Theta(x_1^2), \dotsc, \Theta(x_1^{n-1})\}\). And, similarly, \(\Bbbk [V_3,W]^G\) is freely generated over \(A\), where \(A\) is a polynomial ring generated by a homogeneous system of parameters, by \(\{\Theta(M_0), \Theta(M_1), \dotsc, \Theta(M_{n-1}), \Theta(P_0), \Theta(\Delta^{p-n}(P_1)),\dotsc,\Theta(\Delta^{p-n}(P_{n-1}))\}\), where \(M_i, P_j\) are explicitly defined in the article. Finally, the author provides an application of the generators of covariants to find the minimal generators of the transfer ideals \(\mathrm{Tr}^G(\Bbbk [V_2])\) and \(\mathrm{Tr}^G(\Bbbk [V_3])\).

Recommendations

• Degree bounds for modular covariants
• scientific article; zbMATH DE number 2147491
• Invariants for the modular cyclic group of prime order via classical invariant theory
• On generators of the Hilbert ideal for cyclic groups in modular invariant theory
• On the coinvariants of modular representations of cyclic groups of prime order

Cites work

• Cohen-Macaulay Rings, Invariant Theory, and the Generic Perfection of Determinantal Loci
• Finite Unitary Reflection Groups
• History of the theory of numbers. Vol. I: Divisibility and primality. Vol. II: Diophantine analysis. Vol. III: Quadratic and higher forms.
• Invariants of Finite Groups Generated by Reflections
• Modules of covariants in modular invariant theory
• On generalized invariants of cyclic groups
• Quotient-singularities and wild p-cyclic actions
• Reflection groups and differential forms
• S. A. G. B. I. bases for rings of formal modular seminvariants
• Symmetric powers and modular invariants of elementary abelian p-groups
• Symmetric powers of modular representations, hilbert series and degree bounds
• Transvection free groups and invariants of polynomial tensor exterior algebras

Cited in

(8)

• Invariants for the modular cyclic group of prime order via classical invariant theory
• On generalized invariants of cyclic groups
• Modular vector invariants of cyclic group Z₂
• scientific article; zbMATH DE number 2147491 (Why is no real title available?)
• On generators of the Hilbert ideal for cyclic groups in modular invariant theory
• Modular quotient varieties and singularities by the cyclic group of order 2p
• The transfer ideal under the action of a nonmetacyclic group in the modular case
• The module structure of a group action on a ring

This page was built for publication: Modular covariants of cyclic groups of order \(p\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2667907)