318accae5a1a0f69.tex
1: \begin{abstract}
2: For a compact, connected, simply-connected Lie group $G$, the loop
3: group $LG$ is the infinite-dimensional Hilbert Lie group consisting of
4: $H^1$--Sobolev maps \(S^1 \to G.\) The geometry of $LG$ and its
5: homogeneous spaces is related to representation theory and has been
6: extensively studied.  The space of based loops \(\Omega(G)\) is an
7: example of a homogeneous space of $LG$ and has a natural Hamiltonian
8: $T \times S^1$ action, where $T$ is the maximal torus of $G$.  We
9: study the moment map $\mu$ for this action, and in particular prove
10: that its regular level sets are connected. This result is as an
11: infinite-dimensional analogue of a theorem of Atiyah that states that
12: the preimage of a moment map for a Hamiltonian torus action on a
13: compact symplectic manifold is connected. In the finite-dimensional
14: case, this connectivity result is used to prove that the image of the
15: moment map for a compact Hamiltonian $T$--space is convex. Thus our
16: theorem can also be viewed as a companion result to a theorem of
17: Atiyah and Pressley, which states that the image $\mu(\Omega(G))$ is
18: convex.  We also show that for the energy functional $E$, which is the
19: moment map for the $S^1$ rotation action, each non-empty preimage is
20: connected.
21: \end{abstract}
22: