Earlier this week, I gave a talk in my working group seminar entitled “A biased survey on symplectic fillings”. The talk was meant in large part as an excuse to state and discuss certain open questions in my research area that I find especially interesting, and I included the word “biased” in the title so as to absolve myself of any obligation to be balanced or comprehensive, or to mention all sorts of things that, while possibly very important, are not so relevant to the things I usually think about. With this understood, I am going to inaugurate this blog by attempting over the next few posts to reproduce most of what I said in that talk, including several things that I had intended to say but skipped due to lack of time. This can also be interpreted as a sketch of the essential motivations and goals of my current EPSRC-funded project on symplectic cobordisms.
This first post will deal only with the basic definitions.
For a proper discussion of symplectic fillings, it helps to be a bit more general and discuss symplectic cobordisms. To that end, assume is a -dimensional compact symplectic manifold whose boundary can be written as a disjoint union of two (each possibly empty) components and . We say that is a convex boundary component if a neighborhood of admits a so-called Liouville vector field that points transversely outward at the boundary; here the “Liouville” condition means that satisfies
,
so its flow dilates the symplectic form. Similarly, we call a concave boundary component if the same condition holds near , except that the Liouville vector field points transversely inward instead of outward.
There are a few reasons why these are natural conditions to consider at the boundary of a symplectic manifold. One reason is that a convex or concave boundary component naturally inherits a contact structure, and this contact structure determines the symplectic form in a collar neighborhood of the boundary. To see this, suppose is the Liouville vector field near , and consider the 1-form
.
By Cartan’s formula for the Lie derivative, the Liouville condition now translates into the statement that , and outward/inward transversality to the boundary means that the 1-forms on satisfy
,
in other words, is a positive/negative contact form on . (Note that we are assuming and are each assigned the natural boundary orientation, where carries the orientation determined by its symplectic form.) Denote the resulting (positive or negative) contact structure by . Now we observe two important facts:
- By flowing from the boundary along for a sufficiently small time, we can identify a collar neighborhood of with for sufficiently small . Under this identification, if denotes the coordinate on , we find that takes the form , hence in this collar. In the same manner, a collar neighborhood of in can be identified symplectically with for sufficiently small .
- The choice of Liouville vector field is far from unique: indeed, whenever such a vector field exists, its sum with any sufficiently small Hamiltonian (or more generally, locally symplectic) vector field will be another Liouville vector field that is still transverse to . Thus there is an infinite-dimensional space of choices involved in defining the contact structures … but importantly, it is easy to check that that space of choices is convex, and thus contractible. By Gray’s stability theorem, it follows that while and are not uniquely determined by , they are unique up to isotopy.
The second observation above provides motivation for the following:
Definition. as described above is a (strong) symplectic cobordism from to .
Caution: some authors prefer to call what I’ve just defined a symplectic cobordism “from to “, i.e. from the convex to the concave side instead of the other way around. To some extent this is a matter of taste, though I would say there are good topological reasons for following the convention as I have written it; these reasons have to do with the Morse theoretic description of Stein manifolds via contact surgery, which we’ll touch upon later.
Whenever a strong cobordism exists from to , we shall write . This notation is meant to evoke a partial order, and indeed, the cobordism relation is almost a partial order:
- It is reflexive, meaning that every contact manifold is cobordant to itself via the trivial cobordism . This cobordism is simply a compact subset of the symplectization of , in fact the latter can be interpreted as the symplectic completion of the trivial cobordism, obtained by gluing cylindrical ends to both boundary components.
- It is transitive, meaning that if and are two symplectic cobordisms such that the convex boundary of is contactomorphic to the concave boundary of , then they can be glued together to form a symplectic cobordism from the concave boundary of to the convex boundary of . This observation follows easily from the collar neighborhoods described above, after possibly rescaling the symplectic forms by positive factors.
Unlike the situation in topology, the symplectic cobordism relation is not an equivalence, i.e. it is not symmetric. The difference is one of orientations: in topology, if is an oriented cobordism from to , then the same manifold with reversed orientation gives an oriented cobordism from to . But you can’t just reverse the orientation of a symplectic manifold; the symplectic structure determines the orientation, and there are plenty of examples of symplectic manifolds that do not admit any symplectic structure compatible with the opposite orientation! (Exercise for the reader: this is true on . Do you see why?)
Less obviously, but just as important, the symplectic cobordism relation is not antisymmetric, i.e. it is not true that if and , then and must be contactomorphic. We will see counterexamples to this later in the discussion.
To conclude this first post, here is the main definition that we’ve been leading up to:
Definition. A (strong) symplectic filling of a contact manifold is a strong symplectic cobordism from the empty manifold to . Similarly, a symplectic cobordism from to the empty manifold is called a symplectic cap.
For a first example of a symplectic filling, take the unit ball in the standard symplectic . It is not hard to write down an example of a Liouville vector field on that points radially outward, thus the unit ball is a symplectic filling of the unit sphere; the induced contact structure on is the one we usually call the standard contact structure on the sphere. (Exercise: can also be defined as the field of complex tangencies, i.e. the maximal complex subbundle of when is regarded as the unit sphere in .)
It is similarly easy to find symplectic caps for , and in fact there is an unfathomably large variety of them: take any closed symplectic manifold and define to be the complement of an open Darboux ball. The arbitrariness of this construction should tip you off to the fact that symplectic caps are in general much less interesting objects than symplectic fillings, i.e. they exist in abundance and do not seem to carry information about the contact structure on the boundary. We will see more evidence of this when we discuss the known results on fillings and caps.
I will further expand this list of definitions in the next post.
Everything typed was very reasonable. However,
what about this? what if you were to create a awesome headline?
I ain’t suggesting your content isn’t solid., however what if you added a title to possibly get folk’s
attention? I mean A biased survey on symplectic fillings, part 1 (definitions) | Symplectic Field
Theorist is a little boring. You might glance at Yahoo’s front page
and note how they create article headlines to get people
to click. You might try adding a video or a pic or two
to get people excited about what you’ve got to say. Just my opinion,
it might make your posts a little bit more interesting.
LikeLike
Ladies and gentlemen, this blog has achieved a milestone today: we have our very first troll!
LikeLike