Cellular free resolution from a contractible universal cover
ID: cellular-free-resolution-from-a-contractible-universal-cover
For a connected CW complex with contractible universal cover, let and . Lift each cell once and transport its orientation by deck transformations. Its translates form an -basis of the cellular chains of the cover. The augmentation sends every vertex to one, and contractibility makes the augmented chain complex an exact free resolution of the trivial module . An -linear cochain with trivial coefficient action is constant on each orbit of lifts, identifying with the cellular cohomology complex of . Consequently . The same argument with singular simplex lifts works for spaces with a contractible universal cover.
New to topics? Read the docs here!