Reference: [BEYOND] = “Beyond ECH capacities”

I have played with a few more calculations using the methods in [BEYOND]. Here is the most interesting thing I have found so far.

In [BEYOND, Thm. 1.2], it was shown, among other things, that if the polydisk symplectically embeds into the four-dimensional ball , and if , then . On the other hand, Felix Schlenk showed using symplectic folding that if , then symplectically embeds into whenever . These bounds agree for and disagree for . One might ask whether one can improve one or both of these bounds to get them to agree. In fact, it turns out that symplectic folding is sometimes optimal, in the following sense:

**Theorem.** If , and if symplectically embeds into , then .

This is a direct application of [BEYOND, Thm. 1.18], and I will assume the statement of the latter theorem below. (In other words, the following is basically an addendum to be added in the next version of [BEYOND], unless I discover some way to improve it first.)

*Proof of Theorem.* Suppose that , that symplectically embeds into , and that . We will obtain a contradiction in four steps. Below, the symbol between convex generators means .

*Step 1.* We first show that if with , then .

If , then as in Step 1 of the proof of [BEYOND, Thm. 1.2], we have

.

Combining this with our assumption that gives

.

If then it follows that ; if then it follows that ; and if then it follows that . Either way this contradicts our hypothesis that .

*Step 2.* We now show that if , and if , then includes a factor of .

If not, then the only possibility for with the correct ECH index is

.

The action inequality in the definition of then implies that

Combining this with our assumption that gives

.

If then it follows that ; if then it follows that ; and if then it follows that . Either way this contradicts our hypothesis that .

*Step 3.* We now show that there does not exist any convex generator with .

If is such a generator, then we know from Step 1 that .

If , then the only possibility for with the correct ECH index is . Then , which combined with our assumption that implies that , contradicting our hypotheses.

If , then , or else we would have , contradicting the fact that . Since , it follows that

.

Combining this with our assumption that gives , contradicting our hypothesis that .

*Step 4.* We now apply [BEYOND, Thm. 1.18] to , to obtain a convex generator , and factorizations and , satisfying the three bullet points in [BEYOND, Thm. 1.18].

By Step 3 and the first bullet point, we must have .

By Step 2 and the first two bullet points, all of the must be equal, and all of the must be equal. Thus either and for each , or and for each .

If , then by Steps 1 and 2, we have for each . But then , contradicting the fact that .

If , then by Step 1, and the facts that and , the only possibilities are that for each , or for each . In the former case we have , and in the latter case we have . Either way, this contradicts the fact that .

QED

**Remark.** It is conceivable that with more work, the hypothesis could be weakened to . The significance of the latter number is that if is less than it, and if is sufficiently large with respect to , then there does not exist any convex generator with . We might then be able to use arguments similar to the above to get a contradiction.

More generally, one can maybe get more information by considering all of the holomorphic curves that exist in the cobordism coming from a symplectic embedding. We know that certain curves must exist in order to give a chain map on ECH satisfying the required properties. However the existence of certain curves excludes the existence of others, for example when their intersection number would be negative. When you write down all of these conditions, it is like a giant logic puzzle, and the challenge is to extract significant information from it using a manageable amount of computation.