Smith theory revisited (Q1122184)

Let G be an elementary abelian p-group and X a finite CW-complex on which G acts. In this very elegant paper the authors show an explicit functorial description of the mod p-cohomology of the fixed point set \(H^*(X^ G)\) in terms of \(H^*(EG\times_ GX)\) considered both as a module over the Steenrod algebra and over the cohomology ring \(H^*(BG)\). The starting point for this work was the classical localization theorem in equivariant cohomology. As an application the authors describe mod 2-cohomology of fixed point sets of involutions on cohomology real projective space.