A CHIANG-TYPE LAGRANGIAN IN CP ANA CANNAS DA SILVA Abstract. We analyse a simple Chiang-type lagrangian in CP which is topologically an RP but exhibits a distinguishing behaviour under reduction by one of the toric circle actions, in particular it is a one-to-one transverse lifting of a great circle in CP 1. arxiv:1511.0041v1 [math.sg] 6 Nov 015 1. Lagrangians in a symplectic reduction scenario Let (M, ω) be a n-dimensional symplectic manifold equipped with a hamiltonian action of a k-dimensional real torus T k where k < n and corresponding moment map µ M R k. We assume that a R k is a regular value of µ such that the reduced space M red = µ 1 (a)/t k is a manifold. The latter comes with the so-called reduced symplectic form ω red satisfying the equation π ω red = ı ω, where π µ 1 (a) M red is the point-orbit projection and ı µ 1 (a) M is the set inclusion: µ 1 (a) π M red Let l 1 M red be a compact lagrangian submanifold of the reduced space. Then its preimage in M, ı M L 1 = ı(π 1 (l 1 )), is always a compact lagrangian submanifold of (M, ω), which happens to lie entirely in the level set µ 1 (a). Motivated by a question of Katrin Wehrheim s related to her joint work with Chris Woodward [WW], we are looking for a reverse picture where starting from a lagrangian in (M, ω) we obtain a lagrangian in (M red, ω red ). For that purpose suppose now that we have a compact lagrangian submanifold L M such that L µ 1 (a), that is, L and µ 1 (a) intersect transversally and L µ 1 (a) π M red, that is, L intersects each T n -orbit in µ 1 (a) at most once, so the intersection submanifold L µ 1 (a) injects into the reduced space M red via the pointorbit projection π. In this case we obtain an embedded lagrangian submanifold in the reduced space (M red, ω red ), namely l = π(l µ 1 (a)), and we call L a one-to-one transverse lifting of l. Date: July 015. 1
ANA CANNAS DA SILVA In this note we will concentrate on the case where the symplectic manifold is the complex projective plane, M = CP, with a scaled Fubini-Study structure so that the total volume is π. We regard the circle action where a circle element e iθ S 1 (0 θ < π) acts by with moment map [z 0 z 1 z ] [z 0 z 1 e iθ z ] µ CP R, µ [z 0 z 1 z ] = 1 z z 0 + z 1 + z and the chosen level is a = 1 6.1 With these choices we have n =, k = 1 and the reduced space (M red, ω red ) is a complex projective line CP 1 with a scaled Fubini-Study form so that the total area is π 3. Pictorially in terms of toric moment polytopes we have for the original space CP : µ 1 µ 1 1 6 1 and for the reduced space CP 1 : 1 3 0 µ red The reduction is carried out with respect to the moment map µ. The other standard hamiltonian circle action with moment map µ 1 [z 0 z 1 z ] = 1 z 1 z 0 + z 1 + z descends to the reduced space, where we denote the induced moment map µ red CP 1 R. Section exhibits a non-standard lagrangian embedding of RP into CP, which in Section 3 is shown to be a one-to-one transverse lifting of a great circle in CP 1.. A non-standard lagrangian RP in CP from representation theory The example at stake is a lagrangian submanifold L of CP which arises as an orbit for an SU()-action, similar to a lagrangian studied by River Chiang in [Ch]. We first define L explicitly as a subset of CP : L = {[ᾱ + β (ᾱβ α β) α + β ] α, β C, α + β = 1}. 1 All other levels in the range 1 4 < a < 0 allow the one-to-one transverse lifting property, but this level (that of the so-called Clifford torus {[1 e iθ 1 e iθ ]}) ensures the monotonicity of l ; see Remark 3.6.
A CHIANG-TYPE LAGRANGIAN IN CP 3 Lemma.1. The set L is a submanifold of CP diffeomorphic to RP. Proof. We view CP as the space of homogeneous complex polynomials of degree in two variables x and y up to scaling, [z 0 z 1 z ] p [z0 z 1 z ](x, y) = z 0 y + z 1 xy + z x, and let the group SU() act as follows. An element A = ( α β β ᾱ ) SU() where α, β C and α + β = 1, acts by the change-of-variables diffeomorphism p(x, y) p ((x, y)a) = p (αx βy, βx + ᾱy). Then the set L is simply the SU()-orbit of the polynomial p [1 0 1] (x, y) = y +x or, equivalently, of the point [1 0 1]. So L is an SU()-homogeneous space. Since the stabilizer of [1 0 1] L is the subgroup S = {( cos θ sin θ cos θ i sin θ ), (i ) θ [0, π)} sin θ cos θ i sin θ i cos θ where the component of the identity is a circle subgroup of SU() (hence conjugate to the Hopf subgroup), it follows that L is diffeomorphic to SU() / S RP. There is a convenient real description of L by defining In these terms we have X = R(α + β ), Y = I(α + β ) and Z = I(ᾱβ). L = {[X iy iz X + iy ] X, Y, Z R, X + Y + Z = 1}, which also shows that L S / ± 1 RP. Lemma.. The submanifold L is lagrangian. Proof. The fact that L is isotropic can be checked either directly (computing the vector fields generated by the SU() action) or, as done here, analysing a hamiltonian action in the context of representation theory. The standard hermitian metric on the vector space V = C, namely h(z, w) = z T w = R( z T w) euclidean inner prod. +i I( z T w) standard sympl. str. induces an hermitian metric on the symmetric power Sym (V ) for which y, xy, x,
4 ANA CANNAS DA SILVA is a unitary basis; here x and y (the linear maps extracting the first and second components of a vector in C ) form the standard unitary basis of V. We denote u 0, u 1, u the corresponding coordinates in Sym (V ) and write an element of Sym (V ) as p(x, y) = u 0 y + u 1 xy + u x. W.r.t. these coordinates the symplectic structure on Sym (V ) is the standard structure: Ω 0 = i (du 0dū 0 + du 1 dū 1 + du dū ). The diagonal circle action on Sym (V ) is hamiltonian with moment map linearly proportional to u 0 + u 1 + u and by symplectic reduction at the level of the unit sphere we obtain the space of homogeneous complex polynomials of degree in two variables x and y up to scaling, P (Sym (V )) S 5 /S 1 CP, with the standard Fubini-Study structure (S 1 acts on S 5 by the Hopf action). Now the action of SU() on Sym (V ) by change-of-variables as above is a unitary representation (this is the 3-dimensional irreducible representation of SU()), hence hamiltonian with moment map µ Sym (V ) su() R 3 defined as follows w.r.t. the real basis X a = ( i 0 0 i ), X b = ( 0 i i 0 ), X c = ( 0 1 1 0 ), of the Lie algebra su() and the unitary basis above of Sym (V ): u 0 u µ(u 0, u 1, u ) = R(u 0 ū 1 + u 1 ū ) I(u 0 ū 1 + u 1 ū ). This SU() action commutes with the diagonal S 1 action, hence descends to a hamiltonian action of SU() on CP with moment map z 0 z µ CP su() R 3, µ[z 0 z 1 z ] = R(z 0 z 1 + z 1 z ) I(z 0 z 1 + z 1 z ), where now z 0, z 1, z are homogeneous coordinates satisfying z 0 + z 1 + z = 1. The submanifold L is isotropic because it is an SU() orbit and sits in the zero-level of the moment map µ indeed we have z 0 = z and z 0 z 1 +z 1 z = 0 when z 0 = z and z 1 is imaginary. It follows that L is lagrangian because it is half-dimensional. In general a symplectic representation ρ G Sympl(C N, Ω 0) may be viewed as a hamiltonian action with moment map µ C N g, µ(z)(x g ) = i 4 (z Xz z X z) where z C N, X g g and X the matrix representing the corresponding element in the Lie algebra of Sympl(C N, Ω 0). In the special case where the representation is unitary, the formula for the moment map reduces to µ(z)(x g ) = i z Xz. In the present case one determines the matrix X for each of the Lie algebra basis elements X a, X b, X c su().
A CHIANG-TYPE LAGRANGIAN IN CP 5 3. Properties of the lagrangian L Lemma 3.1. The submanifold L intersects transversally the moment map level set µ 1 (a). Proof. We claim that in the interior of the moment polytope the restriction of dµ to L never vanishes. This implies the lemma because the level set µ 1 (a) is a codimension one submanifold whose tangent bundle is the kernel of dµ. Using the real description of L, L = {[X iy iz X + iy ] X, Y, Z R, X + Y + Z = 1}, we parametrize it (in the interior of the moment polytope) via real coordinates X and Y, choosing Z = 1 X Y, X + Y < 1, so that that part of L is the set of points We evaluate µ in points of the above form: X iy X iy [ i 1 X Y 1 X + iy i 1 X Y ]. X+iY X+iY µ [ 1 ] = 1 i 1 X Y i 1 X Y = 1 X iy +(1 X Y )+ X+iY 4 (X + Y ). This shows that the differential of µ only vanishes when µ itself vanishes, which never happens in the interior of the moment polytope. It is interesting also to discuss the image of L by the full toric moment map (µ 1, µ ). This image satisfies the equation µ 1 + µ = 1 because 1 z 1 + z z 0 + z 1 + z = 1 z 0 = z holds at all points in L. Moreover this image is connected and contains the endpoints: µ [1 0 1] = 1 4 when (α, β) = (1, 0) and µ [0 i 0] = 0 when (α, β) = ( 1, i ), hence it follows that the set µ(l ) is the full skewed line segment in boldface depicted below. µ 1 1 3 1 6 µ 1 1 6 1 4 1
6 ANA CANNAS DA SILVA Now L is invariant under the following tilted circle action where e iθ acts by [z 0 z 1 z ] [z 0 e iθ z 1 e iθ z ]. Indeed, regarding θ = ν, when we replace (α, β) by (e iν α, e iν β) the corresponding points of L change by [z 0 z 1 z ] [e iν z 0 z 1 e iν z ] = [z 0 e iν z 1 e 4iν z ]. We now use action-angle coordinates (θ 1, µ 1, θ, µ ) which are valid in the interior of the moment polytope. W.r.t. these coordinates the Fubini-Study form is dθ 1 dµ 1 + dθ dµ. In these terms the discussion above shows that the tangent space at any point [z 0 z 1 z ] of L with all z 0, z 1, z 0 contains the tangent vector subspace space spanned by θ 1, θ 1 + θ and is contained in the coisotropic θ, µ 1 µ (this subspace is the kernel of dµ 1 + dµ = 0). So a generating system of T L may be chosen to be v 1 = θ 1 + θ f + g + ( ) θ 1 θ µ 1 µ and v of the form for some real functions f and g (we used the transversality fact dµ 0 on L in the interior of the moment polytope ; see the proof of Lemma 3.1). Remark 3.. By shuffling the coordinates there are other two similar lagrangian submanifolds whose images under the toric moment map are the other two medians (line segments joining a vertex to the midpoint of the opposing side). If we consider lagrangians in CP whose image by the toric moment map is the intersection of the moment polytope with an affine space, there are also the trivial examples given by: interior points (the lagrangians are the action tori), line segments not through the vertices and with specific rational slopes (the lagrangians are the preimages by single-circle reduction of an RP 1 in CP 1, which topologically are tori) and the full polytope (the lagrangians are the standard RP and its toric rotations). Lemma 3.3. In the interior of the moment polytope, the manifold L intersects at most once each orbit of the second circle action in CP. Proof. We compare two points in L which map to the interior of the moment polytope, say and P = [ᾱ + β (ᾱβ α β) α + β ] p = [ā + b (āb a b) a + b ] where α, β, a, b C are such that α + β = 1, a + b = 1 and all homogeneous coordinates of P and p are nonzero. The goal is to check that such points can never be nontrivially related by the second circle action, that is, [ā + b (āb a b) a + b ] = [ᾱ + β (ᾱβ α β) e iθ (α + β )]? e iθ = 1
or equivalently [1 A CHIANG-TYPE LAGRANGIAN IN CP 7 (āb a b) a +b (ᾱβ α β) ] = [1 ā + b ā + b ᾱ + β e iθ α +β ᾱ + β ]? e iθ = 1. We equate the coordinates noting that āb a b = ii(āb) is an imaginary number: ii(āb) ii(ᾱβ) = ā + b ᾱ + β a +b = e iθ α +β ā + b ᾱ + β. Equivalently, using converse cross-ratios, we have I(āb) ā I(ᾱβ) = + b ᾱ + β a +b = e iθ ā + b α +β ᾱ + β. The first equation implies that ρ = ā + b ᾱ + β is a real number. Since the fraction on the right-hand side of the second equation is ρ and on the left is ρ, these real numbers must be identical and hence e iθ = 1. Remark 3.4. A different proof of Lemma 3.3 was first found by Radivoje Bankovic in [Ba]. There he analysed L as a singular fibration over the moment map image tilted segment, within the -torus fibers, using our earlier lemmas. The result in Lemma 3.3 is interesting in itself since it shows a contrast between the lagrangian L and the standard embedding of RP in CP as the fixed locus of complex conjugation: the standard embedding intersects each orbit of the second circle action twice (in the interior of the moment polytope), namely for each point [y 0 y 1 y ] with y 0, y 1, y R there is also the point [y 0 y 1 y ] related by the second circle action. Similarly for the first circle action. The lagrangian L has also double intersections with orbits of the first circle action: [X iy iz X + iy ] and [X iy iz X + iy ]. Corollary 3.5. The lagrangian submanifold L is a one-to-one transverse lifting of a great circle l in CP 1. Proof. The previous two lemmas show that L is a one-to-one transverse lifting of a compact lagrangian submanifold l in CP 1. In order to see that l is a great circle it is enough to note that it lies in the middle level set of µ red. Remark 3.6. By Corollary 1..11 of Biran and Cornea [BC] the lagrangian L is monotone, has minimal Maslov index 3 and has HF k (L, L ) Z for every k Z. These properties all follow directly from the fact that L is hamiltonian isotopic to the standard RP according to Theorem 6.9 of Li and Wu [LW]. Having chosen the level a = 1 6 we obtain that the corresponding lagrangian l in the reduced space is a great circle, hence also monotone. References [Ba] Bankovic, R., An Example of a Lagrangian 1-to-1 Transverse Lifting, ETH MSc thesis 014. [BC] Biran, P., Cornea, O., Rigidity and uniruling for Lagrangian submanifolds, Geom. Topol. 13 (009), 881-989. [Ch] Chiang, R., New Lagrangian submanifolds of CP n, Int. Math. Res. Not. 004, 437-441. [LW] Li, T.-J., Wu, W., Lagrangian spheres, symplectic surfaces and the symplectic mapping class group, Geom. Topol. 16 (01), 111-1169.
8 ANA CANNAS DA SILVA [WW] Wehrheim, K., Woodward, C. T., Quilted Floer cohomology, Geom. Topol. 14 (010), 833-90. Department of Mathematics, ETH Zurich, Rämistrasse 101, 809 Zürich, Switzerland E-mail address: acannas@math.ethz.ch