arxiv: v3 [math.sg] 17 Jan 2012

Transcription

1 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS MIGUEL ABREU AND LEONARDO MACARINI arxiv: v3 [math.sg] 17 Jan 2012 Abstract. We consider two natural Lagrangian intersection problems in the context of symplectic toric manifolds: displaceability of torus orbits and of a torus orbit with the real part of the toric manifold. Our remarks address the fact that one can use simple cartesian product and symplectic reduction considerations to go from basic examples to much more sophisticated ones. We show in particular how rigidity results for the above Lagrangian intersection problems in weighted projective spaces can be combined with these considerations to prove analogous results for all monotone toric symplectic manifolds. We also discuss non-monotone and/or non-fano examples, including some with a continuum of non-displaceable torus orbits. 1. Introduction Let (M 2n, ω) be a toric symplectic manifold, i.e. a symplectic manifold equipped with an effective Hamiltonian T n -action generated by a moment map where the moment polytope P is defined by µ : M P := µ(m) (R n ), (1) l i (x) := x, ν i + a i 0, i = 1,..., d. Here the a i s are real numbers, each vector ν i Z n is the primitive integral interior normal to the facet F i of the polytope P and d is the number of facets of P. Denote by τ : M M the canonical anti-symplectic involution, characterized by µ τ = µ, and let R := M τ denote its fixed point set. R is a Lagrangian manifold, often called the real part of M. Given x int(p ), let T x := µ 1 (x) denote the corresponding T n -orbit, a Lagrangian torus in M. Since µ τ = µ, we also have that τ(t x ) = T x and (T x ) τ = T x R. This last set, the real part of a regular T n -orbit, is discrete with 2 n points. This can be seen quite explicitly in action-angle coordinates. Consider M M defined by M = µ 1 (int(p )). One checks that M is an open dense subset of M, consisting of all the points where the T n -action is free. It can be described as M = int(p ) T n = { (x 1,..., x n, e iθ 1,..., e iθn ) : x int(p ) R n, θ R n /2πZ n}, Date: January 18, Partially supported by Fundação para a Ciência e a Tecnologia (FCT/Portugal), Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES/Brazil) and Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq/Brazil). 1

2 2 M. ABREU AND L. MACARINI where (x, θ) are symplectic action-angle coordinates for ω, i.e. n ω M = dx dθ = dx j dθ j. In these action-angle coordinates the moment map and anti-symplectic involution are given by µ(x, e iθ ) = x and τ(x, e iθ ) = (x, e iθ ). Hence, we have that and j=1 R M = (x, ±1) (x 1,..., x n, ±1,..., ±1), x int(p ), (R T x ) = 2 n, x int(p ). Example 1.1. Consider (CP n, ω F S ) with moment polytope P (R n ) given by { } n P = (x 1,..., x n ) : x j + 1 0, j = 1,..., n, and ( x j ) Then j=1 R = RP n and T 0 := µ 1 (0) Clifford n-torus. Example 1.2. Let (M 2n, ω) be a monotone toric symplectic manifold, i.e. such that [ω] = λ(2πc 1 (ω)) H 2 (M) with λ R +. The corresponding moment polytope P (R n ) is then a Fano Delzant polytope, meaning that it can be defined by (1) with a 1 = = a d = λ. In this case, the Lagrangian torus fiber over the origin 0 P will be called the centered or special torus fiber. It is the unique monotone torus fiber of the monotone toric symplectic manifold (M 2n, ω). Without any loss of generality, we will usually assume that λ = 1 (as we already did in Example 1.1). In this context of toric symplectic manifolds, it is natural to consider the following Lagrangian intersection rigidity question: given x int(p ), does there exist ψ Ham(M, ω) such that ψ(t x ) T x = or ψ(t x ) R = or ψ(r) R =? Our remarks in this paper concern the first two of these Lagrangian intersection problems and will show how simple cartesian product (Section 2) and symplectic reduction (Section 3) considerations can be used to go from basic examples to more sophisticated ones. To illustrate our point, consider the following theorem on the most basic example that can be considered in this context. Theorem 1.3. For (CP n, ω F S ), as in Example 1.1, we have that:

3 (i) [5, 8] REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 3 ψ(t 0 ) T 0 and (ψ(t 0 ) T 0 ) 2 n, ψ Ham(CP n, ω F S ). (ii) [3, 4, 13, 20] (iii) [1] ψ(t n 0 ) RP n, ψ Ham(CP n, ω F S ). (ψ(t 2n 1 0 ) RP 2n 1 ) 2 n, ψ Ham(CP 2n 1, ω F S ). The following results follow by straightforward applications of our remarks. Theorem 1.4. (Cf. Remark 2.10 and 4.2.) (ψ(t 2n 0 ) RP 2n ) 2 n, ψ Ham(CP 2n, ω F S ). Theorem 1.5. Let (M 2n, ω) be a monotone toric symplectic manifold, as in Example 1.2, R its real part and T its special centered torus fiber. Let ν 1,..., ν d Z n denote the primitive integral interior normals to the facets of the corresponding Fano Delzant polytope P (R n ). (i) (Cf. Proposition 4.4 in 4.3.) If d i=1 ν i = 0 then ψ(t ) R, ψ(t ) T and (ψ(t ) T ) 2 n, ψ Ham(M, ω). (ii) (Cf. Proposition 4.6 in 4.5.) If P (R n ) is symmetric, i.e. whenever ν Z n is the normal to a facet of P then ν Z n is also the normal to a facet of P, then (ψ(t ) R) 2 n, ψ Ham(M, ω). Remark 1.6. A particular interesting example that fits both (i) and (ii) of this theorem is M = CP 2 3CP 2, equipped with a monotone symplectic form (cf. 4.5). Consider now the following generalization of part (i) of Theorem 1.3, contained in the work of Woodward [22] and forthcoming work of Cho and Poddar [10]. Theorem 1.7. Let CP(1, m) := CP(1, m 1,..., m n ), m 1,..., m n N, denote the weighted projective space determined by the moment polytope P m (R n ) given by { } n P = (x 1,..., x n ) : x j + 1 0, j = 1,..., n, and ( m j x j ) (i.e. the symplectic quotient of C n+1 by the S 1 -action with weights (1, m 1,..., m n )). Let T 0 := µ 1 (0) denote its special centered torus fiber, where µ : CP(1, m) P m is the moment map. Then ψ(t 0 ) T 0 and (ψ(t 0 ) T 0 ) 2 n, ψ Ham(CP(1, m), ω m ). The following result, removing the zero-sum assumption in part (i) of Theorem 1.5 and originally due to Entov-Polterovich [13], Cho [9] and Fukaya-Oh-Ohta-Ono [15], follows from this Theorem 1.7 by a straightforward application of our symplectic reduction remark (cf. Proposition 4.9 in 4.7). j=1

