arxiv: v4 [math.sg] 22 Jul 2015

Transcription

1 Symmetry, Integrability and Geometry: Methods and Applications SIGMA 11 (2015), 055, 37 pages Non-Compact Symplectic Toric Manifolds Yael KARSHON and Eugene LERMAN arxiv: v4 [math.sg] 22 Jul 2015 Department of Mathematics, University of Toronto, 40 St. George Street, Toronto, Ontario, Canada M5S 2E4 Department of Mathematics, The University of Illinois at Urbana-Champaign, 1409 W. Green Street, Urbana, IL 61801, USA Received August 15, 2014, in final form July 10, 2015; Published online July 22, Abstract. A key result in equivariant symplectic geometry is Delzant s classification of compact connected symplectic toric manifolds. The moment map induces an embedding of the quotient of the manifold by the torus action into the dual of the Lie algebra of the torus; its image is a unimodular ( Delzant ) polytope; this gives a bijection between unimodular polytopes and isomorphism classes of compact connected symplectic toric manifolds. In this paper we extend Delzant s classification to non-compact symplectic toric manifolds. For a noncompact symplectic toric manifold the image of the moment map need not be convex and the induced map on the quotient need not be an embedding. Moreover, even when the map on the quotient is an embedding, its image no longer determines the symplectic toric manifold; a degree two characteristic class on the quotient makes an appearance. Nevertheless, the quotient is a manifold with corners, and the induced map from the quotient to the dual of the Lie algebra is what we call a unimodular local embedding. We classify non-compact symplectic toric manifolds in terms of manifolds with corners equipped with degree two cohomology classes and unimodular local embeddings into the dual of the Lie algebra of the corresponding torus. The main new ingredient is the construction of a symplectic toric manifold from such data. The proof passes through an equivalence of categories between symplectic toric manifolds and symplectic toric bundles over a fixed unimodular local embedding. This equivalence also gives a geometric interpretation of the degree two cohomology class. Key words: Delzant theorem; symplectic toric manifold; Hamiltonian torus action; completely integrable systems 2010 Mathematics Subject Classification: 53D20; 53035; 14M25; 37J35 1 Introduction In the late 1980s, Delzant classified compact connected symplectic toric manifolds [7] by showing that the map symplectic toric manifold its moment map image is a bijection onto the set of unimodular (also referred to as smooth or Delzant ) polytopes. This beautiful work has been widely influential. The goal of this paper is to extend Delzant s classification theorem to non-compact manifolds. Delzant s classification is built upon convexity and connectedness theorems of Atiyah and Guillemin Sternberg [1, 10]. Compactness plays a crucial role in the proof of these theorems. Indeed, for a non-compact symplectic toric manifold the moment map image need not be convex This paper is a contribution to the Special Issue on Poisson Geometry in Mathematics and Physics. The full collection is available at

2 2 Y. Karshon and E. Lerman and the fibers of the moment map need not be connected. And even when the fibers of the moment map are connected the moment map image need not uniquely determine the corresponding symplectic toric manifold. Thus, the passage to noncompact symplectic toric manifolds requires a different approach. As a first step we make the following observation (the proof is given in Appendix B): Proposition 1.1. Let (M, ω, µ) be a symplectic toric G-manifold. Then the quotient M/G is naturally a manifold with corners and the induced map µ: M/G g, µ(g x) := µ(x) is a unimodular local embedding. (See Definitions A.16 and 2.5.) Definition 1.2. Given a symplectic toric G-manifold (M, ω, µ) and a G-quotient map π : M W, we refer to the map ψ : W g that is defined by µ = ψ π as the orbital moment map. See Remarks 1.4 and 1.5 for the origin of the notion of orbital moment map and its relation to developing map in affine geometry. The fact that the quotient M/G is a manifold with corners is closely related to the fact that for a completely integrable system with elliptic singularities the space of tori is a manifold with corners [3, 31]. Our classification result can be stated as follows. Theorem 1.3. Let g be the dual of the Lie algebra of a torus G and ψ : W g a unimodular local embedding of a manifold with corners. Then 1. There exists a symplectic toric G-manifold (M, ω, µ) with G-quotient map π : M W and orbital moment map ψ. 2. The set of isomorphism classes of symplectic toric G-manifolds M with G-quotient map π : M W and orbital moment map ψ is in bijective correspondence with the set of cohomology classes H 2 (W, Z G R) H 2 (W, Z G ) H 2 (W, R), where Z G := ker{exp: g G} denotes the integral lattice of the torus G. The main difficulty in proving Theorem 1.3 lies in establishing part (1). Results similar to part (2) hold in a somewhat greater generality for completely integrable systems with elliptic singularities (under a mild properness assumption) [3, 31, 32]: once one knows that there is one completely integrable system with the space of tori W, the space of isomorphism classes of all such systems is classified by the second cohomology of W with coefficients in an appropriate sheaf (q.v. op. cit.). The existence part for completely integrable systems, called the realization problem by Zung [32], is much more difficult. For instance in [32] the realization problem is only addressed for 2-dimensional spaces of tori. The solution to the realization problem announced in [3] and a similar solution in [31] is difficult to apply in practice. The solution, is, roughly, as follows. Given an integral affine manifold with corners W one shows first that there is an open cover {U α } of W such that over each U α the realization problem has a solution M α. Then, if there exists a collection of isomorphisms ϕ α,β : M β Uα Uβ M α Uα Uβ satisfying the appropriate cocycle condition, the realization problem has a solution for W. Compare this with Theorem 1.3(1) which asserts that the realization problem for completely integrable torus actions always has a solution. We believe that the realization problem for completely integrable systems with elliptic singularities also always has a solution. We will address this elsewhere. Our proof of part (1) of Theorem 1.3 proceeds as follows. We define symplectic toric G- bundles over ψ: these are symplectic principal G-bundles over manifolds with corners with

