From SFT to ECH, Part 1

References:

  • [NOTES] M. Hutchings, Lecture notes on embedded contact homology
  • [OBG1] M. Hutchings and C. H. Taubes, Gluing pseudoholomorphic curves along branched covered cylinders I
  • [CC2] M. Hutchings and C. H. Taubes, Proof of the Arnold chord conjecture in three dimensions II
  • [ECHSWF] C. H. Taubes, Embedded contact homology and Seiberg-Witten Floer homology I

1. Introduction

This post is about the foundations of embedded contact homology (ECH). The current status of the foundations is as follows:

  • The fact that the ECH differential \partial is well-defined can be proved directly using Gromov compactness and the ECH index inequality (which in turn requires the asymptotic analysis of Siefring); see [NOTES, Section 5.3].
  • The proof that \partial^2=0 is difficult and uses “obstruction bundle gluing” of holomorphic curves; see [OBG1] and its sequel, and see [NOTES, Section 5.4] for an introduction to this.
  • It is currently not known how to prove that ECH does not depend on the almost complex structure or contact form, or more generally to construct cobordism maps on ECH, directly using holomorphic curves. Instead, the proof of invariance and construction of cobordism maps currently can only be obtained using Taubes’s isomorphism between ECH and Seiberg-Witten Floer homology [ECHSWF]; see [CC2].

One might feel dissatisfied that some of the foundations of ECH rely on Seiberg-Witten theory, and try to work more directly with holomorphic curves. (As a start, Chris Gerig and Dan Cristofaro-Gardiner are working on showing directly that ECH does not depend on the almost complex structure.) However, defining cobordism maps is harder; when one tries to define cobordism maps, one runs into serious difficulties with negative ECH index multiple covers. (See [NOTES, Section 5.5] for an introduction to the difficulties.) These difficulties are not merely “technical”; even if you could perturb the moduli spaces to obtain all the transversality you can dream of, there is still a problem. What is this problem exactly?

To clarify the situation, note that all the holomorphic curves counted by the ECH differential are also counted by the SFT Hamiltonian. So suppose that we have somehow (using polyfolds or whatever other technology) obtained all the transversality needed to define SFT. How much of the foundations of ECH can we then extract from the properties of SFT? Needless to say, I have thought about this question before; for example I have notes on it from 2005. Back then, I could not do anything with these ideas, since there was no analytic foundation of SFT to work with. However now maybe polyfold technology has reached the point where we can begin to investigate this question rigorously. (We were heading in this direction in the student seminar on ECH and polyfolds last semester, but didn’t quite get there.) Even if one is content to use Seiberg-Witten theory as a “black box” to provide the foundations of ECH, there is further motivation for studying this question; namely, one would like to know if from SFT one can extract other theories like ECH, especially in higher dimensions!

To help set the stage for a possible extraction of ECH from SFT, in the rest of this post and its sequel(s) I will do the following:

  • Review the “promised” properties of SFT which should hold after obtaining suitable transversality by any reasonable method.
  • State some additional, “desired” properties of SFT in the three-dimensional case, which are not part of the standard package, but which I expect based on [OBG1].
  • Explain how the “promised” and “desired” properties of SFT allow one (at least over {\mathbb Q}) to define the ECH differential \partial, prove that \partial^2=0, and show that ECH does not depend on the almost complex structure (as an isomorphism class of groups).
  • Discuss the additional, unresolved problems in using SFT to define cobordism maps on ECH.

2. Promised properties of SFT

Let (Y,\lambda) be a closed nondegenerate contact manifold. For simplicity I will assume that Y is three-dimensional, although SFT makes sense for contact manifolds of any dimension.

Fix a system of coherent orientations. (If you don’t know what this is, then just take it for granted below that one can orient all transversely cut out moduli spaces of holomorphic curves between good Reeb orbits, in a way which behaves well under breaking/gluing.)

Recall that in a nondegenerate contact three-manifold, there are three types of Reeb orbits, depending on the eigenvalues of the linearized return map: positive hyperbolic (positive eigenvalues), negative hyperbolic (negative eigenvalues), and elliptic (eigenvalues on the unit circle). Here “Reeb orbits” are allowed to be multiply covered.  A Reeb orbit is “bad” if it is an even multiple cover of a negative hyperbolic orbit; otherwise it is “good”.

Define an “SFT generator” to be a monomial x=x_1\cdots x_k, where the x_i are good Reeb orbits. Here the x_i may be repeated, except that we do not allow positive hyperbolic orbits to be repeated. Let Q denote the free {\mathbb Q}-module over the set of SFT generators, modulo the relation that x_ix_j = \pm x_jx_i, where the sign is negative if x_i and x_j are both positive hyperbolic, and positive otherwise. (The original paper on SFT assigns to each good Reeb orbit \gamma two variables p_\gamma and q_\gamma. I am just using the q variables here and dispensing with the letter “q“.)

