Thursday, February 9, 2012

Equivariant Cohomology

I have a space X with an action of a group G. There is the cohomology of X and the group cohomology of G. I can do something that will degenerate to these two special cases when X or G are trivial.

First take the space   it is homotopic to X because EG is contractible. There is a G action on it, act on each factor. This action is free because it is free on EG. That means you can take a well defined quotient space which will not have any weirdness. Take the ordinary cohomology of that thing.

If G is trivial then EG is too and our quotient space just spits back X.
If G acts freely, then the constructed space will be homotopic to the plain old orbit space.
If X is a point, then the constructed space will be BG, and you remember what the cohomology of that is don't you?

No comments:

Post a Comment