Results 1  10
of
12
Some Algorithms in Invariant Theory of Finite Groups
 Computational Methods for Representations of Groups and Algebras, Euroconference in Essen, April 15 1997, Progress in Mathematics 173
, 1998
"... We present algorithms which calculate the invariant ring K[V ] G of a finite group G. Our focus of interest lies on the modular case, i.e., the case where jGj is divided by the characteristic of K. We give easy algorithms to compute several interesting properties of the invariant ring, such as ..."
Abstract

Cited by 20 (5 self)
 Add to MetaCart
(Show Context)
We present algorithms which calculate the invariant ring K[V ] G of a finite group G. Our focus of interest lies on the modular case, i.e., the case where jGj is divided by the characteristic of K. We give easy algorithms to compute several interesting properties of the invariant ring, such as the CohenMacaulay property, depth, the finumber and syzygies. Introduction This paper presents various algorithms for invariant theory of finite groups, which were implemented in the computer algebra system Magma [4 or 6] during a visit of the first author to Sydney. We focus on those algorithms which are new or which have never been written up before, and only sketch those that can already be found in the literature. Due to improvements of existing algorithms and a better usage of computational resources by the Magma system, this recent implementation generally produces much better timings than the Invar package which was implemented by the first author in Maple (see Kemper [8]). For ge...
Symmetric Powers of Modular Representations, Hilbert Series and Degree Bounds
, 1999
"... Let G = Zp be a cyclic group of prime order p with a representation G ! GL(V ) over a field K of characteristic p. In 1976, Almkvist and Fossum gave formulas for the decomposition of the symmetric powers of V in the case that V is indecomposable. From these they derived formulas for the Hilbert seri ..."
Abstract

Cited by 17 (1 self)
 Add to MetaCart
