# Proposal for a smooth 4-manifold invariant

Warning: the following is fantasy.

Given an oriented closed -manifold and an indefinite Morse -function , choose a (noncompact) oriented -manifold with a smooth map satisfying the following properties:

- For any compact codimension-0 submanifold , is an immersion.
- For every simple closed curve that is transverse to the fold locus and avoids the cusps, consider , , the map , and the -valued Morse function . We require that, for some gradient-like vector field for :
- contains descending disks for each of the index critical points of and ascending disks for each of the index critical points of ,
- is tangent to (i.e. the vector field in the vector bundle actually lies in ), and
- is a complete vector field on , i.e. you can flow forever along it and never run off the ``end'' of .

- For every simple closed curve as above, there is an annulus neighborhood embedded in over which looks like (i.e. a constant homotopy of Morse functions), and such that over each , is as described above for a smoothly varying gradient-like vector field which has the genericity properties we expect from Cerf theory: transversely intersecting ascending and descending manifolds except at isolated handle slides.
- We don't care what does over the cusps - in fact the above conditions probably guarantee that can't hit the cusps at all, but that's fine. (We might need to add the condition that there aren't infinitely many handle slides as you move in towards a cusp?)

Now given this data, a * -multisection* is a smoothly embedded surface with (where is the fold set in ), such that in fact lies entirely in the double point set for , and such that is a ``boundary-branched cover''; i.e. branching happens on the boundary.

There is something to be figured out here about orientations on and that should assign a sign to each such

Then here is the invariant: For each spin structure on , consider the associated homology class , where is the fold set, as in Perutz. Count up the -multisections representing , with signs, and the total number is an invariant.

What needs to be done?

- Prove such an always exists.
- Figure out the sign issue with -multisections.
- Figure out what a cobordism between such 's would be, given a generic homotopy between two indefinite Morse -functions.
- Show that such a cobordism would give a cobordism between the sets of -multisections representing a given - and somehow use this to conclude that the count is an invariant.

David Gay 2010-05-19

# Symplectic polydisk and ellipsoid embeddings

Some explicit questions about polydisk and ellipsoid embeddings that Olga Buse and I hope to tackle:

- Consider the map defined in complex coordinates by . Pick a regular value, say . Let . First of all, what is the area ? Secondly, given any area , let be the supremum over all such that there is a polydisk embedded in with . Calculate . It should obviously be a decreasing function of . Then, for which is largest?
- Same thing for any other Lefschetz fibration, or any complex polynomial for that matter.
- In principle you might be able to use these same ideas to understand ellipsoid embeddings. Maybe the best way to say it is this: Given the symplectic surface , find a smooth positive function with a symplectic embedding of into mapping to by the identity. Hopefully you can find such a function and such an embedding so that it ``fully fills'' . Then by trimming back and trimming back just right, we can get embeddings of ellipsoids, and by trimming back and trimming back to be constant, we can get embeddings of polydisks.
- My original idea about using Lefschetz fibrations was a little different, but should probably amount to the same thing. Take your favorite topological Lefschetz fibration of over . Build it symplectically, with convex boundary, in some standard way, starting with (where is the fiber) and then adding very thin Weinstein handles. You end up with a symplectic structure on with convex boundary, with induced contact
*form*on (contact form because you have kept careful track of the form, not just the underlying contact structure, as you attached the handles). And this nonstandard symplectic ball is almost fully filled with a polydisk. Now we know that there exists some function so that , where is the standard contact form on , and is some constant. I think that then you want to measure , or something like that - this should be a measure of how much volume you have to add to change into the standard round ball. Somehow this function is an interesting object attached to a word in Dehn twists. - The other idea for polydisks, which ultimately is still really the same basic idea, namely extending a symplectic surface out to a polydisk as much as possible, is to consider ribbon disks for interesting transverse ribbon knots.

P.S. I just gave a talk at MSRI on indefinite Morse 2-functions, my main project with Rob Kirby, and the pdf slides can be viewed here.

David Gay 2010-04-28