3 Non-Compact Symplectic Toric Manifolds 3 orbital moment map ψ. They form a category, which we denote by STB ψ (W ). This category is always non-empty: it contains the pullback ψ (T G g ). We then construct a functor c: STB ψ (W ) STM ψ (W ) (1.1) from the category of symplectic toric G-bundles over W to the category STM ψ (W ) of symplectic toric G-manifolds over W. The functor c trades corners for fixed points; it is a version of a symplectic cut [16]. It follows, since STB ψ (W ) is non-empty, that there always exist symplectic toric G-manifolds over a given unimodular local embedding ψ : W g of a manifold with corners W. More is true. We show that the functor c is an equivalence of categories. Hence, it induces a bijection, π 0 (c), between the isomorphism classes of objects of our categories: π 0 (c): π 0 (STB ψ (W )) π 0 (STM ψ (W )). The geometric meaning of the cohomology classes in H 2 (W ; Z G R) that classify symplectic toric G-manifolds over W now becomes clear: the elements of H 2 (W ; Z G ) classify principal G-bundles, and the elements of H 2 (W ; R) keep track of the horizontal part of the symplectic forms on these bundles. We note that, for compact symplectic toric G-manifolds, the idea to obtain their classification by expressing these manifolds as the symplectic cuts of symplectic toric G-manifolds with free G actions is due to Eckhard Meinrenken (see [23, Chapter 7, Section 5]). The paper is organized as follows. In Section 2, after introducing our notation and conventions, we construct the functor (1.1). In Section 3 we show that any two symplectic toric G bundles over the same unimodular local embedding are locally isomorphic (Lemma 3.1). In Section 4 we prove that the functor c in (1.1) is an equivalence of categories. In Section 5, we give the classification of symplectic toric G-bundles over a fixed unimodular local embedding ψ : W g in terms of two characteristic classes, the Chern class c 1, which is in H 2 (W, Z G ) and encodes the twistedness of the G bundle, and the horizontal class c hor, which is in H 2 (W, R) and encodes the horizontal part of the symplectic form on the bundle. We show that the map (c 1, c hor ): π 0 (STB ψ (W )) H 2 (W, Z G ) H 2 (W, R) is a bijection. Since the map π 0 (c): π 0 (STB ψ (W )) π 0 (STM ψ (W )) is a bijection, the composite π 0 (STM ψ (W )) (c 1,c hor ) π 0 (c) 1 H 2 (W, Z G R) is a bijection as well. This classifies (isomorphism classes of) symplectic toric G-manifolds over ψ : W g. Finally, in Section 6 we discuss those symplectic toric manifolds that are determined by their moment map images. In Proposition 6.5 we use Theorem 1.3 to derive Delzant s classification theorem and its generalization in the case of symplectic toric G-manifolds that are not necessarily compact but whose moment maps are proper as maps to convex subsets of g. (In fact, already in [15] it was noted that, with the techniques of Condevaux Dazord Molino [4], Delzant s proof should generalize to non-compact manifolds if the moment map is proper as a map to a convex open subset of the dual of the Lie algebra.) In Theorem 6.7, which was obtained in collaboration with Chris Woodward, we characterize those symplectic toric manifolds that are symplectic quotients of the standard C N by a subtorus of the standard torus T N. In Example 6.9 we construct a symplectic toric manifold that cannot be obtained by such a reduction. The paper has two appendices. Appendix A contains background on manifolds with corners. In Appendix B, we recall the local normal form for neighborhoods of torus orbits in symplectic toric manifolds, and we use it to prove the following facts, which are known but maybe hard to find in the literature:

4 4 Y. Karshon and E. Lerman 1) orbit spaces of symplectic toric manifolds are manifolds with corners; 2) orbital moment maps of symplectic toric manifolds are unimodular local embeddings; and 3) any two symplectic toric manifolds over the same unimodular local embedding are locally isomorphic. In the remainder of this section, following referees suggestions, we describe some relations of our work to existing literature on integral affine structures and Lagrangian fibrations. Remark 1.4 (orbital moment maps). An equivariant moment map ν : N h for an action of a Lie group H on a symplectic manifold N descends to a continuous map ν : N/H h /H between orbit spaces. This map was introduced by Montaldi [26] under the name of orbit momentum map and was used to study stability and persistence of relative equilibria in Hamiltonian systems. An analogue of this map in contact geometry was used by Lerman to classify contact toric manifolds [17]. The content of Proposition 1.1 is that for a symplectic toric manifold (M, ω, µ) the orbit space M/G is not just a topological space. It has a natural structure of a C manifold with corners and that the induced orbital moment map is C. Symplectic toric manifolds, in addition to being examples of symplectic manifolds with Hamiltonian torus actions, are also a particularly nice class of completely integrable systems with elliptic singularities. Viewed this way µ: M/G g is a developing map for an integral affine structure on the manifold with corners M/G (see also Remark 1.5 below). Remark 1.5 (integral affine structures). An integral affine structure on a manifold with corners is usually defined in terms of an atlas of coordinate charts with integral affine transition maps; see, for example, [31]. It is not hard to see that such an atlas on a manifold W defines a Lagrangian subbundle L of the cotangent bundle T W W with two properties: 1) the fiber L w T ww is a lattice; 2) if w W lies in a stratum of W of codimension k then there is a local frame {α 1,..., α n } of T W defined near w (n = dim W ) so that the first k 1-forms α 1,..., α k annihilate the vectors tangent to the stratum. Conversely, any such Lagrangian subbundle defines on W an atlas of coordinate charts with integral affine transition maps. In general the bundle L W may have no global frame. And even if it does have a global frame {α 1,..., α n } the one forms α j (which are necessarily closed) need not be exact. But if there is a global exact frame {df 1,..., df n } of L W, then we have a smooth map f = (f 1,..., f n ): W R n. Such a map f is a developing map for the integral affine structure on W. Observe that a unimodular local embedding ψ : W g defines an integral affine structure on W as follows. Since ψ is a local embedding, the cotangent bundle T W is the pullback by ψ of the cotangent bundle T g. Consequently the standard Lagrangian lattice L can = g Z G g g T g pulls back to a Lagrangian subbundle of T W. A choice of a basis of {e 1,..., e n } of the integral lattice Z G defines a map f : W R n. It is given by f(w) = ( ψ, e 1,..., ψ, e n ). The map f is a developing map for ψ L can W.

