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.
Articles by others on the same topic
There are currently no matching articles.