My lectures on equivariant cohomology are spinning a bit out of control. The questions and lively discussion, while always welcome, have stretched what was meant to be a hand-waving tour through the basics into a three week mini-course (at least, I hope its only three weeks). I’m starting to feel a bit sheepish, since the result I’m trying to get to might not really merit a full month-long preamble.
Last time, I talked about how to define the equivariant cohomology of a space in terms of the cohomology of some big infinite-dimensional space . This is good on a conceptual level, but unless is particularly nice, we will have a bitch of a time computing the cohomology of anything. What we need is a more effective model for the cohomology of .
The idea is to start by pining for the existance of a nice de Rham complex on . We’ll say “Oh, if only it existed, it would look like this, and this…”. Since was only defined by its properties (contractibilty and a free action), this amounts to listing what properties a differential graded algebra should have to correspond to those of . Such DGAs will be called ‘locally-free, acyclic -algebras’.
From there, its a three step process. First, show that every such DGA computes the same cohomology. Second, show that there is an (almost) universal locally-free, acyclic -algebra called the ‘Weil algebra’, which is simple enough in structure to make computations effective. Third, show that there exists any such DGA which correctly computes the equivariant cohomology (this last step should probably be first, but it isn’t very exciting).
Oh, before I forget, I’m imposing some assumptions on the Lie group : it is compact, connected and finite-dimensional.
We start with a basic question. If acts on some manifold , what structure does this induce on ? Most obviously, it induces a action. We can also take any element of the Lie algebra and look at the vector field corresponding to the infinitesmal action. We can then do vector field-y things to ; specifically, we can contract forms and we can take their Lie derivative.
However, there are relationships between all these actions. Lie derivative and contraction are linked by the Cartan Formula:
while the Lie derivative is required to be the infinitesmal version of the group action:
Let us define a -graded Lie superalgebra , where the subscripts denote the grading. This algebra is supposed to be capturing the information of a Lie derivative in degree zero, and contraction in degree -1. As such, we define the bracket to capture some standard facts: , , and (remember, this is a super commutator). Note that the group acts on this Lie superalgebra, by the adjoint action on the first two pieces, and fixing .
We now have what we need to define a ‘full’ group action on a DGA. A -algebra is a (super)commutative DGA , together with:
1) a action on .
2) a -equivariant action on , such that the action of coincides with the infinitesmal action of .
The obvious example is , for any manifold on which acts; we think of any -algebra as an ‘abstract manifold’ on which acts.
We need to be able to extract the information about the cohomology of the quotient from these complexes. Therefore, we define the basic subcomplex of a -algebra to be the subcomplex consisting of -invariant elements which are killed by contraction. In the case of with a free action, this subcomplex is the image of under the pullback map. The ‘basic cohomology’ of a -algebra is the cohomology of the basic subcomplex.
What might look like?
Now that we know what a group action on a space means in terms of the algebra of forms, lets try to translate the properties ‘contractible’ and ‘free action’ into this new language, to see what might look like.
Free actions are impossible. This is because differential forms keep track of local information, so if our group action is locally free, but not free, it will be extremely hard to detect this. Think, for instance, acting on itself by . We will have to reconcile ourself to seeing when an action is locally free.
Ok, so what does locally free look like? This means that for each , the corresponding vector field vanishes nowhere. Therefore, we can find a 1-form such that , the constant function. Heck, we can do one better; for any element in (the linear dual), we can find a 1-form such that , again a constant function. It should also be clear that if we can do this for every , then the action is necessarily locally free.
So for an abstract -algebra , if we can find a map such that , we will call locally free. Note that we are not distinguishing a , just guarenteeing one exists.
The map is not -equivariant, but because we can always average over (its compact), we can find a new which is equivariant. If is equivariant, it is usually called a connection, and rightfully so. Giving a map from is the same as picking an element in , so if , these are Lie algebra valued 1-forms. The eager reader can verify that, in the case of a truly free action, this element will always be a connection.
So, in summation, if were to exist, it would be a locally free, acyclic -algebra. Even more so, if is were any space with a -action such that were a locally free, acyclic -algebra, then is necessarily a contractible space on which acts locally freely. Therefore, modulo the difference between free and locally free, we could have used in the definition of equivariant cohomology.
The reason we didn’t have to pick a specific choice of in the definition of equivariant cohomology is because any two contractible spaces on which acts freely are weakly homotopic. We can hope that we will have a similar result here, even with the locally freeness. As it happens, this is true!
Theorem. Let be a locally free, acyclic -algebra. Then there is another locally free, acyclic -algebra , together with a -algebra map which induce an isomorphism on each basic cohomology group (this is the DGA version of a homotopy equivalence).
Furthermore, if is any other -algebra, then the induced map also induces an isomorphism on basic cohomology.
It should be noted that the maps are not canonical (they depend on a particular choice of connection), and so the final isomorphism is non-canonical. However, surprisingly, there is a canonical choice of , independant even of !
The Weil Algebra
The claim now is as follows. There exists a universal -algebra with connection called (which is acyclic). Remember that ‘with connection’ means with a distinguished choice of which is equivariant.
Universality here means that, given any other -algebra with connection , there is a unique map . We will construct from this principle in the most naive way.
We start with , a -equivariant map. Well, we want a universal guy, which means we want it to be free as possible. So we start with a copy of in degree 1, and since degree one things anti-commute with each other, we know it’ll generate a copy of . Furthermore, we know we can take of anything in the image of , so this will give us a copy of in degree two. Since degree two things commute with each other, we know it’ll generate a copy of .
So what do we have? We have , with a boundary map that takes generators of to generators of , and kills generators of .
We want to give this the structure of a -algebra next. The action is required to be the coadjoint one, since is -equivariant. The infinitesmal version of this action tells us that , were is precomposition by the usual action. That is, .
Finally, we need contraction. Half of it is done for us, since we know that , so the contraction action on is generated by evalution . Then,
Thus, we have made into a -algebra, which has a connection by construction. To show acyclicity, consider the map which sends a generator of to in and kills . This is a chain homotopy between the identity map and projection onto degree 0.
Therefore, is the universal -algebra with connection. If we replace ‘with connection’ with ‘locally free’, then only has a map which is unique up to chain homotopy, which is why I called it ‘almost universal’.
So what does this have to do with again?
The final piece of the puzzle is to show that there is any locally free, acyclic -algebra which computes the equivariant cohomology. I have glossed over this detail because I find it the least interesting; much like the construction of spaces like , its more technical then it is worth.
The rough idea is to present as a direct limit of nested, finite-dimensional manifolds with free G-action. Then, we define to be the indirect limit of the ‘s. Since each of the steps in the limit were locally free -algebras, so is . If we were smart enough to pick the so that for , then the complex will also be acyclic. We then just need to fiddle with complexes to get:
Of course, is about as miserable to work with as was, so we use the simple replacement algebra we just constructed:
As long as is a fairly tractible space, this complex is very reasonable, and is called the ‘Weil Model’ of the equivariant cohomology. However, there is an even simpler model one can adopt, called the ‘Cartan model’, which I probably won’t talk about.