Let J be an almost complex structure on {\mathbb R}\times Y satisfying the usual conditions for defining contact homology. If x=x_1\cdots x_k and y=y_1\cdots y_l are SFT generators, and if d is an integer, let {\mathcal M}_d(x;y) denote the moduli space of irreducible J-holomorphic curves with Fredholm index d with k positive ends at x_1,\ldots,x_k and l negative ends at y_1,\ldots,y_l. (The Fredholm index depends on the Reeb orbits x_i and y_j as well as on the genus and relative homology class of the holomorphic curve; see e.g. [NOTES, Section 3.2].) For the experts, note that I am not using asymptotic markers here; I prefer to just count curves, rather than counting curves with markings and then dividing by the number of markings.

Let \overline{\mathcal M}_d(x;y) denote the “compactified” moduli space consisting of holomorphic buildings of total Fredholm index d instead of holomorphic curves. (One may object to the word “compactified”, because sometimes \overline{\mathcal M} is nonempty even when {\mathcal M} is empty. I am not bothered by this.)

If x and y are SFT generators, we would like to define a number n(x;y)\in{\mathbb Q}, which is a signed count with multiplicity of elements of the moduli space \mathcal{M}_1(x;y)/{\mathbb R}. The multiplicity of a somewhere injective curve is one, and for multiply covered curves, the multiplicity is one divided by the cardinality of the automorphism group of the cover.

Of course this count only makes sense if \mathcal{M}_1(x;y) is cut out transversely and \mathcal{M}_1(x;y)/{\mathbb R} is compact, i.e. finite. In most cases we cannot obtain this transversality even for generic J. (For example, branched covers of {\mathbb R}-invariant cylinders cannot be eliminated.) Even if this moduli space is cut out transversely and compact, if certain other moduli spaces are not cut out transversely, then \overline{\mathcal M}_1(x;y)\setminus \mathcal{M}_1(x;y) may be nonempty, in which case it may also make a contribution to the desired count. (That last sentence may seem mysterious for now, but we will see concrete examples of this below.)

Starting from a given J, one should be able to use polyfolds, or some other analytic technology, to define numbers n(x;y)\in{\mathbb Q} (in general partly depending on the choice of “abstract perturbation”) satisfying the following properties:

(P1) If \overline{\mathcal M}_1(x;y)\setminus \mathcal{M}(x;y) is empty, and if {\mathcal M}_1(x;y) is cut out transversely, then n(x;y) is the signed count with multiplicities defined above.

(P2) We can write n(x;y) = \sum_{Z\in H_2(Y,x,y)}n(x;y;Z) where H_2(Y,x,y) denotes the set of relative homology classes of surfaces between (the orbit sets corresponding to) x and y; see [NOTES, Section 3.1] for explanation of this notation. The number n(x;y;Z) satisfies property (P1) for the subset of \overline{\mathcal M} consisting of holomorphic buildings in the relative homology class Z.

In addition, we expect a gluing equation to hold. To state this equation, recall that we define the “SFT Hamiltonian” to be the differential operator H:Q\to Q defined by

H = \sum_{x,y} n(x;y) y_1\cdots y_l d(x_1)\frac{\partial}{\partial x_1}\cdots d(x_k)\frac{\partial}{\partial x_k}.

Here the sum is over all pairs of SFT generators x and y; in this sum, we do not repeat SFT generators that differ only by a permutation of their factors. We then write x=x_1\cdots x_k and y=y_1\cdots y_l (of course k and l vary). Finally, if \gamma is a Reeb orbit, then d(\gamma) denotes the covering multiplicity of \gamma (which equals one if and only if \gamma is a simple Reeb orbit).

The gluing property is now

(P3) H\circ H=0.

If all moduli relevant moduli spaces are cut out transversely, then this follows by considering ends of the index 2 moduli spaces and using the usual gluing story. The differential operator formalism beautifully keeps track of the number of different ways of gluing curves together along multiply covered or repeated Reeb orbits. (If you haven’t seen this before, you should convince yourself that it works modulo signs assuming transversality.)

3. Extracting the ECH differential from the SFT Hamiltonian

An “orbit set” is a finite set of pairs \alpha=\{(\alpha_i,m_i)\} where the \alpha_i are distinct simple Reeb orbits, and the m_i are positive integers (called “multiplicities”). An “ECH generator” is an orbit set as above such that m_i=1 whenever \alpha_i is hyperbolic. The ECH chain complex is the free {\mathbb Z}-module generated by ECH generators.

An SFT generator gives rise to an orbit set. If the SFT generator contains covers of a simple Reeb orbit \gamma with multiplicities m_1,\ldots,m_n, then the corresponding orbit set contains the pair (\gamma,\sum_{j=1}^nm_j). If x is an SFT generator, we denote the corresponding orbit set by |x|. This orbit set will be an ECH generator when the SFT generator does not contain any repeated or multiply covered hyperbolic orbits. Note that many SFT generators can map to the same orbit set (when some of the multiplicities in the orbit set are greater than one).