5 Non-Compact Symplectic Toric Manifolds 5 Symplectic toric manifolds and proper Lagrangian f ibrations Let (M, ω, µ) be a symplectic toric G-manifold with a G quotient map π : M W. Restricting to the interior W of W (as a manifold with corners), we get a completely integrable system in the sense that was studied by Duistermaat [8], namely, a proper Lagrangian fibration with connected fibers. These were revisited and generalized by Dazord and Delzant [6]. For a detailed exposition see [20]. Remark 1.6 (the integral affine structure and the monodromy). As Duistermaat explains, a proper Lagrangian fibration with connected fibers π : M B defines an integral affine structure on the base B. Each covector β T b B determines a vector field ξ β along π 1 (b) by the equation ι(ξ β )ω = π β, and the Lagrangian lattice sub-bundle is L = {β the flow of ξ β is 2π periodic}. Duistermaat s monodromy measures the non-triviality of the Lagrangian lattice sub-bundle L B. When it is trivial, the bundle of tori T B/L B becomes a trivial bundle with fiber, say, G, T B and L become trivial bundles with fibers g and Z G, and π : M B becomes a G principal bundle. In this case, an orbital moment map is also a developing map for the integral affine structure. Having a moment map in this context exactly means that the integral affine structure on B is globally developable. Remark 1.7 (the characteristic classes). Let π : M B be a proper Lagrangian fibration with connected fibers. The fibers of the bundle of tori T B/L act freely and transitively on the fibers of π : M B. Moreover, every point in B has a neighborhood over which π : M B and T B/L B are isomorphic; this is Duistermaat s formulation of the Arnold Liouville theorem on the local existence of action angle variables. Globally, such fibrations π : M B are classified by the first cohomology group H 1( CLagr(, T B/L) ) of the sheaf of Lagrangian sections of T B/L. The short exact sequence of sheaves 0 C (, L) C Lagr(, T B) C Lagr(, T B/L) 0 gives an exact sequence H 1( C Lagr(, T B) ) H 1( C Lagr(, T B/L) ) H 2 (B, L). Noting that Lagrangian sections of T B are the same as closed one-forms, and identifying the H 1 of their sheaf with H 2 (B, R), we get an exact sequence H 2 (B, R) H 1( C Lagr(, T B/L) ) c 1 H 2 (B, L). (1.2) The second of these maps is Duistermaat s Chern class. When the monodromy is trivial, Duistermaat s Chern class is the Chern class of π : M B as a principle G bundle. If π : M W is the G-quotient map of a symplectic toric G-manifold, then Duistermaat s Chern class for M W coincides with ours under the identification H 2 (W ; Z G ) = H 2 ( W ; Z G ). If the monodromy and Chern class both vanish, Duistermaat defines a class in H 2 (B, R), which is often called the Lagrangian class; it is the cohomology class of the pullback of ω by a global smooth section. If π : M B is the G quotient map of a symplectic toric G-manifold, and if additionally the Chern class vanishes, then Duistermaat s Lagrangian class for M W coincides with our horizontal class under the identification H 2 (W ; R) = H 2 ( W ; R).

6 6 Y. Karshon and E. Lerman Remark 1.8. If π : M W is the G-quotient map for a symplectic toric G-manifold and B = W, our characteristic class gives a splitting H 1( C Lagr(B, T B/L) ) = H 2 ( B; Z G) H 2 (B; R) that is consistent with (1.2). Moreover, our construction provides a geometric meaning to the Lagrangian class in H 2 (B, R). In this case every element of H 2 (W ; Z G ) gives rise to a symplectic toric G-manifold, and distinct elements of H 2 (W ; R) represent non-isomorphic symplectic toric G-manifolds. Both of these facts are not necessarily true in the more general situation that is addressed by Duistermaat and Dazord Delzant. 2 A functor from symplectic toric bundles to symplectic toric manifolds The purpose of this section is to construct a functor c: STB ψ (W ) STM ψ (W ) from the category of symplectic toric G-bundles to the category of symplectic toric G-manifolds over a given unimodular local embedding ψ : W g of a manifold with corners W. Once this functor is constructed, we deduce Theorem 1.3(1) almost immediately. In Section 4 we prove that c is an equivalence of categories. We start by establishing our notation and recording a few necessary definitions. Notation and conventions. A torus is a compact connected abelian Lie group. A torus of dimension n is isomorphic, as a Lie group, to (S 1 ) n and to R n /Z n. We denote the Lie algebra of a torus G by g, the dual of the Lie algebra, Hom(g, R), by g, and the integral lattice, ker(exp: g G), by Z G. The weight lattice of G is the lattice dual to Z G ; we denote it by Z G. When a torus G acts on a manifold M, we denote the action of an element g G by m g m and the vector field induced by a Lie algebra element ξ g by ξ M ; by definition ξ M (m) = d dt (exp(tξ) m). t=0 We write the canonical pairing between g and g as,. Our sign convention for a moment map µ: M g for a Hamiltonian action of a torus G on a symplectic manifold (M, ω) is that it satisfies d µ, ξ = ω(ξ M, ) for all ξ g. (2.1) For us a symplectic toric G-manifold is a triple (M, ω, µ) where M is a manifold, ω is a symplectic form and µ: M g is a moment map for an effective Hamiltonian action of a torus G with dim M = 2 dim G. Definition 2.1. A unimodular cone in the dual g of the Lie algebra of a torus G is a subset C of g of the form C = { η g η ɛ, v i 0 for all 1 i k }, where ɛ is a point in g and {v 1,..., v k } is a basis of the integral lattice of a subtorus of G. We record the dependence of the cone C on the data {v 1,..., v k } and ɛ by writing C = C {v1,...,v k },ɛ.

7 Non-Compact Symplectic Toric Manifolds 7 Remark 2.2. The set C = g is a unimodular cone defined by the empty basis of the integral lattice {0} of the trivial subtorus {1} of G. Remark 2.3. A unimodular cone is a manifold with corners. Moreover, it is a manifold with faces (q.v. Definition A.10). For a unimodular cone C = C {v1,...,v k },ɛ the facets are the sets F i = {η C η ɛ, v i = 0}, 1 i k. The vector v i in the formula above is the inward pointing primitive normal to the facet F i. (Recall that a vector v in the lattice Z G is primitive if for any u Z G the equation v = nu for n Z implies that n = ±1.) Lemma 2.4. The primitive inward pointing normal v i to a facet F i of a unimodular cone C {v1,...,v k },ɛ is uniquely determined by any open neighborhood O of a point x of F i in C. Proof. The affine hyperplane spanned by F i is uniquely determined by the intersection O F i. Up to sign, such a hyperplane has a unique primitive normal. The sign of the normal is determined by requiring that at the point x the normal points into O. Definition 2.5 (unimodular local embedding (u.l.e.)). Let W be a manifold with corners and g the dual of the Lie algebra of a torus. A smooth map ψ : W g is a unimodular local embedding (a u.l.e.) if for each point w in W there exists an open neighborhood T W of the point and a unimodular cone C g such that ψ(t ) is contained in C and ψ T : T C is an open embedding. That is, ψ(t ) is open in C and ψ T : T ψ(t ) is a diffeomorphism. Remark 2.6. In Definition 2.5, the cone C is not uniquely determined by the point w; for instance it can have facets that do not pass through ψ(w). For example, let G = (S 1 ) 2, let ψ : W g = R 2 be the inclusion map of the positive quadrant, and let w = (1, 0). If the neighborhood T of w meets the non-negative y axis, then the cone C must be the positive quadrant too. Otherwise, the natural choice for C is the closed upper half plane, but for suitable choices of T the cone C can also be the intersection of the closed upper half plane with a half plane of the form {x + ny c} for n Z and c < 1 or of the form {x + ny c} for n Z and c > 1. Remark 2.7. Proposition 1.1 shows that the orbital moment map of a symplectic toric manifold is a unimodular local embedding. Example 2.8. It is easy to construct examples where the orbital moment map is not an embedding. Consider, for instance, a 2-dimensional torus G. Removing the origin from the dual of its Lie algebra g gives us a space that is homotopy equivalent to a circle. Thus the fibers of the universal covering map p: W g \ {0} have countably many points. The pullback p (T G) along p of the principal G-bundle µ: T G g is a symplectic toric G-manifold with orbit space W and orbital moment map p, which is certainly not an embedding. Similarly, let S 2 be the unit sphere in R 3 with the standard area form, and equip S 2 S 2 with the standard toric action of (S 1 ) 2 with moment map µ((x 1, x 2, x 3 ), (y 1, y 2, y 3 )) = (x 3, y 3 ). Its image is the square I 2 = [ 1, 1] [ 1, 1]. Remove the origin, and let p: W I 2 \ {0} be the universal covering. Then the fiber product W I 2 \{0} (S 2 S 2 ) is a symplectic toric manifold; it is a Z-fold covering of (S 2 S 2 ) \ (the equator the equator). As in the previous example, the orbital moment map is not an embedding. Unlike the previous example, the torus action here is not free.

