I would now like to explain another ECH-type trick, which I have been meaning to write about here for a while, and which may have applications to other kinds of contact homology in three dimensions and holomorphic curve counts in four dimensions.
1. The general situation.
Suppose we are trying to prove some kind of compactness for some kind of holomorphic curves in the symplectization of a contact three-manifold, or a symplectic cobordism between contact three-manifolds. We know from the general compactness result of Bourgeois-Eliashberg-Hofer-Wysocki-Zehnder that any sequence of holomorphic curves (of bounded symplectic area and genus between the same sets of Reeb orbits) has a subsequence which converges to a “holomorphic building”. A component of this building in a symplectization level may include a branched cover of a trivial cylinder. (Here, a “trivial cylinder” in the symplectization of a contact manifold is a cylinder of the form where is an embedded Reeb orbit in .)
For example, in the proof that in embedded contact homology, the limit of a sequence of holomorphic curves with ECH index may include branched covers of trivial cylinders in between curves with ECH index . This is why the pair of papers with Taubes that prove that in ECH (as well as a more general gluing theorem) is 200 pages, instead of just a paragraph quoting previous gluing theorems.
Now a somewhat worse situation is when a branched cover of a trivial cylinder appears at the top or bottom of the holomorphic building. However I claim that this more or less never happens! In other words, branched covers of trivial cylinders stay “hidden” between other levels of the limiting building, and are never “exposed” at the top or bottom of the building.
I don’t have a general proof (or precise statement of the hypotheses) of this claim, but I can prove it in some cases, sometimes modulo some analysis which still needs to be worked out. I will now explain how to completely prove this claim in a very special case, which however is of some interest.
2. The special case.
Let , and let be a nondegenerate, dynamically convex contact form on . Recall that the term “dynamically convex”, going back to Hofer-Wysocki-Zehnder, means that each Reeb orbit has Conley-Zehnder index . Here we define the Conley-Zehnder index of using a trivialization of the restriction of the contact plane field to that extends over a disk bounded by .
In this situation, one would like to define the cylindrical contact homology of , using dynamical convexity to rule out bubbling of holomorphic planes. That is, in the compactness arguments to prove that the cylindrical contact homology differential is well-defined and satisfies , one has to worry about convergence to holomorphic buildings including holomorphic planes, together with some other holomorphic curves that are genus zero and have one positive but arbitrarily many negative ends. Dynamical convexity implies that every holomorphic plane has Fredholm index at least . If the other curves in the building are cut out transversely, then the total Fredholm index of the building will be too big, so this kind of degeneration will be ruled out.
3. The problem.
It may be possible to arrange transversality for the relevant holomorphic curves that are not branched covers of trivial cylinders. The paper by Bourgeois-Cieliebak-Ekholm arranges this transversality using -dependent almost complex structures, but I don’t see how they get around the other problems with -dependent almost complex structures that I have described in recent posts. In fact, there is some hope that the relevant transversality in the symplectization may work for a generic -independent almost complex structure. Let’s suppose for the sake of argument that this works, or that we have arranged the necessary transversality some other way. We then get a well-defined differential .
There is now a second problem, involving branched covers of trivial cylinders, that arises when one tries to prove that . Specifically, a sequence of index cylinders may converge to a holomorphic building of the following type. There are two levels and . The upper level is an index zero pair of pants with one positive end and two negative ends which is a branched cover of degree of a trivial cylinder , where is an embedded elliptic Reeb orbit with monodromy angle (with respect to the usual trivialization), and is a positive integer. The lower level has two components. One component is a cylinder which is a degree cover of . The other component is a somewhere injective index holomorphic plane with positive end at .
The above configuration would appear to mess up the proof that , because the above configuration cannot be interpreted in any obvious way as contributing to . However I claim that if is generic, then the above degeneration never happens.
The proof will use intersection theory, as in the definition of ECH and the work of Siefring.
4. Why this degeneration never happens.
Suppose that is a holomorphic cylinder which is “close to breaking” into the holomorphic building . To explain what I mean by this, let us not mod out by translation on . Then there is some large positive real number and some small such that the intersection of with is within distance (pick your favorite norm) of the translate of by , the intersection of with is within distance of the -fold cover of union , and the intersection of with is within distance of of the translate of by .
Now let denote the intersection of with where is a large constant which is independent of . The curve is necessarily somewhere injective (because is), so is a surface which is embedded except for finitely many singularities. Let denote the count of singularities of with the usual positive integer weights. Let denote the intersection of with , regarded as a braid with strands in a three-dimensional tubular neighborhood of the Reeb orbit . Likewise let denote the braid obtained by intersecting with .
A version of the relative adjunction formula, cf. my lecture notes on ECH, section 3.3, implies that
Here denotes the writhe of the braid with respect to the usual trivialization. In particular, it follows that we have a strict inequality
We are now going to obtain some independent bounds on the writhes and get a contradiction.
5. Writhe bounds.
First, the positive asymptotics of give the writhe bound
cf. the lecture notes on ECH, Lemma 5.5(a). This bound can be improved when and have a common factor; one can then subtract from the right hand side. I think this is proved in Siefring’s paper on intersection theory. However we will not need that improvement here.
Now the braid has two components: a component with one strand, and a component with strands. Because the negative end of corresponding to decays exponentially for time before becoming , while the positive end of corresponding to exponentially decays only for time before becoming , it follows that if is sufficiently large then the braid wraps around the braid . Therefore
where denotes the winding number of around .
Again, as in Lemma 5.5(a) of the ECH lecture notes, the negative asymptotics of imply that
(Again, this inequality can be improved when and have a common factor, but we do not need this.) Finally, similarly to Proposition 3.2 in my second gluing paper with Taubes, if is generic then
Putting this all together, we get
6. One last step.
To complete the proof, we need to use the assumption that has Fredholm index zero. The Fredholm index of is
Putting the fact that this is zero into the previous inequality, we get
Since , we have . Thus , which is the desired contradiction.