4 4 M. ABREU AND L. MACARINI Theorem 1.8. Let (M, ω) be a compact monotone toric symplectic manifold, as in Example 1.2, and T its special centered torus fiber. Then ψ(t ) T and (ψ(t ) T ) 2 n, ψ Ham(M, ω). Remark 1.9. An appropriate generalization of part (ii) of Theorem 1.3 to weighted projective spaces would imply, by the same straightforward application of our symplectic reduction remark, that on any compact monotone toric symplectic manifold (M, ω) we also have that ψ(t ) R, ψ Ham(M, ω). This has been proved by Alston-Amorim [2] using the methods developed by Fukaya, Oh, Ohta and Ono in [14, 15, 16]. With the help of another basic example, i.e. the total space of the line bundle O( 1) CP 1 (cf. Section 5), our remarks can also be used to prove interesting non-displaceability results on certain non-monotone and/or non-fano examples, such as: - a continuum of non-displaceable torus fibers on M = CP 2 2CP 2 with a certain non-monotone symplectic form (cf. Example 10.3 in [16] and 5.4). - a particular non-displaceable torus fiber on the family of non-fano examples given by Hirzebruch surfaces H k := P(O( k) C) CP 1, with 2 k N (cf. Example 10.1 in [16] and 6.1). - a continuum of non-displaceable torus fibers on a certain non-fano toric symplectic 4-manifold considered by McDuff (cf. 2.1 in [18] and 6.2). For all non-displaceable torus fibers in these examples, we can also use our remarks to obtain an appropriate optimal lower bound for the number of transversal intersection points, which for these Lagrangian 2-tori is 4. Remark Regarding this last example, McDuff shows in [18] that it gives rise, under a repeated wedge construction, to a monotone symplectic toric 12-manifold with a continuous interval of Lagrangian torus fibers that cannot be displaced by her method of probes [17]. Hence, as she points out, these fibers may perhaps be non-displaceable by Hamiltonian isotopies, even though, according to [14], their Floer homology vanishes. Although we can use the remarks in this paper to prove non-displaceability of the relevant torus fibers in the non-fano toric symplectic 4-manifold (cf. 6.2), so far we have not been able to do the same for the corresponding monotone toric symplectic 12-manifold. Acknowledgements. We thank Matthew Strom Borman, Cheol-Hyun Cho, Rui Loja Fernandes, Dusa McDuff and Chris Woodward, for several useful discussions regarding this paper. We thank IMPA and IST for the warm hospitality during the preparation of this work. Part of these results were first presented by the first author at the Workshop on Symplectic Geometry and Topology, Kyoto University, Japan, February 14 18, He thanks the organizers, Kenji Fukaya and Kaoru Ono, for the opportunity to participate in such a wonderful event.

5 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 5 2. First Remark: Cartesian Product This first remark, on cartesian products, is motivated by Alston s result in part (iii) of Theorem 1.3 and can be used to remove its dimension restriction, i.e. prove Theorem 1.4. We will also use it in combination with our second remark, on symplectic reduction Combinatorial Floer Invariant. Let P (R n ) be a moment polytope defined by l i (x) := x, ν i + a i 0, i = 1,..., d. Each vector ν i = ((ν i ) 1,... (ν i ) n ) Z n is the primitive integral normal to the facet F i of the polytope P, and d is the number of facets of P. We will say that P is even if d is even. Let CF n be the vector space of dimension 2 n generated over Z 2 by the following 2 n symbols: (ε 1,..., ε n ) with ε k = ±1, k = 1,..., n. Consider the linear map defined on basis elements by where ε = (ε 1,..., ε n ) and P : CF n CF n P (ε) = d ( 1) ν i ε i=1 ( 1) ν i ε = ( ( 1) (ν i) 1 ε 1,..., ( 1) (ν i) n ε n ). Proposition P = 0 if d is even and 2 P Proof. P ( P ε) = P ( d i=1 ( 1) ν i ε = = id if d is odd. ) = d P (( 1) ν i ε) i=1 d ( 1) ν j (( 1) ν i ε) = i,j=1 ( ) = 2 ( 1) ν i+ν j ε + = 0 + i<j d ε = dε i=1 d ( 1) ν i+ν j ε i,j=1 d ( 1) 2ν i ε Definition 2.3. The Floer invariant HF (P ) of an even integral polytope P is defined by i=1 HF (P ) := dim ker( P ) dim im( P ).

6 6 M. ABREU AND L. MACARINI Proposition 2.4. If P = P P, with P and P even integral polytopes, then HF (P ) = HF (P ) HF (P ). Proof. Suppose P R n and P R n have normal vectors ν 1,..., ν d Zn and ν 1,..., ν d Zn. Then P = P P R n R n = R n, n = n + n, has normal vectors (ν 1, 0),..., (ν d, 0), (0, ν 1 ),..., (0, ν d ) Zn Z n = Z n. Hence, the linear map P on CF n = CF n CF n is given by P (ε ε ) = ( P ε ) ε + ε ( P ε ). The result of the proposition follows by a standard application of the Künneth formula in this context. Using this proposition and the fact that P P always has an even number of facets, we can define the Floer invariant of any integral polytope. Definition 2.5. The Floer invariant HF (P ) of an integral polytope P is defined by HF (P ) := dim ker( P P ) dim im( P P ) Relation with Lagrangian Floer Homology. Suppose now that P is a Fano Delzant polytope and let M P denote its associated smooth Fano toric variety. This means that when defining P (R n ) by l i (x) := x, ν i + a i 0, i = 1,..., d. we can assume that a 1 = = a d = 1 and (M P, ω P ) is monotone: [ω P ] = 2πc 1 (M P ). Denote by R P the Lagrangian real part of (M P, ω P ) and by T P the Lagrangian torus over 0 int(p ). Assuming that the Lagrangian Floer homology HF (R P, T P ; Z 2 ) is well defined, we have the following theorem. Theorem 2.7. Corollary 2.8. dim HF (R P, T P ; Z 2 ) = HF (P ). (ψ(r P ) T P ) HF (P ), ψ Ham(M P, ω P ). Proof of the Corollary. If P is a Fano Delzant polytope, then P P is an even Fano Delzant polytope to which Theorem 2.7 applies. Suppose that (ψ(r P ) T P ) < HF (P ). Then (ψ ψ) Ham(M P M P, ω P ω P ) would be such that [(ψ ψ)(r P R P ) (T P T P )] = ( (ψ(r P ) T P )) 2 < (HF (P )) 2 = HF (P P ), which would imply that dim HF (R P P, T P P ; Z 2 ) < HF (P P ).