8 8 Y. Karshon and E. Lerman Definition 2.9. Let W be a manifold with corners and ψ : W g a unimodular local embedding. A symplectic toric manifold over ψ : W g is a symplectic toric G-manifold (M, ω, µ), equipped with a quotient map π : M W for the action of G on M (q.v. Definition A.16), such that µ = ψ π. Remark Since the moment map µ: M g together with the symplectic form ω encodes the action of the group G on M and since the quotient map π : M W together with ψ : W g encode µ, we may regard a symplectic toric G-manifold over ψ : W g as a triple (M, ω, π : M W ). We now fix a u.l.e. ψ : W g of a manifold with corners W into the dual of the Lie algebra of a torus G, and proceed to define the category STM ψ (W ) of symplectic toric G-manifolds over W ψ g and the category STB ψ (W ) of symplectic toric G-bundles over W ψ g. Definition 2.11 (the category STM ψ (W) of symplectic toric G-manifolds over ψ : W g ). We define an object of the category STM ψ (W ) to be a symplectic toric G-manifold (M, ω, π : M W ) over W. A morphism ϕ from (M, ω, π) to (M, ω, π ) is a G-equivariant symplectomorphism ϕ: M M such that π ϕ = π. Notation Informally, we may sometimes write M for an object of STM ψ (W ) and ϕ: M M for a morphism between two such objects. Also, we may write W as shorthand for ψ : W g. Definition 2.13 (the category STB ψ (W) of symplectic toric G-bundles over ψ : W g ). An object of the category STB ψ (W ) is a principal G-bundle π : P W over a manifold with corners (cf. Definition A.17) together with a G-invariant symplectic form ω so that µ := ψ π is a moment map for the action of G on (P, ω). We call the triple (P, ω, π : P W ) a symplectic toric G-bundle over the u.l.e. ψ : W g, or a symplectic toric G-bundle over W for short. A morphism ϕ from (P, ω, π) to (P, ω, π ) is a G-equivariant symplectomorphism ϕ: P P with π ϕ = π. Remark The categories STM ψ (W ) and STB ψ (W ) are groupoids, that is, all of their morphisms are invertible. If ψ : W g is a u.l.e., (M, ω, π) is a symplectic toric G manifold over W and U W is open, then the restriction ψ U : U g is also a u.l.e., and ( M U := π 1 (U), ω M U, π M U ) is a symplectic toric G-manifold over U. The restriction map extends to a functor W U : STM ψ (W ) STM ψ (U). Given an open subset V of U we get the restriction U V : STM ψ(u) STM ψ (V ). restriction functors are compatible: The three W V = U V W U.

9 Non-Compact Symplectic Toric Manifolds 9 In other words, the assignment U STM ψ (U) is a (strict) presheaf of groupoids. A reader familiar with stacks will have little trouble checking that the presheaf STM ψ ( ) satisfies the descent condition with respect to any open cover of W and that thus STM ψ ( ) is a stack on the site Open(W ) of open subsets of W with the cover topology. The stack STM ψ is not a geometric stack. Similarly, a symplectic toric bundle over a manifold with corners W restricts to a symplectic toric bundle over an open subset of W. These restrictions define a presheaf of groupoids STB ψ ( ). A reader familiar with stacks can check that STB ψ ( ) is also a stack; see also Lemma 4.7 below. Remark If ψ : W g is a u.l.e. and W is a manifold without corners (i.e., a manifold) then STM ψ (W ) = STB ψ (W ). If W is an arbitrary manifold with corners, then its interior W (q.v. Definition A.3) is a manifold, and so STM ψ ( W ) = STB ψ ( W ). The functor c : STB ψ (W ) STM ψ (W ) Next we outline the construction of the functor c: STB ψ (W ) STM ψ (W ) from the category of symplectic toric G-bundles to the category of symplectic toric G-manifolds over a u.l.e. ψ. Step 1: characteristic subtori. We show that ψ attaches to each point w W a subtorus K w of G together with a choice of a basis {v (w) 1,..., v (w) k } of its integral lattice Z Kw. A basis of the integral lattice Z K of a torus K defines a linear symplectic representation ρ: K Sp(V, ω V ), which we may regard as a symplectic toric K-manifold (V, ω V, µ V ) (here µ V : V k is the associated moment map with µ V (0) = 0). Thus for each point w W we also have a symplectic toric K w -manifold (V w, ω w, µ w ). Step 2: a topological version c top of the functor c. The collection of the subtori {K w } w W defines for each principal G-bundle π : P W an equivalence relation in a functorial manner. We show that 1. Each quotient c top (P ) := P/ is a topological G-space with orbit space W and the action of G on c top (P ) is free over the interior W. (Here, c top stands for topological cut.) 2. For every map ϕ: P P of principal G-bundles over W we naturally get a G-equivariant homeomorphism c top (ϕ): c top (P ) c top (P ). 3. These data define a functor c top : STB ψ (W ) topological G-spaces over W. 4. Moreover, c top is a map of presheaves of groupoids. In particular, for every open subset U of W, c top (P U ) = c top (P ) U.

