arxiv: v1 [math.sg] 6 Nov 2015
|
|
- Donald Kennedy
- 6 years ago
- Views:
Transcription
1 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: v1 [math.sg] 6 Nov 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
2 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 = 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 µ and for the reduced space CP 1 : µ 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.
3 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 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 = ( ), 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().
5 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. µ µ
6 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
7 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 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), [Ch] Chiang, R., New Lagrangian submanifolds of CP n, Int. Math. Res. Not. 004, [LW] Li, T.-J., Wu, W., Lagrangian spheres, symplectic surfaces and the symplectic mapping class group, Geom. Topol. 16 (01),
8 8 ANA CANNAS DA SILVA [WW] Wehrheim, K., Woodward, C. T., Quilted Floer cohomology, Geom. Topol. 14 (010), Department of Mathematics, ETH Zurich, Rämistrasse 101, 809 Zürich, Switzerland address:
A CHIANG-TYPE LAGRANGIAN IN CP 2
A CHIANG-TYPE LAGRANGIAN IN CP 2 ANA CANNAS DA SILVA Abstract. We analyse a monotone lagrangian in CP 2 that is hamiltonian isotopic to the standard lagrangian RP 2, yet exhibits a distinguishing behaviour
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationCorrigendum to: Geometric Composition in Quilted Floer Theory
Corrigendum to: Geometric Composition in Quilted Floer Theory YANKI LEKILI MAX LIPYANSKIY As we explain below, an error in Lemma 11 of [5] affects the main results of that paper (Theorems 1, 2 and 3 of
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationLECTURE 11: SYMPLECTIC TORIC MANIFOLDS. Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8
LECTURE 11: SYMPLECTIC TORIC MANIFOLDS Contents 1. Symplectic toric manifolds 1 2. Delzant s theorem 4 3. Symplectic cut 8 1. Symplectic toric manifolds Orbit of torus actions. Recall that in lecture 9
More informationA DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX
A DANILOV-TYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX HAJIME FUJITA Abstract. We give a direct geometric proof of a Danilov-type formula for toric origami manifolds by using the
More informationA LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM CONTENTS
A LITTLE TASTE OF SYMPLECTIC GEOMETRY: THE SCHUR-HORN THEOREM TIMOTHY E. GOLDBERG ABSTRACT. This is a handout for a talk given at Bard College on Tuesday, 1 May 2007 by the author. It gives careful versions
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationA. CANNAS DA SILVA, V. GUILLEMIN, AND A. R. PIRES
SYMPLECTIC ORIGAMI arxiv:0909.4065v1 [math.sg] 22 Sep 2009 A. CANNAS DA SILVA, V. GUILLEMIN, AND A. R. PIRES Abstract. An origami manifold is a manifold equipped with a closed 2-form which is symplectic
More informationLECTURE 4: SYMPLECTIC GROUP ACTIONS
LECTURE 4: SYMPLECTIC GROUP ACTIONS WEIMIN CHEN, UMASS, SPRING 07 1. Symplectic circle actions We set S 1 = R/2πZ throughout. Let (M, ω) be a symplectic manifold. A symplectic S 1 -action on (M, ω) is
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationDelzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationGeometry and Dynamics of singular symplectic manifolds. Session 9: Some applications of the path method in b-symplectic geometry
Geometry and Dynamics of singular symplectic manifolds Session 9: Some applications of the path method in b-symplectic geometry Eva Miranda (UPC-CEREMADE-IMCCE-IMJ) Fondation Sciences Mathématiques de
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationTHE EULER CHARACTERISTIC OF A LIE GROUP
THE EULER CHARACTERISTIC OF A LIE GROUP JAY TAYLOR 1 Examples of Lie Groups The following is adapted from [2] We begin with the basic definition and some core examples Definition A Lie group is a smooth
More informationHamiltonian Toric Manifolds
Hamiltonian Toric Manifolds JWR (following Guillemin) August 26, 2001 1 Notation Throughout T is a torus, T C is its complexification, V = L(T ) is its Lie algebra, and Λ V is the kernel of the exponential
More informationComplex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let
Chapter 1 Complex line bundles 1.1 Connections of line bundle Consider a complex line bundle L M. For any integer k N, let be the space of k-forms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition
More informationMath 215B: Solutions 1
Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an
More informationKähler configurations of points
Kähler configurations of points Simon Salamon Oxford, 22 May 2017 The Hesse configuration 1/24 Let ω = e 2πi/3. Consider the nine points [0, 1, 1] [0, 1, ω] [0, 1, ω 2 ] [1, 0, 1] [1, 0, ω] [1, 0, ω 2
More informationCALIBRATED FIBRATIONS ON NONCOMPACT MANIFOLDS VIA GROUP ACTIONS
DUKE MATHEMATICAL JOURNAL Vol. 110, No. 2, c 2001 CALIBRATED FIBRATIONS ON NONCOMPACT MANIFOLDS VIA GROUP ACTIONS EDWARD GOLDSTEIN Abstract In this paper we use Lie group actions on noncompact Riemannian
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationAN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY
1 AN INTRODUCTION TO THE MASLOV INDEX IN SYMPLECTIC TOPOLOGY Andrew Ranicki and Daniele Sepe (Edinburgh) http://www.maths.ed.ac.uk/ aar Maslov index seminar, 9 November 2009 The 1-dimensional Lagrangians
More informationSYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO
SYMPLECTIC LEFSCHETZ FIBRATIONS ALEXANDER CAVIEDES CASTRO. Introduction A Lefschetz pencil is a construction that comes from algebraic geometry, but it is closely related with symplectic geometry. Indeed,
More informationProjective Dehn twist
Spherical Dehn twist Spherical vs Projective and more Institute for Advanced Study September 23, 2016 Spherical Dehn twist Spherical vs Projective and more Symplectic manifolds A symplectic manifold (M
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationFlat connections on 2-manifolds Introduction Outline:
Flat connections on 2-manifolds Introduction Outline: 1. (a) The Jacobian (the simplest prototype for the class of objects treated throughout the paper) corresponding to the group U(1)). (b) SU(n) character
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationJ-holomorphic curves in symplectic geometry
J-holomorphic curves in symplectic geometry Janko Latschev Pleinfeld, September 25 28, 2006 Since their introduction by Gromov [4] in the mid-1980 s J-holomorphic curves have been one of the most widely
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationFoliations of Three Dimensional Manifolds
Foliations of Three Dimensional Manifolds M. H. Vartanian December 17, 2007 Abstract The theory of foliations began with a question by H. Hopf in the 1930 s: Does there exist on S 3 a completely integrable
More informationStratification of 3 3 Matrices
Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (
More informationarxiv: v3 [math.sg] 17 Jan 2012
REMARKS ON LAGRANGIAN INTERSECTIONS IN TORIC MANIFOLDS MIGUEL ABREU AND LEONARDO MACARINI arxiv:1105.0640v3 [math.sg] 17 Jan 2012 Abstract. We consider two natural Lagrangian intersection problems in the
More informationMoment Maps and Toric Special Holonomy
Department of Mathematics, University of Aarhus PADGE, August 2017, Leuven DFF - 6108-00358 Delzant HyperKähler G 2 Outline The Delzant picture HyperKähler manifolds Hypertoric Construction G 2 manifolds
More informationCOMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY
COMPUTABILITY AND THE GROWTH RATE OF SYMPLECTIC HOMOLOGY MARK MCLEAN arxiv:1109.4466v1 [math.sg] 21 Sep 2011 Abstract. For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationAction-angle coordinates and geometric quantization. Eva Miranda. Barcelona (EPSEB,UPC) STS Integrable Systems
Action-angle coordinates and geometric quantization Eva Miranda Barcelona (EPSEB,UPC) STS Integrable Systems Eva Miranda (UPC) 6ecm July 3, 2012 1 / 30 Outline 1 Quantization: The general picture 2 Bohr-Sommerfeld
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationAlgebra I Fall 2007
MIT OpenCourseWare http://ocw.mit.edu 18.701 Algebra I Fall 007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.701 007 Geometry of the Special Unitary
More informationSymplectic Origami. A. Cannas da Silva 1,2, V. Guillemin 3, and A. R. Pires 3
A. Cannas et al. (2011) Symplectic Origami, International Mathematics Research Notices, Vol. 2011, No. 18, pp. 4252 4293 Advance Access publication December 2, 2010 doi:10.1093/imrn/rnq241 Symplectic Origami
More informationComplex structures on 4-manifolds with symplectic 2-torus actions
Complex structures on 4-manifolds with symplectic 2-torus actions J.J. Duistermaat and A. Pelayo Abstract We apply the general theory for symplectic torus actions with symplectic or coisotropic orbits
More informationQualifying Examination HARVARD UNIVERSITY Department of Mathematics Tuesday, January 19, 2016 (Day 1)
Qualifying Examination HARVARD UNIVERSITY Department of Mathematics Tuesday, January 19, 2016 (Day 1) PROBLEM 1 (DG) Let S denote the surface in R 3 where the coordinates (x, y, z) obey x 2 + y 2 = 1 +
More informationKODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI
KODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI JOSEF G. DORFMEISTER Abstract. The Kodaira dimension for Lefschetz fibrations was defined in [1]. In this note we show that there exists no Lefschetz
More informationMath. Res. Lett. 13 (2006), no. 1, c International Press 2006 ENERGY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ.
Math. Res. Lett. 3 (2006), no., 6 66 c International Press 2006 ENERY IDENTITY FOR ANTI-SELF-DUAL INSTANTONS ON C Σ Katrin Wehrheim Abstract. We establish an energy identity for anti-self-dual connections
More informationFrom action-angle coordinates to geometric quantization: a 30-minute round-trip. Eva Miranda
From action-angle coordinates to geometric quantization: a 30-minute round-trip Eva Miranda Barcelona (UPC) Geometric Quantization in the non-compact setting Eva Miranda (UPC) MFO, 2011 18 February, 2011
More informationSYMPLECTIC GEOMETRY: LECTURE 1
SYMPLECTIC GEOMETRY: LECTURE 1 LIAT KESSLER 1. Symplectic Linear Algebra Symplectic vector spaces. Let V be a finite dimensional real vector space and ω 2 V, i.e., ω is a bilinear antisymmetric 2-form:
More informationNew constructions of Hamiltonian-minimal Lagrangian submanifolds
New constructions of Hamiltonian-minimal Lagrangian submanifolds based on joint works with Andrey E. Mironov Taras Panov Moscow State University Integrable Systems CSF Ascona, 19-24 June 2016 Taras Panov
More informationCANONICAL METRICS AND STABILITY OF PROJECTIVE VARIETIES
CANONICAL METRICS AND STABILITY OF PROJECTIVE VARIETIES JULIUS ROSS This short survey aims to introduce some of the ideas and conjectures relating stability of projective varieties to the existence of
More informationzi z i, zi+1 z i,, zn z i. z j, zj+1 z j,, zj 1 z j,, zn
The Complex Projective Space Definition. Complex projective n-space, denoted by CP n, is defined to be the set of 1-dimensional complex-linear subspaces of C n+1, with the quotient topology inherited from
More informationRes + X F F + is defined below in (1.3). According to [Je-Ki2, Definition 3.3 and Proposition 3.4], the value of Res + X
Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the H-equivariant Euler class of the normal bundle ν(f), c is a non-zero constant 2, and is defined below in (1.3).
More informationBroken pencils and four-manifold invariants. Tim Perutz (Cambridge)
Broken pencils and four-manifold invariants Tim Perutz (Cambridge) Aim This talk is about a project to construct and study a symplectic substitute for gauge theory in 2, 3 and 4 dimensions. The 3- and
More informationTorus actions on positively curved manifolds
on joint work with Lee Kennard and Michael Wiemeler Sao Paulo, July 25 2018 Positively curved manifolds Examples with K > 0 Few known positively curved simply connected closed manifolds. The compact rank
More informationAbelian Varieties and Complex Tori: A Tale of Correspondence
Abelian Varieties and Complex Tori: A Tale of Correspondence Nate Bushek March 12, 2012 Introduction: This is an expository presentation on an area of personal interest, not expertise. I will use results
More informationEva Miranda. UPC-Barcelona and BGSMath. XXV International Fall Workshop on Geometry and Physics Madrid
b-symplectic manifolds: going to infinity and coming back Eva Miranda UPC-Barcelona and BGSMath XXV International Fall Workshop on Geometry and Physics Madrid Eva Miranda (UPC) b-symplectic manifolds Semptember,
More informationFoliations, Fractals and Cohomology
Foliations, Fractals and Cohomology Steven Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Colloquium, University of Leicester, 19 February 2009 Steven Hurder (UIC) Foliations, fractals,
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationTRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap
TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE Luis Guijarro and Gerard Walschap Abstract. In this note, we examine the relationship between the twisting of a vector bundle ξ over a manifold
More informationarxiv: v1 [math.dg] 25 Dec 2018 SANTIAGO R. SIMANCA
CANONICAL ISOMETRIC EMBEDDINGS OF PROJECTIVE SPACES INTO SPHERES arxiv:82.073v [math.dg] 25 Dec 208 SANTIAGO R. SIMANCA Abstract. We define inductively isometric embeddings of and P n (C) (with their canonical
More informationMonomial equivariant embeddings of quasitoric manifolds and the problem of existence of invariant almost complex structures.
Monomial equivariant embeddings of quasitoric manifolds and the problem of existence of invariant almost complex structures. Andrey Kustarev joint work with V. M. Buchstaber, Steklov Mathematical Institute
More information12 Geometric quantization
12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped
More informationGEOMETRIC QUANTIZATION
GEOMETRIC QUANTIZATION 1. The basic idea The setting of the Hamiltonian version of classical (Newtonian) mechanics is the phase space (position and momentum), which is a symplectic manifold. The typical
More informationA meridian disk of the solid torus wraps q times around its image disk. Here p =1 and q =2.
4. HYPERBOLIC DEHN SURGERY A meridian disk of the solid torus wraps q times around its image disk. Here p =1 and q =2. Any three-manifold with a complete codimension-2 hyperbolic foliation has universal
More informationIntersection of stable and unstable manifolds for invariant Morse functions
Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and
More information1 Smooth manifolds and Lie groups
An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely
More informationRUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW
Hedén, I. Osaka J. Math. 53 (2016), 637 644 RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW ISAC HEDÉN (Received November 4, 2014, revised May 11, 2015) Abstract The famous Russell hypersurface is
More informationSymplectic Geometry Through Polytopes
Symplectic Geometry Through Polytopes Colby Kelln Mentor: Daniel Burns August 27, 2018 Abstract We begin by exploring basic notions in symplectic geometry, leading up to a discussion of moment maps. These
More informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationConvex Projective Structures on Non-hyperbolic 3-manifolds
Convex Projective Structures on Non-hyperbolic 3-manifolds Sam Ballas (joint with J. Danciger and G.-S. Lee) Higher Teichmüller theory and Higgs bundles Heidelberg November 3, 2015 Overview If you want
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
More informationA SHORT GALLERY OF CHARACTERISTIC FOLIATIONS
A SHORT GALLERY OF CHARACTERISTIC FOLIATIONS AUSTIN CHRISTIAN 1. Introduction The purpose of this note is to visualize some simple contact structures via their characteristic foliations. The emphasis is
More informationA Convexity Theorem For Isoparametric Submanifolds
A Convexity Theorem For Isoparametric Submanifolds Marco Zambon January 18, 2001 1 Introduction. The main objective of this paper is to discuss a convexity theorem for a certain class of Riemannian manifolds,
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationEva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February
From b-poisson manifolds to symplectic mapping torus and back Eva Miranda UPC-Barcelona (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February 8 2011 Eva Miranda (UPC) Poisson Day February
More informationarxiv: v4 [math.sg] 24 Jul 2011
DISPLACING LAGRANGIAN TORIC FIBERS VIA PROBES DUSA MCDUFF arxiv:0904.1686v4 [math.sg] 24 Jul 2011 Abstract. This note studies the geometric structure of monotone moment polytopes (the duals of smooth Fano
More informationBRST 2006 (jmf) 7. g X (M) X ξ X. X η = [ξ X,η]. (X θ)(η) := X θ(η) θ(x η) = ξ X θ(η) θ([ξ X,η]).
BRST 2006 (jmf) 7 Lecture 2: Symplectic reduction In this lecture we discuss group actions on symplectic manifolds and symplectic reduction. We start with some generalities about group actions on manifolds.
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions
More informationSymplectic topology and algebraic geometry II: Lagrangian submanifolds
Symplectic topology and algebraic geometry II: Lagrangian submanifolds Jonathan Evans UCL 26th January 2013 Jonathan Evans (UCL) Lagrangian submanifolds 26th January 2013 1 / 35 Addendum to last talk:
More informationMarsden-Weinstein Reductions for Kähler, Hyperkähler and Quaternionic Kähler Manifolds
Marsden-Weinstein Reductions for Kähler, Hyperkähler and Quaternionic Kähler Manifolds Chenchang Zhu Nov, 29th 2000 1 Introduction If a Lie group G acts on a symplectic manifold (M, ω) and preserves the
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
More informationA little taste of symplectic geometry
A little taste of symplectic geometry Timothy Goldberg Thursday, October 4, 2007 Olivetti Club Talk Cornell University 1 2 What is symplectic geometry? Symplectic geometry is the study of the geometry
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
More informationVortex Equations on Riemannian Surfaces
Vortex Equations on Riemannian Surfaces Amanda Hood, Khoa Nguyen, Joseph Shao Advisor: Chris Woodward Vortex Equations on Riemannian Surfaces p.1/36 Introduction Yang Mills equations: originated from electromagnetism
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More informationThe Hopf Bracket. Claude LeBrun SUNY Stony Brook and Michael Taylor UNC Chapel Hill. August 11, 2013
The Hopf Bracket Claude LeBrun SUY Stony Brook and ichael Taylor UC Chapel Hill August 11, 2013 Abstract Given a smooth map f : between smooth manifolds, we construct a hierarchy of bilinear forms on suitable
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationarxiv:math/ v1 [math.gt] 14 Dec 2004
arxiv:math/0412275v1 [math.gt] 14 Dec 2004 AN OPEN BOOK DECOMPOSITION COMPATIBLE WITH RATIONAL CONTACT SURGERY BURAK OZBAGCI Abstract. We construct an open book decomposition compatible with a contact
More informationHigher codimension CR structures, Levi-Kähler reduction and toric geometry
Higher codimension CR structures, Levi-Kähler reduction and toric geometry Vestislav Apostolov (Université du Québec à Montréal) May, 2015 joint work in progress with David Calderbank (University of Bath);
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationMath 225B: Differential Geometry, Final
Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of
More informationChanging coordinates to adapt to a map of constant rank
Introduction to Submanifolds Most manifolds of interest appear as submanifolds of others e.g. of R n. For instance S 2 is a submanifold of R 3. It can be obtained in two ways: 1 as the image of a map into
More informationDEVELOPMENT OF MORSE THEORY
DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined
More informationDifferential Geometry qualifying exam 562 January 2019 Show all your work for full credit
Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit 1. (a) Show that the set M R 3 defined by the equation (1 z 2 )(x 2 + y 2 ) = 1 is a smooth submanifold of R 3.
More information