7 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 7 This contradicts Theorem 2.7. As before, we are assuming that HF (R P P, T P P ; Z 2 ) is well defined. Remark 2.9. The meaning of HF (R P, T P ; Z 2 ) being well defined depends on the technical tools one is willing to use. If one uses only a basic version of Lagrangian Floer homology, then the condition that the minimal Maslov number of R P is bigger than two has to be enforced. Under this assumption, it can be proved as in [1, 8, 11, 19] that, for the standard complex structure J on M P, the boundary of the moduli space of holomorphic strips with dimension one is given by broken strips and holomorphic disks with Maslov index two and boundary in T P. Moreover, the linearized Cauchy-Riemann operator D u J is surjective for all J-holomorphic strips u of Maslov index one or two. It follows from this that HF (R P, T P ; Z 2 ) is well defined whenever d is even. As a matter of fact, if d is even then the holomorphic disks with index two and boundary in T P counted by P 2 cancel out when we work with Z 2 coefficients; this is the key point in the proof of Proposition 2.2. In particular, HF (R P P, T P P ; Z 2 ) is well defined whatever is the parity of d. Indeed, the minimal Maslov number of R P P equals the minimal Maslov number of R P. With this hypothesis on R P the set of examples that are covered by Corollary 2.8 is a bit restrictive. If one uses a sophisticated version of Lagrangian Floer homology, such as the one developed by Fukaya, Oh, Ohta and Ono in [14, 15, 16], then Corollary 2.8 covers a lot more ground (see [2]). Remark Even with only basic Lagrangian Floer homology, HF (R P P, T P P ; Z 2 ) is indeed well defined when P is a simplex, i.e. M P = CP n, and Corollary 2.8 can be combined with a combinatorial computation of HF (P P ) to prove Theorem 1.4, hence removing the dimension restriction of Alston s result. We will not present that combinatorial computation here since (i) it is presented in [2] and (ii), as we will see, our remark on symplectic reduction can also be used to easily remove this restriction. The proof of Theorem 2.7 is a simple combination of the following two ingredients: (i) the characterization by Cho [8] and Cho-Oh [11] of the holomorphic discs on Fano toric manifolds, that are relevant for the differential on the Lagrangiam Floer complex, as Blaschke products; (ii) the existence of global homogeneous coordinates on any smooth toric variety M P, not just on CP n (see 4.4 of Cox [12]). We will now discuss some details of (ii), and how they contribute to the proof of Theorem 2.7. From the well known quotient representation we get a map M P = ( C d \ Z P ) /GP C d \ Z P M P (z 1,..., z d ) [z 1,..., z d ]

8 8 M. ABREU AND L. MACARINI defining homogeneous coordinates on M P, where homogeneous here is with respect to the action of the torus G P. Note that the canonical anti-holomorphic involution τ P : M P M P is given in these homogeneous coordinates as (2) τ P ([z 1,..., z d ]) = [z 1,..., z d ]. Let m 1,..., m l be the integral points in P, i.e. and consider the map given by {m 1,..., m l } = P Z n, φ : C d \ Z P CP l 1 (3) φ(z 1,..., z d ) = [z [m 1],..., z [m l] ], where z [m] = d i=1 z l i(m) i. It turns out that φ induces a well defined embedding M P CP l 1 [z 1,..., z d ] [z [m 1],..., z [m l] ]. If one restricts this map to (C ) n M P, one gets an embedding ϕ : (C ) n CP l 1 given in the standard coordinates of (C ) n as (4) ϕ(t 1,..., t n ) = [t m 1,..., t m l ] where t m k = n i=1 t (m k) i i. Since R P (C ) n = (R ) n and T P = (S 1 ) n (C ) n we get that R P T P = {(ε 1,..., ε n ) : ε i = ±1}. Any such intersection point can be written in homogeneous coordinates as [ε 1,..., ε d ], ε i = ±1. As Alston [1] does in the case of CP n, using the work of Cho [8] and Cho-Oh [11], the characterization of relevant holomorphic discs as Blaschke products shows that the Lagrangian Floer differential is given in homogeneous coordinates by d P ([ε 1,..., ε d ]) = [ε 1,..., ε i,..., ε d ]. i=1

9 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 9 We can now use the maps φ and ϕ, defined by (3) and (4), to compute P (ε 1,..., ε n ) directly. Note that if φ([ε 1,..., ε i,..., ε d ]) = [ε [m 1],..., ε [m l] ] then On the other hand, if then Hence, Examples. φ([ε 1,..., ε i,..., ε d ]) = [( 1) l i(m 1 ) ε [m 1],..., ( 1) l i(m l ) ε [m l] ] = [( 1) m 1,ν i +a i ε [m 1],..., ( 1) m l,ν i +a i ε [m l] ] = [( 1) m 1,ν i ε [m 1],..., ( 1) m l,ν i ε [m l] ]. ϕ(t 1,..., t n ) = [t m 1,..., t m l ] = [ε [m 1],..., ε [m l] ] ϕ(( 1) (ν i) 1 t 1,..., ( 1) (ν i) n t n ) = [( 1) m 1,ν i t m 1,..., ( 1) m l,ν i t m l ] P ([ε 1,..., ε d ]) = P (ε 1,..., ε n ) = = [( 1) m 1,ν i ε [m 1],..., ( 1) m l,ν i ε [m l] ] = φ([ε 1,..., ε i,..., ε d ]). d [ε 1,..., ε i,..., ε d ] i=1 d ( ( 1) (ν i ) 1 ε 1,..., ( 1) (ν i) n ) ε n. i=1 Example Let P = [ 1, 1] R with M P = CP 1 = S 2. In this case R P is a meridian circle and T P is the equator. P has normals ν 1 = 1 and ν 2 = 1. CF is a 2-dimensional vector space with basis e 1 = (1) and e 2 = ( 1). The differential P is given by Hence, P (ε) = (( 1) 1 ε) + (( 1) 1 ε) = 2( ε) = 0. HF (P ) = 2. Proposition If P is an even polytope such that whenever ν is a normal ν is also a normal, i.e. such that P is symmetric, then HF (P ) = 2 n. Proof. As in the example above, we always have P = 0 under these conditions. Remark Under the assumption that HF (R P, T P ; Z 2 ) is well defined, it follows from this proposition that if P is symmetric then (ψ(t P ) R P ) 2 n for any ψ Ham(M P, ω P ). In fact, as we will see in Proposition 4.6, one can easily use our remark on symplectic reduction to remove the assumption and give another proof of this result.