10 10 Y. Karshon and E. Lerman Step 3: the actual construction of c. We show that for every point w W there is an open neighborhood U w so that for every symplectic toric G-bundle (P, ω, π : P W ) the symplectic quotient cut(p Uw ) := (P Uw V w )// 0 K w is a symplectic toric G-manifold over U w. As in Step 2 the mapping cut( Uw ) (i.e., the restriction to U w followed by cut) from symplectic toric G-bundles over W to symplectic toric manifolds over U w extends to a functor. In particular for every map ϕ: P P of symplectic toric G-bundles over W we have a map cut(ϕ Uw ): cut(p Uw ) cut(p Uw ) of symplectic toric G-manifolds over U w. At the same time, for each symplectic toric G-bundle P W we construct a collection { α P w : c top (P Uw ) cut(p Uw ) } w W of equivariant homeomorphisms that have the following two compatibility properties: 1. For a fixed bundle P STB ψ (W ) and any two points w 1, w 2 the map ( α P w2 ) ( α P w1 ) 1 : cut(p Uw1 ) U w1 Uw2 cut(p U w2 ) U w1 Uw2 is a map of symplectic toric G-manifolds over U w1 U w2. 2. For a point w W and a map ϕ: P 1 P 2 of symplectic toric bundles over W the diagram α P 1 w c top (P 1 ) Uw c top(ϕ) Uw cut(p 1 Uw ) cut (ϕ Uw ) α P 2 w c top (P 2 ) Uw cut(p 2 Uw ) (2.2) commutes. The first property tells us that the family {αw} P w W of homeomorphisms defines on c top (P ) the structure of a symplectic toric G-manifold over ψ : W g. We denote this manifold, which is an object of STM ψ (W ), by c(p ). The second property tells us that c top (ϕ) defines a map c(ϕ): c(p 1 ) c(p 2 ) of symplectic toric G-manifolds over ψ. This gives rise to the desired functor c. We now proceed to fill in the details of the construction. Details of Step 1. We start by proving Lemma Given a unimodular local embedding ψ : W g and a point w W there exists a unique subtorus K w of G and a unique basis {v (w) 1,..., v (w) k } of its integral lattice Z Kw such that the following holds. There exists an open neighborhood U w of w in W so that ψ Uw : U w C w := { η g η ψ(w), v (w) } j 0 for 1 j k is an open embedding of manifolds with corners. Proof. By definition of a u.l.e., there exists an open neighborhood T W of w and a unimodular cone C = C {u1,...,u n},ɛ g such that ψ(t ) is contained in C and ψ T : T C is an open embedding of manifolds with corners. Since ψ T is an open embedding it maps the interior of T to an open subset of the interior of C. We may assume that T is a neighborhood with faces. Then the stratum S of T containing w lies in exactly k facets F 1,..., F k of T, where k

11 Non-Compact Symplectic Toric Manifolds 11 is the codimension of S. For each j the image ψ(f j ) is an open subset of a unique facet F i(j) of C and ψ(t ) is an open neighborhood of ψ(f j ) in C. By Lemma 2.4 the pair (ψ(t ), ψ(f j )) uniquely determines the primitive inward pointing normal u i(j) of the facet F i(j) of C. Since {u 1,..., u n } is a basis of an integral lattice of a subtorus of G, its subset {u i(j) } k j=1 is also a basis of an integral lattice of a possibly smaller subtorus K w of G. We set v (w) j := u i(j), 1 j k. We note that K w = exp ( { (w) span R v 1,..., v (w) }) k. To obtain the neighborhood U w we delete from the manifold with faces T all the faces that do not contain w. Remark The basis {v (w) 1,..., v (w) k } and the corresponding torus K w do not depend on our choice of the cone C: by construction v (w) j is the primitive normal to the affine hyperplane spanned by ψ(f j ) that points into ψ(t ). In fact the only way we use the existence of the unimodular cone C is to insure that the set {v (w) 1,..., v (w) k } of normals to the facets of ψ(t ) forms a basis of an integral lattice of a subtorus of the torus G. Similarly, the basis {v (w) i } k i=1 does not depend on the choice of T either. Remark For each stratum of W the function w K w is locally constant, hence constant. Consequently the subtorus K w depends only on the stratum of W containing the point w and not on the point w itself. Similarly the basis {v (w) 1,..., v (w) k } depends only on the stratum of W containing w. Remark For w U w we can read off the group K w the set {v (w) 1,..., v (w) }. Namely k from the face structure of U w and K w = exp ( span R { v (w) i We also note that the subset { v (w) i ψ(w ) ψ(w), v (w) } i = 0 ψ(w ) ψ(w), v (w) }) i = 0. of {v (w) 1,..., v (w) k } forms a basis of the integral lattice of K w. Lemma A manifold with corners W that admits a u.l.e. ψ : W g is a manifold with faces (q.v. [13] and Definition A.10 below). In particular, for any symplectic toric G-manifold (M, ω, µ), the quotient M/G is a manifold with faces. Proof. The map ψ : W g sends a neighborhood of a point in a codimension 1 stratum S of W to a relatively open subset of an affine hyperplane H g whose normal lies the integral lattice Z G of G. Consequently ψ sends all of S to H and ψ S : S H is a local diffeomorphism. The lemma follows from this observation. Remark It follows from the proof of Lemma 2.20 that the map ψ : W g attaches to every (connected) codimesion 1 stratum S of W a primitive vector λ(s) Z G (namely, the corresponding primitive inward normal). The function S λ(s) is the analogue of the characteristic function of Davis and Januszkiewicz [5] and of the characteristic bundle of Yoshida [31]. Recall that any symplectic representation of a torus is complex hence has well-defined weights. These weights do not depend on a choice of an invariant complex structure compatible with the symplectic form since the space of such structures is path connected.

12 12 Y. Karshon and E. Lerman Lemma Let ρ i : K Sp(V i, ω i ), i = 1, 2, be two symplectic representations of a torus K with the same set of weights. Then there exists a symplectic linear isomorphism of representations ϕ: (V 1, ω 1 ) (V 2, ω 2 ). Proof. Choose K-invariant compatible complex structures on V 1 and V 2. As complex K representations, each of V 1 and V 2 decomposes into one-dimensional complex representations. Because the weights are the same, it is enough to consider the case that V 1 and V 2 are the same complex vector space and its complex dimension is one. In this case, because ω 1 and ω 2 are both compatible with the complex structure, one must be a positive multiple of the other: ω 2 = λ 2 ω 1 for some scalar λ > 0. We may then take ϕ(v) := λv. Lemmas 2.16 and 2.22 imply that to any point w of a manifold with corners W a u.l.e. ψ : W g unambiguously attaches a symplectic toric K w -manifold (V w, ω w, µ w ): the weights of the representation V w is the basis {vj } of the weight lattice Z K w dual to the basis {v (w) j }. If V w is another symplectic representation of K w with the same set of weights as V w then the symplectic toric K w -manifolds (V w, ω w, µ w ) and (V w, ω w, µ w) are linearly isomorphic as symplectic toric manifolds. Details of Step 2. Given a principal G-bundle π : P W we define to be the smallest equivalence relation on P such that p p whenever π(p) = π(p ) and p, p lie on the same K π(p) orbit. We give the set P/ the quotient topology. Since the action of K w on the fiber of P above w commutes with the action of G, the topological space c top (P ) := P/ is naturally a G-space. For the same reason π : P W descends to a quotient map π : c top (P ) W. Since for the points w in the interior of W the groups K w are trivial, the action of G on c top (P ) W is free. If ϕ: P P is a map of principal G-bundles over W, then it maps fibers to fibers and K w -orbits to K w orbits thereby inducing c top (ϕ): c top (P ) c top (P ). Explicitly c top (ϕ) is given by c top (ϕ)([p]) = [ϕ(p)]. Here, as before [p] P/ = c top (P ) denotes the equivalence class of p P and [ϕ(p)] denotes the corresponding class in c top (P ). It is easy to check that the map c top : STB ψ (W ) topological G-spaces over W, (P ϕ P ) ( c top (P ) ctop(ϕ) c top (P ) ) is a functor that commutes with restrictions to open subsets of W. Details of Step 3. We start by extending the symplectic reduction theorem of Marsden Weinstein and Meyer [22, 24] to manifolds with corners. Theorem Suppose (M, σ) is a symplectic manifold with corners with a proper Hamiltonian action of a Lie group K and an associated equivariant moment map Φ: M k. Suppose further: 1. For any point x Φ 1 (0) the stabilizer K x of x is trivial; 2. there is an extension Φ of Φ to a manifold M containing M as a domain (q.v. Definition A.8) with Φ 1 (0) = Φ 1 (0).

