[The following is a guest post by Dan Cristofaro-Gardiner and Dan Pomerleano. If anyone else is interested in contributing a guest post, please feel free to contact me. A blog is a good outlet for short or informal mathematical thoughts which might not have a place in a traditional publication, and guest posting is convenient if you are not yet ready to start your own blog. -M.H.]
What can we say about the minimum number of Reeb orbits?
The paper From one Reeb orbit to two showed that any Reeb flow on a closed contact three-manifold must have at least two closed orbits. While examples exist with exactly two orbits (e.g. irrational ellipsoids), there is no known example of a contact manifold that is not a lens space where the Reeb flow has finitely many closed orbits. It is therefore natural to try to refine this result under additional assumptions, and there has been interesting work in this direction by Hofer-Wysocki-Zehnder, Colin-Honda, Ginzburg-Gurel-Macarini, and others.
One example of such a refinement is a theorem of Hutchings and Taubes, which states that, for a nondegenerate contact form, the Reeb flow must have at least three distinct embedded Reeb orbits on any manifold that is not a lens space. It turns out that if the contact structure is not torsion, one can slightly improve on this result:
Proposition 1. Let be a closed contact three-manifold, and let be the contact structure for . Assume that is not torsion. Then the Reeb flow has at least three distinct embedded orbits. If is nondegenerate, then the Reeb flow has at least four distinct embedded orbits.
The proof of this proposition is given below. The arguments are similar to those in “From one Reeb orbit to two”, so this post may also be of interest to anyone curious about that paper.
1. Spectral invariants and a review of ECH
Our proof (as well as the proof in “From one Reeb orbit to two”) uses the “spectral invariants” defined by Hutchings in Quantitative embedded contact homology. To recall their definition, let us begin by stating some basic facts about ECH under the assumption that is nondegenerate. Fix a class . The group is the homology of a chain complex . This chain complex is generated by orbit sets , where the are distinct embedded Reeb orbits, the are positive integers, and the total homology class of is equal to . The orbit sets are required to be admissible, which means that each is equal to when is hyperbolic. It is known that ECH is an invariant of the contact structure (in fact, it is known that ECH is an invariant of the three-manifold, but we will not need this). Thus, the group is well-defined.
Let be a nonzero class in . We can define invariants for any contact form in the contact structure . This works as follows. An orbit set has a symplectic action defined by . If is nondegenerate, define to be the “minimum symplectic action” required to represent the class . If is degenerate, define , where are a sequence of nondegenerate contact forms converging in to . This works essentially because the behave like symplectic capacities: they satisfy monotonicity and scaling axioms which make in the degenerate case well-defined. For the details, see for example “Quantitative embedded contact homology”.
Here is the key fact that we need about spectral invariants:
Fact 2. Let be a (possibly degenerate) contact manifold. Let . Then , where is some orbit set for with total homology class . If is nondegenerate, then is admissible.
This is proved similarly to Lemma 3.1(a) in “From one Reeb orbit to two”. The proof in the degenerate case uses a standard compactness argument for Reeb orbits of bounded action.
The idea of the proof of the proposition is now to look at the spectral invariants associated to a certain sequence of classes with gradings tending to infinity. If there are too few Reeb orbits, we will find a contradiction with known facts about the asymptotics of these spectral invariants.
To make this precise, we now introduce the notion of a “U-sequence”. Recall that ECH comes equipped with a “U-map”, which is a degree map defined by counting curves. Also recall that Taubes showed that there is a canonical isomorphism
where denotes the Seiberg-Witten Floer cohomology defined by Kronheimer and Mrowka. The -map agrees with an analogous structure on under this isomorphism.
Let be a class in . If is torsion, then has a relative grading. It follows from the above isomorphism together with known facts about that this group is infinitely generated. In fact, it is well-known (by again using this isomorphism) that one can always find a U-sequence, namely a sequence of non-zero classes with definite gradings such that . We will use a refined version of this statement, involving the canonical mod 2 grading on ECH (in this grading, the grading of an orbit set is , where is the number of positive hyperbolic orbits in the orbit set).
Fact 3. Let be a contact manifold. Assume that is torsion. Then either:
- we have , in which case there is a U-sequence in even grading, or
- , in which case there exist U-sequences in both even and odd grading.
This result can be deduced from the discussion in Section 35.1 of Kronheimer and Mrowka’s book “Monopoles and three-manifolds”.
3. A digression about odd contact manifolds
Fact 3 will be used in our proof of Proposition 1, but it has other interesting consequences as well. For example, let us say that a contact three-manifold is “odd” if all closed embedded Reeb orbits are either elliptic or negative hyperbolic. It was asked previously on this blog whether all odd contact manifolds are lens spaces. Corollary 4 below provides some evidence in favour of this. If is odd, then must be concentrated in even degree. We obtain as a corollary of Fact 3 that:
Corollary 4. If is an odd contact manifold, then .
4. The proof
Returning to the proof of Proposition 1, we will also need the following facts about the spectral invariants of a U-sequence associated to any contact form $\latex lambda$:
- Let be a nonzero class on with . Then .
- Let be a U-sequence. Then
The first item follows from Stokes’ Theorem in the nondegenerate case; when is degenerate, the key result is a compactness result for pseudoholomorphic currents due to Taubes, see “From one Reeb orbit to two”. The second item follows from the “volume conjecture” proved in “The asymptotics of embedded contact homology capacities”.
We have now laid out all of the necessary machinery to give our proof.
The nondegenerate case. Suppose we have exactly three embedded orbits.
Our manifold must not be odd in view of Corollary 4. We will next show that we must have exactly two elliptic orbits. Choose such that is torsion. If we had zero elliptic orbits, it follows from the definition of the ECH chain complex that would be finitely generated, contradicting (for example) Fact 3. Let be a U-sequence. If we had one elliptic orbit and two hyperbolic orbits , we would contradict Fact 5. More precisely, the first bullet of Fact 5 together with Fact 2 would imply that would have to grow at least linearly with , while the second bullet implies that this cannot occur.
Thus, we can assume that we have two elliptic orbits and a positive hyperbolic .
[There can’t be three elliptic orbits because this would contradict Theorem 1.2 in The Weinstein conjecture for stable Hamiltonian structures. -Ed.] The key fact is now that since is not torsion, is also not torsion. The significance of this is as follows. We have an induced map , which sends to the class represented by the Reeb orbit . If the kernel has rank zero, then again, would be finitely generated. If the kernel has rank two, then these orbits would represent torsion classes in homology. On the other hand, by Fact 3, we must have a U-sequence in in even degree. This must take the form , contradicting our assumption that is non-torsion.
It remains to handle the case when the kernel has rank one. In this case, assume that the kernel is generated by some integer vector , say with . Then each generator of our U-sequence must have the form . Because there are infinitely many distinct , we must have (otherwise we would have for all ). Since and are nonnegative, the asymptotics of this sequence would again violate the second bullet of Fact 5, since the action of each term in this sequence would have to be bigger than the action of the previous term by at least the minimum of the actions of and .
The degenerate case. By “From one Reeb orbit to two”, we have at least two distinct embedded Reeb orbits. So assume that we have exactly two, and . We now argue similarly to before. Namely, again consider the U-sequence latex $\lbrace \sigma_k \rbrace$, as well as the induced map . By Fact 2, this kernel cannot have rank two. By Fact 2, and the first bullet point of Fact 5, the kernel does not have rank . By repeating the argument in the previous paragraph, it also cannot have rank .
[Any ideas for improving the above bounds further? As suggested at the beginning, one might conjecture that if is a closed contact three-manifold, and if is not (a sphere or) a lens space, then there are infinitely many Reeb orbits. -Ed.]