10 10 M. ABREU AND L. MACARINI Example When n = 2 there are exactly two even Fano polytopes with the property of Proposition 2.13: the Fano square, corresponding to CP 1 CP 1, and the Fano hexagon, corresponding to CP 2 blown up at 3 points. Example Let P R 2 be the Fano simplex corresponding to M P = CP 2. Since P has 3 facets, an odd number, we will consider the even Fano Delzant polytope P P R 4, whose 6 facets have normals ν 1 = (1, 0, 0, 0), ν 2 = (0, 1, 0, 0), ν 3 = ( 1, 1, 0, 0), ν 4 = (0, 0, 1, 0), ν 5 = (0, 0, 0, 1) and ν 6 = (0, 0, 1, 1). This means that P P : CF 4 CF 4 is given by P P (ε 1, ε 2, ε 3, ε 4 ) = ( ε 1, ε 2, ε 3, ε 4 ) + (ε 1, ε 2, ε 3, ε 4 ) + ( ε 1, ε 2, ε 3, ε 4 ) + (ε 1, ε 2, ε 3, ε 4 ) + (ε 1, ε 2, ε 3, ε 4 ) + (ε 1, ε 2, ε 3, ε 4 ). With this explicit formula it is not hard to check that Hence, HF (P P ) = dim ker( P P ) dim im( P P ) = 10 6 = 4. and applying Corollary 2.8 we conclude that HF (P ) = 4 = 2 (ψ(rp 2 ) T 2 ) 2, for any ψ Ham(CP 2 ). This estimate is known to be optimal (see for example the end of section 5 in [2]). 3. Second Remark: Symplectic Reduction Here we will state some elementary general facts in the particular context of symplectic toric manifolds. Let ( M, ω) be a symplectic toric manifold of dimension 2N with T-action generated by a moment map µ : M P (R N ). As before, given x int( P ), let T x := µ 1 (x) denote the corresponding T-orbit, a Lagrangian torus in M, and let R denote the real part of M, i.e. the Lagrangian submanifold given by the fixed point set of the canonical anti-symplectic involution τ : M M, characterized by µ τ = µ. Recall that τ( θ p) = θ ( τ( p)), θ T, p M, and τ( T x ) = T x. Moreover, ( T x ) τ = T x R and this set, the real part of a regular T-orbit, is discrete with 2 N points. Let K T be a subtorus of dimension N n determined by an inclusion of Lie algebras ι : R N n R N.

11 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 11 The moment map for the induced action of K on M is µ K = ι µ : M (R N n ). Let c µ K ( M) (R N n ) be a regular value and assume that K acts freely on the level set Z := µ 1 K (c) M. Then, the reduced space (M := Z/K, ω) is a symplectic toric manifold of dimension 2n with T := T/K-action generated by a moment map that fits in the commutative diagram µ : M P (R n ) = ker(ι ) M Z π M µ P (R N ) µ P (R n ) where π is the quotient projection and the vertical arrow on the right is the inclusion (R n ) = ker(ι ) (R N n ). Recall that the reduced symplectic form ω is characterized by π ω = ω Z. Note that given T x := µ 1 (x), with x int(p ) int( P ), we have that π 1 (T x ) = T x. Moreover, τ(z) = Z, Z τ = Z R and τ induces the canonical anti-symplectic involution τ : M M via π τ = τ π. Let p R := M τ. Then a simple counting argument shows that (π 1 (p) R) = 2 N n. Lemma 3.1. Let ψ Ham(M, ω). Then there is ψ Ham( M, ω) such that ψ(z) = Z and π( ψ( p)) = ψ(π( p)), p Z. Proof. Given a time dependent hamiltonian h t : M R let h t : M R be any smooth extension to M of h t π : Z R. The Hamiltonian flow generated by h t has the desired properties. Proposition 3.2. Let ψ Ham(M, ω), ψ Ham( M, ω) a lift given by the previous lemma and x int(p ) int( P ). Then (i) (ψ(t x ) R) = r ( ψ( T x ) R) = r2 N n. (ii) ψ(t x ) T x = ψ( T x ) T x =. Moreover (iii) (ψ(t x ) T x ) = r ϕ Ham( M, ω) such that ( ϕ( T x ) T x ) = r2 N n.

12 12 M. ABREU AND L. MACARINI Remark 3.3. McDuff s method of probes [17] can be seen as a particular case of (ii). Proof. To prove (i), suppose that q ψ( T x ) R and let p = ψ 1 ( q) T x. Then p = π( p) T x and ψ(p) = ψ(π( p)) = π( ψ( p)) = π( q) = π( τ( q)) = τ(π( q)) = τ(q) = τ(ψ(p)). Hence, q = ψ(p) R and so q ψ(t x ) R. Moreover, given q ψ(t x ) R let q π 1 (q) R. Let p = ψ 1 (q) T x and p = ψ 1 ( q). Then π( p) = π( ψ 1 ( q)) = ψ 1 (π( q)) = ψ 1 (q) = p p π 1 (p) π 1 (T x ) = T x q = ψ( p) ψ( T x ). Hence, q ψ( T x ) R and there are exactly 2 N n such q s. To prove (ii), suppose that q ψ( T x ) T x and let p = ψ 1 ( q) T x. Then p = π( p), q = π( q) T x and ψ(p) = ψ(π( p)) = π( ψ( p)) = π( q) = q which implies that q ψ(t x ) T x. To prove (iii), note that since T x and ψ(t x ) intersect transversely at r points in M, say p 1,..., p r M, we have that T x and ψ( T x ) intersect in Z in a Morse-Bott way along the r orbits of the subtorus K T given by π 1 (p 1 ),..., π 1 (p r ) M. Standard equivariant neighborhood theorems in symplectic geometry imply that a sufficiently small neighborhood Ũ M of each of these isotropic tori is K-equivariantly symplectomorphic to V 1 V 2 (R 2n, ω st ) (T K, ω can ), where V 1 R 2n is a neighborhood of the origin, V 2 T K is a neighborhood of the 0-section, and n ω st = du dv = du j dv j and ω can = dλ can j=1 are the usual symplectic forms on R 2n and T K respectively. Moreover, we can identify V 1 with a neighborhood U M of the point in ψ(t x ) T x under consideration and require that T x U = {(u, v) V 1 : v = 0} and ψ(t x ) U = {(u, v) V 1 : u = 0}. Let ϕ Ham c (V 2, ω can ) be such that (ϕ(0-section) (0-section)) = 2 N n (one can clearly construct such optimal displacing Hamiltonians supported in arbitrarily small neighborhoods of the 0-section in T K). We can then consider id ϕ : V 1 V 2 V 1 V 2, extend as the identity to M and compose with ψ to obtain a Hamiltonian that perturbs the relevant intersection K-orbit into 2 N n transversal intersection points. By doing that at each of the r points in ψ(t x ) T x we obtain the desired ϕ Ham( M, ω). Corollary 3.4.