13 Non-Compact Symplectic Toric Manifolds 13 Then Φ 1 (0) is a manifold (without corners) and the quotient M// 0 K := Φ 1 (0)/K is naturally a symplectic manifold. Remark The main issue in proving the theorem is in showing that Φ 1 (0) is actually a manifold and that it has the right dimension. In other words the issue is transversality for manifolds with corners. To be more specific if Q is a manifold with corners, f : Q R k is a smooth function and 0 is a regular value of f, then it is not true in general that f 1 (0) is a manifold, with or without corners. Take, for example, Q = { (x, y, z) R 3 z 0 } and f(x, y, z) = z x 2 + y 2. Then 0 is a regular value of f but f 1 (0) = { (x, y, z) R 3 z = x 2 y 2, z 0 }, which is clearly not a manifold, with or without boundary. The standard approach to transversality for manifolds with corners [28] is to impose an additional requirement that the kernel of the differential of f is transverse to the strata of Q. However, in the situation we care about we have tangency instead. Moreover, it is easy to write down an example of a smooth function h: R 2 R so that the graph of h is tangent to the x y plane but the set {(x, y, z) z h(x, y) = 0, z 0} is not a manifold. This is why we make an awkward assumption on the level set Φ 1 (0) in Theorem On the other hand, this assumption is easy to check in practice. Before proving the theorem we first prove Lemma Let f : Q R n be a smooth function on a manifold with corners Q. Suppose Q is a manifold (without corners) containing Q as a domain, and f : Q R n is an extension of f with f 1 (0) = f 1 (0). If 0 is a regular value of f (that is, if for all x f 1 (0) the map d x f : T x Q R n is onto), then f 1 (0) is naturally a smooth manifold of dimension dim Q n in the sense of Definition A.14. Proof. Since 0 is a regular value of f, and since f 1 (0) = f 1 (0), the value 0 is also regular for f. Consequently, f 1 (0) is naturally a manifold of dimension dim Q n. Since f 1 (0) = f 1 (0) Q, we conclude that f 1 (0) is naturally a manifold. Remark Note that the assumptions of the lemma force ker d x f to be tangent to the strata of Q: otherwise f 1 (0) = f 1 (0) cannot hold. Proof of Theorem Once we know that Φ 1 (0) is actually a manifold, the classical arguments of Marsden Weinstein [22] and of Meyer [24] apply to show that σ Φ 1 (0) is basic and that its kernel is precisely the directions of the G orbits. Consequently the restriction σ Φ 1 (0) descends to a closed nondegenerate 2-form σ 0 on the manifold Φ 1 (0)/K. By Lemma 2.25 it is enough to show that 0 is a regular value of Φ. This will follow from our assumption that the K action on Φ 1 (0) is free. Again, the argument is standard. Indeed, let

