In a recent preprint, Bourgeois and Oancea define -equivariant symplectic homology, and show that if the transversality needed to define linearized contact homology holds, then these two homologies are isomorphic.
For a while I was bothered by an apparent paradox. Namely, -equivariant symplectic homology is defined with integer coefficients (and invariant). Moreover, in the absence of contractible Reeb orbits, one can imitate the Bourgeois-Oancea construction directly for a contact form, to define a version of contact homology with integer coefficients. However the usual definition of contact homology (when sufficient transversality holds to define it) is invariant only using rational coefficients.
I think I have now figured out what is going on here. Namely:
1) For nondegenerate contact forms without contractible Reeb orbits, one can indeed imitate the Bourgeois-Oancea construction to define a version of contact homology with integer coefficients. (For example one can do this in a neighborhood of a possibly degenerate Reeb orbit to define local contact homology.)
2) This is an invariant of contact structures that admit nondegenerate contact forms without contractible Reeb orbits (and it usually has lots of torsion).
3) In the above situation, if sufficient transversality holds to define contact homology in the usual way, then this agrees with the tensor product of the above invariant with the rationals.
This seems really bizarre, and I could be mistaken, so let me try to explain it. At the end I will show some examples of this integer coefficient version of local contact homology and its invariance.
1. -equivariant Floer theory in general
As a warmup, we first need to recall how to define -equivariant Morse or Floer theory in general, following Bourgeois-Oancea.
Suppose we are trying to compute an example of some kind of Floer theory (given e.g. a specific contact manifold). The usual situation is that there is an infinite-dimensional contractible space of data (e.g. metrics, compatible almost complex structures, etc.) needed to define the theory. For a generic point in there is a chain complex . For a generic path between two generic points there is a chain map inducing an isomorphism on homology. For a generic homotopy of paths there is a chain homotopy between the corresponding chain maps, and so on. The homology of for generic is then the Floer homology we are trying to compute.
Suppose now that the space has an action preserving all of the above. That is, if is generic, then so is every point in its orbit, and all of the chain complexes in this orbit are canonically isomorphic. Furthermore, the chain maps and chain homotopies and higher chain homotopies induced by chains in are invariant under the action.
Example: is a closed smooth manifold with a smooth action, is the set of pairs where is a smooth function and is a metric on , and acts on by pulling back the function and the metric via the action on .
We now define -equivariant Floer homology roughly as follows. Let us identify and . We choose a suitably generic -equivariant map and a generic Morse-Smale pair on (which we can take to be the usual one with one critical point of each nonnegative even index). In particular, we want each critical point on to map to a generic orbit in for which the chain complex is defined. In fact, it is possible and convenient to arrange that each critical point on maps to the same generic orbit in . Let denote a point in this orbit.
One can now define a chain complex analogously to Section 6.1 of my paper “Floer homology of families I”. A generator is a pair where is a critical point on and is a generator of the chain complex . The grading is the sum of the index of and the grading of . That is, the chain complex is
where is a formal variable of degree .
The differential can be written as a sum
where counts a kind of hybrid of gradient flow lines in and Floer trajectories “above” them. (One needs to do a bit of geometric setup to arrange that the differential commutes with the operation that sends to for and to .) In particular, is just the original differential on , and is called the “BV operator”. The homology of this complex is now the -equivariant Floer homology.
Example. In the case where is the space of pairs on a compact manifold with an action, this construction computes the homology of the fiber bundle , similarly to my paper Floer homology of families, so we recover the usual -equivariant homology of .
Remark 1. One can define -equivariant Morse homology for other groups by a similar construction.
Remark 2. In the general setup, if acts freely on , except for an infinite codimension subset , then one can take as a model for . This leads to a considerably more abstract version of the above theory, involving general chains in .
2. Morse-Bott theory the old-fashioned way
Now let be a nondegenerate contact form with no contractible Reeb orbits, on a manifold which is closed, or in a situation where Gromov compactness applies, such as in local contact homology. As I have explained in a previous post, given a generic -family of almost complex structures on
one can define “non-equivariant contact homology”, which is analogous to symplectic homology. We would now like to apply the construction in Section 1 to define an -equivariant version of this (which will then correspond to contact homology), using the action which rotates the -family of almost complex structures.
However, the definition of non-equivariant contact homology previously discussed here has a flaw which makes it unsuitable for this construction. Namely, it depends on a choice of base point on each Reeb orbit. Now the space of -families of almost complex stuctures is contractible, but if we also have to choose base points on the Reeb orbits, then contractibility goes out the window.
Fortunately, there is an alternate construction of non-equivariant contact homology which does not require any choice of base points on the Reeb orbits. This uses an older version of Morse-Bott theory, defined using generic chains on the manifolds of Reeb orbits (instead of Morse functions on the Reeb orbits and “cascades”, as in works of Bourgeois and Frauenfelder).
For simplicity let me first explain this in the finite dimensional case. Let be a closed smooth manifold and let be a Morse-Bott function, such that the critical points come in -families. Let be a generic metric. We then define a version of Morse-Bott homology as follows.
Let be a critical submanifold of index . There is then a finite set of points from which there is a gradient flow line to another critical submanifold of index . [EDIT: The set needs to include some other points too. Not a big deal.] We now define to be the set of generic singular -chains in , where “generic” here means not containing any points in the set . We define to be the set of generic singular -chains in , where “generic” now means that each -simplex does not have any boundary point in . Furthermore, we declare two elements of to be equivalent if they represent the same current in .
The above chains have coefficients in a local coefficient system given by the “orientation sheaf” of the bundle of unstable manifolds of critical manifolds of . This local coefficient system is isomorphic to the constant local coefficient system if and only if the bundle of unstable manifolds of critical manifolds of is orientable.
The restriction of the differential on singular homology with local coefficients now defines a differential whose homology is the usual homology of , with coefficients in the above local coefficient system.
If is another critical submanifold of the same index , then there is also a map counting gradient flow lines from to , modulo translation as usual. More precisely, if is a generic chain (together with orientations of the unstable manifolds of the critical points it hits), then is a sum, over pairs where and is a flow line from to some point , of , with an appropriate orientation.
If is a critical submanifold of index , then there are similar maps and . The map counts gradient flow lines from a given point on to , and the map measures gradient flow lines from a given 1-simplex on to . Finally, if is a critical submanifold of index , then there is a map counting gradient flow lines from a given -simplex on to .
We now define a chain complex with differential . A standard argument shows that and the homology of this chain complex agrees with the ordinary homology of .
I think one can also show directly (without passing through the singular homology of ) that the homology of this complex agrees with the homology of the “cascade” version of Morse-Bott theory. To do so, one can filter the complex by the “action”, i.e. by the value of the Morse-Bott function . The filtered complex then gives rise to a spectral sequence which computes its homology. I believe that if one thinks very carefully about what the spectral sequence of a filtered complex is doing, then one will recover the cascade picture. However I have not done this exercise. (Has someone done this?)
3. What’s next.
We now have all the ingredients in place to define and play with an analogue of the Bourgeois-Oancea construction for contact forms with no contractible Reeb orbits. However I am out of time to write at the moment, so I will explain this in the next post.