13 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 13 (i) If ( ψ( T x ) R) m for any ψ Ham( M, ω) then (ψ(t x ) R) m, ψ Ham(M, ω). 2N n (ii) If T x ( M, ω) is non-displaceable, then T x (M, ω) is also non-displaceable. (iii) If ( ψ( T x ) T x ) m for any ψ Ham( M, ω) then (ψ(t x ) T x ) m, ψ Ham(M, ω). 2N n Remark 3.5. This idea of using symplectic reduction to prove intersection properties of Lagrangian submanifolds was used by Tamarkin in [20]. It is also present in the work of Borman [6] on reduction properties of quasi-morphisms and quasi-states (see also [7]) Symplectic Reduction Construction of Toric Manifolds. Recall that any symplectic toric manifold (M 2n, ω) can be constructed as a symplectic reduction of ( M d = R 2d = C 2d, ω = dx j dy j ), where d is the number of facets of the corresponding polytope P (R n ). This reduction is with respect to the natural action of a subtorus K T = T d of dimension d n, whose Lie algebra Lie(K) R d = Lie(T d ) is determined as the kernel of the linear map (5) β : R d R n, β(e j ) = ν j, j = 1,..., d, where {e 1,..., e d } is the canonical basis of R d and ν 1,..., ν d Z n R n are the primitive integral interior normals to the facets of the moment polytope P. When K = K 1 K 2 T d, correspondng to a splitting Lie(K) = Lie(K 1 ) Lie(K 2 ) R d, recall that the principle of reduction in stages tells us that, at appropriate level sets, reduction with respect to the action of K T d is equivalent to - first reducing with respect to K 1 T d, obtaining a symplectic manifold (M 1, ω 1 ) with Hamiltonian action of T d /K 1, - then reducing (M 1, ω 1 ) with respect to K 2 T d /K 1. This principle will be used repeatedly in the applications considered in the next sections. It is also the main ingredient in the proof of the following proposition, which in turn will be used in the proof of Theorem 1.8 (cf. Proposition 4.9 in 4.7). Proposition 3.7. Let (M 2n, ω) be a symplectic toric manifold and ν 1,..., ν d Z n the primitive integral interior normals to the facets of its moment polytope P (R n ). Let m 1,..., m d N be such that d (6) m j ν j = 0. j=1 Then (M 2n, ω) can be obtained as a symplectic reduction of the weighted projective space CP(m 1,..., m d ). j=1

14 14 M. ABREU AND L. MACARINI Proof. (M 2n, ω) can be obtained as the symplectic reduction of (R 2d, dx dy) by the action of a subtorus K T d with Lie(K) = ker β, where the linear map β is given by (5). This means in particular that (k 1,..., k d ) Lie(K) R d d k j ν j = 0, j=1 which together with (6) implies that K can be written as K = K 1 K 2 with Lie(K 1 ) = span{(m 1,..., m d )}. Since the weighted projective space CP(m 1,..., m d ) is obtained as the symplectic reduction of (R 2d, dx dy) by the action of K 1, one can use the principle of reduction in stages to conclude the proof. 4. First Application: Monotone Cases We will use the following results stated in Theorem 1.3: (i) The Clifford torus T n CP n is non-displaceable and (ψ(t 0 ) T 0 ) 2 n, ψ Ham(CP n, ω F S ) [5, 8]. (ii) The pair (RP 2n 1, T 2n 1 ) is non-displaceable in CP 2n 1 and (ψ(t 2n 1 ) RP 2n 1 ) 2 n for any ψ Ham(CP 2n 1 ) [1]. Definition 4.1. Recall from Example 1.2 that any monotone toric symplectic manifold has a unique monotone torus fiber, called the centered or special torus fiber, which is the Lagrangian torus orbit over the center of its moment polytope. A symplectic reduction of a monotone toric symplectic manifold at a level containing its centered torus fiber, i.e. through the special center of its moment polytope, will be called a centered symplectic reduction Application 1. One can easily extend Alston s result to CP 2n. In fact, CP 2n can be obtained as a centered symplectic reduction of CP 2n+1 (cf. Figure 1 for the n = 1 case) and we get that (ψ(t 2n ) RP 2n ) 2n+1 2 = 2 n for any ψ Ham(CP 2n ). Note that the fact that this estimate is known to be optimal for CP 2 implies that Alston s bound for CP 3 is also optimal Application 2. Let (M 2n, ω) be a monotone toric manifold, R its real part and T its special centered torus fiber. Let ν 1,..., ν d Z n denote the primitive integral interior normals to the facets of the moment polytope of M. Proposition 4.4. If d i=1 ν i = 0 then T and the pair (R, T ) are non-displaceable. Moreover, (ψ(t ) T ) 2 n, ψ Ham(M, ω).

