Covering Space - Relations With Classifying Spaces and Group Cohomology

Relations With Classifying Spaces and Group Cohomology

If X is a connected cell complex with homotopy groups πn(X) =0 for all n ≥ 2, then the universal covering space T of X is contractible, as follows from applying the Whitehead theorem to T. In this case X is a classifying space or K(G,1) for G = π1(X).

Moreover, for every n ≥ 0 the group of cellular n-chains Cn(T) (that is, a free abelian group with basis given by n-cells in T) also has a natural ZG-module structure. Here for an n-cell σ in T and for g in G the cell g σ is exactly the translate of σ by a covering transformation of T corresponding to g. Moreover, Cn(T) is a free ZG-module with free ZG-basis given by representatives of G-orbits of n-cells in T. In this case the standard topological chain complex

where ε is the augmentation map, is a free ZG-resolution of Z (where Z is equipped with the trivial ZG-module structure, g m = m for every gG and every mZ). This resolution can be used to compute group cohomology of G with arbitrary coefficients.

Read more about this topic:  Covering Space

Famous quotes containing the words relations with, relations, spaces and/or group:

    The land is the appointed remedy for whatever is false and fantastic in our culture. The continent we inhabit is to be physic and food for our mind, as well as our body. The land, with its tranquilizing, sanative influences, is to repair the errors of a scholastic and traditional education, and bring us to just relations with men and things.
    Ralph Waldo Emerson (1803–1882)

    Actually, the laboring man has not leisure for a true integrity day by day; he cannot afford to sustain the manliest relations to men; his labor would be depreciated in the market.
    He has no time to be anything but a machine.
    Henry David Thoreau (1817–1862)

    Deep down, the US, with its space, its technological refinement, its bluff good conscience, even in those spaces which it opens up for simulation, is the only remaining primitive society.
    Jean Baudrillard (b. 1929)

    With a group of bankers I always had the feeling that success was measured by the extent one gave nothing away.
    Francis Aungier, Pakenham, 7th Earl Longford (b. 1905)