Going in the other direction, an ECH generator gives rise to two SFT generators, which I will denote by \alpha_+ and \alpha_-. In the SFT generator \alpha_+, each pair (\alpha_i,m_i)\in\alpha is replaced by the product of the the degree q_k covers of \alpha_i, where (q_k) is the positive partition p^+_{\alpha_i}(m_i), see [NOTES, Section 3.9]. Likewise, \alpha_- is defined using the negative partitions. The SFT generators \alpha_+ and \alpha_- are distinct, except when m_i=1 for all i. (Note that this construction does not work for an orbit set which is not an ECH generator, because the result would have a bad Reeb orbit or a repeated positive hyperbolic orbit, and thus would not be an SFT generator.) Strictly speaking, when we define x_+ and x_-, we need to somehow specify an ordering of the positive hyperbolic orbits in them. We can resolve this ambiguity by starting with a fixed ordering on the set of all positive hyperbolic orbits.

Suppose now that J is generic. The ECH differential counts “holomorphic currents” with ECH index 1 between ECH generators. Here a “holomorphic current” is a finite set of somewhere injective irreducible holomorphic curves with positive integer multiplicities. By [NOTES, Prop. 3.7], the assumption that J is generic implies that:

  • All holomorphic currents have ECH index \ge 0, with equality only for unions of covers of {\mathbb R}-invariant cylinders.
  • A holomorphic current of ECH index 1 consists of an embedded curve whose Fredholm and ECH indices both equal 1 (which in particular is cut out transversely), possibly together with some covers of {\mathbb R}-invariant cylinders.

The significance of the positive and negative partitions is that if \alpha and \beta are ECH generators, and if u is an ECH index 1 current from \alpha to \beta which does not contain any covers of {\mathbb R}-invariant cylinders, then u\in \mathcal{M}_1(\alpha_+;\beta_-). See [NOTES, Section 3.9]. Moreover, there are no holomorphic buildings of ECH index 1 in \overline{\mathcal M}_1(\alpha_+;\beta_-) \setminus \mathcal{M}_1(\alpha_+;\beta_-).

It follows from the above discussion and properties (P1) and (P2) that we can extract the ECH differential \partial from the SFT Hamiltonian H as follows. Let \alpha and \beta be orbit sets. The differential coefficient \langle\partial\alpha,\beta\rangle is a sum over pairs (\gamma,Z) where:

  • \gamma is an orbit set which “divides” both \alpha and \beta. That is, each simple orbit in \gamma appears in both \alpha and \beta, and the multiplicity of a simple orbit in \gamma is less than or equal to its multiplicities in \alpha and \beta. Let \alpha'=\alpha/\gamma and \beta'=\beta/\gamma denote the “quotient” orbit sets obtained by subtracting the multiplicities of each simple orbit (and discarding a simple orbit when the multiplicities are equal).
  • Z is a relative homology class of surface from \alpha' to \beta' such that the the union of Z with {\mathbb R}\times\gamma has ECH index 1.

Here \gamma corresponds to the {\mathbb R}-invariant part of the holomorphic current from \alpha to \beta, and Z is the relative homology class of the Fredholm index 1 component of the current. With the above notation, we can then write

\langle\partial\alpha,\beta\rangle = \sum_{\gamma,Z}n(\alpha'_+;\beta'_-;Z).

Note also that n(\alpha'_+,\beta'_-;Z) is an integer here, because the holomorphic curves that it counts are all embedded.

In conclusion, we have easily extracted the ECH differential \partial from the SFT Hamiltonian H. But can we use the equation H\circ H to deduce that \partial^2=0? Here things get a lot more subtle, and I will attempt to explain this in the sequel.

Advertisements
This entry was posted in ECH. Bookmark the permalink.

2 Responses to From SFT to ECH, Part 1

  1. Chris Wendl says:

    One thing that confuses me in this description of SFT is that there is nothing keeping track of genus. As stated, the number n(x;y) shouldn’t be well defined even if everything is transverse and H_2(Y) = 0, because there may be infinitely many curves to count with genus blowing up. Presumably this isn’t a problem in dimension 3 because the adjunction formula implies a bound on the genus for any given x and y? (And if H_2(Y) \ne 0, one can combine this with compactness for holomorphic currents to bound the relative homology classes as well?) But it looks like any hypothetical higher-dimensional ECH will have to deal with this issue somehow.

    • That’s a good point. Of course (you are an expert on this, but I am writing this for the benefit of other readers) we can keep track of the genus using an extra variable \hbar as in the original SFT paper. Then the contribution of each curve to the count is multiplied by \hbar^{p+g-1} where p is the number of positive ends and g is the genus. I skipped this to simplify the exposition, and I think we can argue as you said that this is not necessary in the three-dimensional case. However it may be necessary in higher dimensions, especially for five-dimensional contact manifolds where the Euler characteristic of a holomorphic curve does not enter into the index formula.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s