15 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 15 Figure 1. CP 2 as reduction of CP 3. Proof. Proposition 3.7 and the zero-sum condition on the normals imply that the standard symplectic reduction construction of M from C d factors through CP d 1. The monotone condition implies that this is a centered symplectic reduction and we can apply Corollary Application 3. The monotone M = CP 2 3CP 2, i.e. the monotone blow-up of CP 2 at three points, fits the context of Application 2 and can be obtained as a centered symplectic reduction of CP 5. This means that (ψ(t ) R) 23 = 1 for any ψ Ham(M). 23 It can also be obtained as a centered symplectic reduction of CP 2 CP 2. Since our Floer combinatorial invariant of CP 2 CP 2 is 4, this gives the same bound: (ψ(t ) R) = 1 for any ψ Ham(M). However, if one sees M as a centered symplectic reduction of CP 1 CP 1 CP 1, cf. Figure 2, one improves the bound to (ψ(t ) R) 23 2 = 4 for any ψ Ham(M), which is optimal and coincides with the value of the Floer combinatorial invariant of the hexagon. Let us describe the details of this reduction construction. The cube at the left of Figure 2, corresponding to the moment polytope of a monotone CP 1 CP 1 CP 1, can be described by the following inequalites: x x x x x x

16 16 M. ABREU AND L. MACARINI Figure 2. CP 2 3CP 2 as reduction of CP 1 CP 1 CP 1. The monotone CP 2 3CP 2 can be obtained from this toric manifold by centered symplectic reduction with respect to the circle S 1 T 3 determined by the Lie algebra vector ( 1, 1, 1) R 3 = Lie(T 3 ), at level x 1 x 2 + x 3 = 0. The quotient 2-torus T 3 /S 1 acts on the reduced manifold and, with respect to its Lie algebra basis given by (1, 0, 0), (0, 1, 0) Lie(T 3 /S 1 ) = R 3 /{( 1, 1, 1)}, the resulting moment polytope is described by the above inequalities with x 3 = x 1 + x 2, i.e. the hexagon at the right of Figure 2. In fact, the monotone CP 2 3CP 2 is just a particular case of the following more general proposition. Proposition 4.6. Let (M 2n, ω) be a monotone toric manifold, R its real part and T its special centered torus fiber. Suppose that the corresponding moment polytope P R n is symmetric, i.e. if ν Z n is the interior normal to a facet of P then ν is also the interior normal to a facet of P. Then (ψ(t ) R) 2 n for any ψ Ham(M) and this bound is optimal. Proof. The fact that the polytope P is symmetric implies that M can be obtained as a symplectic reduction of the product of d copies of CP 1, where 2d is the number of facets of P. The fact that M is monotone implies that all the CP 1 s have the same area and that this is a centered symplectic reduction. Hence, we get from Corolary 3.4 that (ψ(t ) R) Since (T R) = 2 n the bound is indeed optimal. 2d 2 d n = 2n, ψ Ham(M, ω) Application 4. Let (M 2n, ω) be a compact monotone symplectic toric manifold and T its special centered torus fiber. Denote by ν 1,... ν d Z n the primitive integral interior normals to the facets of its Delzant polytope P (R n ).

17 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 17 Lemma 4.8. There exists k {1,..., d} such that d ν k + m j ν j = 0 with all m j N. j=1,j k Proof. Since P is the moment polytope of a compact toric manifold, the support of its associated fan is the whole R n. In particular, every lattice vector ν Z n belongs to a cone of the fan determined by some vertex of P, which means that it can be written as a non-negative integral linear combination of the primitive integral interior normals to the n facets that meet at that vertex. The Lemma follows by taking d ν = ν j. Proposition 4.9. On any compact monotone toric symplectic manifold (M, ω) the special centered Lagrangian torus fiber T is non-displaceable. Moreover, j=1 (ψ(t ) T ) 2 n, ψ Ham(M, ω). Proof. Using the previous Lemma, and after a possible re-ordering of the normals, we can assume that d 1 m j ν j + ν d = 0 with m 1,..., m d 1 N. j=1 This condition and Proposition 3.7 imply that the standard symplectic reduction construction of M from C d factors through the weighted projective space CP(1, m 1,..., m d 1 ). The monotone condition implies that this factorization goes through the special centered nondisplaceable torus fiber of this weighted projective space (cf. Theorem 1.7) and we can apply Corollary 3.4. As a particular example, consider the monotone M = CP 2 CP 2, i.e. blow-up of CP 2 at one point, with polytope P (R 2 ) given by We have that x (ν 1 = (1, 0)) x 1 x (ν 3 = ( 1, 1)) x (ν 2 = (0, 1)) x 1 + x (ν 4 = (1, 1)). (ν 1 + ν 2 + 2ν 3 ) + ν 4 = 0 the monotone and M can be obtained as a centered symplectic reduction of CP(1, 1, 1, 2). In fact, the polytope of CP(1, 1, 1, 2) is given by x x x x 1 x 2 2x

18 18 M. ABREU AND L. MACARINI and its reduction with respect to the circle S 1 T 3 determined by (1, 1, 1) R 3 = Lie(T 3 ) at level x 1 + x 2 + x 3 = 0, i.e. x 3 = x 1 x 2, gives rise to the above polytope for M = CP 2 CP Second Application: non-monotone Fano cases For the applications in this section we will assume that some form of the following general result is true: If T i or the pair (T i, R i ) have HF 0 or are non-displaceable in (M i, ω i ), i = 1, 2, then the same is true for the corresponding T 1 T 2 and (T 1 T 2, R 1 R 2 ) in (M 1 M 2, ω 1 ω 2 ). Remark 5.1. For Lagrangian torus orbits in toric symplectic manifolds, the set-up of Woodward [22] applies and proves a result of this form (cf. [21]). Moreover, in some of the applications below we will also use the following result: In the total space of the line bundle O( 1) CP 1, the special torus T sitting over the origin in the polygon on the right side of Figure 3 is non-displaceable. This has been proved by Woodward (cf. Example 1.3 in [22]) and can also be seen as a consequence of a result of Cho in [9] (cf. polygon on the left side of Figure 3). Figure 3. Cho s result on the left and its limit on the right, giving a nondisplaceable torus fiber in the total space of the line bundle O( 1) CP Application 5. Consider M = CP 2 CP 2, i.e. the blow-up of CP 2 at one point. Figure 4 illustrates how one can obtain two non-displaceable torus fibers when the exceptional divisor is small, i.e. smaller than monotone. On the left, one thinks of M as a symplectic reduction of CP 2 CP 1, with CP 2 smaller than CP 1, to show that the torus fiber over the origin is non-displaceable. On the right, one thinks of M as a symplectic

