- [NOTES] M. Hutchings, Lecture notes on embedded contact homology
- [OBG1] M. Hutchings and C. H. Taubes, Gluing pseudoholomorphic curves along branched covered cylinders I
Sorry, I overreached a bit in my previous blog post. In the previous post, I made some “claims” (which I have now downgraded to “conjectures”) about the structure of the SFT Hamiltonian. I then explained how these claims/conjectures can be used to deduce that the ECH differential satisfies , and that ECH (at least as an isomorphism class of -vector spaces) does not depend on the almost complex structure. I was intending to use the present post to deduce these claims/conjectures from some basic axioms about the SFT Hamiltonian which a reasonable abstract perturbation scheme should satisfy. I thought I would be just quickly explaining an old idea, but I realize now that it is a bit more complicated. That is, I have some axioms to state, but they don’t quite imply the claims/conjectures. Some more axioms are needed, and some deep thought is needed to figure out what these should be. (My old notes contain such additional axioms, but I haven’t yet recalled what exactly I was thinking and this will probably require some modification anyway.) The problem lies somewhere between understanding what algebraic/combinatorial structure can be consistent, and understanding how abstract perturbations should work. Anyway, let me now explain the basic idea of this, and describe what remains to be done.
The issue is to understand how the SFT Hamiltonian should count ECH index 1 holomorphic buildings that include index 0 branched covers of trivial (i.e. -invariant) cylinders. The idea of the “+ version” of the claim/conjecture is that we can arrange that certain buildings with branched covers of trivial cylinders on the top do not contribute. We would arrange this either by choosing the abstract perturbations appropriately, or by conjugating the Hamiltonian by a “repartitioning operator”, see below. The idea of the “- version” of the claim/conjecture is that we alternately can arrange that certain buildings with branched covers of trivial cylinders on the bottom do not contribute. As I explained in the previous post, either of these claims implies that , and both of them together imply that an exact symplectic cobordism with no negative ECH index multiple covers induces a chain map on ECH. The nice thing about this last argument is that one does not need to know anything about the details of the cobordism map on SFT, except that it is a chain map with respect to the Hamiltonians and does not include contributions from negative ECH index holomorphic buildings.
More precisely, as before, let be a nondegenerate closed contact three-manifold, let be a generic almost complex structure on satisfying the usual conditions, and let be the (currently mythical) SFT Hamiltonian as defined using some abstract perturbation of the compactified moduli spaces of -holomorphic curves.
The issue that we need to sort out is how should count certain holomorphic buildings that include branched covers of trivial (-invariant) cylinders. More specifically, let and be ECH generators. If there is an ECH index 1 curve from to (without trivial cylinders), then this will have positive ends at the SFT generator and negative ends at the SFT generator , and thus will contribute to the count of curves that enters into the SFT Hamiltonian. Now if includes an elliptic orbit with multiplicity greater than one, then there exist SFT generators with such that there is an index 0 union of covers of trivial cylinders from to . Likewise, if includes an elliptic orbit with multiplicity greater than one, then there exist SFT generators with such that there is an index 0 union of covers of trivial cylinders from to . Putting this all together gives a holomorphic building from to . Indeed there is a moduli space of such buildings whose dimension equals twice the total number of branch points. Now the equation is, what is the contribution from such buildings to the count ? I will argue below that at least some of these (moduli spaces of) buildings must make nonzero contributions to . In fact, the equation basically requires these contributions to satisfy certain relations which imply that some of them are nonzero.
2. The gluing matrix
Before describing the contributions of the above holomorphic buildings to the SFT Hamiltonian, we first need to introduce the gluing matrix.
Define a partial order on the set of SFT generators as follows: we say that if there exists a Fredholm index zero union of (possibly branched) covers of trivial cylinders from to . In particular . See [NOTES, Ex. 3.14(b)] for the proof that this is a partial order.
Now suppose that . Suppose that is a somewhere injective, Fredholm index 1, irreducible (i.e. without trivial cylinders) curve with negative ends at , and suppose that is a somewhere injective, Fredholm index 1, irreducible curve with positive ends at . Then, according to [OBG1, Thm. 1.13], it is possible to glue and by inserting a Fredholm index 0 union of branched covers of trivial cylinders between them. The signed number of ways to glue equals the product of the signs associated to and with a “gluing coefficient” which I will denote here by .
There is an explicit combinatorial formula for the gluing coefficients in [OBG1, Sections 1.5-1.6]. We do not need to know this formula here; we just need to know one key property, which is that if is an ECH generator then . This is the key property which enters into the proof that the ECH differential , because it says that there is (counted with signs) one way to glue a pair of irreducible curves with ECH index 1. (The proof that has some additional complications because one also needs to consider holomorphic currents that include unions of trivial cylinders, but we will not go into this right now.)
And one other property (which is pretty obvious), namely (see the previous post for the definition of ).
I would now like to think of the gluing coefficients as defining a linear map . This is the “gluing matrix”.
3. Repartitioning operators
Before proceeding, we need a few more definitions.
First, define a “repartitioning operator” to be a linear map such that for each SFT generator , and implies that . For example, and are repartitioning operators. (See the previous post for the definition of .) Note that any repartitioning operator is invertible, because it is upper triangular with respect to the partial oder (and respects the decomposition of into a sum over orbit sets of finite dimensional vector spaces).
Second, let be a somewhere injective, Fredholm index 1, irreducible curve from to . Let us say that is “isolated as a current” if it cannot be glued to a union of index 0 branched covers of trivial cylinders above and/or below it. That is, if and , then any building consisting of index 0 branched covers from to , followed by , followed by index 0 branched covers from to , is isolated in the compactified moduli space . For example, this automatically holds if has ECH index one, because of the partition conditions in the ECH index inequality.
In fact, I have some ideas for maybe proving that any somewhere injective, Fredholm index 1, irreducible curve is isolated as a current if is generic. (A special case of this appeared in David Farris’s thesis.) I can blog about this later if anyone is interested.
Anyway, given as above, we expect (under any reasonable perturbation scheme) that there is a well-defined contribution to the curve count from the set of all such buildings. Let us denote this contribution by .
I now conjecture that the abstract perturbations can be chosen so that the SFT Hamiltonian has the following property:
(P7) There are repartitioning operators and such that:
(a) If is a somewhere injective, Fredholm index 1, irreducible curve from to which is isolated as a current, and if and , then where denotes the sign of .
Why do I expect this property? Part (a) is just the simplest way I can think of that these buildings would be counted. It is vaguely plausible that as one perturbs the moduli spaces, the first step would be to perturb the moduli spaces of index 0 branched covers of trivial cylinders (which of course would make them disappear), and the way in which one does this would determine the repartitioning operators.
If we believe part (a), then part (b) is more or less forced by the gluing theorem in [OBG1] so that broken curves with index 0 branched covers of trivial cylinders in the middle will be counted properly in the proof that . To spell this out more explicitly, suppose that we have somewhere injective, Fredholm index 1, irreducible curves from to and from to that are isolated as currents, where . Then we know from [OBG1] that the number of ends of the index 2 moduli space from to that converge to buildings consisting of and with index 0 branched covers of trivial cylinders between them equals . This should be the local contribution to . Let us use a subscript “loc” to indicate this local contribution. We can also express this local contribution as a sum over SFT generators with . We get
(by property (a))
Two remarks. First, since the gluing matrix is appearing in the SFT Hamiltonian, in order to describe the Hamiltonian explicitly like this (starting from a polyfold perturbation etc.), one will probably have to do work equivalent to the obstruction bundle computations in [OBG1]. Second, property (P7) will force some of the curve counts coming from buildings with ECH index one to be in .
4. Towards the claims/conjectures, and more questions.
I was hoping that we could use property (P7) to prove the claims/conjectures from the previous post, but this is not quite sufficient. The idea is that we can arrange that (either by choosing the abstract perturbations suitably or by conjugating the Hamiltonian by a repartitioning operator), and then this should imply the “+ version” of the claim. Likewise the “- version” of the claim/conjecture should hold when , which we should likewise be able to arrange.
To prove the claims/conjectures, we need to understand how the SFT Hamiltonian should count certain holomorphic buildings of ECH index 1. Such a holomorphic building consists of an embedded, irreducible, Fredholm index 1 curve , possibly together with some branched covers of trivial cylinders.
Property (P7) tells us how the SFT Hamiltonian should count such buildings with branched covers of trivial cylinders above and/or below . However, such buildings may also include branched covers of trivial cylinders “on the side”, namely in the same level as . Property (P7) does not tell us how the Hamiltonian should count such buildings, and hence is not sufficient to prove the claims/conjectures.
So what we really want to understand (and we only need certain cases of this to prove the claims/conjectures) is:
- How does the SFT Hamiltonian count arbitrary ECH index 1 holomoprhic buildings?
Assuming we know what the embedded, ECH index 1 irreducible curves are, then we can describe all of these buildings combinatorially. So this is an example of a more general question:
- If transversality fails, but you still know what all the holomorphic curves are, how do you count them?
Clearly there is no shortage of problems to work on here.