Skip to main content
1 of 4
Mark Grant
  • 35.9k
  • 8
  • 95
  • 198

finite generation of equivariant cohomology rings

Let $G$ be a finite group acting on a topological space $X$. (In my applications, $X$ is the classifying space of a compact Lie group.) Let $H^\ast(-)=H^\ast(-;\mathbb{Z}/2\mathbb{Z})$ denote mod 2 singular cohomology.

By the work of Quillen ("The Spectrum of an Equivariant Cohomology Ring: I"), if $H^\ast(X)$ is a finitely generated $\mathbb{Z}/2\mathbb{Z}$-module, then the equivariant cohomology $$H^\ast_G(X) = H^\ast(EG\times_G X)$$ is a finitely generated as a $\mathbb{Z}/2\mathbb{Z}$-algebra.

My question is, if we only assume that $H^\ast(X)$ is finitely generated as an algebra, does the conclusion still hold, ie is the equivariant cohomology $H^\ast_G(X)$ necessarily finitely generated as an algebra?

Mark Grant
  • 35.9k
  • 8
  • 95
  • 198