Dimension shifting in group cohomology
ID: dimension-shifting-in-group-cohomology
Embed a module over the group ring in a module with vanishing positive group cohomology, and write . The connecting map in the long exact group cohomology sequence of is an isomorphism for , since the groups involving on both sides vanish. For a finite group and a module with vanishing Tate cohomology of a finite group in every degree, the same argument shifts every Tate degree. Repeating this construction transports computations to a convenient resolution.
New to topics? Read the docs here!