In a previous post, I discussed the problem of defining cylindrical contact homology for a contact three-manifold with no contractible Reeb orbits. (In that post I assumed for simplicity that there are no bad Reeb orbits, but I will allow bad Reeb orbits here. One can also somewhat relax the assumption of no contractible Reeb orbits, but let’s not try to solve all problems at once.) Here the differential is well-defined and has square zero for generic almost complex structures on , but there are transversality difficulties with defining cobordism maps. One can solve these transversality problems by using -dependent almost complex structures, but this then introduces error terms into the chain map equation for the cobordism map. (You do get a cobordism map, but on a different theory: the “non-equivariant contact homology”, as detailed in this post.)
Now, I think I figured out how to fix the above difficulty and get a cobordism map on cylindrical contact homology of a contact three-manifold without contractible Reeb orbits. Warning: there is a good chance that this discussion, to the extent that it is correct at all, is converging to a convoluted alternate version of what Bourgeois and Oancea do in their paper on equivariant symplectic homology (which I really need to understand better). So apologies if this series of blog posts is turning into a diary of my rediscovery of things which are known in better ways to the experts. Still, I feel that when this blog asks questions, it should answer them if possible.
So, I will first review the problem with some updated notation, and then explain how I think it can be solved.
1. Review of nonequivariant contact homology (updated notation)
Let be a nondegenerate contact manifold of any dimension. Assume that either is closed or we are in some other situation where Gromov compactness is applicable. We then define the nonequivariant contact homology complex as follows. This is defined over . For each Reeb orbit , good or bad, there are two chain complex generators and .
To define the differential , one chooses a generic one-parameter family of almost complex structures on each satisfying the usual conditions. One also chooses a base point on the image of each Reeb orbit . If and are two distinct Reeb orbits, one defines to be the set of maps satisfying the equation such that is a reparametrization of . We mod out by translation in the domain. This moduli space is cut out transversely if the family is generic.
If and are distinct Reeb orbits, the differential coefficient from or to or counts curves in , modulo translation in the target. If has a check on it, then we impose the further constraint . If has a hat on it, then we impose the further constraint . The differential also counts appropriate “Morse-Bott cascades”, see this post for details. Finally, if , then all differential coefficients between and/or are zero, except that the coefficient when is a “bad” Reeb orbit.
We can write the differential as a block matrix in terms of the check and hat generators as
Here denotes the component going between check generators, and denotes the component going between hat generators. These decrease the usual grading on contact homology by one. Next, denotes the component from hat to check generators; this preserves the usual grading on contact homology. The plus superscript is a reminder that this shifts the grading up more than usual. This is a new notation which is convenient for the calculations to come below. Finally, denotes the component from check to hat generators; this decreases the usual grading on contact homology by two, with the minus superscript indicating that the grading is shifted down more than usual.
2. Review of cylindrical contact homology (updated notation)
Continuing with the above setup, suppose that we can choose to be independent of so that we still have the necessary transversality of the moduli spaces . This is possible when , although it is rarely possible in higher dimensions. We now define an operator on the free -module generated by all Reeb orbits, good or bad, as follows. If or is bad, then the coefficient . If and are both good, then the coefficient counts curves in , modulo translation in the domain and translation in the target. We count each such curve with weight , where denotes the covering multiplicity of .
The operator now satisfies the equation
where is the operator that multiplies each Reeb orbit by its covering multiplicity. Thus we can define the cylindrical contact homology differential as either or , and then it will have square zero. (And in the definition of the chain complex we throw out the bad orbits.)
While both of these differentials are defined over , to get an invariant cylindrical contact homology we need to use coefficients. We will see one reason for this below.
Anyway, in the above situation the nonequviariant contact homology differential is given by
where now equals when is bad and when is good. (When depends on , the operator may include more terms.) Note that I’m guessing about the sign here, but it has to be something like this in order for the hat to check component of to equal zero. Note also that implies that the coefficients of can be nonzero only between good Reeb orbits.
3. The problem with cobordism maps in the three dimensional case
Suppose now that we have an exact symplectic cobordism between two contact three-manifolds and as above, such that no Reeb orbit is contractible in the cobordism. Choose -independent almost complex structures on the symplectizations of and as above. I will use the same notation for the differentials on both contact three-manifolds. We would like to define a cobordism map between the cylindrical contact homology chain complexes.
To start, we can use an -dependent almost complex structure on the completed cobordism to define a cobordism chain map between the nonequviariant contact homology chain complexes. This can be written in block form as
Here the subscript is a reminder that this map preserves the grading on the nonequivariant contact homology. We will later look at maps that shift this grading by , and these will have a subscript.
The check to check component of the chain map equation is
This means that if we had , then we could use the good-to-good part of to define a chain map on cylindrical contact homology (using the convention for the differential). Likewise, we could use the good-to-good part of to define a chain map on cylindrical contact homology, usuing the convention for the differential.
Actually, all we need is that going between good Reeb orbits, which will be important below.
If the almost complex structure on the cobordism were -independent and we still had transversality, then we would indeed get (on all Reeb orbits). Unfortunately we usually cannnot get -independence and transversality simultaneously on the cobordism.
In our situation where we have -dependent and transversality, we would like to replace by a map of the form such that the hat to check component vanishes going between good Reeb orbits, where is natural up to an appropriate equivalence relation. But how are we going to cook up this map ?
Let denote the space of all families on the completed cobordism, say with the smooth topology. There is an -action on this space which shifts the parameter . We know that for a generic point in , we get a chain map on the nonequivariant contact homology chain complex. Even though fixed points of the action are not sufficiently generic to give us chain maps, we would still like to detect something about the -action and the fixed points in order to obtain the desired degree operation.
A generic path in will give a chain homotopy between the chain maps determined by the endpoints of the path. In particular a generic loop in will give a degree chain map. For example, a generic orbit of the action gives us a degree chain map. Also, since the space is contractible, the resulting degree chain map is chain homotopic to zero. This is enough to get started, although we will also need to consider higher chain homotopies later… Let’s now explain the details.
5. Finding the chain homotopy: first step.
Choose a generic family on the completed cobordism as needed to define the chain map . The -orbit in of the family now defines a degree chain map on the nonequivariant contact homology chain complexes. What is this map ? It counts curves like in , but which shift the grading up by , that appear sometime in the orbit. Now as we rotate in its orbit, the holomorphic curves stay the same, except that we have to change the parametrization of the coordinate.
For example, suppose there is a map that contributes to . This means that it satisfies and is a reparametrization of and is a reparametrization of . Now if we act on by , then the map gets replaced by . If is such that , then we will pick up a contribution to . That is, the curves that contribute to (which have no asymptotic marker constraints) also contribute to and , because as one reparametrizes the coordinate, sometimes the asymptotic marker constraint at the top or the bottom is satisfied. The upshot is that
going between good Reeb orbits. (The diagonal entries involving bad Reeb orbits are more complicated because of the funny orientation issues with bad orbits.) Again, I am guessing about the sign, but it has to be something like this. The component is a bit trickier than the diagonal terms, but we don’t need to know what it is.
So we have a degree chain map . But remember that we are looking for a degree chain homotopy , between and something with no hat to check component between good Reeb orbits. That is, we want to find a degree map
between good Reeb orbits. To find the chain homotopy , note that since the orbit of in is contractible, the map is chain homotopic to zero. That is, there is a map
The diagonal blocks of this equation, between good Reeb orbits, are
Now the nice situation is where between good Reeb orbits. In this case, if we multiply the first equation on the right by , multiply the second equation on the left by , and subtract, we obtain
between good Reeb orbits. It follows that we can solve the equation for by setting
Note that we now have to use coefficients since we are taking the inverse of and dividing by .
But what if between good Reeb orbits? It may look like we are back where we started, with a troublesome hat to check term, and have just made things more complicated!
6. Finding the chain homotopy: second step.
We would like to replace the map with a map of the form which has no hat to check term between good orbits. To find the map , we play the same game again. We start with a disk in which induces the chain homotopy . The sweepout of the disk by the -action then induces a degree chain map . By the same argument as before, this map has the form
between good Reeb orbits. Since is contractible, this degree map is chain homotopic to zero, so there is a degree map with . If , then we can use the other blocks of to define as above. Otherwise, we have to continue this process.
Ultimately, we will obtain an infinite series for the desired chain map on cylindrical contact homology. However the term of this series will be a sum of compositions of maps, such that each composition of maps includes blocks from the nonequivariant contact homology differential. Consequently, by the symplectic action filtration, this infinite series will be well defined. That is, if we apply this infinite series to a Reeb orbit , and if there are only orbits in or that have action less than , then we only need to add up the first terms of the series.
7. Higher dimensions?
One could now ask if we can use similar tricks to define the cylindrical contact homology of when . Here, as explained before, we generally need an -dependent almost complex structure to define the differential on the nonequivariant contact homology chain complex, which then has the form
We would like to perform a change of basis in the chain complex to arrange that vanishes, except for the part taking to when is bad. If this has been done, then we can take or going between good orbits to be the cylindrical contact homology differential.
How are we going to find the desired change of basis in the chain complex? As before, we can define to be the space of smooth one-parameter families of almost complex structures on satisfying the usual conditions. The orbit of under the action on now induces an isomorphism of chain complexes, and this is chain homotopic to the identity, and the disk in inducing the chain homotopy can be swept out to induce a degree chain map , which is then chain homotopic to zero, etc. This seems like a promising place to start, but now it is less straightforward to understand in terms of , so I am not sure yet what is going on.