March 29, 2005
For a compact, connected, simply-connected Lie group G, the loop group LG is the infinite-dimensional Hilbert Lie group consisting of H^1-Sobolev maps S^1-->G. The geometry of LG and its homogeneous spaces is related to representation theory and has been extensively studied. The space of based loops Omega(G) is an example of a homogeneous space of $LG$ and has a natural Hamiltonian T x S^1 action, where T is the maximal torus of G. We study the moment map mu for this action, and in particular prove that its regular level sets are connected. This result is as an infinite-dimensional analogue of a theorem of Atiyah that states that the preimage of a moment map for a Hamiltonian torus action on a compact symplectic manifold is connected. In the finite-dimensional case, this connectivity result is used to prove that the image of the moment map for a compact Hamiltonian T-space is convex. Thus our theorem can also be viewed as a companion result to a theorem of Atiyah and Pressley, which states that the image mu(Omega(G)) is convex. We also show that for the energy functional E, which is the moment map for the S^1 rotation action, each non-empty preimage is connected.
Similar papers 1
February 26, 2007
The space $\Omega(G)$ of all based loops in a compact semisimple simply connected Lie group $G$ has an action of the maximal torus $T\subset G$ (by pointwise conjugation) and of the circle $S^1$ (by rotation of loops). Let $\mu : \Omega(G)\to (\t\times i\mathbb{R})^*$ be a moment map of the resulting $T\times S^1$ action. We show that all levels (that is, pre-images of points) of $\mu$ are connected subspaces of $\Omega(G)$ (or empty). The result holds if in the definition of...
July 15, 2014
In the early $1980$s a landmark result was obtained by Atiyah and independently Guillemin and Sternberg: the image of the momentum map for a torus action on a compact symplectic manifold is a convex polyhedron. Atiyah's proof makes use of the fact that level sets of the momentum map are connected. These proofs work in the setting of finite-dimensional compact symplectic manifolds. One can ask how these results generalize. A well-known example of an infinite-dimensional symple...
September 17, 2015
If $K$ is a compact, connected, simply connected Lie group, its based loop group $\Omega K$ is endowed with a Hamiltonian $S^1 \times T$ action, where $T$ is a maximal torus of $K$. Atiyah and Pressley examined the image of $\Omega K$ under the moment map $\mu$, while Jeffrey and Mare examined the corresponding image of the real locus $\Omega K^\tau$ for a compatible anti-symplectic involution $\tau$. Both papers generalize well known results in finite dimensions, specificall...
August 2, 2005
This paper develops the pre-quantization of Lie group-valued moment maps, and establishes its equivalence with the pre-quantization of infinite-dimensional Hamiltonian loop group spaces.
May 4, 2006
Let $(M, \omega)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $G$ action, where $G$ is a connected compact Lie group. Let $\phi$ be the moment map. In \cite{L}, we proved the following result for $G=S^1$ action: as fundamental groups of topological spaces, $\pi_1(M)=\pi_1(M_{red})$, where $M_{red}$ is the symplectic quotient at any value of the moment map $\phi$. In this paper, we generalize this result to other connected compact Lie group $G$ acti...
July 27, 1997
We develop a theory of "quasi"-Hamiltonian G-spaces for which the moment map takes values in the group G itself rather than in the dual of the Lie algebra. The theory includes counterparts of Hamiltonian reductions, the Guillemin-Sternberg symplectic cross-section theorem and of convexity properties of the moment map. As an application we obtain moduli spaces of flat connections on an oriented compact 2-manifold with boundary as quasi-Hamiltonian quotients of the space G^2 x ...
October 2, 2002
Let $G$ be a compact Lie group, and let $LG$ denote the corresponding loop group. Let $(X,\omega)$ be a weakly symplectic Banach manifold. Consider a Hamiltonian action of $LG$ on $(X,\omega)$, and assume that the moment map $\mu: X \to L\fg^*$ is proper. We consider the function $|\mu|^2: X \to \R$, and use a version of Morse theory to show that the inclusion map $j:\mu^{-1}(0)\to X$ induces a surjection $j^*:H_G^*(X) \to H_G^*(\mu^{-1}(0))$, in analogy with Kirwan's surject...
December 13, 2001
Let K be a connected Lie group and M a Hamiltonian K-manifold. In this paper, we introduce the notion of convexity of M. It implies that the momentum image is convex, the moment map has connected fibers, and the total moment map is open onto its image. Conversely, the three properties above imply convexity. We show that most Hamiltonian manifolds occuring "in nature" are convex (e.g., if M is compact, complex algebraic, or a cotangent bundle). Moreover, every Hamiltonian mani...
April 29, 2003
A generalized moment map is proposed for arbitrary symplectic actions of compact connected Lie groups on closed symplectic manifolds, in the spirit of the circle -valued maps introduced by D. McDuff in the case of non-Hamiltonian circle actions. We study equivariance properties of generalized moments, show that they allow reduction procedures, and obtain in the torus case a version of the Atiyah-Guillemin-Sternberg convexity theorem. As illustration, we reformulate a proof of...
January 4, 2009
In this paper, we consider generalized moment maps for Hamiltonian actions on $H$-twisted generalized complex manifolds introduced by Lin and Tolman \cite{Lin}. The main purpose of this paper is to show convexity and connectedness properties for generalized moment maps. We study Hamiltonian torus actions on compact $H$-twisted generalized complex manifolds and prove that all components of the generalized moment map are Bott-Morse functions. Based on this, we shall show that t...