In defining the ECH chain complex, I skipped over the proofs that the differential is well defined and that . Let me now give you some idea of what is involved in the former. Below, fix a closed oriented three-manifold , a nondegenerate contact form on , and a generic symplectization-admissible almost complex structure on .
Symplectic action
The first question is: given an ECH generator , why do only finitely many generators appear in ? To answer this question, define the symplectic action of a Reeb orbit by
Said differently, if we choose a metric on such that the Reeb vector field has length , then is the length of . Our asumption the the contact form is nondegenerate implies that for any real number , there are only finitely many Reeb orbits with symplectic action less than . (Exercise.)
If is an orbit set, define its symplectic action by
Lemma. Let and be orbit sets. If there exists , then , with equality if and only if is a union of covers of trivial cylinders.
Proof. The conditions on imply that is pointwise nonnegative, and equal to zero only where is singular or tangent to the span of the and Reeb directions. Consequently, if are real numbers such that is transverse to , then by Stokes’s theorem,
with equality if and only if is translation-invariant as a current. Taking compltes the proof.
It follows immediately from this lemma that if appears in then , so for a given there are only finitely many possible .
Gromov compactness with currents
Next, we need to show that if is generic and if are ECH generators, then the set of -holomorphic curves (where two such curves are considered equivalent if they are the same as currents, possibly after translation in the direction) is finite.
To prove this, one might first try to apply Gromov compactness as in the paper by Bourgeois-Eliashberg-Hofer-Wysocki-Zehnder [BEHWZ] on compactness in symplectic field theory. However their result, as well as most versions of Gromov compactness, requires an a priori genus bound on the holomorphic curves. And one of the strange features of ECH is that the definition of the differential does not explicitly specify the genus of the curves to be counted; it just says that they must have ECH index 1. (It turns out that the genus is more or less indirectly determined by the condition and the relative adjunction formula; I will discuss this more later.)
Fortunately, in dimension four, Taubes proved a special version of Gromov compactness using currents which does not assume a genus bound:
Theorem (Taubes) Let be a compact symplectic four-manifold, possibly with boundary, and let be an -compatible almost complex structure. Let be a sequence of -holomorphic curves (possibly with boundary in ) such that has an -independent upper bound. Then there is a subsequence which converges as a current and as a point set to a -holomorphic curve (possibly with boundary in ).
For the full statement and proof, see Proposition 3.3 in Taubes’s paper “The structure of pseudoholomorphic subvarieties for a degenerate almost complex structure and symplectic form on “. Here “converges as a current” means that if is any 2-form then . And again, if a curve is multiply covered, then when we are regarding it as a current, all that we see is the underlying somewhere injective curve and the covering multiplicity. Finally, “convergence as a point set” means convergence with respect to the metric on compact sets defined by
Compactness for ECH
Returning to our symplectization setup, let and be orbit sets. Define a broken -holomorphic current from to to be a -tuple of holomorphic curves for some positive integer such that there exist orbit sets for which and is not a union of covers of trivial cylinders. The curves are called “levels”. The above is similar to the notion of “holomorphic building” from [BEHWZ], except that the latter allows levels consisting entirely of covers of trivial cylinders as long as they are not -invariant (i.e. as long as there exists at least one branch point), while we are imposing an equivalence relation which makes them -invariant, and so we ignore/disallow them.
Given , let denote the translation . Let us say that a sequence of curves in converges to the broken curve if there exist real numbers with for each such that for each , the sequence converges as a current, and as a point set on compact sets, to .
The version of Gromov compactness that is relevant to ECH is now the following:
Proposition. Fix orbit sets and and let be a sequence of -holomorphic curves in . Then one can pass to a subsequence so that converges to a broken -holomorphic curve from to .
Here is the idea of the proof. First, by applying translations we may assume that for each , the intersection contains a point which is not on any Reeb orbit of action . Now recall that the symplectic form on is . Given real numbers such that is transverse to , by using Stokes’s theorem as in the previous lemma, we have an -independent upper bound
By exhausting by compact sets of the form and applying Taubes’s theorem quoted above, we can pass to a subsequence such that converges as a current and as a point set on compact sets to some holomorphic curve . By applying the same argument to translations of , one can show that for some orbit sets with and . The assumption that each contains a point not on any Reeb orbit of action less than or equal to insures that is not a union of covers of trivial cylinders. The curve is one level of the limiting broken holomorphic curve we are seeking.
If and we are done; otherwise we need to repeat the above argument for different translations of to find the rest of the broken curve. A more detailed version of this argument (in the slightly different mapping torus case, and using outdated terminology) is in Lemma 9.8 of my paper “An index inequality for pseudoholomorphic curves in symplectizations” (and versions of this argument for more different contexts can be found in many places, since convergence to broken objects is a standard phenomenon).
Proof that the differential is defined
To prove that the ECH differential is well-defined, we need to show the following:
Lemma. Given ECH generators , the set of curves with , modulo translation and regarded as currents, is finite.
To prove this, suppose there is an infinite sequence of pairwise inequivalent curves in . By the above compactness result, we can pass to a subsequence such that they converge to a broken curve . By the key proposition from installment 7, using genericity of , we have for each . Since the ECH index is additive under gluing (this was an exercise in installment 7), we have . Hence one of the levels has , and all other levels have . But the proposition from installment 7 implies that any curve is a union of covers of trivial cylinders. Hence there is in fact only one level, and we know that converges, as a current and as a point set on compact sets, to a curve .
Now there is a technical point, which is that in the sense of [BEHWZ], the sequence might still converge to a holomorphic building with some levels, i.e. the Euler characteristic of might be less than that of . This can be ruled out, but we have not yet introduced the necessary machinery. I will do that later. (I am getting ever deeper into explanatory debt…)
So if we accept that the above technical point can be somehow resolved, then is converges in the usual sense to . (I never told what you what this “usual sense” of convergence is, e.g. when I was talking about moduli spaces of holomorphic curves, but it basically means that the domains converge in the moduli space of punctured Riemann surfaces, and the maps converge with appropriate exponential decay conditions on the ends.) However since is somewhere injective and has Fredholm index 1 (by the proposition from installment 7), it follows that is isolated in the moduli space of -holomorphic curves modulo translation. This is a contradiction.
Conclusion
That wasn’t so bad. But the proof that is much more subtle, for reasons that I will explain in the next installment.