19 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 19 Figure 4. CP 2 CP 2 as reduction of CP 2 CP 1 (on the left, CP 2 smaller than CP 1 ) and of O( 1) CP 2 (on the right). reduction of O( 1) CP 2 to show that a torus fiber close to the exceptional divisor is non-displaceable. Figure 5 illustrates how one can obtain one non-displaceable torus fiber when the exceptional divisor is big, i.e. bigger than monotone. One thinks again of M as a symplectic reduction of CP 2 CP 1, but now with CP 2 bigger than CP 1. Figure 5. CP 2 CP 2 as reduction of CP 2 CP 1, now with CP 2 bigger than CP 1. Note that the monotone case with just one non-displaceable torus fiber over the special central point can be obtained as a limit of any of these.

20 20 M. ABREU AND L. MACARINI 5.3. Application 6. A very similar idea applies to M = CP 2 2CP 2 = (CP 1 CP 1 ) CP 2, i.e. the equal blow-up of CP 2 at two points which can also be thought of as the blow-up of CP 1 CP 1 at one point. One recovers the results of Fukaya-Oh-Ohta-Ono [14, 15] and Woodward [22] illustrated in Figures 6 and 7. Figure 6 illustrates how one can obtain two non-displaceable torus fibers in the big twopoint blow-up of CP 2, which is equivalent to a small one-point blow-up of CP 1 CP 1. On the left, one thinks of M as a symplectic reduction of CP 2 CP 1 CP 1, with big CP 2, to show that the torus fiber over the origin is non-displaceable. On the right, one thinks of M as a symplectic reduction of O( 1) CP 2 to show that a torus fiber close to the blown-up point on CP 1 CP 1 is non-displaceable. Figure 6. (CP 1 CP 1 ) CP 2 (small blow-up), equivalently CP 2 2CP 2 (big blow-ups), as reduction of CP 2 CP 1 CP 1 (on the left) and of O( 1) CP 2 (on the right). Figure 7 illustrates how one can obtain three non-displaceable torus fibers in the small two-point blow-up of CP 2, which is equivalent to a big one-point blow-up of CP 1 CP 1. On the left, one thinks of M as a symplectic reduction of CP 2 CP 1 CP 1, with small CP 2 and large CP 1 s, to show that a torus fiber close to the origin is non-displaceable. On the right, one thinks of M as a symplectic reduction of O( 1) CP 1 CP 1 to show that there is a non-displaceable torus fiber close to each blown-up point on CP 2. Again, note that the monotone case with just one non-displaceable torus fiber over the special central point can be obtained as a limit of any of these. It could also be obtained using Proposition 4.9, as was illustrated in 4.7 for the monotone one-point blow-up CP 2 CP Application 7. Here we will use the same idea to understand an example Fukaya, Oh, Ohta and Ono [14, 15], presented in Figure 8 (see Example 10.3 in [16]). The symplectic manifold is M = CP 2 2CP 2 with blow-ups of different sizes, one smaller than monotone and the other bigger than monotone, and they obtain a closed interval of non-displaceable

21 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 21 Figure 7. (CP 1 CP 1 ) CP 2 (big blow-up), equivalently CP 2 2CP 2 (small blow-ups), as reduction of CP 2 CP 1 CP 1 (on the left) and of O( 1) CP 1 CP 1 (on the right). torus fibers. This can also be obtained by considering M as the symplectic reduction of O( 1) CP 1 CP 1 (or the compact (CP 2 CP 2 ) CP 1 CP 1 ) as shown in Figure 8. Figure 8. CP 2 2CP 2 as reduction of O( 1) CP 1 CP 1. The details are as follows. Consider (CP 2 2CP 2, ω α ) given by the Delzant polytope P α (R 2 ) determined by the following inequalities: x x 1 + x α 0 x x 2 + (1 2α) 0 (x 1 + x 2 ) with 0 < α < 1.

22 22 M. ABREU AND L. MACARINI The non-displaceable torus fibers are over the points with coordinates ( α + λ, α) for 0 < λ < 3α/2 (Figure 8 corresponds to α = λ = 1/4). To prove that for each such pair of real numbers α and λ, we consider O( 1) CP 1 CP 1 with moment polytope given by the cartesian product of the following polytopes: - the one for the O( 1) factor is given by the inequalities x , x 1 + x α 0 and x λ 0, having a non-displaceable torus fiber over the point with coordinates x 1 = α + λ and x 2 = α. - the one for the first CP 1 factor is given by the inequalities x and x 3 + (1 2α) 0, having a non-displaceable torus fiber over the point with coordinate x 3 = α. - the one for the second CP 1 factor is given by the inequalities x α 2λ 0 and x , having a non-displaceable torus fiber over the point with coordinate x 4 = 2α + λ. We can now do symplectic reduction with respect to the 2-torus T 2 T 4 determined by the Lie algebra vectors (0, 1, 1, 0), ( 1, 1, 0, 1) R 4 = Lie(T 4 ) at the level given by x 3 = x 2 and x 4 = x 1 + x 2, to obtain the polytope P α with non-displaceable torus fiber over the point with coordinates x 1 = α + λ and x 2 = α Application 8. One can use the same idea to understand non-displaceable torus fibers on M = CP 2 3CP 2 for all possible sizes of blown-up points. Figure 9 illustrates the case of three small size blow-ups, where one gets four non-displaceable torus fibers. The center fiber is obtained by seeing M as the symplectic reduction of CP 2 CP 1 CP 1 CP 1, as in the left side of Figure 10, while each of the off-center fibers is obtained by seeing M as the symplectic reduction of O( 1) CP 1 CP 1 CP 1, as in the right side of Figure 10. Note that we can also get a closed interval of non-displaceable torus fibers for M = CP 2 3CP 2, e.g. by blowing up the example in Application 6 at the lower right corner of Figure Third Application: non-fano cases Here we will use the basic non-displaceability result for the central torus fiber of a weighted projective space stated in Theorem 1.7 and show how it implies non-displaceability of at least one torus fiber on any Hirzebruch surface, a result of Fukaya-Oh-Ohta-Ono [14] (see Example 10.1 in [16]), and a continuous interval of non-displaceable torus fibers on a particular non-fano toric surface considered by McDuff [18].

