This blog has been dormant for a while, but I have a backlog of topics to write about. The following is something I meant to write after the AIM workshop last December, where I suggested this in a discussion.
The question is how to define local contact homology. The setting is that in a contact manifold , you have a (possibly degenerate) Reeb orbit , and a positive integer , such that the -fold cover of is isolated in the space of Reeb orbits whenever . We then want to define the local contact homology to be the contact homology of a nondegenerate perturbation of in a tubular neighborhood of , in the homotopy class of loops that wind times around the tubular neighborhood . How can we define this contact homology?
The basic approach would be to choose a generic almost complex structure on satisfying the usual compatibility conditions with , and count -holomorphic cylinders (with rational coefficients) between good Reeb orbits of the nondegenerate perturbation in the homotopy class . Unfortunately, when , one usually cannot obtain the necessary transversality to define the differential for generic . In the three-dimensional case one can obtain the requred transversality to define the differential (see for example my recent paper with Jo Nelson), but proving invariance requires another technique. Anyway, when sufficient transversality can be obtained to define this theory, let us denote it by .
One way to fix the above transversality difficulties is to use -equivariant symplectic homology as done by Bourgeois-Oancea. There is also an alternate -equivariant construction using contact geometry more directly, sketched in this blog post from January 2014 (details to appear in a forthcoming paper with Jo Nelson). These two -equivariant theories are defined over the integers and are presumably isomorphic. When can be defined, both -equivariant theories are isomorphic to it after tensoring with . However the -equivariant theories (at least the contact version) have a lot of strange torsion in them, see the examples in the aforementioned blog post from January 2014.
Mohammed Abouzaid keeps asking me if there is an alternate definition of contact homology over the integers which is analogous to the homology of the quotient (of the loop space) by , rather than to -equivariant homology. There is in fact such a construction in this local setting, and this is what I am now going to explain. Moreover, the construction is very easy and avoids the usual technical difficulties. (However it is not clear to me right now how to fit this local construction into a global construction, without which the local construction might not be very useful.)
Let be a nondegenerate contact manifold. Assume either that is closed, or that is noncompact but we are in a setting where the usual Gromov compactness is applicable (for example in the tubular neighborhood above). Assume that has no contractible Reeb orbits. Let be a free homotopy class in such that all Reeb orbits in the class are simple. In this very special situation, if is a generic almost complex structure on satisfying the usual conditions, then we can define the cylindrical contact homology to be the homology of the chain complex freely generated over by the Reeb orbits in the free homotopy class , whose differential counts -holomorphic curves between such Reeb orbits with signs. To be a little more precise, the chain complex is generated by pairs where is a Reeb orbit in the class , and is a choice of orientation data (which can be determined by choosing a base point on along with an orientation of the determinant line of a certain Fredholm operator associated to and the base point), modulo the relation . There are no transversality difficulties in defining the differential and proving that , because all Reeb orbits under consideration are simple (so that multiply covered holomorphic curves do not arise), and there are no contractible orbits (so that no planes can break off). Furthermore, if is another contact form satisfying the same conditions (in the nonconpact case, assume that agrees with on the complement of a compact set), and if is a generic almost complex structure for , then there is a canonical isomorphism
This isomorphism is defined by the usual cobordism construction, which again does not encounter any transversality difficulties. In particular, since this contact homology does not depend on , we can denote it by .
Now let be a diffeomorphism (in the noncompact case, assume that it preserves outside a compact set). Then we have an induced isomorphism
This is defined by an isomorphism of chain complexes which geometrically pulls everything back by . Again, since the homologies do not depend on the almost complex structure, we get an isomorphism
Moreover, this is functorial under composition of diffeomorphisms:
3. Defining local contact homology
We now have all the ingredients we need to give a definition of local contact homology. Return to the setting from the introduction. Let be a nondegenerate perturbation of . Let denote the connected degree cover of , and let denote the covering projection. By the construction in Section 2, the degree contact homology of is defined; let us denote this by .
Next, let be a generator of the group of deck transformations. Then by the construction in Section 2, induces an isomorphism
We remark that since , by functoriality we have .
Now define the linearized contact homology to be the fixed point set of acting on . This is defined over , and by the invariance properties in Section 2, it is depends only on the contact form in a neighborhood of , and on the positive integer . That’s it! We’re done. If only math were always this easy…
4. Why this is a reasonable definition
To see that the above definition is reasonable, suppose one can choose a perturbation of and an almost complex structure on compatibly with satisfying sufficient transversality so that the degree contact homology of in is defined, call this . As mentioned in the introduction, in this situation ths usual approach is to define the local contact homology to agree with the above contact homology. Now let denote the alternate, integral definition in Section 3.
Claim. In the above situation,
The proof is to define an isomorphism of chain complexes from the chain complex on the right (for the pullback to the chain complex on the left, by projecting a Reeb orbit (with its orientation data) from to . To see that this is an isomorphism on chains, we just need to note that if is a Reeb orbit in , if is a lift of to , and if is any choice of orientation data for , then the sum from to of is zero if is bad, and projects to times with appropriate orientation data if is good. To see that this map is a chain map, we observe that the holomorphic curves counted are the same, so we just need to check that the orientations and combinatorial factors work out. I think that all of the relevant arguments are contained in Section 6 of the paper by Hryniewicz-Macarini on local contact homology (where they were proving something very similar but slightly different).
5. A quick example
In the three-dimensional case, suppose that is a nondegenerate elliptic orbit (whose covers are also nondegenerate). What is its local contact homology in degree ? If we use the -equivariant definition, we get lots of -torsion, as explained in the blog post from January 2014. However if we use the definition in Section 3 above, we just get . So that’s maybe nicer.