The following post consists of various conjectures and speculations which seem hard to prove if true, although maybe not so hard to disprove in the likely event that they are false. I am hoping some reader might be able to quickly shoot down some of these conjectures, or have some ideas or know some references for positive results.

Recall that the three-dimensional Weinstein conjecture, proved in full generality by Taubes, asserts that for any closed oriented three-manifold with a contact form , there exists a Reeb orbit.

Question: does there exist a Reeb orbit with an explicit upper bound on the length?

To make this question more precise, define to be the length of the shortest Reeb orbit. Here the “length”, or “symplectic action”, of a Reeb orbit is defined to be the integral of over it. We would like an explicit upper bound on . Note that this is impossible without fixing the volume or something, because if we scale the contact form by multiplying it by a positive constant , then . We can get a scale-invariant quantity by taking the quotient

Here . Now if is a contact structure on , define

Question: Is ? If so, do the numbers have a universal upper bound? And to what extent do these numbers distinguish contact structures?

The numbers might be impossible to compute. Let me still make:

Wild speculation: for all .

This is suggested by the theory of ECH capacities for reasons discussed here.

Example 1: Let be a closed connected surface and let be a principal bundle over with euler class . Let be a connection -form on this circle bundle with everywhere nonvanishing curvature. Then is a contact form, and the Reeb flow is given by the action that rotates the fibers. In particular . On the other hand . Thus .

It is tempting to speculate that if denotes the contact structure in the above example, then . It is obvious that decreases if we multiply the above by a nonconstant -invariant function. However this speculation is disproved by Example 2 below when and .

Example 2: Let be a closed connected surface, and let be the unit cotangent bundle of with the canonical contact form for which the Reeb flow is the geodesic flow. Then is the length of the shortest geodesic on , while , where denotes the area of . Now there is lots of literature giving upper bounds on which depend only on the genus of . In the case , I found a recent paper by Regina Rotman proving that . It was previously conjectured by Calabi and Croke that . (Explicit, non-symmetric examples show that no better upper bound is possible.) Note that my first wild speculation above would imply that , which interestingly is between the known upper bound and the conjectured upper bound. For higher genus orientable surfaces, according to the Wikipedia article on “systoles of surfaces” (I didn’t check the original sources), it is known that for genus , , and , with the inequalities realized by noncontractible geodesics. I don’t know whether the literature can confirm or deny my wild speculation when the genus is between and .

Example 3: Consider the three-torus with coordinates . Take where , as a function of , describes a plane curve whose argument ( in polar coordinates) is a strictly increasing function of . This is a contact form whose volume is twice the area encosed by the curve . Suppose for simplicity that the curve is perpendicular to the coordinate axes. Then is at most the minimum distance to the origin of an intersection of with a coordinate axis. So for these examples , where denotes the winding number of the curve around the origin. Note that up to diffeomorphism, the contact structure depends only on ; let us denote it by . The above picture suggests:

Conjecture: .

In particular, if these numbers are finite as hoped, then they can distinguish contact structures on the same three-manifold.

Example 4: Open books. This might be a promising place to seek counterexamples to the above conjectures, but I don’t understand the situation here very well.

Pingback: Some open problems on symplectic embeddings and the Weinstein conjecture | floerhomology

Pingback: ECH volume conjecture proved | floerhomology