It is now time to explain how to use the q-variable version of rational SFT to define symplectic capacities and symplectic embedding obstructions. Before getting into details, I should tell you some good news and bad news. The bad news is that the rational SFT capacities are not very powerful. The good news is that rational SFT contains stronger embedding obstructions than the rational SFT capacities, and you can access these stronger obstructions if you can compute cobordism maps. This is a very interesting area for further exploration.
Let be a nondegenerate closed contact manifold as usual. If is a nonzero class in the q-variable rational SFT, define to be the infimum over such that is in the image of the map induced by the inclusion of chain complexes.
If is a weakly exact symplectic cobordism from to , recall that there is an induced map
which is the direct limit of maps
as . It follows as in ECH that if , if , and if , then
This is the basic inequality which leads to obstructions to symplectically embedding one Liouville domain into another.
As with the ECH spectrum, if is degenerate, one can define as the limit of where is a sequence of nondegenerate contact forms converging in the topology to . The above inequality still holds for a weakly exact cobordism between possibly degenerate contact manifolds.
Definition of capacities
Let be a Liouville domain. What I mean by this is that is exact, and there is a contact form on such that . Note that the unit in the symmetric algebra on the polynomial algebra on the variables, which I denote by , is a cycle in the chain complex computing . The homology class is nonzero, because the cobordism map maps it to .
If is a nonnegative integer, we now define to be the minimum of , where ranges over classes in such that whenever is a composition of of the maps associated to the components of (possibly repeated). If no such class exists, we define . The same or similar arguments to the definition of ECH capacities show the following:
- does not depend on the choice of .
- If is another Liouville domain of the same dimension which symplectically embeds into , then for all .
- We have the disjoint union property
I did some quick calculations to get an idea of how good these capacities are. I can explain the details of these calculations later, but for now here are the results (which you should regard as preliminary since I didn’t check every detail):
- The capacities of the four-dimensional ball , starting at , are . That is, for .
- The capacities of the four-dimensinal polydisk for are given by .
- If then .
The bad news
To test how powerful these capacities are, let us consider the question of when the disjoint union of four-dimensional balls of capacity be symplectically embedded into the four-ball of capacity . (Recall that ECH capacities are sharp for this embedding problem.) McDuff-Polterovich showed that if such an embedding exists, then when , when , when , and when , and these bounds are optimal.
We can compute the rational SFT capacities of using the disjoint property. We find that , while , so we recover the inequality when . We also compute that while , so we recover the inequality when . Unfortunately, when or we do not even recover the volume constraint .
The ultimate reason for this is that the first inequality comes from curves of degree in , the second inequality comes from curves of degree , the third inequality comes from curves of degree , and the fourth inequality comes from curves of degree . Since the latter two curves have positive genus, rational SFT does not see them. One might hope that rational SFT capacities see some non-embedded rational curves that ECH does not see, e.g. for embedding a polydisk into an ellipsoid where the ECH capacities do not give sharp obstructions, but so far I have not found an example where rational SFT capacities say anything more than ECH capacities.
When , rational SFT capacities say even less about packing a disjoint union of balls into a ball. All they tell us is that if symplectically embeds into , then , which was known to Gromov.
The good news
The good news is that rational SFT gives stronger obstructions to symplectic embeddings than rational SFT capacities, if you know something about the cobordism map.
In particular, rational SFT does recover the optimal obstructions to symplectically embedding the disjoint union of seven or eight four-balls of equal size into a four-ball! To see why, suppose there exists a symplectic embedding of into where . Let be the symplectic cobordism obtained by removing the image of the embedding from . We can perturb this to obtain a cobordism between nearly-round ellipsoids with nondegenerate contact forms. Each ellipsoid has two embedded elliptic Reeb orbits which we denote by and , where denotes the shorter orbit. The ECH generator differential vanishes because all generators have even grading.
We know from general properties of ECH cobordism maps that when (resp. ), the map induced by the cobordism has a nonzero coefficient from the ECH generator (resp. ) to the ECH generator consisting of in one of the balls and in the other six balls (resp. in one of the balls and in the other seven balls). Since the cobordism map decreases symplectic action, we conclude that when and when , which are the optimal inequalities.
Now since the above coefficient of the ECH cobordism map is nonzero, there exists a (more precisely ) holomorphic curve between the corresponding ECH generators. In general one could get a broken and/or multiply covered curve, but (I think) one can rule that out in the present case because otherwise one would obtain a stronger embedding obstruction which cannot be true. Moreover, one can use the ECH partition conditions to see that each end of this holomorphic curve is at a singly covered Reeb orbit, so that it has ends when and ends when . One can then use the relative adjunction formula to show that the holomorphic curve has when and when . This implies that it is rational. So the cobordism map on rational SFT sees it!
More precisely, in rational SFT, the differential vanishes here because all holomorphic curves have even index, so we can identify elements of the chain complex with homology classes. If denotes when and when , and if denotes the cobordism map on rational SFT, then includes a monomial with of the variables when and of the variables when . It follows that when and when , so the inequality at the beginning of this post gives the optimal symplectic embedding obstruction.
In fact, as far as I know it it possible that all of the ECH obstructions to embedding a disjoint union of four-dimensional ellipsoids into an ellipsoid are seen by rational SFT cobordism maps.
In the above example of embedding seven or eight four-dimensional balls into a ball, it is a nontrivial exercise (which I haven’t really tried yet) to compute the relevant part of the rational SFT cobordism map without “cheating” and using information from ECH.
One can get some information about the cobordism map by using the fact that it commutes with the U maps, compare Lemma 3.2 in “The asymptotics of ECH capacities”. However in the present case one has to work harder because the U map is no longer injective on generators.
In dimension , if one can somehow compute the rational SFT cobordism map coming from an embedding of a disjoint union of balls into a ball, then one might get stronger obstructions to ball packing than the Gromov obstruction recalled above.
Likewise, for embedding one ellipsoid into another in higher dimensions, I suspect that rational SFT capacities say nothing more than Ekeland-Hofer capacities, but if one can compute the cobordism map one might be able to obtain stronger obstructions.