14 14 Y. Karshon and E. Lerman x Φ 1 (0). To show that the differential d x Φ: T x M k is surjective, we need to show that the annihilator of its image is zero. Let X k be in the annihilator of this image: d x Φ(v), X = 0 for all v T x M. By the definition of the moment map, we may rewrite this as σ x (v, X M (x)) = 0 for all v T x M. Since σ x is a nondegenerate form on T x M, we conclude that X M (x) = 0. Because the stabilizer of x is trivial, this implies that X is the zero vector in k. Remark If additionally there is a Hamiltonian action of a Lie group G on (M, σ) with a moment map µ: M g so that the actions of G and K commute and the moment map µ is K invariant and Φ is G invariant then the induced action of G on (M// 0 K, σ 0 ) is Hamiltonian and µ Φ 1 (0) descends to a moment map µ: M// 0 K g for the induced action of G. Lemma Let ψ : W g be a u.l.e. and (π : P W, ω) a symplectic toric G-bundle. Then for every point w W there is a neighborhood U w so that the symplectic quotient (P Uw V w )// 0 K w is a symplectic toric G-manifold. Proof. By Step 1 we have a neighborhood U of w W with faces, a subtorus K = K w of G, a basis {v 1,... v k } of the integral lattice of Z K, the dual basis {v1,..., v k } of the weight lattice and a symplectic representation K Sp(V w, ω w ) with the weights {v1,..., v k } so that the map ψ U : U C w := {η g η ψ(w), v i 0, 1 i k} is an open embedding of manifolds with corners. It will be convenient to take V w = C k, ω w = dzj d z j with the action of K on C k given by 1 2π exp(x) z := ( e 2π 1 v 1,X z 1,..., e 2π 1 v k,x z k ). We may do so by Lemma Then the moment map µ w : C k k is given by the formula µ w (z) = z j 2 v j. Let ι: k g denote the canonical inclusion and ι : g k the dual map. Note that the kernel of ι is the annihilator k of k in g. Set The cone ξ 0 := ι (ψ(w)). C w := { ξ k ξ ξ 0, v i 0, 1 i k } contains no nontrivial affine subspaces. If we identify k with a subspace of g, the cone C w becomes the product k C w. Since ψ U is an open embedding, we may assume (by shrinking U further if necessary) that U is a product: U = O U, where O is a neighborhood of w in the stratum containing it, U = V C w with V a neighborhood in k of the apex of the cone C w, and such that O and U are contractible. We take U w to be

15 Non-Compact Symplectic Toric Manifolds 15 this U. Then, since U is contractible the restriction of any principal bundle P W to U is trivial. Let ν : P U V C w k be the composite ν := ι ψ π. We observe that (1) ν is a moment map for the action of K on (P U, ω) and (2) ν : P U V C w is a trivial fiber bundle (the typical fiber is O G). Observation (2) implies that ν can be extended to a trivial O G fiber bundle ν : P V so that P U embeds into P as a domain. Observation (1) tells us that the diagonal action of K on (P U C k, ω ω w ) is Hamiltonian with a corresponding moment map Φ: P U C k k given by Clearly Φ(p, z) = ν(p) ξ 0 + µ w (z) = ν(p) ξ 0 z j 2 v j. Φ(p, z) := ν(p) ξ 0 + µ w (z) is an extension of Φ. Since and since we have Φ 1 (0) = {(p, z) ν(p) = ξ 0 µ w (z)} ξ 0 µ w (z) C w for all z C k, Φ 1 (0) = Φ 1 (0). Since the action of G on P is free, so is the action of K on P U C k. Therefore we can apply Theorem 2.23 and conclude that cut(p U ) := (P U C k )// 0 K is a symplectic manifold (without corners). The action of G on P extends trivially to a Hamiltonian action of G on P U C k. This action of G is Hamiltonian, commutes with the action of K and satisfies the rest of the conditions of Remark Consequently cut(p U ) is a Hamiltonian G-space. Note that dim cut(p U ) = dim ( P U C k) 2k = dim P = 2 dim G. Thus to show that cut(p U ) is toric, it is enough to show that the action of G is free at some point of cut(p U ). Now take any point ξ V that also lies in the interior of the cone C w. Pick any point p P U with ν(p) = ξ and z C k with µ w (z) = ξ + ξ 0. Then Φ(p, z) = ν(p) + µ w (z) = ξ ξ 0 + ( ξ + ξ 0 ) = 0. On the other hand, since ξ is in the interior of the cone, the stabilizer of z is trivial. Hence the stabilizer of (p, z) P U C k for the action of G K is trivial as well. Consequently the stabilizer of the image of (p, z) in cut(p U ) for the action of G is trivial. We leave it to the reader to check that cut(p U ) is a toric manifold over ψ U : U g.

16 16 Y. Karshon and E. Lerman Remark If (π i : P i W, ω i ), for i = 1, 2, are two symplectic toric G-bundles over a u.l.e. ψ : W g and ϕ: P 1 P 2 is a morphism in STB ψ (W ), i.e., a G-equivariant symplectomorphism with π 2 ϕ = π 1, then for any w W ϕ id: P 1 Uw C k P 2 Uw C k is a G K-equivariant symplectomorphism with Φ 2 (ϕ id) = Φ 1. Hence ϕ id maps Φ 1 1 (0) onto Φ 1 2 (0) and descends to an isomorphism of toric manifolds cut(ϕ): cut(p 1 Uw ) cut(p 2 Uw ). It is not hard to check that cut: STB ψ (U w ) STM ψ (U w ) is a functor for every w W. (Strictly speaking we have a family of functors parameterized by the points w of W ; we suppress this dependence in our notation.) We now proceed to construct the natural G-equivariant homeomorphisms α P w : c top (P Uw ) cut(p Uw ). The construction depends on the fact that (C k, ω w, µ w ) is a symplectic toric K-manifold over the cone µ w (C k ) = {η k η, v i 0 for 1 i k}. Moreover, 1) the map µ w : C k µ w (C k ) has a continuous (Lagrangian) section s: µ w (C k ) C k, s(η) = ( η, v1,..., η, v k ) which is smooth over the interior of the cone µ w (C k ); 2) the stabilizer K z of z C k depends only on the face of the cone µ w (C k ) containing µ w (z) in its interior: K z = exp ( span R {v i {v 1,..., v k } µ w (z), v i = 0} ) ; cf. Remark We continue with the notation above: ξ 0 = ι (ψ(w)) k is a point and ν = ι µ: P U k the K-moment map. Then for any point p P U ξ 0 ν(p) µ w ( C k ) and s(ξ 0 ν(p)) = ( ν(p) ξ0, v 1,..., ν(p) ξ 0, v k ) = ( µ(p) ψ(w), v1,..., µ(p) ψ(w), v k ), where µ = ψ π : P g is the moment map for the action of G on P. This gives us a continuous proper map φ: P U Φ 1 (0) P U C k, φ(p) = (p, s(ξ 0 ν(p))). The image of φ intersects every K orbit in Φ 1 (0). Hence the composite f = τ φ: P U Φ 1 (0)/K,

17 Non-Compact Symplectic Toric Manifolds 17 where τ : Φ 1 (0) Φ 1 (0)/K is the orbit map, is surjective. Next we argue that the fibers of f are precisely the equivalence classes of the relation defined in Step 2. Two points p 1, p 2 P U are equivalent with respect to if and only if π(p 1 ) = π(p 2 ) and there is an a K π(p1 ) with a p 2 = p 1. On the other hand f(p 1 ) = f(p 2 ) if and only if there is an a K with (p 1, s(ξ 0 ν(p 1 ))) = (a p 2, a s(ξ 0 ν(p 2 ))). For any point η µ w (C k ) a s(η) = s(η) a lies in the stabilizer K s(η) of s(η). For η = ξ 0 ν(p 2 ) = ξ 0 ν(p 1 ) = ι (ψ(w) ψ(π(p 1 ))), K s(η) = exp ( span R {v i {v 1,..., v k } ξ 0 ν(p 1 ), v i = 0} ) = exp ( span R {v i {v 1,..., v k } ι (ψ(w) ψ(π(p 1 ))), v i = 0} ) = exp ( span R {v i {v 1,..., v k } ψ(w) ψ(π(p 1 )), v i = 0} ) = K π(p1 ). We conclude that the fibers of f are precisely the equivalence classes of the relation. Therefore f descends to a continuous bijection α P w : c top (P U ) = (P U )/ Φ 1 (0)/K = cut(p U ), α P w([p]) = [p, s(ξ 0 ν(p))]. The properness of f implies that α P w is a homeomorphism. This follows from Lemma 2.30 below. Lemma Let f : A B be a continuous and proper bijection between topological spaces. Suppose that B is Hausdorff and compactly generated. That is, B is Hausdorff and a subset E of B is closed if and only if for every compact K the intersection E K is compact. Then f is a homeomorphism. Proof. Omitted. The commutativity of (2.2) is easy: Since ν 1 (p) = ν 2 (ϕ(p)), cut(ϕ) ( α P 1 w [p] ) = cut(ϕ)([p, s(ξ 0 ν 1 (p))]) = [ϕ(p), s(ξ 0 ν 2 (ϕ(p)))] = α P 2 w ([ϕ(p)]) = α P 2 w (c top (ϕ)([p])). To finish the construction of the functor c it remains to show that υ := (α P w 2 ) (α P w 1 ) 1 is a map of symplectic toric G-manifolds. Since α P w 1 and α P w 2 are G-equivariant homeomorphisms, so is υ. It is enough to produce a smooth symplectic map ϑ satisfying ϑ α P w 1 = α P w 2. Indeed, this implies that ϑ = υ, and hence that υ is a smooth symplectic map; reversing the roles of w 1 and w 2, we conclude that the inverse of υ is also a smooth symplectic map, and so υ is a G-equivariant diffeomorphism. Since the intersection U w1 U w2 can be covered by sets of the form U w3, it suffices to consider the case when U w1 is contained in U w2. Consider first the special case when K w1 = K w2 = K. Then the collections of the corresponding weights {v (w 1) j } k j=1, {v(w 2) j } k j=1 are the same set. Hence by Lemma 2.22 there exists a symplectic linear isomorphism ϑ: C k C k which permutes coordinates and intertwines the two representations and the corresponding moment maps. Consequently id ϑ: P Uw1 C k P Uw1 C k induces a symplectic isomorphism of symplectic quotients ϑ: ( P Uw1 Ck) // 0 K ( P Uw1 Ck) // 0 K, [p, z] [p, ϑ(z)].

