Connectivity properties of moment maps on based loop groups

Let a connected reductive group G act on the smooth connected variety X. The cotangent bundle of X is a Hamiltonian G-variety. We show that its "total moment map" has connected fibers. This is an expanded version of section 6 of my paper dg-ga/9712010 on Weyl groups of Hamiltonian manifolds.

Let $G$ be a Lie group, $H$ a closed subgroup and $M$ the homogeneous space $G/H$. Each representation $\Psi$ of $H$ determines a $G$-equivariant principal bundle ${\mathcal P}$ on $M$ endowed with a $G$-invariant connection. We consider subgroups ${\mathcal G}$ of the diffeomorphism group ${\rm Diff}(M)$, such that, each vector field $Z\in{\rm Lie}({\mathcal G})$ admits a lift to a preserving connection vector field on ${\mathcal P}$. We prove that $#\,\pi_1({\mathcal G})\ge...

We classify compact, connected Hamiltonian and quasi-Hamiltonian manifolds of cohomogeneity one (which is the same as being multiplicity free of rank one). Here the group acting is a compact connected Lie group (simply connected in the quasi-Hamiltonian case). This work is a concretization of the more general classification (arXiv:1612.03843) of multiplicity free manifolds in the special case of rank one. As a result we obtain numerous new concrete examples of multiplicity fr...

In this paper we extend the results of Kirwan et alii on convexity properties of the moment map for Hamiltonian group actions, and on the connectedness of the fibers of the moment map, to the case of non-compact orbifolds. Our motivation is twofold. First, the category of orbifolds is important in symplectic geometry because, generically, the symplectic quotient of a symplectic manifold is an orbifold. Second, our proof is conceptually very simple since it reduces the non-a...

In this paper we prove a convexity and fibre-connectedness theorem for proper maps constructed by Thimm's trick on a connected Hamiltonian $G$-space $M$ that generate a Hamiltonian torus action on an open dense submanifold. Since these maps only generate a Hamiltonian torus action on an open dense submanifold of $M$, convexity and fibre-connectedness do not follow immediately from Atiyah-Guillemin-Sternberg's convexity theorem, even if $M$ is compact. The core contribution of...

We consider a Hamiltonian torus action on a compact connected symplectic manifold M. For a certain class of Lagrangian submanifolds Q of M we show that the image of Q under the momentum map is convex. As an application we complete the symplectic proof of Kostant's non-linear convexity theorem.

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group actions on these manifolds, we introduce a theory of homotopy moment maps. Such a map is a L-infinity morphism from the Lie algebra of the group into the observables which lifts the infinitesimal action. We establish the relationship between...

We prove that for every proper Hamiltonian action of a Lie group G in finite dimensions the momentum map is locally G-open relative to its image (i.e. images of G-invariant open sets are open). As an application we deduce that in a Hamiltonian system with continuous Hamiltonian symmetries, extremal relative equilibria persist for every perturbation of the value of the momentum map, provided the isotropy subgroup of this value is compact. We also demonstrate how this persisten...

This note describes some recent results about the homotopy properties of Hamiltonian loops in various manifolds, including toric manifolds and one point blow ups. We describe conditions under which a circle action does not contract in the Hamiltonian group, and construct an example of a loop $\ga$ of diffeomorphisms of a symplectic manifold M with the property that none of the loops smoothly isotopic to $\ga$ preserve any symplectic form on M. We also discuss some new conditi...

We show that the cone associated with a moment map for an action of a torus on a contact compact connected manifold is a convex polyhedral cone and that the moment map has connected fibers provided the dimension of the torus is bigger than 2 and that no orbit is tangent to the contact distribution. This may be considered as a version of the Atiyah - Guillemin - Sternberg convexity theorem for torus actions on symplectic cones and as a direct generalization of the convexity th...