## Convexity Theorem of Hamiltonian actions - the connectedness part

Suppose we have a Hamiltonian action of a torus T=T^m=R^m/Z^m on a compact, connected symplectic manifold M. According to the convexity theorem, we know every fiber of the momentum map \mu: M--->R^m is connected. My question here is about the proof.

We assume the Hamiltonian action is effective without loss of generality, i.e., only the zero point of T fixes M. I already know that the set of regular values of \mu is dense in \mu(M), also the set of points \eta in \mu(M) with (\eta_1, ..., \eta_(m-1)) a regular value for the reduced momentum map (\mu_1, ..., \mu_(m-1)) is dense in \mu(M). I also know that the fiber of \eta is connected whenever (\eta_1, ..., \eta_(m-1)) a regular value for the reduced momentum map. "Since the set of such points is dense in \mu(M) it follows by continuity that the fiber of \eta is connected for every regular value \eta." (in the book by McDuff and Salamon), and this is my first question. My second question is that then we can imply that every fiber of \mu is connected?

Notice that here the Hamiltonian action must play a special role, as the following is not true:

Suppose f: M--->N is a smooth map between two smooth manifolds, with M compact and connected, and suppose there is a dense subset of f(M) where each fiber is connected, then each fiber of f is connected. Example: consider a natural smooth surjection from S^1 to the figure eight. The fiber over the nodes of the figure eight has two points but every other fiber is a single point.

If anyone knows how to prove the connectedness part of the Convexity Theorem, could you please show us? Thank you very much!

-

I think the key point is that given a Hamiltonian torus action, the components of the moment map are Morse-Bott functions which have even dimensional critical submanifolds all with even index.

For example, suppose you have a Hamiltonian circle action on X. If p is fixed by the action, the circle acts on the tangent space TpX at p and so TpX decomposes into eigenspaces each of which is necessarily even-dimensional. The spaces where the action is trivial are tangent to the fixed locus, those with negative weight are where the hessian is negative definite and those of positive weight are where the hessian is positive definite. It follows that each component of the critical locus has even dimension and even index.

To see why this implies that the fibres are connected, at least in the case of a circle action, one applies Mores-Bott theory. When t passes a critical level the level set mu-1(t) changes by a certain type of surgery. The only surgeries which can alter the connectedness of the level-set are those of index or coindex 1, but we have just seen that this never happens for a Hamiltonian circle action. So all the fibres are connected.

To pass from a circle action to a torus action one can use induction. If you get stuck, searching for things like "Morse-Bott even index torus" should help you find the proof on Google somewhere. Alternatively, if you are feeling more traditional, you could look at Atiyah's original proof in your library: "Covnexity and commuting Hamiltonians" in Bulletin of the LMS 1982 14(1).

-
 @Joel Fine: Thank you! I agree with you on the key point. For the Hamiltonian circle action case, because the momentum map is a function, i.e., to R^1 - I can prove the connectedness part - for example, in the way as you said. I have been working on the induction in details but got stuck and I looked at some resources but still did not improve. (Not every paper or book show people the details they need. :) – Wayne Nov 6 2009 at 1:13 The problem is more subtle than I expected. To answer my second question, one must follow closely the symplectic geometry instead of jumping out. At the point of that question, we already know the image of the momentum map is the convex hull of the image of the fixed points of the action, so it is worthwhile to consider the stratification of the image. – Wayne Nov 11 2009 at 5:33

The first question is OK, i.e., the fiber of \eta is indeed connected for every regular value \eta, since it is like a product here - please refer to Ehresmann's Theorem and also a related post "Can connectedness of fibers of a smooth map be checked on a dense set?".

So the real issue is on the second problem!

-