![Page 1: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/1.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
Symplectic Geometryand Hamiltonian Group Actions
Lecture 1, Miraflores de la Sierra
V School on Geometry, Mechanics and Control
Álvaro Pelayo
Washington University (USA)Institute for Advanced Study, Princeton (USA)
Partially supported by NSF CAREER Award, Spanish Ministry of Science GrantMTM 2010-21186-C02-01, NSF Postdoctoral Fellowship, Leibniz Fellowship, NSF
Grants DMS-0965738 and DMS-0635607 in Geometric Analysis, CSIC andMSRI-Berkeley
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 2: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/2.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
A. Course Goals
GMCMinicourse
DynamicalSystems
SymplecticGeometry
GoalsIntroduce symplectic manifolds and their main propertiesGive overview of group actions and integrable systemsDescribe symplectic/spectral classification program ofintegrable systems
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 3: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/3.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
A. Course Goals
GMCMinicourse
DynamicalSystems
SymplecticGeometry
GoalsIntroduce symplectic manifolds and their main properties
Give overview of group actions and integrable systemsDescribe symplectic/spectral classification program ofintegrable systems
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 4: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/4.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
A. Course Goals
GMCMinicourse
DynamicalSystems
SymplecticGeometry
GoalsIntroduce symplectic manifolds and their main propertiesGive overview of group actions and integrable systems
Describe symplectic/spectral classification program ofintegrable systems
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 5: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/5.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
A. Course Goals
GMCMinicourse
DynamicalSystems
SymplecticGeometry
GoalsIntroduce symplectic manifolds and their main propertiesGive overview of group actions and integrable systemsDescribe symplectic/spectral classification program ofintegrable systems
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 6: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/6.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
B. Course Diagram
Symplectic Actions withSymplectic Orbit
HamiltonianActions
Symplectic Actions withLagrangian Orbit
Integrable Systems
Lec. 2
Lec. 1Lec. 2 Lec. 3, 4, 5
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 7: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/7.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
C. Course Lectures
TopicsLec. 1: Symplectic Geometry and Hamiltonian Actions
Lec. 2: Structure Theory for Symplectic Torus ActionsLec. 3: Integrable Systems, Semitoric SystemsLec. 4: Atiyah’s Connectivity, Morse Theory and Solution SetsLec. 5: Key Review, Spectral Theory, Classification
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 8: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/8.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
C. Course Lectures
TopicsLec. 1: Symplectic Geometry and Hamiltonian ActionsLec. 2: Structure Theory for Symplectic Torus Actions
Lec. 3: Integrable Systems, Semitoric SystemsLec. 4: Atiyah’s Connectivity, Morse Theory and Solution SetsLec. 5: Key Review, Spectral Theory, Classification
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 9: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/9.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
C. Course Lectures
TopicsLec. 1: Symplectic Geometry and Hamiltonian ActionsLec. 2: Structure Theory for Symplectic Torus ActionsLec. 3: Integrable Systems, Semitoric Systems
Lec. 4: Atiyah’s Connectivity, Morse Theory and Solution SetsLec. 5: Key Review, Spectral Theory, Classification
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 10: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/10.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
C. Course Lectures
TopicsLec. 1: Symplectic Geometry and Hamiltonian ActionsLec. 2: Structure Theory for Symplectic Torus ActionsLec. 3: Integrable Systems, Semitoric SystemsLec. 4: Atiyah’s Connectivity, Morse Theory and Solution Sets
Lec. 5: Key Review, Spectral Theory, Classification
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 11: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/11.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
C. Course Lectures
TopicsLec. 1: Symplectic Geometry and Hamiltonian ActionsLec. 2: Structure Theory for Symplectic Torus ActionsLec. 3: Integrable Systems, Semitoric SystemsLec. 4: Atiyah’s Connectivity, Morse Theory and Solution SetsLec. 5: Key Review, Spectral Theory, Classification
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 12: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/12.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
D. Classification Program
Figure: IAS Princeton and Bernoulli Center
Program LaunchingI will describe in the last lecture a Classification Program"Symplectic/Spectral Classification of Integrable Systems"
Two launching events:Minicourse by P. at IAS Princeton 2011-12Semester at Bernoulli Center, Switzerland July-December 2013
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 13: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/13.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
E. Course Main Object: Integrable Systems
What is an Integrable System?Many notions. Roughly, it is a “system of differential equations”:
Models physical systemGeometry describes solutions, exactly solvableAppears in mathematics, physics, chemistry, engineering ...
Examples: spherical pendulum, Lagrange top, spin-oscillator ...
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 14: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/14.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
E. Course Main Object: Integrable Systems
What is an Integrable System?Many notions. Roughly, it is a “system of differential equations”:
Models physical system
Geometry describes solutions, exactly solvableAppears in mathematics, physics, chemistry, engineering ...
Examples: spherical pendulum, Lagrange top, spin-oscillator ...
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 15: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/15.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
E. Course Main Object: Integrable Systems
What is an Integrable System?Many notions. Roughly, it is a “system of differential equations”:
Models physical systemGeometry describes solutions, exactly solvable
Appears in mathematics, physics, chemistry, engineering ...Examples: spherical pendulum, Lagrange top, spin-oscillator ...
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 16: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/16.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
E. Course Main Object: Integrable Systems
What is an Integrable System?Many notions. Roughly, it is a “system of differential equations”:
Models physical systemGeometry describes solutions, exactly solvableAppears in mathematics, physics, chemistry, engineering ...
Examples: spherical pendulum, Lagrange top, spin-oscillator ...
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 17: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/17.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
E. Course Main Object: Integrable Systems
What is an Integrable System?Many notions. Roughly, it is a “system of differential equations”:
Models physical systemGeometry describes solutions, exactly solvableAppears in mathematics, physics, chemistry, engineering ...
Examples: spherical pendulum, Lagrange top, spin-oscillator ...
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 18: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/18.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
F. Classification Program
Goals for next few years
Two goals:To classify symplectically finite dimensional integrable systems
To prove the Spectral Conjecture for integrable systems:
Á. Pelayo and S. Vu Ngo. c: Symplectic theory of completelyintegrable Hamiltonian systems, Bull. AMS 48 (2011) 409-455Á. Pelayo and S. Vu Ngo. c: Hamiltonian dynamics and spectraltheory for spin oscillators, Comm. Math. Phys., in press
First goal achieved for semitoric systems:Á. Pelayo and S. Vu Ngo. c: Semitoric integrable systems onsymplectic 4-manifolds. Invent. Math. 177 (2009) 571-597Á. Pelayo and S. Vu Ngo. c: Constructing integrable systems ofsemitoric type. Acta Math. 206 (2011) 93-125
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 19: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/19.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
F. Classification Program
Goals for next few years
Two goals:To classify symplectically finite dimensional integrable systemsTo prove the Spectral Conjecture for integrable systems:
Á. Pelayo and S. Vu Ngo. c: Symplectic theory of completelyintegrable Hamiltonian systems, Bull. AMS 48 (2011) 409-455Á. Pelayo and S. Vu Ngo. c: Hamiltonian dynamics and spectraltheory for spin oscillators, Comm. Math. Phys., in press
First goal achieved for semitoric systems:Á. Pelayo and S. Vu Ngo. c: Semitoric integrable systems onsymplectic 4-manifolds. Invent. Math. 177 (2009) 571-597Á. Pelayo and S. Vu Ngo. c: Constructing integrable systems ofsemitoric type. Acta Math. 206 (2011) 93-125
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 20: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/20.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
F. Classification Program
Goals for next few years
Two goals:To classify symplectically finite dimensional integrable systemsTo prove the Spectral Conjecture for integrable systems:
Á. Pelayo and S. Vu Ngo. c: Symplectic theory of completelyintegrable Hamiltonian systems, Bull. AMS 48 (2011) 409-455Á. Pelayo and S. Vu Ngo. c: Hamiltonian dynamics and spectraltheory for spin oscillators, Comm. Math. Phys., in press
First goal achieved for semitoric systems:Á. Pelayo and S. Vu Ngo. c: Semitoric integrable systems onsymplectic 4-manifolds. Invent. Math. 177 (2009) 571-597Á. Pelayo and S. Vu Ngo. c: Constructing integrable systems ofsemitoric type. Acta Math. 206 (2011) 93-125
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 21: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/21.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
G. Parallel Program
Type Theory Project
A joint program with Vladimir Voevodsky (IAS Princeton)
“Integrable Systems in the eyes of Type Theory”
A paper in progress dealing with 4d-case
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 22: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/22.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
Lec. 1: Symplectic Geometry and Hamiltonian Actions
1 Outline
2 Manifolds
3 Actions
4 Theory
5 Poisson Manifolds
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 23: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/23.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
Glimpse of Symplectic Manifolds in Dynamics/GeometryOrigins: Hamilton’s deep formulation of Lagrangian mechanics (around 1835). Reformulation ofideas of Galileo (1600), Lagrange and Newton about orbits of planetary systemsSymplectic Geometry becomes subject with Alan Weinstein’s seminal work in 1970sNow: Symplectic Dynamics on its way to become a "subject" too (Hofer, IAS 2011-12)J-holomorphic curves: Gromov (Introduced them in 1985), Hofer, Eliashberg, McDuff ...
Integrable systems, dynamical systems, microlocal analysis, PDEs (1950s–): Arnold, Duistermaat,Hofer, Eliasson, Kolmogorov, Moser, Kostant, Uhlenbeck, Fomenko, Marsden, Vu Ngo.c, Colin deVerdiere, Guillemin, Weinstein, de la Llave, Zelditch, Zworski, Zehnder ...
Figure: V. Arnold (USSR 1937 - Paris 2010)Structure theory of Lie group actions, representation theory and connections to algebraic geometry(1980s–): Atiyah, Audin, Berline, Kostant, Vergne, Bott, Gross, Etingof, Guillemin, Delzant,Benoist, Kirwan, Reshetikhin, Weinstein, Duistermaat, Souriau ...Fourier, phase-space analysis (1970s–):Duistermaat, Hörmander, Colin de Verdiere, Bismut ...Topology in low dimensions, symplectic topology, gauge theory, connections to physics (1980s–):McDuff, Hofer, Gompf, Eliashberg, Mrowka, Kronheimer, Uhlenbeck, Freed, Taubes, Witten,Perutz, Donaldson, Auroux, Muñoz, Seidel, Polterovich...Connections to mechanics, Poisson Geometry: Weinstein, Ratiu, Loja Fernandes, Martín deDiego, de León, Xu, Crainic, Zambon, Montgomery, Bursztyn, Padrón, Iglesias, Rodríguez Olmo,Balseiro, Alekseev, Miranda, Marrero, Cattaneo,... (and many, many more)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 24: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/24.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
Glimpse of Symplectic Manifolds in Dynamics/GeometryOrigins: Hamilton’s deep formulation of Lagrangian mechanics (around 1835). Reformulation ofideas of Galileo (1600), Lagrange and Newton about orbits of planetary systemsSymplectic Geometry becomes subject with Alan Weinstein’s seminal work in 1970sNow: Symplectic Dynamics on its way to become a "subject" too (Hofer, IAS 2011-12)J-holomorphic curves: Gromov (Introduced them in 1985), Hofer, Eliashberg, McDuff ...Integrable systems, dynamical systems, microlocal analysis, PDEs (1950s–): Arnold, Duistermaat,Hofer, Eliasson, Kolmogorov, Moser, Kostant, Uhlenbeck, Fomenko, Marsden, Vu Ngo.c, Colin deVerdiere, Guillemin, Weinstein, de la Llave, Zelditch, Zworski, Zehnder ...
Figure: V. Arnold (USSR 1937 - Paris 2010)Structure theory of Lie group actions, representation theory and connections to algebraic geometry(1980s–): Atiyah, Audin, Berline, Kostant, Vergne, Bott, Gross, Etingof, Guillemin, Delzant,Benoist, Kirwan, Reshetikhin, Weinstein, Duistermaat, Souriau ...
Fourier, phase-space analysis (1970s–):Duistermaat, Hörmander, Colin de Verdiere, Bismut ...Topology in low dimensions, symplectic topology, gauge theory, connections to physics (1980s–):McDuff, Hofer, Gompf, Eliashberg, Mrowka, Kronheimer, Uhlenbeck, Freed, Taubes, Witten,Perutz, Donaldson, Auroux, Muñoz, Seidel, Polterovich...Connections to mechanics, Poisson Geometry: Weinstein, Ratiu, Loja Fernandes, Martín deDiego, de León, Xu, Crainic, Zambon, Montgomery, Bursztyn, Padrón, Iglesias, Rodríguez Olmo,Balseiro, Alekseev, Miranda, Marrero, Cattaneo,... (and many, many more)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 25: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/25.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
Glimpse of Symplectic Manifolds in Dynamics/GeometryOrigins: Hamilton’s deep formulation of Lagrangian mechanics (around 1835). Reformulation ofideas of Galileo (1600), Lagrange and Newton about orbits of planetary systemsSymplectic Geometry becomes subject with Alan Weinstein’s seminal work in 1970sNow: Symplectic Dynamics on its way to become a "subject" too (Hofer, IAS 2011-12)J-holomorphic curves: Gromov (Introduced them in 1985), Hofer, Eliashberg, McDuff ...Integrable systems, dynamical systems, microlocal analysis, PDEs (1950s–): Arnold, Duistermaat,Hofer, Eliasson, Kolmogorov, Moser, Kostant, Uhlenbeck, Fomenko, Marsden, Vu Ngo.c, Colin deVerdiere, Guillemin, Weinstein, de la Llave, Zelditch, Zworski, Zehnder ...
Figure: V. Arnold (USSR 1937 - Paris 2010)Structure theory of Lie group actions, representation theory and connections to algebraic geometry(1980s–): Atiyah, Audin, Berline, Kostant, Vergne, Bott, Gross, Etingof, Guillemin, Delzant,Benoist, Kirwan, Reshetikhin, Weinstein, Duistermaat, Souriau ...Fourier, phase-space analysis (1970s–):Duistermaat, Hörmander, Colin de Verdiere, Bismut ...Topology in low dimensions, symplectic topology, gauge theory, connections to physics (1980s–):McDuff, Hofer, Gompf, Eliashberg, Mrowka, Kronheimer, Uhlenbeck, Freed, Taubes, Witten,Perutz, Donaldson, Auroux, Muñoz, Seidel, Polterovich...Connections to mechanics, Poisson Geometry: Weinstein, Ratiu, Loja Fernandes, Martín deDiego, de León, Xu, Crainic, Zambon, Montgomery, Bursztyn, Padrón, Iglesias, Rodríguez Olmo,Balseiro, Alekseev, Miranda, Marrero, Cattaneo,... (and many, many more)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 26: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/26.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.1. Definition and Examples of Symplectic Manifolds
DefinitionSymplectic form on vector space V: non-degenerate, skew,bilinear map V×V→ R
Symplectic manifold is a pair (M,ω):M smooth manifoldω := ωpp∈M symplectic form on M, i.e. ω is smoothcollection of symplectic forms ωp, one on each space Tp M
A little more: differential equation dω = 0 (closedness)
Examples of Symplectic Manifolds
(Σg, ω), surface of genus g with area form
(R2n, ∑ dxi∧ dyi) where (x1, y1, . . . , xn, yn) ∈ R2n
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 27: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/27.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.1. Definition and Examples of Symplectic Manifolds
DefinitionSymplectic form on vector space V: non-degenerate, skew,bilinear map V×V→ RSymplectic manifold is a pair (M,ω):
M smooth manifoldω := ωpp∈M symplectic form on M, i.e. ω is smoothcollection of symplectic forms ωp, one on each space Tp M
A little more: differential equation dω = 0 (closedness)
Examples of Symplectic Manifolds
(Σg, ω), surface of genus g with area form
(R2n, ∑ dxi∧ dyi) where (x1, y1, . . . , xn, yn) ∈ R2n
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 28: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/28.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.1. Definition and Examples of Symplectic Manifolds
DefinitionSymplectic form on vector space V: non-degenerate, skew,bilinear map V×V→ RSymplectic manifold is a pair (M,ω):
M smooth manifoldω := ωpp∈M symplectic form on M, i.e. ω is smoothcollection of symplectic forms ωp, one on each space Tp M
A little more: differential equation dω = 0 (closedness)
Examples of Symplectic Manifolds
(Σg, ω), surface of genus g with area form
(R2n, ∑ dxi∧ dyi) where (x1, y1, . . . , xn, yn) ∈ R2n
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 29: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/29.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.1. Definition and Examples of Symplectic Manifolds
DefinitionSymplectic form on vector space V: non-degenerate, skew,bilinear map V×V→ RSymplectic manifold is a pair (M,ω):
M smooth manifoldω := ωpp∈M symplectic form on M, i.e. ω is smoothcollection of symplectic forms ωp, one on each space Tp M
A little more: differential equation dω = 0 (closedness)
Examples of Symplectic Manifolds
(Σg, ω), surface of genus g with area form
(R2n, ∑ dxi∧ dyi) where (x1, y1, . . . , xn, yn) ∈ R2n
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 30: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/30.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.1. Definition and Examples of Symplectic Manifolds
DefinitionSymplectic form on vector space V: non-degenerate, skew,bilinear map V×V→ RSymplectic manifold is a pair (M,ω):
M smooth manifoldω := ωpp∈M symplectic form on M, i.e. ω is smoothcollection of symplectic forms ωp, one on each space Tp M
A little more: differential equation dω = 0 (closedness)
Examples of Symplectic Manifolds
(Σg, ω), surface of genus g with area form
(R2n, ∑ dxi∧ dyi) where (x1, y1, . . . , xn, yn) ∈ R2n
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 31: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/31.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.1. Definition and Examples of Symplectic Manifolds
DefinitionSymplectic form on vector space V: non-degenerate, skew,bilinear map V×V→ RSymplectic manifold is a pair (M,ω):
M smooth manifoldω := ωpp∈M symplectic form on M, i.e. ω is smoothcollection of symplectic forms ωp, one on each space Tp M
A little more: differential equation dω = 0 (closedness)
Examples of Symplectic Manifolds
(Σg, ω), surface of genus g with area form
(R2n, ∑ dxi∧ dyi) where (x1, y1, . . . , xn, yn) ∈ R2n
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 32: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/32.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.1. Definition and Examples of Symplectic Manifolds
DefinitionSymplectic form on vector space V: non-degenerate, skew,bilinear map V×V→ RSymplectic manifold is a pair (M,ω):
M smooth manifoldω := ωpp∈M symplectic form on M, i.e. ω is smoothcollection of symplectic forms ωp, one on each space Tp M
A little more: differential equation dω = 0 (closedness)
Examples of Symplectic Manifolds
(Σg, ω), surface of genus g with area form
(R2n, ∑ dxi∧ dyi) where (x1, y1, . . . , xn, yn) ∈ R2n
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 33: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/33.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.1. Definition and Examples of Symplectic Manifolds
DefinitionSymplectic form on vector space V: non-degenerate, skew,bilinear map V×V→ RSymplectic manifold is a pair (M,ω):
M smooth manifoldω := ωpp∈M symplectic form on M, i.e. ω is smoothcollection of symplectic forms ωp, one on each space Tp M
A little more: differential equation dω = 0 (closedness)
Examples of Symplectic Manifolds
(Σg, ω), surface of genus g with area form
(R2n, ∑ dxi∧ dyi) where (x1, y1, . . . , xn, yn) ∈ R2n
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 34: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/34.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.1. Definition and Examples of Symplectic Manifolds
DefinitionSymplectic form on vector space V: non-degenerate, skew,bilinear map V×V→ RSymplectic manifold is a pair (M,ω):
M smooth manifoldω := ωpp∈M symplectic form on M, i.e. ω is smoothcollection of symplectic forms ωp, one on each space Tp M
A little more: differential equation dω = 0 (closedness)
Examples of Symplectic Manifolds
(Σg, ω), surface of genus g with area form
(R2n, ∑ dxi∧ dyi) where (x1, y1, . . . , xn, yn) ∈ R2n
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 35: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/35.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.a. Why Symplectic Geometry?
Symplectic Geometry in Mathematics and PhysicsMathematically: symplectic form is natural object
Physically:Origin in mechanics: phase space = symplectic manifold
Figure: Symplectic Geometry is natural setting for Spherical Pendulum
Framework for many classical/quantum problems
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 36: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/36.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.a. Why Symplectic Geometry?
Symplectic Geometry in Mathematics and PhysicsMathematically: symplectic form is natural objectPhysically:
Origin in mechanics: phase space = symplectic manifold
Figure: Symplectic Geometry is natural setting for Spherical Pendulum
Framework for many classical/quantum problems
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 37: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/37.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.a. Why Symplectic Geometry?
Symplectic Geometry in Mathematics and PhysicsMathematically: symplectic form is natural objectPhysically:
Origin in mechanics: phase space = symplectic manifold
Figure: Symplectic Geometry is natural setting for Spherical Pendulum
Framework for many classical/quantum problems
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 38: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/38.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.a. Why Symplectic Geometry?
Symplectic Geometry in Mathematics and PhysicsMathematically: symplectic form is natural objectPhysically:
Origin in mechanics: phase space = symplectic manifold
Figure: Symplectic Geometry is natural setting for Spherical Pendulum
Framework for many classical/quantum problems
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 39: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/39.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.b. Why Symplectic Geometry? continuation
Where else is Symplectic Geometry?Applied: physics, chemistry, engineering eg:
Molecular spectroscopyPlasma physicsElasticity theoryString theoryRobotics ...
Pure: connected at a core level with major subjects eg:Representation theoryDynamicsComplex algebraic geometryLie theoryFourier theory, microlocal analysis and PDE ...
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 40: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/40.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.b. Why Symplectic Geometry? continuation
Where else is Symplectic Geometry?Applied: physics, chemistry, engineering eg:
Molecular spectroscopyPlasma physicsElasticity theoryString theoryRobotics ...
Pure: connected at a core level with major subjects eg:Representation theoryDynamicsComplex algebraic geometryLie theoryFourier theory, microlocal analysis and PDE ...
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 41: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/41.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.c. Why Symplectic Geometry? continuation
Conceptual framework for many problems in physicsComplex computations become quick
Without symplectic geometry language:
Hamilton’s PDEs:
dyidt (t) = −∂H
∂xi(γ(t))
dxidt (t) = ∂H
∂yi(γ(t))
With symplectic geometry language:
Hamilton’s PDEs: ω(Y , ·) = dH
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 42: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/42.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.c. Why Symplectic Geometry? continuation
Conceptual framework for many problems in physicsComplex computations become quickWithout symplectic geometry language:
Hamilton’s PDEs:
dyidt (t) = −∂H
∂xi(γ(t))
dxidt (t) = ∂H
∂yi(γ(t))
With symplectic geometry language:
Hamilton’s PDEs: ω(Y , ·) = dH
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 43: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/43.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.c. Why Symplectic Geometry? continuation
Conceptual framework for many problems in physicsComplex computations become quickWithout symplectic geometry language:
Hamilton’s PDEs:
dyidt (t) = −∂H
∂xi(γ(t))
dxidt (t) = ∂H
∂yi(γ(t))
With symplectic geometry language:
Hamilton’s PDEs: ω(Y , ·) = dH
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 44: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/44.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.d. Why Symplectic Geometry? continuation
Figure: A. Weinstein (1943 - )
Famous Weinstein Creed, 1970s“EVERYTHING IS A LAGRANGIAN SUBMANIFOLD”
Symplectic manifolds and their submanifolds (isotropic,coisotropic, symplectic, Lagrangian etc) are natural objectsWhat does this mean? Wait till end of lecture!Creed ⇒ EVERYTHING IS SYMPLECTIC GEOMETRY!
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 45: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/45.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.d. Why Symplectic Geometry? continuation
Figure: A. Weinstein (1943 - )
Famous Weinstein Creed, 1970s“EVERYTHING IS A LAGRANGIAN SUBMANIFOLD”
Symplectic manifolds and their submanifolds (isotropic,coisotropic, symplectic, Lagrangian etc) are natural objectsWhat does this mean? Wait till end of lecture!Creed ⇒ EVERYTHING IS SYMPLECTIC GEOMETRY!
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 46: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/46.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.d. Why Symplectic Geometry? continuation
Figure: A. Weinstein (1943 - )
Famous Weinstein Creed, 1970s“EVERYTHING IS A LAGRANGIAN SUBMANIFOLD”
Symplectic manifolds and their submanifolds (isotropic,coisotropic, symplectic, Lagrangian etc) are natural objects
What does this mean? Wait till end of lecture!Creed ⇒ EVERYTHING IS SYMPLECTIC GEOMETRY!
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 47: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/47.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.d. Why Symplectic Geometry? continuation
Figure: A. Weinstein (1943 - )
Famous Weinstein Creed, 1970s“EVERYTHING IS A LAGRANGIAN SUBMANIFOLD”
Symplectic manifolds and their submanifolds (isotropic,coisotropic, symplectic, Lagrangian etc) are natural objectsWhat does this mean?
Wait till end of lecture!Creed ⇒ EVERYTHING IS SYMPLECTIC GEOMETRY!
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 48: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/48.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.d. Why Symplectic Geometry? continuation
Figure: A. Weinstein (1943 - )
Famous Weinstein Creed, 1970s“EVERYTHING IS A LAGRANGIAN SUBMANIFOLD”
Symplectic manifolds and their submanifolds (isotropic,coisotropic, symplectic, Lagrangian etc) are natural objectsWhat does this mean? Wait till end of lecture!
Creed ⇒ EVERYTHING IS SYMPLECTIC GEOMETRY!
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 49: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/49.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2.d. Why Symplectic Geometry? continuation
Figure: A. Weinstein (1943 - )
Famous Weinstein Creed, 1970s“EVERYTHING IS A LAGRANGIAN SUBMANIFOLD”
Symplectic manifolds and their submanifolds (isotropic,coisotropic, symplectic, Lagrangian etc) are natural objectsWhat does this mean? Wait till end of lecture!Creed ⇒ EVERYTHING IS SYMPLECTIC GEOMETRY!
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 50: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/50.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2. Geometric Interpretation of "Symplectic"
(M, ω) symplectic manifold, i.e. ω closed and non-degenerateSymplectic area of a surface S :=
∫S
ω
Closednessdω = 0⇒ ∫
S ω unchanged when deforming S keeping ∂S fixed
Figure: S and R have same symplectic area since ∂S = ∂R = cStriking difference with Riemannian geometry !
Non-degeneracyω non-degenerate gives isomorphism:
TM = vector fields on M −→ T∗M = 1-forms onMX 7→ ω(X , ·)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 51: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/51.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2. Geometric Interpretation of "Symplectic"
(M, ω) symplectic manifold, i.e. ω closed and non-degenerateSymplectic area of a surface S :=
∫S
ω
Closednessdω = 0⇒ ∫
S ω unchanged when deforming S keeping ∂S fixed
Figure: S and R have same symplectic area since ∂S = ∂R = cStriking difference with Riemannian geometry !
Non-degeneracyω non-degenerate gives isomorphism:
TM = vector fields on M −→ T∗M = 1-forms onMX 7→ ω(X , ·)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 52: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/52.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2. Geometric Interpretation of "Symplectic"
(M, ω) symplectic manifold, i.e. ω closed and non-degenerateSymplectic area of a surface S :=
∫S
ω
Closednessdω = 0⇒ ∫
S ω unchanged when deforming S keeping ∂S fixed
Figure: S and R have same symplectic area since ∂S = ∂R = c
Striking difference with Riemannian geometry !
Non-degeneracyω non-degenerate gives isomorphism:
TM = vector fields on M −→ T∗M = 1-forms onMX 7→ ω(X , ·)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 53: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/53.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2. Geometric Interpretation of "Symplectic"
(M, ω) symplectic manifold, i.e. ω closed and non-degenerateSymplectic area of a surface S :=
∫S
ω
Closednessdω = 0⇒ ∫
S ω unchanged when deforming S keeping ∂S fixed
Figure: S and R have same symplectic area since ∂S = ∂R = cStriking difference with Riemannian geometry !
Non-degeneracyω non-degenerate gives isomorphism:
TM = vector fields on M −→ T∗M = 1-forms onMX 7→ ω(X , ·)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 54: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/54.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2. Geometric Interpretation of "Symplectic"
(M, ω) symplectic manifold, i.e. ω closed and non-degenerateSymplectic area of a surface S :=
∫S
ω
Closednessdω = 0⇒ ∫
S ω unchanged when deforming S keeping ∂S fixed
Figure: S and R have same symplectic area since ∂S = ∂R = cStriking difference with Riemannian geometry !
Non-degeneracyω non-degenerate gives isomorphism:
TM = vector fields on M −→ T∗M = 1-forms onMX 7→ ω(X , ·)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 55: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/55.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.2. Geometric Interpretation of "Symplectic"
(M, ω) symplectic manifold, i.e. ω closed and non-degenerateSymplectic area of a surface S :=
∫S
ω
Closednessdω = 0⇒ ∫
S ω unchanged when deforming S keeping ∂S fixed
Figure: S and R have same symplectic area since ∂S = ∂R = cStriking difference with Riemannian geometry !
Non-degeneracyω non-degenerate gives isomorphism:
TM = vector fields on M −→ T∗M = 1-forms onMX 7→ ω(X , ·)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 56: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/56.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.3. Questions about Symplectic Manifolds
Can you put a symplectic form on the 3-sphere S3?
S3 := (x, y, z, t) ∈ R4 | x2 + y2 + z2 + t2 = 1
Can you put a symplectic form on the Klein bottle?
Can you put a symplectic form on the 4-sphere S4?
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 57: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/57.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.3. Questions about Symplectic Manifolds
Can you put a symplectic form on the 3-sphere S3?
S3 := (x, y, z, t) ∈ R4 | x2 + y2 + z2 + t2 = 1
Can you put a symplectic form on the Klein bottle?
Can you put a symplectic form on the 4-sphere S4?
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 58: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/58.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.3. Questions about Symplectic Manifolds
Can you put a symplectic form on the 3-sphere S3?
S3 := (x, y, z, t) ∈ R4 | x2 + y2 + z2 + t2 = 1
Can you put a symplectic form on the Klein bottle?
Can you put a symplectic form on the 4-sphere S4?
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 59: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/59.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.4. Properties of Symplectic Manifolds
Three Main Properties
Even dimensional. Hence S3 is not symplectic
Orientable: volume form Ω := ω ∧ . . .(n times) . . .∧ω = ωn,where 2n = dimM. So Klein Bottle is not symplectic
Topologically “non-trivial” : if M is compact
H2kdR(M) 6= 0 since [ωk] ∈ H2k
dR(M), 0≤ k ≤ n.
So spheres S4, S6, S8, . . . ,S24, ... are not symplectic
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 60: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/60.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.4. Properties of Symplectic Manifolds
Three Main Properties
Even dimensional. Hence S3 is not symplectic
Orientable: volume form Ω := ω ∧ . . .(n times) . . .∧ω = ωn,where 2n = dimM. So Klein Bottle is not symplectic
Topologically “non-trivial” : if M is compact
H2kdR(M) 6= 0 since [ωk] ∈ H2k
dR(M), 0≤ k ≤ n.
So spheres S4, S6, S8, . . . ,S24, ... are not symplectic
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 61: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/61.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.4. Properties of Symplectic Manifolds
Three Main Properties
Even dimensional. Hence S3 is not symplectic
Orientable: volume form Ω := ω ∧ . . .(n times) . . .∧ω = ωn,where 2n = dimM. So Klein Bottle is not symplectic
Topologically “non-trivial” : if M is compact
H2kdR(M) 6= 0 since [ωk] ∈ H2k
dR(M), 0≤ k ≤ n.
So spheres S4, S6, S8, . . . ,S24, ... are not symplectic
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 62: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/62.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.5. The Symplectic Category
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 63: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/63.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.6. Local Classification of Symplectic Manifolds
Figure: Jean-Gaston Darboux (Nimes 1842 - Paris 1917)
Theorem (Darboux 1882)
Near each point in (M, ω), ∃ Darboux coordinates (x1,y1, . . . ,xn,yn)
ω =n
∑i=1
dxi∧ dyi
So symplectic manifolds have no local invariants, expect dimension
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 64: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/64.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.6. Local Classification of Symplectic Manifolds
Figure: Jean-Gaston Darboux (Nimes 1842 - Paris 1917)
Theorem (Darboux 1882)
Near each point in (M, ω), ∃ Darboux coordinates (x1,y1, . . . ,xn,yn)
ω =n
∑i=1
dxi∧ dyi
So symplectic manifolds have no local invariants, expect dimension
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 65: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/65.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
I.6. Local Classification of Symplectic Manifolds
Figure: Jean-Gaston Darboux (Nimes 1842 - Paris 1917)
Theorem (Darboux 1882)
Near each point in (M, ω), ∃ Darboux coordinates (x1,y1, . . . ,xn,yn)
ω =n
∑i=1
dxi∧ dyi
So symplectic manifolds have no local invariants, expect dimension
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 66: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/66.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.1. Hamiltonian Dynamics
Originated with Galileo, Lagrange and NewtonGreatly generalized and reformulated by Hamilton ' 1835
Figure: William R. Hamilton (Dublin 1805-1865)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 67: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/67.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.2. Dynamics of Vector Fields
Next: (M, ω) connected symplectic manifold
DefinitionY symplectic vector field on M if its flow preserves ω
Y Hamiltonian vector field on M if the system
ω(Y , ·) = dH (Hamilton’s Equations)
has a solution H : M→ R. If so, notation:
Y := HH
H called Hamiltonian or Energy Function
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 68: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/68.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.2. Dynamics of Vector Fields
Next: (M, ω) connected symplectic manifold
DefinitionY symplectic vector field on M if its flow preserves ω
Y Hamiltonian vector field on M if the system
ω(Y , ·) = dH (Hamilton’s Equations)
has a solution H : M→ R. If so, notation:
Y := HH
H called Hamiltonian or Energy Function
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 69: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/69.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.2. Dynamics of Vector Fields
Next: (M, ω) connected symplectic manifold
DefinitionY symplectic vector field on M if its flow preserves ω
Y Hamiltonian vector field on M if the system
ω(Y , ·) = dH (Hamilton’s Equations)
has a solution H : M→ R. If so, notation:
Y := HH
H called Hamiltonian or Energy Function
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 70: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/70.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.3. Exercise — Example of Vector Field
Vector field on sphereConsider
X :=√
1−h2 ∂
∂θ
on 2-sphere S2 with coordinates (θ , h) and form dθ ∧ dh
Is X symplectic? YesIs X Hamiltonian? Yes. Really?Define H : S2→ R by H(θ , h) := h. Then:
ω(X , ·) = dH
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 71: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/71.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.3. Exercise — Example of Vector Field
Vector field on sphereConsider
X :=√
1−h2 ∂
∂θ
on 2-sphere S2 with coordinates (θ , h) and form dθ ∧ dhIs X symplectic? Yes
Is X Hamiltonian? Yes. Really?Define H : S2→ R by H(θ , h) := h. Then:
ω(X , ·) = dH
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 72: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/72.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.3. Exercise — Example of Vector Field
Vector field on sphereConsider
X :=√
1−h2 ∂
∂θ
on 2-sphere S2 with coordinates (θ , h) and form dθ ∧ dhIs X symplectic? YesIs X Hamiltonian?
Yes. Really?Define H : S2→ R by H(θ , h) := h. Then:
ω(X , ·) = dH
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 73: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/73.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.3. Exercise — Example of Vector Field
Vector field on sphereConsider
X :=√
1−h2 ∂
∂θ
on 2-sphere S2 with coordinates (θ , h) and form dθ ∧ dhIs X symplectic? YesIs X Hamiltonian? Yes.
Really?Define H : S2→ R by H(θ , h) := h. Then:
ω(X , ·) = dH
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 74: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/74.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.3. Exercise — Example of Vector Field
Vector field on sphereConsider
X :=√
1−h2 ∂
∂θ
on 2-sphere S2 with coordinates (θ , h) and form dθ ∧ dhIs X symplectic? YesIs X Hamiltonian? Yes. Really?
Define H : S2→ R by H(θ , h) := h. Then:
ω(X , ·) = dH
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 75: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/75.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.3. Exercise — Example of Vector Field
Vector field on sphereConsider
X :=√
1−h2 ∂
∂θ
on 2-sphere S2 with coordinates (θ , h) and form dθ ∧ dhIs X symplectic? YesIs X Hamiltonian? Yes. Really?Define H : S2→ R by H(θ , h) := h. Then:
ω(X , ·) = dH
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 76: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/76.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.4. Exercise – Another Example of Vector Field
Vector field on torus
Consider ∂
∂θon 2-torus T2 := (R/Z)2 with coordinates (θ , α)
Is it symplectic? YesIs it Hamiltonian? No
If ω(∂
∂θ, ·) = dH =⇒ H(θ ,α) = α locally for some H : T2→ R
H is not a function: multivalued!!!(Can you make this argument rigorous?)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 77: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/77.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.4. Exercise – Another Example of Vector Field
Vector field on torus
Consider ∂
∂θon 2-torus T2 := (R/Z)2 with coordinates (θ , α)
Is it symplectic? Yes
Is it Hamiltonian? No
If ω(∂
∂θ, ·) = dH =⇒ H(θ ,α) = α locally for some H : T2→ R
H is not a function: multivalued!!!(Can you make this argument rigorous?)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 78: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/78.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.4. Exercise – Another Example of Vector Field
Vector field on torus
Consider ∂
∂θon 2-torus T2 := (R/Z)2 with coordinates (θ , α)
Is it symplectic? YesIs it Hamiltonian? No
If ω(∂
∂θ, ·) = dH
=⇒ H(θ ,α) = α locally for some H : T2→ R
H is not a function: multivalued!!!(Can you make this argument rigorous?)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 79: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/79.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.4. Exercise – Another Example of Vector Field
Vector field on torus
Consider ∂
∂θon 2-torus T2 := (R/Z)2 with coordinates (θ , α)
Is it symplectic? YesIs it Hamiltonian? No
If ω(∂
∂θ, ·) = dH =⇒ H(θ ,α) = α locally for some H : T2→ R
H is not a function: multivalued!!!(Can you make this argument rigorous?)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 80: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/80.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.4. Exercise – Another Example of Vector Field
Vector field on torus
Consider ∂
∂θon 2-torus T2 := (R/Z)2 with coordinates (θ , α)
Is it symplectic? YesIs it Hamiltonian? No
If ω(∂
∂θ, ·) = dH =⇒ H(θ ,α) = α locally for some H : T2→ R
H is not a function: multivalued!!!(Can you make this argument rigorous?)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 81: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/81.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.5. Lie Groups
DefinitionA (G, ?) Lie group is a pair where
G is smooth manifold
? is internal operation ? : G×G→ G
? is smooth
The Torus: a compact, connected, Abelian Lie group(R/Z, +
)'(
S1 :=
z ∈ C | |z|= 1, ·)
((R/Z)k, +
)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 82: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/82.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.5. Lie Groups
DefinitionA (G, ?) Lie group is a pair where
G is smooth manifold
? is internal operation ? : G×G→ G
? is smooth
The Torus: a compact, connected, Abelian Lie group(R/Z, +
)'(
S1 :=
z ∈ C | |z|= 1, ·)
((R/Z)k, +
)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 83: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/83.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.5. Lie Groups
DefinitionA (G, ?) Lie group is a pair where
G is smooth manifold? is internal operation ? : G×G→ G
? is smooth
The Torus: a compact, connected, Abelian Lie group(R/Z, +
)'(
S1 :=
z ∈ C | |z|= 1, ·)
((R/Z)k, +
)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 84: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/84.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.5. Lie Groups
DefinitionA (G, ?) Lie group is a pair where
G is smooth manifold? is internal operation ? : G×G→ G
? is smooth
The Torus: a compact, connected, Abelian Lie group(R/Z, +
)'(
S1 :=
z ∈ C | |z|= 1, ·)
((R/Z)k, +
)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 85: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/85.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.5. Lie Groups
DefinitionA (G, ?) Lie group is a pair where
G is smooth manifold? is internal operation ? : G×G→ G
? is smooth
The Torus: a compact, connected, Abelian Lie group(R/Z, +
)'(
S1 :=
z ∈ C | |z|= 1, ·)
((R/Z)k, +
)Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 86: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/86.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.6. Lie Group Actions
Definition(G, ?) Lie group, M smooth manifold
A G-action is a smooth map G×M→M,
(g, x) 7→ g · x,
such thate · x = x
g · (h · x) = (g?h) · x
Torus acting on Complex Space
An S1-action S1×Cn→ Cn on Cn:
(θ , (z1, z2, . . . , zn)) 7→ (θ z1, z2, . . . , zn)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 87: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/87.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.6. Lie Group Actions
Definition(G, ?) Lie group, M smooth manifoldA G-action is a smooth map G×M→M,
(g, x) 7→ g · x,
such that
e · x = xg · (h · x) = (g?h) · x
Torus acting on Complex Space
An S1-action S1×Cn→ Cn on Cn:
(θ , (z1, z2, . . . , zn)) 7→ (θ z1, z2, . . . , zn)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 88: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/88.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.6. Lie Group Actions
Definition(G, ?) Lie group, M smooth manifoldA G-action is a smooth map G×M→M,
(g, x) 7→ g · x,
such thate · x = xg · (h · x) = (g?h) · x
Torus acting on Complex Space
An S1-action S1×Cn→ Cn on Cn:
(θ , (z1, z2, . . . , zn)) 7→ (θ z1, z2, . . . , zn)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 89: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/89.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.6. Lie Group Actions
Definition(G, ?) Lie group, M smooth manifoldA G-action is a smooth map G×M→M,
(g, x) 7→ g · x,
such thate · x = xg · (h · x) = (g?h) · x
Torus acting on Complex Space
An S1-action S1×Cn→ Cn on Cn:
(θ , (z1, z2, . . . , zn)) 7→ (θ z1, z2, . . . , zn)
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 90: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/90.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.7. Another Lie Group Action Example
Figure: Rotational action of G := S1 on the 2-torus M := T2
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 91: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/91.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.8. Dynamics Generated by Torus Actions
Generating Vector Fields from an Action
T ' Tk := (S1)k torus. Assume T acts smoothly on MLet X ∈ t= Lie(T)
Vector field G (X) on M generated by T-action from X is
G (X)p := tangent vector to t 7→curve in T︷ ︸︸ ︷exp(tX) ·p︸ ︷︷ ︸
curve in M through p
at t = 0
DefinitionA smooth T-action on (M, ω) is
symplectic if all vector fields it generates are symplecticHamiltonian if all vector fields it generates are Hamiltonian
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 92: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/92.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.8. Dynamics Generated by Torus Actions
Generating Vector Fields from an Action
T ' Tk := (S1)k torus. Assume T acts smoothly on MLet X ∈ t= Lie(T)
Vector field G (X) on M generated by T-action from X is
G (X)p := tangent vector to t 7→curve in T︷ ︸︸ ︷exp(tX) ·p︸ ︷︷ ︸
curve in M through p
at t = 0
DefinitionA smooth T-action on (M, ω) is
symplectic if all vector fields it generates are symplecticHamiltonian if all vector fields it generates are Hamiltonian
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 93: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/93.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.8. Dynamics Generated by Torus Actions
Generating Vector Fields from an Action
T ' Tk := (S1)k torus. Assume T acts smoothly on MLet X ∈ t= Lie(T)
Vector field G (X) on M generated by T-action from X is
G (X)p := tangent vector to t 7→curve in T︷ ︸︸ ︷exp(tX) ·p︸ ︷︷ ︸
curve in M through p
at t = 0
DefinitionA smooth T-action on (M, ω) is
symplectic if all vector fields it generates are symplecticHamiltonian if all vector fields it generates are Hamiltonian
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 94: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/94.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.8. Dynamics Generated by Torus Actions
Generating Vector Fields from an Action
T ' Tk := (S1)k torus. Assume T acts smoothly on MLet X ∈ t= Lie(T)
Vector field G (X) on M generated by T-action from X is
G (X)p := tangent vector to t 7→curve in T︷ ︸︸ ︷exp(tX) ·p︸ ︷︷ ︸
curve in M through p
at t = 0
DefinitionA smooth T-action on (M, ω) is
symplectic if all vector fields it generates are symplectic
Hamiltonian if all vector fields it generates are Hamiltonian
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 95: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/95.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
II.8. Dynamics Generated by Torus Actions
Generating Vector Fields from an Action
T ' Tk := (S1)k torus. Assume T acts smoothly on MLet X ∈ t= Lie(T)
Vector field G (X) on M generated by T-action from X is
G (X)p := tangent vector to t 7→curve in T︷ ︸︸ ︷exp(tX) ·p︸ ︷︷ ︸
curve in M through p
at t = 0
DefinitionA smooth T-action on (M, ω) is
symplectic if all vector fields it generates are symplecticHamiltonian if all vector fields it generates are Hamiltonian
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 96: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/96.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.1. The Momentum MapLie-Kostant-Souriau: Map from Hamiltonian Action 1882, 1965-66
Suppose dimT = m and dimM = 2ne1, . . . ,em integral basis of tE1, . . . ,Em corresponding v.f. with Hamiltonians H1, . . . ,Hm
µ := (H1, . . . ,Hm) : M→ Rm momentum map(µ unique up to GL(m, Z) and translations in Rm)
θ
(0,0,− 1)
(0,0,0)
(0,0,1)
(α,h) θ · (α,h)= (θ + α,h)
h
1
− 1
µ(θ,h) = h
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 97: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/97.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.1. The Momentum MapLie-Kostant-Souriau: Map from Hamiltonian Action 1882, 1965-66
Suppose dimT = m and dimM = 2ne1, . . . ,em integral basis of tE1, . . . ,Em corresponding v.f. with Hamiltonians H1, . . . ,Hm
µ := (H1, . . . ,Hm) : M→ Rm momentum map(µ unique up to GL(m, Z) and translations in Rm)
θ
(0,0,− 1)
(0,0,0)
(0,0,1)
(α,h) θ · (α,h)= (θ + α,h)
h
1
− 1
µ(θ,h) = h
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 98: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/98.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.1. The Momentum MapLie-Kostant-Souriau: Map from Hamiltonian Action 1882, 1965-66
Suppose dimT = m and dimM = 2ne1, . . . ,em integral basis of tE1, . . . ,Em corresponding v.f. with Hamiltonians H1, . . . ,Hm
µ := (H1, . . . ,Hm) : M→ Rm momentum map(µ unique up to GL(m, Z) and translations in Rm)
θ
(0,0,− 1)
(0,0,0)
(0,0,1)
(α,h) θ · (α,h)= (θ + α,h)
h
1
− 1
µ(θ,h) = h
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 99: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/99.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.2. Structure Theorems for Hamiltonian Torus Actions
Theorem (Atiyah-Guillemin-Sternberg, Invent Math/Bull LMS 1982)
If a torus T of dimension m acts Hamiltonianly on compact (M,ω),
µ(M) = convex hull
µ(fixed point set)⊂ Rm
Other: Kostant (Ann ENS 1973), Kirwan (Invent Math 1984)
Theorem (Delzant, Bull SMF 1988)
If a torus T of dimension n acts Hamiltonianly on compact2n-manifold (M,ω), then µ(M) classifies (M, ω) and the T-action
We call (M, ω) a symplectic toric manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 100: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/100.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.2. Structure Theorems for Hamiltonian Torus Actions
Theorem (Atiyah-Guillemin-Sternberg, Invent Math/Bull LMS 1982)
If a torus T of dimension m acts Hamiltonianly on compact (M,ω),
µ(M) = convex hull
µ(fixed point set)⊂ Rm
Other: Kostant (Ann ENS 1973), Kirwan (Invent Math 1984)
Theorem (Delzant, Bull SMF 1988)
If a torus T of dimension n acts Hamiltonianly on compact2n-manifold (M,ω), then µ(M) classifies (M, ω) and the T-action
We call (M, ω) a symplectic toric manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 101: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/101.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.2. Structure Theorems for Hamiltonian Torus Actions
Theorem (Atiyah-Guillemin-Sternberg, Invent Math/Bull LMS 1982)
If a torus T of dimension m acts Hamiltonianly on compact (M,ω),
µ(M) = convex hull
µ(fixed point set)⊂ Rm
Other: Kostant (Ann ENS 1973), Kirwan (Invent Math 1984)
Theorem (Delzant, Bull SMF 1988)
If a torus T of dimension n acts Hamiltonianly on compact2n-manifold (M,ω), then µ(M) classifies (M, ω) and the T-action
We call (M, ω) a symplectic toric manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 102: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/102.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.2. Structure Theorems for Hamiltonian Torus Actions
Theorem (Atiyah-Guillemin-Sternberg, Invent Math/Bull LMS 1982)
If a torus T of dimension m acts Hamiltonianly on compact (M,ω),
µ(M) = convex hull
µ(fixed point set)⊂ Rm
Other: Kostant (Ann ENS 1973), Kirwan (Invent Math 1984)
Theorem (Delzant, Bull SMF 1988)
If a torus T of dimension n acts Hamiltonianly on compact2n-manifold (M,ω), then µ(M) classifies (M, ω) and the T-action
We call (M, ω) a symplectic toric manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 103: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/103.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.3. Example: Complex Projective Spaces for SymplecticGeometers are Polytopes
(0,0) (2,0,0)
(0,0,2)
(0,2,0)
(3,0)
(0,3)
Figure: Polytopes of (CP2,3 ·ωFS) and (CP3,2 ·ωFS)
Example
(CPn, λ ·ωFS) with rotational Tn-action
Hamiltonian, momentum map µ(z) = ( λ |z1|2∑
ni=0 |zi|2 , . . . ,
λ |zn|2∑
ni=0 |zi|2 )
Polytope ∆ = convex hull0, λ e1, . . . , λ en
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 104: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/104.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.3. Example: Complex Projective Spaces for SymplecticGeometers are Polytopes
(0,0) (2,0,0)
(0,0,2)
(0,2,0)
(3,0)
(0,3)
Figure: Polytopes of (CP2,3 ·ωFS) and (CP3,2 ·ωFS)
Example
(CPn, λ ·ωFS) with rotational Tn-action
Hamiltonian, momentum map µ(z) = ( λ |z1|2∑
ni=0 |zi|2 , . . . ,
λ |zn|2∑
ni=0 |zi|2 )
Polytope ∆ = convex hull0, λ e1, . . . , λ en
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 105: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/105.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
III.3. Example: Complex Projective Spaces for SymplecticGeometers are Polytopes
(0,0) (2,0,0)
(0,0,2)
(0,2,0)
(3,0)
(0,3)
Figure: Polytopes of (CP2,3 ·ωFS) and (CP3,2 ·ωFS)
Example
(CPn, λ ·ωFS) with rotational Tn-action
Hamiltonian, momentum map µ(z) = ( λ |z1|2∑
ni=0 |zi|2 , . . . ,
λ |zn|2∑
ni=0 |zi|2 )
Polytope ∆ = convex hull0, λ e1, . . . , λ en
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 106: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/106.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.1. Poisson Manifolds
DefinitionM a smooth manifold
A Poisson bracket on C∞(M) is a bilinear map
·, · : C∞(M)× C∞(M)→ C∞(M)
satisfying:(skew-symmetry) f ,g=−g, f(Jacobi identity) f ,g,h+g,h, f+h,f ,g= 0
(Leibniz’s Rule) f g,h= fg,h+gf ,h
DefinitionThe pair (M, ·, ·) is a Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 107: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/107.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.1. Poisson Manifolds
DefinitionM a smooth manifoldA Poisson bracket on C∞(M) is a bilinear map
·, · : C∞(M)× C∞(M)→ C∞(M)
satisfying:
(skew-symmetry) f ,g=−g, f(Jacobi identity) f ,g,h+g,h, f+h,f ,g= 0
(Leibniz’s Rule) f g,h= fg,h+gf ,h
DefinitionThe pair (M, ·, ·) is a Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 108: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/108.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.1. Poisson Manifolds
DefinitionM a smooth manifoldA Poisson bracket on C∞(M) is a bilinear map
·, · : C∞(M)× C∞(M)→ C∞(M)
satisfying:(skew-symmetry) f ,g=−g, f
(Jacobi identity) f ,g,h+g,h, f+h,f ,g= 0
(Leibniz’s Rule) f g,h= fg,h+gf ,h
DefinitionThe pair (M, ·, ·) is a Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 109: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/109.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.1. Poisson Manifolds
DefinitionM a smooth manifoldA Poisson bracket on C∞(M) is a bilinear map
·, · : C∞(M)× C∞(M)→ C∞(M)
satisfying:(skew-symmetry) f ,g=−g, f(Jacobi identity) f ,g,h+g,h, f+h,f ,g= 0
(Leibniz’s Rule) f g,h= fg,h+gf ,h
DefinitionThe pair (M, ·, ·) is a Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 110: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/110.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.1. Poisson Manifolds
DefinitionM a smooth manifoldA Poisson bracket on C∞(M) is a bilinear map
·, · : C∞(M)× C∞(M)→ C∞(M)
satisfying:(skew-symmetry) f ,g=−g, f(Jacobi identity) f ,g,h+g,h, f+h,f ,g= 0
(Leibniz’s Rule) f g,h= fg,h+gf ,h
DefinitionThe pair (M, ·, ·) is a Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 111: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/111.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.1. Poisson Manifolds
DefinitionM a smooth manifoldA Poisson bracket on C∞(M) is a bilinear map
·, · : C∞(M)× C∞(M)→ C∞(M)
satisfying:(skew-symmetry) f ,g=−g, f(Jacobi identity) f ,g,h+g,h, f+h,f ,g= 0
(Leibniz’s Rule) f g,h= fg,h+gf ,h
DefinitionThe pair (M, ·, ·) is a Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 112: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/112.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.2. Symplectic vs Poisson Manifolds
Symplectic ⇒ Poisson
(M, ω) symplectic manifold
Set f , g := ω(Hf , Hg)
Then (M, ·, ·) is Poisson manifold
Poisson but not Symplectic: (h∗, ·, ·)(h, [·, ·]) finite dimensional real Lie algebrah' (h∗)∗ =⇒ h⊂ C∞(h∗)
Define ·, · on h by A, B := [A, B]
One can show ∃! extension of ·, · from h to C∞(h∗)
(h∗, ·, ·) is Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 113: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/113.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.2. Symplectic vs Poisson Manifolds
Symplectic ⇒ Poisson
(M, ω) symplectic manifold
Set f , g := ω(Hf , Hg)
Then (M, ·, ·) is Poisson manifold
Poisson but not Symplectic: (h∗, ·, ·)(h, [·, ·]) finite dimensional real Lie algebrah' (h∗)∗ =⇒ h⊂ C∞(h∗)
Define ·, · on h by A, B := [A, B]
One can show ∃! extension of ·, · from h to C∞(h∗)
(h∗, ·, ·) is Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 114: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/114.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.2. Symplectic vs Poisson Manifolds
Symplectic ⇒ Poisson
(M, ω) symplectic manifold
Set f , g := ω(Hf , Hg)
Then (M, ·, ·) is Poisson manifold
Poisson but not Symplectic: (h∗, ·, ·)(h, [·, ·]) finite dimensional real Lie algebra
h' (h∗)∗ =⇒ h⊂ C∞(h∗)
Define ·, · on h by A, B := [A, B]
One can show ∃! extension of ·, · from h to C∞(h∗)
(h∗, ·, ·) is Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 115: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/115.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.2. Symplectic vs Poisson Manifolds
Symplectic ⇒ Poisson
(M, ω) symplectic manifold
Set f , g := ω(Hf , Hg)
Then (M, ·, ·) is Poisson manifold
Poisson but not Symplectic: (h∗, ·, ·)(h, [·, ·]) finite dimensional real Lie algebrah' (h∗)∗ =⇒ h⊂ C∞(h∗)
Define ·, · on h by A, B := [A, B]
One can show ∃! extension of ·, · from h to C∞(h∗)
(h∗, ·, ·) is Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 116: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/116.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.2. Symplectic vs Poisson Manifolds
Symplectic ⇒ Poisson
(M, ω) symplectic manifold
Set f , g := ω(Hf , Hg)
Then (M, ·, ·) is Poisson manifold
Poisson but not Symplectic: (h∗, ·, ·)(h, [·, ·]) finite dimensional real Lie algebrah' (h∗)∗ =⇒ h⊂ C∞(h∗)
Define ·, · on h by A, B := [A, B]
One can show ∃! extension of ·, · from h to C∞(h∗)
(h∗, ·, ·) is Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 117: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/117.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.2. Symplectic vs Poisson Manifolds
Symplectic ⇒ Poisson
(M, ω) symplectic manifold
Set f , g := ω(Hf , Hg)
Then (M, ·, ·) is Poisson manifold
Poisson but not Symplectic: (h∗, ·, ·)(h, [·, ·]) finite dimensional real Lie algebrah' (h∗)∗ =⇒ h⊂ C∞(h∗)
Define ·, · on h by A, B := [A, B]
One can show ∃! extension of ·, · from h to C∞(h∗)
(h∗, ·, ·) is Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 118: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/118.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.2. Symplectic vs Poisson Manifolds
Symplectic ⇒ Poisson
(M, ω) symplectic manifold
Set f , g := ω(Hf , Hg)
Then (M, ·, ·) is Poisson manifold
Poisson but not Symplectic: (h∗, ·, ·)(h, [·, ·]) finite dimensional real Lie algebrah' (h∗)∗ =⇒ h⊂ C∞(h∗)
Define ·, · on h by A, B := [A, B]
One can show ∃! extension of ·, · from h to C∞(h∗)
(h∗, ·, ·) is Poisson manifold
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 119: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/119.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.3. Explicit Poisson Brackets
Four-dimensional Euclidean Space
R4 with coordinates (x, y, z, t) and dx∧ dy+ dz∧ dt
Let f : R4→ R and g : R4→ R smoothCorresponding Hamiltonian vector fields, eg:
Hf :=(
∂ f∂ z
, − ∂ f∂x
,∂ f∂ t
, −∂ f∂y
)
Define brackets
f , g= ∂ f∂ z· ∂g
∂x− ∂ f
∂x· ∂g
∂ z+
∂ f∂ z· ∂g
∂y− ∂ f
∂y· ∂g
∂ z
(R4, ·, ·) is Poisson bracket
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 120: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/120.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.3. Explicit Poisson Brackets
Four-dimensional Euclidean Space
R4 with coordinates (x, y, z, t) and dx∧ dy+ dz∧ dt
Let f : R4→ R and g : R4→ R smooth
Corresponding Hamiltonian vector fields, eg:
Hf :=(
∂ f∂ z
, − ∂ f∂x
,∂ f∂ t
, −∂ f∂y
)
Define brackets
f , g= ∂ f∂ z· ∂g
∂x− ∂ f
∂x· ∂g
∂ z+
∂ f∂ z· ∂g
∂y− ∂ f
∂y· ∂g
∂ z
(R4, ·, ·) is Poisson bracket
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 121: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/121.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.3. Explicit Poisson Brackets
Four-dimensional Euclidean Space
R4 with coordinates (x, y, z, t) and dx∧ dy+ dz∧ dt
Let f : R4→ R and g : R4→ R smoothCorresponding Hamiltonian vector fields, eg:
Hf :=(
∂ f∂ z
, − ∂ f∂x
,∂ f∂ t
, −∂ f∂y
)
Define brackets
f , g= ∂ f∂ z· ∂g
∂x− ∂ f
∂x· ∂g
∂ z+
∂ f∂ z· ∂g
∂y− ∂ f
∂y· ∂g
∂ z
(R4, ·, ·) is Poisson bracket
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 122: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/122.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.3. Explicit Poisson Brackets
Four-dimensional Euclidean Space
R4 with coordinates (x, y, z, t) and dx∧ dy+ dz∧ dt
Let f : R4→ R and g : R4→ R smoothCorresponding Hamiltonian vector fields, eg:
Hf :=(
∂ f∂ z
, − ∂ f∂x
,∂ f∂ t
, −∂ f∂y
)
Define brackets
f , g= ∂ f∂ z· ∂g
∂x− ∂ f
∂x· ∂g
∂ z+
∂ f∂ z· ∂g
∂y− ∂ f
∂y· ∂g
∂ z
(R4, ·, ·) is Poisson bracket
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 123: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/123.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.3. Explicit Poisson Brackets
Four-dimensional Euclidean Space
R4 with coordinates (x, y, z, t) and dx∧ dy+ dz∧ dt
Let f : R4→ R and g : R4→ R smoothCorresponding Hamiltonian vector fields, eg:
Hf :=(
∂ f∂ z
, − ∂ f∂x
,∂ f∂ t
, −∂ f∂y
)
Define brackets
f , g= ∂ f∂ z· ∂g
∂x− ∂ f
∂x· ∂g
∂ z+
∂ f∂ z· ∂g
∂y− ∂ f
∂y· ∂g
∂ z
(R4, ·, ·) is Poisson bracket
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 124: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/124.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.4. Symplectic and Poisson Structure on CotangentBundles
Cotangent BundlesM smooth manifold
(U, x1, . . . , xn) coordinate chart for M
Associated cotangent chart (T∗U, x1, . . . , xn, ξ1, . . . , ξn)
Define 2-form ω on T∗U
ω T∗M :=n
∑i=1
dxi∧ dξi.
Coordinate independent!: canonical cotangent formProof. Note ω =− dα where α := ∑ξi dxi
Easy to check α intrinsically defined (⇒ω intrinsically defined)Canonical Poisson structure: f , g := ω T∗M(Hf , Hg)
More on Poisson manifolds: Rui Loja Fernandes’ Course
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 125: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/125.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.4. Symplectic and Poisson Structure on CotangentBundles
Cotangent BundlesM smooth manifold(U, x1, . . . , xn) coordinate chart for M
Associated cotangent chart (T∗U, x1, . . . , xn, ξ1, . . . , ξn)
Define 2-form ω on T∗U
ω T∗M :=n
∑i=1
dxi∧ dξi.
Coordinate independent!: canonical cotangent formProof. Note ω =− dα where α := ∑ξi dxi
Easy to check α intrinsically defined (⇒ω intrinsically defined)Canonical Poisson structure: f , g := ω T∗M(Hf , Hg)
More on Poisson manifolds: Rui Loja Fernandes’ Course
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 126: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/126.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.4. Symplectic and Poisson Structure on CotangentBundles
Cotangent BundlesM smooth manifold(U, x1, . . . , xn) coordinate chart for M
Associated cotangent chart (T∗U, x1, . . . , xn, ξ1, . . . , ξn)
Define 2-form ω on T∗U
ω T∗M :=n
∑i=1
dxi∧ dξi.
Coordinate independent!: canonical cotangent formProof. Note ω =− dα where α := ∑ξi dxi
Easy to check α intrinsically defined (⇒ω intrinsically defined)Canonical Poisson structure: f , g := ω T∗M(Hf , Hg)
More on Poisson manifolds: Rui Loja Fernandes’ Course
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 127: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/127.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.4. Symplectic and Poisson Structure on CotangentBundles
Cotangent BundlesM smooth manifold(U, x1, . . . , xn) coordinate chart for M
Associated cotangent chart (T∗U, x1, . . . , xn, ξ1, . . . , ξn)
Define 2-form ω on T∗U
ω T∗M :=n
∑i=1
dxi∧ dξi.
Coordinate independent!: canonical cotangent form
Proof. Note ω =− dα where α := ∑ξi dxi
Easy to check α intrinsically defined (⇒ω intrinsically defined)Canonical Poisson structure: f , g := ω T∗M(Hf , Hg)
More on Poisson manifolds: Rui Loja Fernandes’ Course
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 128: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/128.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.4. Symplectic and Poisson Structure on CotangentBundles
Cotangent BundlesM smooth manifold(U, x1, . . . , xn) coordinate chart for M
Associated cotangent chart (T∗U, x1, . . . , xn, ξ1, . . . , ξn)
Define 2-form ω on T∗U
ω T∗M :=n
∑i=1
dxi∧ dξi.
Coordinate independent!: canonical cotangent formProof. Note ω =− dα where α := ∑ξi dxi
Easy to check α intrinsically defined (⇒ω intrinsically defined)
Canonical Poisson structure: f , g := ω T∗M(Hf , Hg)
More on Poisson manifolds: Rui Loja Fernandes’ Course
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 129: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/129.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.4. Symplectic and Poisson Structure on CotangentBundles
Cotangent BundlesM smooth manifold(U, x1, . . . , xn) coordinate chart for M
Associated cotangent chart (T∗U, x1, . . . , xn, ξ1, . . . , ξn)
Define 2-form ω on T∗U
ω T∗M :=n
∑i=1
dxi∧ dξi.
Coordinate independent!: canonical cotangent formProof. Note ω =− dα where α := ∑ξi dxi
Easy to check α intrinsically defined (⇒ω intrinsically defined)Canonical Poisson structure: f , g := ω T∗M(Hf , Hg)
More on Poisson manifolds: Rui Loja Fernandes’ Course
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 130: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/130.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.4. Symplectic and Poisson Structure on CotangentBundles
Cotangent BundlesM smooth manifold(U, x1, . . . , xn) coordinate chart for M
Associated cotangent chart (T∗U, x1, . . . , xn, ξ1, . . . , ξn)
Define 2-form ω on T∗U
ω T∗M :=n
∑i=1
dxi∧ dξi.
Coordinate independent!: canonical cotangent formProof. Note ω =− dα where α := ∑ξi dxi
Easy to check α intrinsically defined (⇒ω intrinsically defined)Canonical Poisson structure: f , g := ω T∗M(Hf , Hg)
More on Poisson manifolds: Rui Loja Fernandes’ CourseÁlvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 131: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/131.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.5. Weinstein’s Creed Revisited
Figure: A. Weinstein (1943 - )
Any smooth M is a Lagrangian submanifold of (T∗M, ω T∗M):
the zero section!
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 132: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/132.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
IV.5. Weinstein’s Creed Revisited
Figure: A. Weinstein (1943 - )
Any smooth M is a Lagrangian submanifold of (T∗M, ω T∗M):
the zero section!
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 133: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/133.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
In Memoriam: Prof. Johannes J. Duistermaat (1942-2010)
Figure: Johannes J. Duistermaat and Álvaro Pelayo at the Duistermaat’sfamily residence in Holland. Photo by Saskia Duistermaat in June 2005.
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 134: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/134.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
Summary and References for Lecture 1
Lecture 1 SummarySymplectic and Poisson manifolds;Dynamics of vector field, torus actions;Structure theorems for Hamiltonian torus actions
Lecture 1 ReferencesM. Atiyah: Convexity and commuting Hamiltonians.Bull. Lond. Math. Soc. 14 (1982) 1-15
A. C. da Silva: Lectures on Symplectic Geometry. Springer 2000
T. Delzant: Hamiltoniens périodiques et image convexe de l’application moment. Bull. Soc.Math. France 116 (1988) 315–339.
V. Guillemin and S. Sternberg: Convexity properties of the moment mappingInvent. Math. 67 (1982) 491–513
Symplectic theory of completely integrable Hamiltonian systems (with S. Vu Ngo.c)Bull. Amer. Math. Soc. 48 (2011) 409-455
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 135: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/135.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
Summary and References for Lecture 1
Lecture 1 SummarySymplectic and Poisson manifolds;Dynamics of vector field, torus actions;Structure theorems for Hamiltonian torus actions
Lecture 1 ReferencesM. Atiyah: Convexity and commuting Hamiltonians.Bull. Lond. Math. Soc. 14 (1982) 1-15
A. C. da Silva: Lectures on Symplectic Geometry. Springer 2000
T. Delzant: Hamiltoniens périodiques et image convexe de l’application moment. Bull. Soc.Math. France 116 (1988) 315–339.
V. Guillemin and S. Sternberg: Convexity properties of the moment mappingInvent. Math. 67 (1982) 491–513
Symplectic theory of completely integrable Hamiltonian systems (with S. Vu Ngo.c)Bull. Amer. Math. Soc. 48 (2011) 409-455
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions
![Page 136: Symplectic Geometry and Hamiltonian Group Actions - …alpelayo/Docs/GMCLecture1.pdf · · 2014-10-02OutlineManifoldsActionsTheoryPoisson Manifolds Symplectic Geometry and Hamiltonian](https://reader033.vdocument.in/reader033/viewer/2022042620/5ab89d8e7f8b9ad13d8cba5f/html5/thumbnails/136.jpg)
Outline Manifolds Actions Theory Poisson Manifolds
The end. THANK YOU!
Álvaro Pelayo Symplectic Geometry and Hamiltonian Group Actions