Do we really need Seiberg-Witten theory to understand symplectic embeddings of 4d ellipsoids?

Dusa McDuff recently proved that the interior of the 4-dimensional ellipsoid E(a,b) symplectically embeds into E(c,d) if and only if N(a,b)\le N(c,d).  Here, if a and b are positive real numbers, then N(a,b) denotes the sequence obtained by taking all nonnegative linear combinations of a and b and sorting them in nondecreasing order.

What seems strange to me about this theorem is that Seiberg-Witten theory is used in the proof of both directions!  I attempted to outline this story in my survey article “Recent progress on symplectic embedding problems in four dimensions”, but let me briefly indicate here where Seiberg-Witten theory comes in:

The “only if” part of the theorem follows immediately from the monotonicity property of ECH capacities. But the proof of the monotonicity property of ECH capacities uses Seiberg-Witten theory to construct ECH cobordism maps.

The “if” part of the theorem uses another result of McDuff that the existence of an ellipsoid embedding as above (when a/b and c/d are rational) is equivalent to the existence of a certain symplectic ball packing.  The existence of this ball packing is equivalent to the existence of a symplectic form on a blowup of CP^2 in a certain cohomology class.  This symplectic form is constructed using “inflation” along a certain holomorphic curve.  And the existence of this holomorphic curve is proved using Taubes’s “Seiberg-Witten=Gromov” theorem together with the wall crossing formula for Seiberg-Witten invariants on a blowup of CP^2.

McDuff gave an alternate proof of the “only if” part of her theorem without using ECH capacities, but it still uses the ball packing story and with it the above business involving Seiberg-Witten theory on blown up CP^2.

Anyway, it might be an interesting project to try to prove the “only if” part of the theorem without Seiberg-Witten theory, by directly proving the relevant special case of the monotonicity property of ECH capacities.  One would want to prove that if there is a symplectic embedding of E(a,b) into the interior of E(c,d), then there is a map from ECH(\partial E(c,d)) to ECH(\partial E(a,b)) which respects the symplectic action filtrations, the contact invariants, and the U maps. The obvious approach is to regard E(c,d) minus the image of the interior of E(a,b) as an exact symplectic cobordism from \partial E(c,d) to \partial E(a,b), to “complete” this cobordism by attaching “symplectization ends”, and to count holomorphic curves in the completed cobordism with ECH index I=0.  The difficulty is that multiply covered curves with negative ECH index will arise.  So the cobordism map will probably have to count some broken configurations involving a negative ECH index multiple cover in the cobordism level together with a positive ECH index curve in one or both ends.  It might be quite complicated to figure out how to count these and prove the gluing theorem needed to show that the cobordism map respects the U map.

In any case, if you want to try to define ECH cobordism maps using holomorphic curves, then this is a special case of the problem which, while it might be quite difficult, appears a lot less hard than the full problem and might be doable.

This entry was posted in ECH, Open questions. Bookmark the permalink.

2 Responses to Do we really need Seiberg-Witten theory to understand symplectic embeddings of 4d ellipsoids?

  1. David says:

    I think the last two times you say “if”, you mean “only if”. (Or else I’m very confused about where these arguments use ECH capacities.)

  2. You’re right, and I have now fixed this, thanks. (I always get confused by “if”, “only if”, “necessary”, and “sufficient” in reference to a pair of conditions that appeared some time ago in the text. In the future I should try harder to disambiguate these.)

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s