Periodic group cohomology from a free sphere action

ID: periodic-group-cohomology-from-a-free-sphere-action

Suppose a finite group acts freely on and trivially on its integral cohomology. The Borel construction gives a sphere fibration over whose total space is homotopy equivalent to the -dimensional quotient. Its Serre spectral sequence has just two rows with trivial local coefficients. Transgressing the fibre generator gives ; the sole differential is multiplication by it up to sign. For , both the source and target terms have total degrees above , so their surviving kernel and cokernel must vanish. Hence multiplication by gives period in positive-degree cohomology over any field.

New to topics? Read the docs here!