18 18 Y. Karshon and E. Lerman It is easy to check that ϑ αw P 1 = αw P 2, hence (αw P 2 ) (αw P 1 ) 1 is a symplectomorphism in this case. More generally we have a strict inclusion {v (w 1) j } k 1 j=1 {v(w 2) j } k 2 j=1. By the discussion of the special case above, it is not a loss of generality to assume that v (w 1) j = v (w 2) j for all 1 j k 1. We may then reduce the clutter in the notation by dropping the superscripts (w1) and (w2) and setting K i := K wi, i = 1, 2. By construction of the neighborhoods U wi (q.v. Lemma 2.16 and subsequent remarks) we have ψ(w 1 ) ψ(w 2 ), v i = 0 for i = 1,..., k 1, and, for all w U w1, ψ(w) ψ(w 2 ), v i > 0 for i = k 1 + 1,..., k 2. Consequently for any point p P Uw1 the functions p µ(p) ψ(w 2 ), v i are smooth for i = k 1 + 1,..., k 2. Also, for p P Uw1 µ(p) ψ(w 2 ), v i = µ(p) ψ(w 1 ), v i for i = 1,..., k 1. Now consider the map given by ϑ: P Uw1 C k 1 P Uw2 C k 2 ϑ(p, z 1,..., z k1 ) = ( ) p, z 1,... z k1, µ(p) ψ(w 2 ), v k1 +1,..., µ(p) ψ(w 2 ), v k2. The map ϑ is smooth and K 1 -equivariant. Since ϑ (dz j d z j ) = 0 for j > k 1, it is symplectic. Next observe that ϑ 1( Φ 1 2 (0)) = Φ 1 1 (0), where Φ j : P Uw1 C k j k j, j = 1, 2 are the corresponding moment maps. This is because (p, z) Φ 1 j (0) ψ(π(p)) ψ(w j ), v i = z i 2 for all i = 1,..., k j. Consequently ϑ descends to a well-defined smooth symplectic map given by Evidently, ϑ: Φ 1 1 (0)/K 1 Φ 1 2 (0)/K 2 ϑ([p, z 1,..., z k1 ]) = ϑ ( α P w 1 ([p]) ) = α P w 2 ([p]). [ ] p, z 1,..., z k1, µ(p) ψ(w 2 ), v k1 +1,..., µ(p) ψ(w 2 ), v k2. This finishes Step 3 of the construction. We have thus constructed the desired functor c. We are now in position to prove part (1) of Theorem 1.3.

19 Non-Compact Symplectic Toric Manifolds 19 Proof of Theorem 1.3(1). It is enough to show that the category STB ψ (W ) is nonempty. For then for any object P of STB ψ (W ), the object c(p ) is the desired symplectic toric manifold. Consider the cotangent bundle T G with the action of G given by the lift of multiplication on the left. This action is Hamiltonian and the moment map µ: T G g makes T G into a symplectic principal G-bundle over g. The pullback of this bundle by ψ : W g is an object of STB ψ (W ). Alternatively, for any principal G-bundle π : P W and any choice of a connection 1-form A Ω 1 (P, g) G the closed 2-form σ := d ψ π, A is symplectic and µ := ψ π is a corresponding moment map (see Lemma 3.2 below). Then (P π W, σ) is an object of STB ψ (W ). We end the section with a lemma that will be used to prove that c: STB ψ (W ) STM ψ (W ) is an equivalence of categories. Lemma The functor c: STB ψ STM ψ is a map of presheaves of groupoids. Moreover over the interior W the functor c W : STB ψ ( W ) STM ψ ( W ) is isomorphic to the identity functor. Proof. Since c top is a map of presheaves then so is c. Over the interior W the functor c top is isomorphic to the identity functor, since we divide out by the relation whose equivalence classes are singletons. Moreover, for any point w W the corresponding group K w is trivial. Hence cut(p Uw ) = (P Uw {0})// 0 {1} P Uw as symplectic toric manifolds. 3 Local trivializations of symplectic toric G-bundles The purpose of this section is to prove the local uniqueness for symplectic toric G bundles. Here is the statement: Lemma 3.1. Let P 0 = (π 0 : P 0 W, ω 0 ) and P 1 = (π 1 : P 1 W, ω 1 ) be two symplectic toric G- bundles over a unimodular local embedding (u.l.e.) ψ : W g. Then for any open subset U of W with H 2 (U, Z) = 0 the restrictions P 1 U and P 1 U are isomorphic in STB ψ (U). Consequently, any two symplectic principal G-bundles over the same u.l.e. are locally isomorphic. Before proving Lemma 3.1, we need to establish two facts about symplectic forms on principal G-bundles over our u.l.e. ψ : W g. Recall that the notion of a moment map does not a priori require a 2-form to be nondegenerate, we only need (2.1) to hold. Note that it makes sense to pair a connection 1-form A on P with the moment map µ. This results in a real-valued G-invariant 1-form µ, A Ω 1 (P ) G. Lemma 3.2. Let ψ : W g be a u.l.e. and π : P π W a principal G-bundle. Any closed G-invariant 2-form on P with moment map µ := ψ π is automatically symplectic. A connection 1-form A Ω 1 (P, g) G defines a bijection from the space of closed forms on W and the space of invariant symplectic forms on P with moment map µ, by β d µ, A + π β. Consequently, any two closed G-invariant 2-forms on P with moment map µ differ by a basic closed 2-form.