# Some things that I really would like to make good drawings of

Very bad grammar in the title, sorry.

The things that I really would like to make good drawings of'' are unfoldings of two codimension- singularities in the stratified space of smooth functions from to . The two are the the butterfly singularity, or hyperbolic umbilic, and the elliptic umbilic, or monkey saddle. In fact, the butterfly singularity lies in the space of functions from to and the monkey saddle in the space of functions from to , but by adding sums of squares in the other coordinates, these give codimension- singularities for maps from to . Incidentally, the best pictures I know of in print are in Hatcher and Wagoner's Pseudo-isotopies of compact manifolds'', but we should be able to do better now with our increased computational power.

The butterfly singularity is, well, pretty simple: . Seems strange to give it such a special name, but this becomes more meaningful when you think about its universal unfolding''. This function can of course be perturbed in many different ways to make it Morse. The universal unfolding'' is . For generic values of , and this will be a Morse function, and as we move around in parameter space we see the singularities coming together and cancelling in various ways. What I want is a nice way to draw, for a given plane in -space, the immersed surface in defined by if for some with . This shouldn't be too hard, right? Then I want to animate this as we move this plane through -space.

The monkey saddle is ... arggh, lost some text here when editing this post later... moral: don't edit your posts after you've written and posted them... will try to fix it later...

# 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:

1. For any compact codimension-0 submanifold , is an immersion.
2. 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 :
1. contains descending disks for each of the index critical points of and ascending disks for each of the index critical points of ,
2. is tangent to (i.e. the vector field in the vector bundle actually lies in ), and
3. is a complete vector field on , i.e. you can flow forever along it and never run off the end'' of .
3. 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.
4. 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?

1. Prove such an always exists.
2. Figure out the sign issue with -multisections.
3. Figure out what a cobordism between such 's would be, given a generic homotopy between two indefinite Morse -functions.
4. 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