-
Modular group actions on algebras and p-local Galois extensions for finite groups
Authors:
Peter Fleischmann,
Chris Woodcock
Abstract:
Let k be a field of positive characteristic p and let G be a finite group. In this paper we study the category TsG of finitely generated commutative k-algebras A on which G acts by algebra automorphisms with surjective trace. If A = k[X], the ring of regular functions of a variety X, then trace-surjective group actions on A are characterized geometrically by the fact that all point stabilizers on…
▽ More
Let k be a field of positive characteristic p and let G be a finite group. In this paper we study the category TsG of finitely generated commutative k-algebras A on which G acts by algebra automorphisms with surjective trace. If A = k[X], the ring of regular functions of a variety X, then trace-surjective group actions on A are characterized geometrically by the fact that all point stabilizers on X are p'-subgroups or, equivalently, that A is a Galois extension of the ring of P invariants for every Sylow p-group P of G. We investigate categorical properties, using a version of Frobenius-reciprocity for group actions on k-algebras, which is based on tensor induction for modules. We also describe projective generators in TsG , extending and generalizing the investigations started in [8], [7] and [9] in the case of p-groups. As an application we show that for an abelian or p-elementary group G and k large enough, there is always a faithful (possibly nonlinear) action on a polynomial ring such that the ring of invariants is also a polynomial ring. This would be false for linear group actions by a result of Serre. For p-solvable groups we obtain a structure theorem on trace-surjective algebras, generalizing the corresponding result for p-groups in [8].
△ Less
Submitted 1 July, 2015;
originally announced July 2015.
-
Free group actions on varieties and the category of modular Galois Extensions for finite p-groups
Authors:
Peter Fleischmann,
Christopher Woodcock
Abstract:
It is known that a finite group G can only act freely on affine n-space if K has positive characteristic p and G is a p-group. In that case the group action is "non-linear" and the ring of regular functions must be a trace-surjective G-algebra. Now let K be an arbitrary field of characteristic p>0 and let G be a finite p-group. In this paper we study the category Ts of all finitely generated trace…
▽ More
It is known that a finite group G can only act freely on affine n-space if K has positive characteristic p and G is a p-group. In that case the group action is "non-linear" and the ring of regular functions must be a trace-surjective G-algebra. Now let K be an arbitrary field of characteristic p>0 and let G be a finite p-group. In this paper we study the category Ts of all finitely generated trace-surjective K-G algebras. In a previous paper we have shown that the objects in Ts are precisely those finitely generated K-G algebras A such that the extension of A over the invariant ring A^G is a Galois-extension in the sense of Chase-Harrison-Rosenberg. Although Ts is not an abelian category it has "s-projective objects", which are analogues of projective modules, and it has (s-projective) categorical generators, which we will describe explicitly. We will show that s-projective objects and their rings of invariants are retracts of polynomial rings and therefore regular UFDs. The category Ts also has "weakly initial objects", which are closely related to the essential dimension of G over K. Our results yield a geometric structure theorem for free actions of finite p-groups on affine K-varieties. There are also close connections to open questions on retracts of polynomial rings, to embedding problems in standard modular Galois-theory of p-groups and, potentially, to a new constructive approach to homogeneous invariant theory.
△ Less
Submitted 24 March, 2014;
originally announced March 2014.
-
Relative Invariants, Ideal Classes and Quasi-Canonical Modules of Modular Rings of Invariants
Authors:
Peter Fleischmann,
Chris Woodcock
Abstract:
We describe "quasi canonical modules" for modular invariant rings $R$ of finite group actions on factorial Gorenstein domains. From this we derive a general "quasi Gorenstein criterion" in terms of certain 1-cocycles. This generalizes a recent result of A. Braun for linear group actions on polynomial rings, which itself generalizes a classical result of Watanabe for non-modular invariant rings.…
▽ More
We describe "quasi canonical modules" for modular invariant rings $R$ of finite group actions on factorial Gorenstein domains. From this we derive a general "quasi Gorenstein criterion" in terms of certain 1-cocycles. This generalizes a recent result of A. Braun for linear group actions on polynomial rings, which itself generalizes a classical result of Watanabe for non-modular invariant rings.
We use an explicit classification of all reflexive rank one $R$-modules, which is given in terms of the class group of $R$, or in terms of $R$-semi-invariants. This result is implicitly contained in a paper of Nakajima (\cite{Nakajima:rel_inv}).
△ Less
Submitted 23 November, 2010;
originally announced November 2010.
-
Non-linear Group Actions with Polynomial Invariant Rings and a Structure Theorem for Modular Galois Extensions
Authors:
Peter Fleischmann,
Chris Woodcock
Abstract:
Let $G$ be a finite $p$-group and $k$ a field of characteristic $p>0$. We show that $G$ has a \emph{non-linear} faithful action on a polynomial ring $U$ of dimension $n=\mathrm{log}_p(|G|)$ such that the invariant ring $U^G$ is also polynomial. This contrasts with the case of \emph{linear and graded} group actions with polynomial rings of invariants, where the classical theorem of Chevalley-Shepha…
▽ More
Let $G$ be a finite $p$-group and $k$ a field of characteristic $p>0$. We show that $G$ has a \emph{non-linear} faithful action on a polynomial ring $U$ of dimension $n=\mathrm{log}_p(|G|)$ such that the invariant ring $U^G$ is also polynomial. This contrasts with the case of \emph{linear and graded} group actions with polynomial rings of invariants, where the classical theorem of Chevalley-Shephard-Todd and Serre requires $G$ to be generated by pseudo-reflections.
Our result is part of a general theory of "trace surjective $G$-algebras", which, in the case of $p$-groups, coincide with the Galois ring-extensions in the sense of \cite{chr}. We consider the \emph{dehomogenized symmetric algebra} $D_k$, a polynomial ring with non-linear $G$-action, containing $U$ as a retract and we show that $D_k^G$ is a polynomial ring. Thus $U$ turns out to be \emph{universal} in the sense that every trace surjective $G$-algebra can be constructed from $U$ by "forming quotients and extending invariants". As a consequence we obtain a general structure theorem for Galois-extensions with given $p$-group as Galois group and any prescribed commutative $k$-algebra $R$ as invariant ring. This is a generalization of the Artin-Schreier-Witt theory of modular Galois field extensions of degree $p^s$.
△ Less
Submitted 23 November, 2010;
originally announced November 2010.
-
The Noether numbers for cyclic groups of prime order
Authors:
P. Fleischmann,
M. Sezer,
R. J. Shank,
C. F. Woodcock
Abstract:
The Noether number of a representation is the largest degree of an element in a minimal homogeneous generating set for the corresponding ring of invariants. We compute the Noether number for an arbitrary representation of a cyclic group of prime order, and as a consequence prove the "2p-3 conjecture".
The Noether number of a representation is the largest degree of an element in a minimal homogeneous generating set for the corresponding ring of invariants. We compute the Noether number for an arbitrary representation of a cyclic group of prime order, and as a consequence prove the "2p-3 conjecture".
△ Less
Submitted 3 August, 2005;
originally announced August 2005.
