Last week, Keon Choi, Dan Cristofaro-Gardiner, David Frenkel, Vinicius Ramos, and I posted a new paper, Symplectic embeddings into four-dimensional concave toric domains. To explain what concave toric domains are, recall that if is a domain in the first quadrant of the plane, we define a (four-dimensional) “toric domain”
For example, if is a right triangle with vertices , then is an ellipsoid, which we denote by . We also define the ball . If is a rectangle with vertices , then is the polydisk which we denote by . Define a “concave toric domain” to be a domain where is bounded by the axes and the graph of a convex function for some positive real numbers . So an ellipsoid is a concave toric domain, but a polydisk is not. The (nondisjoint) union of two ellipsoids is also an example of a concave toric domain.
In the paper we computed the ECH capacities of all concave toric domains, and obtained some applications to symplectic embedding problems. For now I will skip the discussion of the symplectic embedding problems, and focus on the following question: What is the geometric meaning of ECH capacities?
For a concave toric domain , we showed that there is a nonincreasing sequence of nonnegative real numbers such that the ECH capacity of is given by
It turns out after the fact that the numbers can be described geometrically as follows. First, is the largest real number such that there exists a symplectic embedding . Then is, roughly speaking, the largest real number such that there exists a symplectic embedding of into the remaining space. And so forth. That is the numbers measure the size of the balls in a “greedy ball packing” of .
To make this precise, if is any domain, we can define to be the supremum over such that there exists a symplectic embedding . We can then inductively define to be the limit, as approach from below, of the maximum of , where the maximum is over symplectic embeddings .
We now know that if is a concave toric domain, then
For which other domains is this true? Note that the left hand side of the above equation is always greater than or equal to the right hand side, by the monotonicity of ECH capacities. However the reverse inequality need not be true.
The first counterexample I could find is the polydisk . Here, if I am not mistaken, the sequence of numbers is . For , we have , but .
So I guess we have more work to do to understand what ECH capacities are measuring in general.