Today was the first meeting this semester of the student Floer theory seminar. I introduced some open problems and conjectures, at least some of which should be approachable.

The problems I discussed fall under two general themes:

1. SYMPLECTIC EMBEDDINGS: Given two symplectic manifolds and of dimension , typically with boundary, when does there exist a symplectic embedding of one into the other?

2. QUANTITATIVE REFINEMENTS OF THE WEINSTEIN CONJECTURE: Given a closed contact manifold , does there exist a Reeb orbit with an upper bound on the length depending only on and the contact structure ? (This previous post has some discussion of this question when .)

When , there are new tools with which to study these problems, namely the “ECH spectrum” and “ECH capacities”. The ECH spectrum of a contact three-manifold (with nonvanishing ECH contact invariant) is a sequence of numbers

This is relevant to quantitative refinements of the Weinstein conjecture, because by definition there exists a Reeb orbit of length at most .

The ECH capacities of a symplectic four-manifold , typically with boundary, are a sequence of numbers

These are relevant to symplectic embeddings, because if symplectically embeds into , then for all .

The relation between ECH capacities and ECH spectrum is that if is a symplectic four-manifold with boundary such that is exact, and there exists a contact form on such that , then .

To give some examples:

The ECH capacities of the ellipsoid

are described as follows: is the minimum of , where are natural numbers such that the triangle in the plane bounded by the and axes and the line through with slope contains at least lattice points.

The ECH capacities of the polydisk

are described as follows: is the minimum of , where the rectangle bounded by the axes together with horizontal and vertical lines through contains at least lattice points.

Open problem. Generalize to compute the ECH capacities of

where is a reasonable domain in the first quadrant of the plane. I think I know how to approach this, but it would be nontrivial to work out the details.

We can also compute the ECH capacities of a disjoint union:

Now how good are the symplectic embedding obstructions given by ECH capacities?

1. Dusa McDuff showed the ECH capacities give a sharp obstruction to symplectically embedding a disjoint union of ellipsoids into an ellipsoids, i.e. the interior of the former symplectically embeds into the latter if and only if of the former is less than or equal to of the latter for all .

2. It follows from McDuff’s arguments and work of Dorothee Mueller that ECH capacities likewise give a sharp obstruction to symplectically embedding an ellipsoid into a polydisk.

3. ECH capacities do not give a sharp obstruction to embedding a polydisk into an ellipsoid; the much older Ekeland-Hofer capacities give stronger obstructions in some cases.

4. I do not know whether ECH capacities give a sharp obstruction to symplectically embedding a polydisk into a polydisk.

Conjecture. The Ekeland-Hofer capacities of a star-shaped domain in agree with the linearized contact homology analogue of the “full ECH capacities”. I checked this for ellipsoids and polydisks.

For more examples, let be a norm on and let denote its dual norm on . Define

Then it is known that is the minimum of , where ranges over convex polygons in the plane that enclose at least lattice points, and denotes length with respect to the norm . We can now ask when one of these manifolds symplectically embeds into another.

Optimistic conjecture: symplectically embeds into if and only if there exists such that . (“If” is an easy exercise, “only if” is the optimistic part.)

By the theory of ECH capacities, this would follow from:

Stronger conjecture: for all if and only if there exists such that . (Again, “if” is easy.)

Now this stronger conjecture is purely combinatorial, so you can sit down, maybe with a computer, and try checking it.

Project. The definition of the ECH capacities (which I did not explain here) can be easily modified in various ways using other versions of contact homology, and in particular for higher dimensional symplectic manfolds. Explore these capacities and see if they give decent obstructions, e.g. by testing them on six-dimensional ellipsoids and comparing with work of Felix Schlenk.

Going back toward the quantitative Weinstein conjecture, we have:

Conjecture. If is a closed contact 3-manifold all of whose ECH spectrum is finite, then

There is overwhelming evidence for this conjecture, and I expect that it can be proved if one carefully studies the estimates in Taubes’s proof of the Weinstein conjecture.

By playing with the examples above, one might be tempted to guess that in fact,

for all . In particular, this would imply that there is always a Reeb orbit of length at most . Unfortunately, the above guess is is disproved by the following example: let be a circle bundle over of Euler class with a prequantization contact form. Then , and , which is bigger than when . Note however that this example still has a Reeb orbit of length , which is less than . (Also, there is a variant of the ECH spectrum which detects this.) So I still don’t know any counterexample to:

Conjecture. A closed contact three-manifold always has a Reeb orbit of length at most .

Project. See whether or not this conjecture is true for contact forms supported by an open book.

Pingback: Is there a quantitative refinement of the Weinstein conjecture? | floerhomology

Pingback: Do direct calculations of ECH have any value? | floerhomology

I should point out that we do know the ECH capacities of when is a convex domain that does not intersect the axes. In this case is symplectomorphic to where the unit ball of is a translate of , so its ECH capacities are given by the theorem stated above. If intersects the axes in one or two points then one will get the same answer by a limiting argument. I suspect that one will get the same answer even if includes a segment of an axis. It is easy to check that this is true if is a rectangle or a right triangle whose legs are on the axes (corresponding to an polydisk or ellipsoid), but proving this in general, if it is true, would require more work. I plan to say more about ECH capacities of in a future post.

Pingback: ECH volume conjecture proved | floerhomology

Pingback: Lagrangian capacities and Ekeland-Hofer capacities | floerhomology