Let G = Zp be a cyclic group of prime order p with a representation G ! GL(V ) over a field K of characteristic p. In 1976, Almkvist and Fossum gave formulas for the decomposition of the symmetric powers of V in the case that V is indecomposable. From these they derived formulas for the Hilbert series of the invariant ring K[V ] G . Following Almkvist and Fossum in broad outline, we start by giving a shorter, selfcontained proof of their results. We extend their work to modules which are not necessarily indecomposable. We also obtain formulas which give generating functions encoding the decompositions of all symmetric powers of V into indecomposables. Our results generalize to groups of the type Zp \Theta H with jHj coprime to p. Moreover, we prove that for any finite group G whose order is divisible by p but not by p 2 , the invariant ring K[V] G is generated by homogeneous invariants of degrees at most dim(V ) \Delta (jGj  1).
Loci in Quotients by Finite Groups, Pointwise Stabilizers and the Buchsbaum Property
, 2000
"... Let K[V ] G be the invariant ring of a finite linear group G GL(V ), and let GU be the pointwise stabilizer of a subspace U V . We prove that the following numbers associated to the invariant ring decrease if one passes from K[V ] G to K[V ] GU : the minimal number of homogeneous generators, ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
(Show Context)
Let K[V ] G be the invariant ring of a finite linear group G GL(V ), and let GU be the pointwise stabilizer of a subspace U V . We prove that the following numbers associated to the invariant ring decrease if one passes from K[V ] G to K[V ] GU : the minimal number of homogeneous generators, the maximal degree of the generators, the number of syzygies and other Betti numbers, the complete intersection defect, the difference between depth and dimension, and the type. From this, theorems of Steinberg, Serre, Nakajima, Kac and Watanabe, Smith, and the author follow, which say that if K[V ] G is a polynomial ring, a hypersurface, a complete intersection, or CohenMacaulay, then the same is true for K[V ] GU . Furthermore, K[V ] GU inherits the Gorenstein property from K[V ] G . We give an algorithm which transforms generators of K[V ] G into generators of K[V ] GU . Let P be one of the properties mentioned above. We consider the locus of P in V==G := Spec \Gamma K[V ...
Symmetric Powers of Modular Representations for Groups with a Sylow Subgroup of Prime Order
 J. of Algebra
, 2000
"... Let V be a representation of a finite group G over a field of characteristic p. If p does not divide the group order, then Molien's formula gives the Hilbert series of the invariant ring. In this paper we find a replacement of Molien's formula which works in the case that jGj is divisible ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
(Show Context)
Let V be a representation of a finite group G over a field of characteristic p. If p does not divide the group order, then Molien's formula gives the Hilbert series of the invariant ring. In this paper we find a replacement of Molien's formula which works in the case that jGj is divisible by p but not by p 2 . We also obtain formulas which give generating functions encoding the decompositions of all symmetric powers of V into indecomposables. Our methods can be applied to determine the depth of the invariant ring without computing any invariants. This leads to a proof of a conjecture of the second author on certain invariants of GL2 (p). Contents Introduction 1 1 Groups with a normal Sylow psubgroup of order p 3 1.1 The representation ring and species . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Exterior and symmetric powers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.3 Averaging operators and Hilbert series . . . . . . . . . . . . . . . . . . ...
The Depth of Invariant Rings and Cohomology
, 1999
"... Let G be a finite group acting linearly on a vector space V over a field K of positive characteristic p, and let P G be a Sylow psubgroup. Ellingsrud and Skjelbred [20] proved the lower bound depth(K[V ] G ) minfdim(V P ) + 2; dim(V )g for the depth of the invariant ring, with equality if ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
(Show Context)
Let G be a finite group acting linearly on a vector space V over a field K of positive characteristic p, and let P G be a Sylow psubgroup. Ellingsrud and Skjelbred [20] proved the lower bound depth(K[V ] G ) minfdim(V P ) + 2; dim(V )g for the depth of the invariant ring, with equality if G is a cyclic pgroup. Let us call the pair (G; V ) flat if equality holds in the above. In this paper we use cohomological methods to obtain information about the depth of invariant rings and in particular to study the question of flatness. For G of order not divisible by p 2 it ensues that (G; V ) is flat if and only if dim(V P ) dim(V )\Gamma2 or H 1 (G; K[V ]) 6= 0. We obtain a formula for the depth of the invariant ring in the case that G permutes a basis of V and has order not divisible by p 2 . In this situation (G; V ) is usually not flat. Moreover, we introduce the notion of visible flatness of pairs (G; V ) and prove that this implies flatness. For example, the gro...
Non CohenMacaulay invariant rings of infinite groups
 J. Algebra
, 2006
"... We give explicit examples of invariant rings that are not CohenMacaulay for all classical groups SLn(K), GLn(K), Sp2n(K), SOn(K) and On(K), where K is an algebraically closed field of positive characteristic. We prove that every nontrivial unipotent group over K has representations such that the i ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
(Show Context)
We give explicit examples of invariant rings that are not CohenMacaulay for all classical groups SLn(K), GLn(K), Sp2n(K), SOn(K) and On(K), where K is an algebraically closed field of positive characteristic. We prove that every nontrivial unipotent group over K has representations such that the invariant ring is not CohenMacaulay.
On the Depth of Cohomology Modules
, 2003
"... We study the cohomology modules H (G; R) of a pgroup G acting on a ring R of characteristic p, for i > 0. In particular, we are interested in the CohenMacaulay property and the depth of H (G; R) regarded as an R module. We rst determine the support of H (G; R), which turns out ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We study the cohomology modules H (G; R) of a pgroup G acting on a ring R of characteristic p, for i > 0. In particular, we are interested in the CohenMacaulay property and the depth of H (G; R) regarded as an R module. We rst determine the support of H (G; R), which turns out to be independent of i. Then we study the CohenMacaulay property for H (G; R). Further results are restricted to the special case that G is cyclic and R is the symmetric algebra of a vector space on which G acts. We determine
Symmetric Powers of Modular Representations for Groups with a Sylow Subgroup of Prime Order
, 2000
"... Abstract Let V be a representation of a finite group G over a field of characteristic p. If p does not divide the group order, then Molien's formula gives the Hilbert series of the invariant ring. In this paper we find a replacement of Molien's formula which works in the case that jGj is d ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract Let V be a representation of a finite group G over a field of characteristic p. If p does not divide the group order, then Molien's formula gives the Hilbert series of the invariant ring. In this paper we find a replacement of Molien's formula which works in the case that jGj is divisible by p but not by p2. We also obtain formulas which give generating functions encoding the decompositions of all symmetric powers of V into indecomposables. Our methods can be applied to determine the depth of the invariant ring without computing any invariants. This leads to a proof of a conjecture of the second author on certain invariants of GL2(p). Contents Introduction 1 1 Groups with a normal Sylow psubgroup of order p 3
. Furthermore, K[V]
, 2001
"... be the invariant ring of a finite linear group G ^ GL(V), and let GU be the pointwise stabilizer of a subspace U ^ V. We prove that the following numbers associated to the invariant ring do not increase if one passes from K[V] G ..."
Abstract
 Add to MetaCart
(Show Context)
be the invariant ring of a finite linear group G ^ GL(V), and let GU be the pointwise stabilizer of a subspace U ^ V. We prove that the following numbers associated to the invariant ring do not increase if one passes from K[V] G
Depth and Cohomological Connectivity in Modular Invariant Theory
 Trans. Amer. Math. Soc
, 2003
"... Let G be a nite group acting linearly on a nite dimensional vector space V over a eld K of characteristic p. Assume that p divides the order of G so that V is a modular representation and let P be a Sylow psubgroup for G. De ne the cohomological connectivity of the symmetric algebra S(V ) ..."
Abstract
 Add to MetaCart
(Show Context)
Let G be a nite group acting linearly on a nite dimensional vector space V over a eld K of characteristic p. Assume that p divides the order of G so that V is a modular representation and let P be a Sylow psubgroup for G. De ne the cohomological connectivity of the symmetric algebra S(V ) to be the smallest positive integer m such that H (G; S(V )) 6= 0. We show that min ) +m+ 1; dimK (V ) is a lower bound for the depth of S(V . We characterize those representations for which the lower bound is sharp and give several examples of representations satisfying the criterion. In particular, we show that if G is pnilpotent and P is cyclic then, for any modular representation, the depth of S(V is min .