Hostname: page-component-7c8c6479df-5xszh Total loading time: 0 Render date: 2024-03-29T14:39:30.116Z Has data issue: false hasContentIssue false

ON THE REGULARITY CONJECTURE FOR THE COHOMOLOGY OF FINITE GROUPS

Published online by Cambridge University Press:  28 July 2008

David J. Benson
Affiliation:
Department of Mathematics, University of Aberdeen, Aberdeen AB24 3UE, UK (bensondj@maths.abdn.ac.uk)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let $K$ be a field of characteristic $p$ and let $G$ be a finite group of order divisible by $p$. The regularity conjecture states that the Castelnuovo–Mumford regularity of the cohomology ring $H^*(G,K)$ is always equal to 0. We prove that if the regularity conjecture holds for a finite group $H$, then it holds for the wreath product $H\wr\mathbb{Z}/p$. As a corollary, we prove the regularity conjecture for the symmetric groups $\varSigma_n$. The significance of this is that it is the first set of examples for which the regularity conjecture has been checked, where the difference between the Krull dimension and the depth of the cohomology ring is large. If this difference is at most 2, the regularity conjecture is already known to hold by previous work.

For more general wreath products, we have not managed to prove the regularity conjecture. Instead we prove a weaker statement: namely, that the dimensions of the cohomology groups are polynomial on residue classes (PORC) in the sense of Higman.

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 2008