Eva Miranda. UPC-Barcelona and BGSMath. XXV International Fall Workshop on Geometry and Physics Madrid
|
|
- Amy Patterson
- 5 years ago
- Views:
Transcription
1 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, / 27
2 Outline 1 Motivating examples 2 b n -Symplectic manifolds 3 Integrable systems on b-symplectic manifolds 4 Deblogging b n -symplectic manifolds Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
3 The restricted 3-body problem (joint with Delshams) Simplified version of the general 3-body problem. One of the bodies has negligible mass. The other two bodies move independently of it following Kepler s laws for the 2-body problem on elliptic orbits with eccentricity e. Figure: Circular 3-body problem Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
4 Planar restricted 3-body problem By Newton s law of universal gravitation d 2 q dt 2 = (1 µ) q 1 q q 1 q 3 + µ q 2 q q 2 q 3 (1) with q 1 = q 1 (t) the position of the planet with mass 1 µ at time t and q 2 = q 2 (t) the position of the one with mass µ. Introducing the momentum p = dq/dt and the time-dependent self-potential of the small body U(q, t) = 1 µ q q + µ 1 q q 2 Equation (1) can be rewritten as a Hamiltonian system with Hamiltonian H(q, p, t) = p 2 /2 U(q, t), (q, p) R 2 R 2,. The primaries move around their center of mass on ellipses and it is useful to introduce polar coordinates for q = (X, Y ) R 2 \ {0}, X = r cos α, Y = r sin α, (r, α) R + T The momenta p = (P X, P Y ) are transformed in such a way that the total change of coordinates (X, Y, P X, P Y ) (r, α, P r =: y, P α =: G) is canonical, i.e. the symplectic structure remains the same. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
5 Planar restricted 3-body problem To study the behaviour at r =, we introduce McGehee coordinates (x, α, y, G), where r = 2 x 2, x R+. This transformation is non-canonical i.e. the symplectic structure changes: for x > 0 it is given by 4 dx dy + dα dg. x3 which extends to a b 3 -symplectic structure on R T R 2. The Poisson bracket is {f, g} = x3 4 ( f g g y f ) g + f y x α g G f g G α The integrable 2-body problem for µ = 0 is integrable with respect to the singular ω. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
6 Model for these systems ω = 1 x1 n dx 1 dy 1 + dx i dy i i 2 Close to x 1 = 0, the systems behave like, and not like, Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
7 The 3-body problem Consider the system of three bodies with masses m 1, m 2, m 3 and positions q 1 = (q 1, q 2, q 3 ), q 2 = (q 4, q 5, q 6 ), q 3 = (q 7, q 8, q 9 ) R 3. Define the 9 9 matrix M := diag(m 1, m 1, m 1, m 2, m 2, m 2, m 3, m 3, m 3 ). Assume central coordinates (m 1 q 1 + m 2 q 2 + m 3 q 3 = 0). Introduce the following McGehee -coordinates: r := q T Mq, s := q r, z := p r. (2) r = 0 corresponds to triple collisions. Essentially, these are spherical coordinates since s lies on the unit-sphere in R 9 with respect to the metric given by M. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
8 The 3-body problem The standard symplectic form 9 i=1 dq i dp i becomes in the new coordinates (r, s 1,..., s 8, z 1,..., z 9 ). 8 i=1 ( si dr dz i + rds i dz i z ) i r 2 r ds i dr m9 rµ ( µdr dz 9 r with µ := 1 8 i=1 s2 i m i. 9 dq i dp i = i=1 µr 7 8 i=1 m i s i ds i dz 9 + z 9 2 ) 8 m i s i ds i dr, i=1 m 9 ds 1 dz 1 ds 2 dz 2... ds 8 dz 8 dr dz 9, It is a 7 2-folded symplectic structure. (In the n-body problem m-folded symplectic for a certain m). Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
9 Other examples Kustaanheimo-Stiefel regularization for n-body problem (useful for binary collisions) folded-type symplectic structures with hyperbolic singularities two fixed-center problem via Appell s transformation combination of folded-type and b m -symplectic structures Dirac structures. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
10 b-symplectic/b-poisson structures Definition Let (M 2n, Π) be an (oriented) Poisson manifold such that the map p M (Π(p)) n Λ 2n (T M) is transverse to the zero section, then Z = {p M (Π(p)) n = 0} is a hypersurface called the critical hypersurface and we say that Π is a Poisson b-structure on (M, Z). Symplectic foliation of a b-poisson manifold The symplectic foliation has dense symplectic leaves and codimension 2 symplectic leaves whose union is Z. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
11 Darboux normal forms Theorem (Guillemin-M.-Pires) For all p Z, there exists a Darboux coordinate system x 1, y 1,..., x n, y n centered at p such that Z is defined by x 1 = 0 and Π = x 1 + x 1 y 1 n i=2 x i y i Darboux for b n -symplectic structures or dually Π = x n 1 + x 1 y 1 ω = 1 x n dx 1 dy n i=2 x i y i n dx i dy i i=2 Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
12 Dimension 2 Radko classified b-poisson structures on compact oriented surfaces: Geometrical invariants: The topology of S and the curves γ i where Π vanishes. Dynamical invariants: The periods of the modular vector field along γ i. Measure: The regularized Liouville volume of S, V ε h (Π) = h >ε ω Π for h a function vanishing linearly on the curves γ 1,..., γ n and ω Π the dual form to the Poisson structure. Other classification schemes: For b n -symplectic structures (not necessarily oriented) Scott, M.-Planas. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
13 Higher dimensions: Some compact examples. The product of (R, π R ) a Radko compact surface with a compact symplectic manifold (S, ω) is a b-poisson manifold. corank 1 Poisson manifold (N, π) and X Poisson vector field (S 1 N, f(θ) θ X + π) is a b-poisson manifold if, 1 f vanishes linearly. 2 X is transverse to the symplectic leaves of N. We then have as many copies of N as zeroes of f. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
14 Poisson Geometry of the critical hypersurface This last example is semilocally the canonical picture of a b-poisson structure. 1 The critical hypersurface Z has an induced regular Poisson structure of corank 1. 2 There exists a Poisson vector field transverse to the symplectic foliation induced on Z. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
15 The singular hypersurface Theorem (Guillemin-M.-Pires) If L contains a compact leaf L, then Z is the mapping torus of the symplectomorphism φ : L L determined by the flow of a Poisson vector field v transverse to the symplectic foliation. This description also works for b n -symplectic structures. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
16 A dual approach... b-poisson structures can be seen as symplectic structures modeled over a Lie algebroid (the b-tangent bundle). A vector field v is a b-vector field if v p T p Z for all p Z. The b-tangent bundle b T M is defined by { } Γ(U, b b-vector fields T M) = on (U, U Z) Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
17 b-forms The b-cotangent bundle b T M is ( b T M). Sections of Λ p ( b T M) are b-forms, b Ω p (M).The standard differential extends to d : b Ω p (M) b Ω p+1 (M) A b-symplectic form is a closed, nondegenerate, b-form of degree 2. This dual point of view, allows to prove a b-darboux theorem and semilocal forms via an adaptation of Moser s path method because we can play the same tricks as in the symplectic case. What else? Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
18 b-integrable systems Definition b-integrable system A set of b-functions a f 1,..., f n on (M 2n, ω) such that f 1,..., f n Poisson commute. df 1 df n 0 as a section of Λ n ( b T (M)) on a dense subset of M and on a dense subset of Z a c log x + g Example The symplectic form 1 hdh dθ defined on the interior of the upper hemisphere H + of S 2 extends to a b-symplectic form ω on the double of H + which is S 2. The triple (S 2, ω, log h ) is a b-integrable system. Example If (f 1,..., f n ) is an integrable system on M, then (log h, f 1,..., f n ) on H + M extends to a b-integrable on S 2 M. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
19 Action-angle coordinates for b-integrable systems The compact regular level sets of a b-integrable system are (Liouville) tori. Theorem (Kiesenhofer-M.-Scott) Around a Liouville torus there exist coordinates (p 1,..., p n, θ 1,..., θ n ) : U B n T n such that ω U = c p 1 dp 1 dθ 1 + n dp i dθ i, (3) i=2 and the level sets of the coordinates p 1,..., p n correspond to the Liouville tori of the system. Reformulation of the result Integrable systems semilocally twisted cotangent lift a of a T n action by translations on itself to (T T n ). a We replace the Liouville form by c log p 1 dθ 1 + n i=2 pidθi. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
20 Intermezzo on twisted b-cotangent lifts Consider G := S 1 R + S 1 acting on M := S 1 R 2 : (ϕ, a, α) (θ, x 1, x 2 ) := (θ + ϕ, ar α (x 1, x 2 )), with R α rotation. Its twisted b-cotangent lift gives focus-focus singularities on b-symplectic manifolds. The logarithmic Liouville one-form is λ := log p dθ + y 1 dx 1 + y 2 dx 2 and the moment map is µ := (f 1, f 2, f 3 ) with f 1 = λ, X # 1 = log p, f 2 = λ, X # 2 = x 1y 1 + x 2 y 2, f 3 = λ, X # 3 = x 1y 2 y 1 x 2. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
21 Proof 1 Topology of the foliation. In a neighbourhood of a compact connected fiber the b-integrable system F is diffeomorphic to the b-integrable system on W := T n B n given by the projections p 1,..., p n 1 and log p n. 2 Uniformization of periods: We want to define integrals whose (b-)hamiltonian vector fields induce a T n action. Start with R n -action: Φ : R n (T n B n ) T n B n ((t 1,..., t n ), m) Φ (1) t 1 Φ (n) t n (m). Uniformize to get a T n action with fundamental vector fields Y i. 3 The vector fields Y i are Poisson vector fields (check L Yi L Yi ω = 0). 4 The vector fields Y i are Hamiltonian with primitives σ 1,..., σ n b C (W ). In this step the properties of b-cohomology are essential.use this action to drag a local normal form (Darboux-Carathéodory) in a whole neighbourhood. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
22 Proof 1 Topology of the foliation. In a neighbourhood of a compact connected fiber the b-integrable system F is diffeomorphic to the b-integrable system on W := T n B n given by the projections p 1,..., p n 1 and log p n. 2 Uniformization of periods: We want to define integrals whose (b-)hamiltonian vector fields induce a T n action. Start with R n -action: Φ : R n (T n B n ) T n B n ((t 1,..., t n ), m) Φ (1) t 1 Φ (n) t n (m). Uniformize to get a T n action with fundamental vector fields Y i. 3 The vector fields Y i are Poisson vector fields (check L Yi L Yi ω = 0). 4 The vector fields Y i are Hamiltonian with primitives σ 1,..., σ n b C (W ). In this step the properties of b-cohomology are essential.use this action to drag a local normal form (Darboux-Carathéodory) in a whole neighbourhood. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
23 Proof 1 Topology of the foliation. In a neighbourhood of a compact connected fiber the b-integrable system F is diffeomorphic to the b-integrable system on W := T n B n given by the projections p 1,..., p n 1 and log p n. 2 Uniformization of periods: We want to define integrals whose (b-)hamiltonian vector fields induce a T n action. Start with R n -action: Φ : R n (T n B n ) T n B n ((t 1,..., t n ), m) Φ (1) t 1 Φ (n) t n (m). Uniformize to get a T n action with fundamental vector fields Y i. 3 The vector fields Y i are Poisson vector fields (check L Yi L Yi ω = 0). 4 The vector fields Y i are Hamiltonian with primitives σ 1,..., σ n b C (W ). In this step the properties of b-cohomology are essential.use this action to drag a local normal form (Darboux-Carathéodory) in a whole neighbourhood. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
24 Proof 1 Topology of the foliation. In a neighbourhood of a compact connected fiber the b-integrable system F is diffeomorphic to the b-integrable system on W := T n B n given by the projections p 1,..., p n 1 and log p n. 2 Uniformization of periods: We want to define integrals whose (b-)hamiltonian vector fields induce a T n action. Start with R n -action: Φ : R n (T n B n ) T n B n ((t 1,..., t n ), m) Φ (1) t 1 Φ (n) t n (m). Uniformize to get a T n action with fundamental vector fields Y i. 3 The vector fields Y i are Poisson vector fields (check L Yi L Yi ω = 0). 4 The vector fields Y i are Hamiltonian with primitives σ 1,..., σ n b C (W ). In this step the properties of b-cohomology are essential.use this action to drag a local normal form (Darboux-Carathéodory) in a whole neighbourhood. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
25 A picture... Figure: Fibration by Liouville tori Applications to KAM theory (surviving torus under perturbations ) on b-symplectic manifolds (Kiesenhofer-M.-Scott). Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
26 KAM for b-symplectic manifolds Theorem (Kiesenhofer-M.-Scott) Consider T n Br n with the standard b-symplectic structure and consider the b-function H = k log y 1 + h(y) with h analytic. If the frequency map has a Diophantine value and is non-degenerate, then a Liouville torus on Z persists under sufficiently small perturbations of H. More precisely, if ɛ is sufficiently small, then the perturbed system H ɛ = H + ɛp (with P (ϕ, y) = log y 1 + f 1 ( ϕ, y) + y 1 f 2 (ϕ, y) + f 3 (ϕ 1, y 1 )) admits an invariant torus T. Moreover, there exists a diffeomorphism T n T close to the identity taking the flow γ t of the perturbed system on T to the linear flow on T n with frequency vector ( k+ɛk c, ω). Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
27 Global classification Circle actions on b-surfaces: m 1 m 3 m 5 m 1 m 2 m 3 m 4 m 2 m 4 Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
28 Further results on b-manifolds Delzant theorem and convexity for T k -actions (Guillemin- M.-Pires-Scott). Symplectic topological aspects (Frejlich-Martínez-M). Quantization of b-symplectic manifolds (Guillemin- M.-Weitsman). What about b n -symplectic manifolds? Guillemin-M.-Weitsman b n -symplectic Symplectic Folded symplectic Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
29 Desingularizing b m -symplectic structures Theorem (Guillemin-M.-Weitsman) Given a b m -symplectic structure ω on a compact manifold (M 2n, Z): If m = 2k, there exists a family of symplectic forms ω ɛ which coincide with the b m -symplectic form ω outside an ɛ-neighbourhood of Z and for which the family of bivector fields (ω ɛ ) 1 converges in the C 2k 1 -topology to the Poisson structure ω 1 as ɛ 0. If m = 2k + 1, there exists a family of folded symplectic forms ω ɛ which coincide with the b m -symplectic form ω outside an ɛ-neighbourhood of Z. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
30 0 Deblogging b 2k -symplectic structures ω = dx 2k 1 x 2k ( α i x i ) + β (4) Let f C (R) be an odd smooth function satisfying f (x) > 0 for all x [ 1, 1], i=0-1 1 and satisfying f(x) = { 1 2 (2k 1)x 2k 1 for x < (2k 1)x 2k 1 for x > 1 outside [ 1, 1]. Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
31 Deblogging b 2k -symplectic structures Scaling: f ɛ (x) := 1 ( x ) ɛ 2k 1 f. (5) ɛ Outside the interval [ ɛ, ɛ], Replace dx x 2k f ɛ (x) = { by df ɛ to obtain 1 2 (2k 1)x 2k 1 ɛ 2k 1 for x < ɛ (2k 1)x 2k 1 ɛ 2k 1 for x > ɛ which is symplectic. 2k 1 ω ɛ = df ɛ ( α i x i ) + β i=0 Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
32 Applications of deblogging Convexity for T k -actions. Delzant theorem and Delzant-type theorem for semitoric systems (bolytopes). Applications to KAM. Periodic orbits of problems in celestial mechanics and applications to stability (joint with Roisin Braddell, Amadeu Delshams, Cédric Oms and Arnau Planas). Eva Miranda (UPC) b-symplectic manifolds Semptember, / 27
Geometry 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 informationPoisson geometry of b-manifolds. Eva Miranda
Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds
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 informationCOTANGENT MODELS FOR INTEGRABLE SYSTEMS
COTANGENT MODELS FOR INTEGRABLE SYSTEMS ANNA KIESENHOFER AND EVA MIRANDA Abstract. We associate cotangent models to a neighbourhood of a Liouville torus in symplectic and Poisson manifolds focusing on
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 informationEXAMPLES OF INTEGRABLE AND NON-INTEGRABLE SYSTEMS ON SINGULAR SYMPLECTIC MANIFOLDS
EXAMPLES OF INTEGRABLE AND NON-INTEGRABLE SYSTEMS ON SINGULAR SYMPLECTIC MANIFOLDS AMADEU DELSHAMS, ANNA KIESENHOFER, AND EVA MIRANDA Abstract. We present a collection of examples borrowed from celestial
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 informationTwisted Poisson manifolds and their almost symplectically complete isotropic realizations
Twisted Poisson manifolds and their almost symplectically complete isotropic realizations Chi-Kwong Fok National Center for Theoretical Sciences Math Division National Tsing Hua University (Joint work
More informationEXAMPLES OF INTEGRABLE AND NON-INTEGRABLE SYSTEMS ON SINGULAR SYMPLECTIC MANIFOLDS arxiv: v1 [math.sg] 28 Dec 2015
EXAMPLES OF INTEGRABLE AND NON-INTEGRABLE SYSTEMS ON SINGULAR SYMPLECTIC MANIFOLDS arxiv:1512.08293v1 [math.sg] 28 Dec 2015 AMADEU DELSHAMS, ANNA KIESENHOFER, AND EVA MIRANDA Abstract. We present a collection
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 informationDeformations of coisotropic submanifolds in symplectic geometry
Deformations of coisotropic submanifolds in symplectic geometry Marco Zambon IAP annual meeting 2015 Symplectic manifolds Definition Let M be a manifold. A symplectic form is a two-form ω Ω 2 (M) which
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 informationarxiv: v2 [math.sg] 13 Jul 2013
SYMPLECTIC AND POISSON GEOMETRY ON b-manifolds arxiv:1206.2020v2 [math.sg] 13 Jul 2013 VICTOR GUILLEMIN, EVA MIRANDA, AND ANA RITA PIRES Abstract. Let M 2n be a Poisson manifold with Poisson bivector field
More informationHamiltonian Dynamics
Hamiltonian Dynamics CDS 140b Joris Vankerschaver jv@caltech.edu CDS Feb. 10, 2009 Joris Vankerschaver (CDS) Hamiltonian Dynamics Feb. 10, 2009 1 / 31 Outline 1. Introductory concepts; 2. Poisson brackets;
More informationSymplectic and Poisson Manifolds
Symplectic and Poisson Manifolds Harry Smith In this survey we look at the basic definitions relating to symplectic manifolds and Poisson manifolds and consider different examples of these. We go on to
More informationSymplectic and Poisson geometry on b-manifolds
Symplectic and Poisson geometry on b-manifolds The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Citation As Published Publisher Guillemin,
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 informationMaster of Science in Advanced Mathematics and Mathematical Engineering
Master of Science in Advanced Mathematics and Mathematical Engineering Title: Symplectic structures with singularities Author: Arnau Planas Bahí Advisor: Eva Miranda Galcerán Department: Matemàtica Aplicada
More informationCOMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD
COMPUTING THE POISSON COHOMOLOGY OF A B-POISSON MANIFOLD MELINDA LANIUS 1. introduction Because Poisson cohomology is quite challenging to compute, there are only very select cases where the answer 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 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 1: Oscillatory motions in the restricted three body problem
Lecture 1: Oscillatory motions in the restricted three body problem Marcel Guardia Universitat Politècnica de Catalunya February 6, 2017 M. Guardia (UPC) Lecture 1 February 6, 2017 1 / 31 Outline of the
More informationBACKGROUND IN SYMPLECTIC GEOMETRY
BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations
More informationINVARIANT TORI IN THE LUNAR PROBLEM. Kenneth R. Meyer, Jesús F. Palacián, and Patricia Yanguas. Dedicated to Jaume Llibre on his 60th birthday
Publ. Mat. (2014), 353 394 Proceedings of New Trends in Dynamical Systems. Salou, 2012. DOI: 10.5565/PUBLMAT Extra14 19 INVARIANT TORI IN THE LUNAR PROBLEM Kenneth R. Meyer, Jesús F. Palacián, and Patricia
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 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 informationLIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES
LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES BENJAMIN HOFFMAN 1. Outline Lie algebroids are the infinitesimal counterpart of Lie groupoids, which generalize how we can talk about symmetries
More informationAMADEU DELSHAMS AND RAFAEL RAMíREZ-ROS
POINCARÉ-MELNIKOV-ARNOLD METHOD FOR TWIST MAPS AMADEU DELSHAMS AND RAFAEL RAMíREZ-ROS 1. Introduction A general theory for perturbations of an integrable planar map with a separatrix to a hyperbolic fixed
More informationLECTURE 5: COMPLEX AND KÄHLER MANIFOLDS
LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.
More informationDirac structures. Henrique Bursztyn, IMPA. Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012
Dirac structures Henrique Bursztyn, IMPA Geometry, mechanics and dynamics: the legacy of J. Marsden Fields Institute, July 2012 Outline: 1. Mechanics and constraints (Dirac s theory) 2. Degenerate symplectic
More informationContact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples
Contact and Symplectic Geometry of Monge-Ampère Equations: Introduction and Examples Vladimir Rubtsov, ITEP,Moscow and LAREMA, Université d Angers Workshop "Geometry and Fluids" Clay Mathematical Institute,
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 informationAn Invitation to Geometric Quantization
An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to
More informationA 21st Century Geometry: Contact Geometry
A 21st Century Geometry: Contact Geometry Bahar Acu University of Southern California California State University Channel Islands September 23, 2015 Bahar Acu (University of Southern California) A 21st
More informationLagrangian knottedness and unknottedness in rational surfaces
agrangian knottedness and unknottedness in rational surfaces Outline: agrangian knottedness Symplectic geometry of complex projective varieties, D 5, agrangian spheres and Dehn twists agrangian unknottedness
More informationarxiv: v1 [math.sg] 20 Jul 2015
arxiv:157.5674v1 [math.sg] 2 Jul 215 Bohr-Sommerfeld-Heisenberg Quantization of the Mathematical Pendulum. Richard Cushman and Jędrzej Śniatycki Department of Mathematics and Statistics University of Calgary,
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 informationAVERAGING AND RECONSTRUCTION IN HAMILTONIAN SYSTEMS
AVERAGING AND RECONSTRUCTION IN HAMILTONIAN SYSTEMS Kenneth R. Meyer 1 Jesús F. Palacián 2 Patricia Yanguas 2 1 Department of Mathematical Sciences University of Cincinnati, Cincinnati, Ohio (USA) 2 Departamento
More informationTHE AFFINE INVARIANT OF GENERALIZED SEMITORIC SYSTEMS
THE AFFINE INVARIANT OF GENERALIZED SEMITORIC SYSTEMS ÁLVARO PELAYO TUDOR S. RATIU SAN VŨ NGỌC Abstract. A generalized semitoric system F := (J, H): M R 2 on a symplectic 4-manifold is an integrable system
More informationContact Geometry of the Visual Cortex
Ma191b Winter 2017 Geometry of Neuroscience References for this lecture Jean Petitot, Neurogéométrie de la Vision, Les Éditions de l École Polytechnique, 2008 John B. Entyre, Introductory Lectures on Contact
More informationarxiv: v1 [math.sg] 6 Nov 2015
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
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 informationTHE EXISTENCE PROBLEM
THE EXISTENCE PROBLEM Contact Geometry in High Dimensions Emmanuel Giroux CNRS ENS Lyon AIM May 21, 2012 Contact forms A contact form on a manifold V is a non-vanishing 1-form α whose differential dα at
More informationHamiltonian flows, cotangent lifts, and momentum maps
Hamiltonian flows, cotangent lifts, and momentum maps Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Symplectic manifolds Let (M, ω) and (N, η) be symplectic
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 informationEXERCISES IN POISSON GEOMETRY
EXERCISES IN POISSON GEOMETRY The suggested problems for the exercise sessions #1 and #2 are marked with an asterisk. The material from the last section will be discussed in lecture IV, but it s possible
More informationDiffraction by Edges. András Vasy (with Richard Melrose and Jared Wunsch)
Diffraction by Edges András Vasy (with Richard Melrose and Jared Wunsch) Cambridge, July 2006 Consider the wave equation Pu = 0, Pu = D 2 t u gu, on manifolds with corners M; here g 0 the Laplacian, D
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 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 informationLecture XI: The non-kähler world
Lecture XI: The non-kähler world Jonathan Evans 2nd December 2010 Jonathan Evans () Lecture XI: The non-kähler world 2nd December 2010 1 / 21 We ve spent most of the course so far discussing examples of
More informationarxiv: v1 [math.sg] 8 Jun 2016
NON-COMMUTATIVE INTEGRABLE SYSTEMS ON b-symplectic MANIFOLDS arxiv:1606.02605v1 [math.sg] 8 Jun 2016 ANNA KIESENHOFER AND EVA MIRANDA Abstract. In this paper we study non-commutative integrable systems
More informationarxiv: v2 [math.sg] 11 Nov 2015
A NOTE ON SYMPLECTIC TOPOLOGY OF b-manifolds PEDRO FREJLICH, DAVID MARTÍNEZ TORRES, AND EVA MIRANDA arxiv:1312.7329v2 [math.sg] 11 Nov 2015 Abstract. A Poisson manifold (M 2n, π) is b-symplectic if n π
More informationExistence of Engel structures. Thomas Vogel
Existence of Engel structures Thomas Vogel Existence of Engel structures Dissertation zur Erlangung des Doktorgrades an der Fakultät für Mathematik, Informatik und Statistik der Ludwig Maximilians Universität
More informationTHE LONGITUDINAL KAM-COCYCLE OF A MAGNETIC FLOW
THE LONGITUDINAL KAM-COCYCLE OF A MAGNETIC FLOW GABRIEL P. PATERNAIN Abstract. Let M be a closed oriented surface of negative Gaussian curvature and let Ω be a non-exact 2-form. Let λ be a small positive
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 informationExistence of Engel structures
Annals of Mathematics, 169 (2009), 79 137 Existence of Engel structures By Thomas Vogel Abstract We develop a construction of Engel structures on 4-manifolds based on decompositions of manifolds into round
More informationSymplectic maps. James D. Meiss. March 4, 2008
Symplectic maps James D. Meiss March 4, 2008 First used mathematically by Hermann Weyl, the term symplectic arises from a Greek word that means twining or plaiting together. This is apt, as symplectic
More informationarxiv: v2 [math.sg] 8 Mar 2018
Bifurcation of solutions to Hamiltonian boundary value problems arxiv:1710.09991v2 [math.sg] 8 Mar 2018 R I McLachlan 1 and C Offen 1 1 Institute of Fundamental Sciences, Massey University, Palmerston
More informationComplete integrability of geodesic motion in Sasaki-Einstein toric spaces
Complete integrability of geodesic motion in Sasaki-Einstein toric spaces Mihai Visinescu Department of Theoretical Physics National Institute for Physics and Nuclear Engineering Horia Hulubei Bucharest,
More informationQuasiperiodic Motion for the Pentagram Map
Quasiperiodic Motion for the Pentagram Map Valentin Ovsienko, Richard Schwartz, and Sergei Tabachnikov 1 Introduction and main results The pentagram map, T, is a natural operation one can perform on polygons.
More informationGlobal secular dynamics in the planar three-body problem
Global secular dynamics in the planar three-body problem Jacques Féjoz (fejoz@math.jussieu.fr) Astronomie et systèmes dynamiques, IMC-CNRS UMR8028 and Northwestern University Abstract. We use the global
More informationGeodesic flow on three dimensional ellipsoids with equal semi-axes
Geodesic flow on three dimensional ellipsoids with equal semi-axes Chris M. Davison, Holger R. Dullin Department of Mathematical Sciences, Loughborough University Leicestershire, LE11 3TU, United Kingdom.
More information1 Contact structures and Reeb vector fields
1 Contact structures and Reeb vector fields Definition 1.1. Let M be a smooth (2n + 1)-dimensional manifold. A contact structure on M is a maximally non-integrable hyperplane field ξ T M. Suppose that
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 informationStable generalized complex structures
Stable generalized complex structures Gil R. Cavalcanti Marco Gualtieri arxiv:1503.06357v1 [math.dg] 21 Mar 2015 A stable generalized complex structure is one that is generically symplectic but degenerates
More informationSmooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013
Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.
More informationCritical points of the integral map of the charged 3-body problem
Critical points of the integral map of the charged 3-body problem arxiv:1807.04522v1 [math.ds] 12 Jul 2018 Abstract I. Hoveijn, H. Waalkens, M. Zaman Johann Bernoulli Institute for Mathematics and Computer
More informationGeometric inequalities for black holes
Geometric inequalities for black holes Sergio Dain FaMAF-Universidad Nacional de Córdoba, CONICET, Argentina. 3 August, 2012 Einstein equations (vacuum) The spacetime is a four dimensional manifold M with
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 informationLECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
LECTURE 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
More informationAubry Mather Theory from a Topological Viewpoint
Aubry Mather Theory from a Topological Viewpoint III. Applications to Hamiltonian instability Marian Gidea,2 Northeastern Illinois University, Chicago 2 Institute for Advanced Study, Princeton WORKSHOP
More informationarxiv: v4 [math.sg] 22 Jul 2015
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 11 (2015), 055, 37 pages Non-Compact Symplectic Toric Manifolds Yael KARSHON and Eugene LERMAN arxiv:0907.2891v4 [math.sg] 22 Jul 2015
More informationSeminar Geometrical aspects of theoretical mechanics
Seminar Geometrical aspects of theoretical mechanics Topics 1. Manifolds 29.10.12 Gisela Baños-Ros 2. Vector fields 05.11.12 and 12.11.12 Alexander Holm and Matthias Sievers 3. Differential forms 19.11.12,
More informationLECTURE 1: LINEAR SYMPLECTIC GEOMETRY
LECTURE 1: LINEAR SYMPLECTIC GEOMETRY Contents 1. Linear symplectic structure 3 2. Distinguished subspaces 5 3. Linear complex structure 7 4. The symplectic group 10 *********************************************************************************
More informationPREQUANTIZATION OF SYMPLECTIC SUPERMANIFOLDS
Ninth International Conference on Geometry, Integrability and Quantization June 8 13, 2007, Varna, Bulgaria Ivaïlo M. Mladenov, Editor SOFTEX, Sofia 2008, pp 301 307 Geometry, Integrability and Quantization
More informationSome Collision solutions of the rectilinear periodically forced Kepler problem
Advanced Nonlinear Studies 1 (2001), xxx xxx Some Collision solutions of the rectilinear periodically forced Kepler problem Lei Zhao Johann Bernoulli Institute for Mathematics and Computer Science University
More informationarxiv: v1 [math.sg] 26 Jan 2015
SYMPLECTIC ACTIONS OF NON-HAMILTONIAN TYPE ÁLVARO PELAYO arxiv:1501.06480v1 [math.sg] 26 Jan 2015 In memory of Professor Johannes (Hans) J. Duistermaat (1942 2010) Abstract. Hamiltonian symplectic actions
More informationLagrangian submanifolds in elliptic and log symplectic manifolds
Lagrangian submanifolds in elliptic and log symplectic manifolds joint work with arco Gualtieri (University of Toronto) Charlotte Kirchhoff-Lukat University of Cambridge Geometry and ynamics in Interaction
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 informationAPPLICATIONS OF HOFER S GEOMETRY TO HAMILTONIAN DYNAMICS
APPLICATIONS OF HOFER S GEOMETRY TO HAMILTONIAN DYNAMICS FELIX SCHLENK Abstract. We prove that for every subset A of a tame symplectic manifold (W, ω) the π 1 -sensitive Hofer Zehnder capacity of A is
More informationGauge Fixing and Constrained Dynamics in Numerical Relativity
Gauge Fixing and Constrained Dynamics in Numerical Relativity Jon Allen The Dirac formalism for dealing with constraints in a canonical Hamiltonian formulation is reviewed. Gauge freedom is discussed and
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 information= 0. = q i., q i = E
Summary of the Above Newton s second law: d 2 r dt 2 = Φ( r) Complicated vector arithmetic & coordinate system dependence Lagrangian Formalism: L q i d dt ( L q i ) = 0 n second-order differential equations
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 informationarxiv: v1 [math.gt] 20 Dec 2017
SYMPLECTIC FILLINGS, CONTACT SURGERIES, AND LAGRANGIAN DISKS arxiv:1712.07287v1 [math.gt] 20 Dec 2017 JAMES CONWAY, JOHN B. ETNYRE, AND BÜLENT TOSUN ABSTRACT. This paper completely answers the question
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 informationQuantising noncompact Spin c -manifolds
Quantising noncompact Spin c -manifolds Peter Hochs University of Adelaide Workshop on Positive Curvature and Index Theory National University of Singapore, 20 November 2014 Peter Hochs (UoA) Noncompact
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 informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationChaos in Hamiltonian systems
Chaos in Hamiltonian systems Teemu Laakso April 26, 2013 Course material: Chapter 7 from Ott 1993/2002, Chaos in Dynamical Systems, Cambridge http://matriisi.ee.tut.fi/courses/mat-35006 Useful reading:
More informationLecture I: Constrained Hamiltonian systems
Lecture I: Constrained Hamiltonian systems (Courses in canonical gravity) Yaser Tavakoli December 15, 2014 1 Introduction In canonical formulation of general relativity, geometry of space-time is given
More informationGEOMETRIC QUANTIZATION OF REAL POLARIZATIONS VIA SHEAVES
GEOMETRIC QUANTIZATION OF REAL POLARIZATIONS VIA SHEAVES EVA MIRANDA AND FRANCISCO PRESAS Abstract. In this article we develop tools to compute the Geometric Quantization of a symplectic manifold with
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 informationThe topology of symplectic four-manifolds
The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form
More informationLecture 5: Oscillatory motions for the RPE3BP
Lecture 5: Oscillatory motions for the RPE3BP Marcel Guardia Universitat Politècnica de Catalunya February 10, 2017 M. Guardia (UPC) Lecture 5 February 10, 2017 1 / 25 Outline Oscillatory motions for the
More informationThe geometry of a positively curved Zoll surface of revolution
The geometry of a positively curved Zoll surface of revolution By K. Kiyohara, S. V. Sabau, K. Shibuya arxiv:1809.03138v [math.dg] 18 Sep 018 Abstract In this paper we study the geometry of the manifolds
More informationDierential geometry for Physicists
Dierential geometry for Physicists (What we discussed in the course of lectures) Marián Fecko Comenius University, Bratislava Syllabus of lectures delivered at University of Regensburg in June and July
More informationChap. 1. Some Differential Geometric Tools
Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U
More informationA NEW CONSTRUCTION OF POISSON MANIFOLDS
A NEW CONSTRUCTION OF POISSON MANIFOLDS A. IBORT, D. MARTÍNEZ TORRES Abstract A new technique to construct Poisson manifolds inspired both in surgery ideas used to define Poisson structures on 3-manifolds
More information