We’ve organized a mostly informal Topics in Noncommutative Algebra seminar this semester, and I’m talking first in it. I’m eventually going to be talking about a paper of Ginzburg’s connecting Hochschild and cyclic cohomology to the equivariant cohomology of representation schemes. Unfortunately, the trouble about talking about fun results like that is that you need to cover alot of background material; as such, I’m doing what is turning out to be a two lecture series on equivariant cohomology and its deRham version. I figured I’d mirror these talks with a couple of posts, and maybe even talking about Ginzburg’s paper if I get enough prereqs covered.
Today I’m just going to be talking about topological equivariant cohomology. Let’s start with a nice space (say, a CW complex) and a Lie group which acts on . Unless this action is free and proper, the quotient space might be a poorly behaved space. Take, for example, acting on by some irrational rotation; the quotient isn’t even Hausdorff.
The motivating question of equivariant cohomology is: “Is there a good cohomology theory for the pair , which is if acts freely and properly?” The hope is that this will shine some more light on the hidden internal structure of the bad quotients.
The idea is to replace the space with a related space on which the action of is free and proper. First, lets assume the existance of a space with the following two crucial properties:
1) is a contractible space.
2) has a prescribed action on which is free and proper.
Readers might recognize the quotient space ; it is called the classifying space or the (first) Eilenberg-MacLane space of , depending on whether is a connected Lie group or a discrete group. The space exists in most reasonable cases (discrete groups, compact finite-dimensional Lie groups), but its almost always unavoidably infinite-dimensional.
Next, let us consider the space equipped with the diagonal action of (so ). This action is free and proper, and so the quotient is a CW complex, though sadly still infinite dimensional. However, in the case that acted freely and properly on , this space is weak homotopy equivalent to ! To see this, note that the projection induces a map which is a fiber bundle with fiber . is contractible, so the projection map is a weak homotopy equivalence.
This inspires the definition of the -equivariant cohomology of . I haven’t justified that this is well-defined; it would seem to depend on the choice of . It is independant of this choice, since it turns out any two are weakly homotopic. Also, note that this definition is functorial with respect to -equivariant maps between spaces, as any good cohomology theory should be.
Let’s see some examples.
Example 1. , and acts by rotation by (note this is not free and proper for any ). This is the first example because it was one of the few cases with a finite dimensional , where acts by translation by 1.
Then , and . We can make this simpler by conjugating the action by the homeomorphism : . This turns the action into , and didn’t change the topology of the quotient. Therefore, , and so .
Note that was only one dimensional, and yet the equivariant cohomology had components in degree 2. This is a reoccuring theme, that the dimension of is no longer a useful bound on degree of the cohomology.
Example 2. , and is any group with a trivial action on . Then . Note that this cohomology ring is most likely not trivial, despite . Since this cohomology ring only depends on the choice of group , it is called the group cohomology of (and this coincides with most other notions of group cohomology you might know). Therefore, equivariant cohomology is a generalization of the theory of group cohomologies.
The fact that points have interesting cohomology has some enjoyable consequences. Any with a action has a trivial map to which is equivariant. Therefore, there is a canonical map called the characteristic homomorphism.
Now lets consider the case of acting freely and properly on . Since , we get a map from the group cohomology of to the CW cohomology of .
However, when acts freely and properly, the quotient map often goes by a different name: principal -bundle. This is because it is a fiber bundle with each fiber a -torsor. Principal bundles come up in all sorts of places, in particular because they contain all the important information of a vector bundle with structure group .
Thus, we can do the following. Starting with a vector bundle over some space with structure group , we can reduce it to a principal bundle over (note that the quotient ). We then forget about the bundle map and only think about the total space and its action (which is free and proper). The characteristic homomorphism in this case is a map:
Hence, the vector bundle determined a map from the group cohomology of to the topological cohomology of . If we go a step further, and agree upon some canonical generators for the group cohomology, we can just talk about the images of these generators as cohomology classes on ; these are called characteristic classes. A brief list of some well-known groups and their characteristic classes:
(Does anyone know the group for Steifel-Whitney classes? My guess is that its something like , but I don’t know.)
Anyway, so equivariant cohomology is clearly very neat. Although, if you are like me, you’d prefer all of your topological cohomologies to be deRham cohomology. It would seem like this is a doomed undertaking, because is infinite-dimensional. Yet, as we will see, it is not only possible, but in some ways more natural, to phrase this theory in terms of a kind of deRham theory.