The Depth of Invariant Rings and Cohomology

✍ Scribed by Gregor Kemper

• Publisher: Elsevier Science
• Year: 2001
• Tongue: English
• Weight: 426 KB
• Volume: 245
• Category: Article
• ISSN: 0021-8693
• DOI: 10.1006/jabr.2001.8840

✦ Synopsis

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 p-subgroup. Ellingsrud and Skjelbred [Compositio Math. 41 (1980), 233-244] proved the lower bound

for the depth of the invariant ring, with equality if G is a cyclic p-group. 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 H 1 G K V = 0 or dim V P + 2 ≥ dim V . 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 groups SL 2 q SO 3 q SU 3 q Sz q , and R q with many interesting representations in defining characteristic are visibly flat. In particular, if G = SL 2 q and V is the space of binary forms of degree n or a direct sum of such spaces, then G V is flat for all q = p r with the exception of a finite number of primes p. Along the way, we obtain results about the Buchsbaum property of invariant rings and about the depth of the cohomology modules H i G K V . We also determine the support of the positive cohomology H + G K V as a module over K V G . In the Appendix, the visibly flat pairs G V of a group with BN-pair and an irreducible representation are classified.