23 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 23 Figure 9. Four non-displaceable torus fibers on CP 2 3CP 2. Figure 10. CP 2 3CP 2 as reduction of CP 2 CP 1 CP 1 CP 1 (on the left) and of O( 1) CP 1 CP 1 CP 1 (on the right) Application 9. Consider the weighted projective space CP(1, 1, k), the symplectic quotient of C 3 by the S 1 -action with weights (1, 1, k), with moment polytope P k R 2 given by x , x and x 1 kx The special torus sitting over the origin is non-displaceable. Figure 11 illustrates the k = 2 case. Now let H k := P(O( k) C) CP 1 be a Hirzebruch surface, with 2 k N. Each of these Hirzebruch surfaces can be seen as a centered symplectic reduction of CP(1, 1, k)

24 24 M. ABREU AND L. MACARINI Figure 11. CP(1, 1, 2). CP 1 and that implies at least one non-displaceable torus fiber on any H k. Figure 12 illustrates the k = 2 case. Figure 12. The Hirzebruch surface H 2 as reduction of CP(1, 1, 2) CP Application 10. Here we will consider the non-fano toric symplectic 4-manifold described by McDuff in 2.1 of [18]. We already pointed out its potential significance in Remark Consider the Delzant polytope P (R 2 ) determined by the following inequalities: x x 1 3x x x 1 2x x

25 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 25 The torus fibers over the points with coordinates x 1 = λ and x 2 = 0, with 1 < λ < 2, are non-displaceable by probes. We can show that all these fibers are in fact non-displaceable by considering this toric 4-manifold as a symplectic reduction of CP(1, 1, 2) CP 1 O( 1), as shown in Figure 13 (where λ = 3/2). Figure 13. Non-Fano toric surface with interval on non-displaceable torus fibers. More precisely, for each 1 < λ < 2, consider CP(1, 1, 2) CP 1 O( 1) with moment polytope given by the cartesian product of the following polytopes: - the one for the CP(1, 1, 2) factor is given by the inequalities x , x λ 0 and x 1 2x λ 0, having a non-displaceable torus fiber over the point with coordinates x 1 = λ and x 2 = 0. - the one for the CP 1 factor is given by the inequalities x and x , having a non-displaceable torus fiber over the point with coordinate x 3 = 0. - the one for the O( 1) factor is given by the inequalities x , x λ 0 and x 4 + x , having a non-displaceable torus fiber over the point with coordinate x 4 = λ and x 5 = 0. We can now do symplectic reduction with respect to the 3-torus T 3 T 5 determined by the Lie algebra vectors (0, 1, 1, 0, 0), ( 1, 2, 0, 1, 0), (0, 1, 0, 0, 1) R 5 = Lie(T 5 ) at the level given by x 3 = x 2, x 4 = x 1 2x 2 and x 5 = x 2, to obtain the polytope P with non-displaceable torus fiber over the point with coordinates x 1 = λ and x 2 = 0.

26 26 M. ABREU AND L. MACARINI References [1] G. Alston, Lagrangian Floer homology of the Clifford torus and real projective space in odd dimensions, Journal of Symplectic Geometry 9 (2011), [2] G. Alston and L. Amorim, Floer cohomology of torus fibers and real Lagrangians in Fano toric manifolds, to appear in Internat. Math. Research Notices. [3] P. Biran and O. Cornea, Lagrangian Quantum Homology, in New perspectives and challenges in symplectic field theory, 1 44, CRM Proc. Lecture Notes 49, AMS, [4] P. Biran and O. Cornea, Rigidity and uniruling for Lagrangian submanifolds, Geom. Topol. 13 (2009), [5] P. Biran, M. Entov and L. Polterovich, Calabi quasimorphisms for the symplectic ball, Comm. Contemp. Math. 6 (2004), [6] M. S. Borman, Symplectic reduction of quasi-morphisms and quasi-states, preprint (2010), arxiv: [7] M. S. Borman, Quasi-states, quasi-morphisms, and the moment map, preprint (2011), arxiv: [8] C.-H. Cho, Holomorphic discs, spin structures and the Floer cohomology of the Clifford torus, Int. Math. Res. Not. 35 (2004), [9] C.-H. Cho, Non-displaceable Lagrangian submanifolds and Floer cohomology with non-unitary line bundle, J. Geom. Phys. 58 (2008), [10] C.-H. Cho and M. Poddar, Holomorphic orbidiscs and Lagrangian Floer cohomology of compact toric orbifolds, in preparation. [11] C.-H. Cho and Y.-G. Oh, Floer cohomology and disc instantons of Lagrangian torus fibers in toric Fano manifolds, Asian J. Math. 10 (2006), [12] D. Cox, Lectures on Toric Varieties, dac/lectures/coxcimpa.pdf. [13] M. Entov and L. Polterovich, Rigid subsets of symplectic manifolds, Compositio Math. 145 (2009), [14] K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Lagrangian Floer theory on compact toric manifolds I, Duke Math. J. 151 (2010), [15] K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Lagrangian Floer theory on compact toric manifolds II: bulk deformations, preprint (2008), arxiv.org: , to appear in Selecta Mathematica. [16] K. Fukaya, Y.-G. Oh, H. Ohta and K. Ono, Lagrangian Floer theory on compact toric manifolds: a survey, preprint (2010), arxiv: [17] D. McDuff, Displacing Lagrangian toric fibers via probes, preprint (2009), arxiv: , to appear in Geometry and Topology. [18] D. McDuff, The topology of toric symplectic manifolds, Geom. Topol. 15 (2011), [19] Y. Oh, Floer cohomology of Lagrangian intersections and pseudo-holomorphic disks I, Comm. Pure Appl. Math. 46 (1993) ; Addendum, Comm. Pure Appl. Math. 48 (1995), [20] D. Tamarkin, Microlocal condition for non-displaceability, preprint (2008), arxiv: [21] G. Wilson and C. Woodward, Quasimap Floer cohomology and singular symplectic quotients, preprint (2011), arxiv: [22] C. Woodward, Gauged Floer theory of toric moment fibers, preprint (2010), arxiv: , to appear in Geometric and Functional Analysis..

27 REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS 27 Centro de Análise Matemática, Geometria e Sistemas Dinâmicos, Departamento de Matemática, Instituto Superior Técnico, Av. Rovisco Pais, Lisboa, Portugal address: mabreu@math.ist.utl.pt Universidade Federal do Rio de Janeiro, Instituto de Matemática, Cidade Universitária, CEP Rio de Janeiro - Brazil address: leonardo@impa.br