Introductory Symplectic Geometry and Topology
NOTES FROM MATH 8230: SYMPLECTIC TOPOLOGY, UGA, SPRING 2019, BY MIKE USHER
CONTENTS
2n 1. Geometry and Hamiltonian flows on R 1 1.1. Hamilton’s equations 1 1.2. Divergence-free vector fields 3 1.3. Hamiltonian flows and the standard symplectic form 6 1.4. Symmetries of Hamilton’s equations 8 2. Linear symplectic geometry 10 2.1. Alternating bilinear forms 10 2.2. Subspaces of symplectic vector spaces 13 2.3. Complex structures 17 2.4. Compatible triples 19 2.5. The symplectic linear groups and related structures 21 3. Introducing symplectic manifolds 27 3.1. Almost symplectic and similar structures 27 3.2. Symplectic structures 30 4. The Moser technique and its consequences 32 4.1. Cartan’s magic formula 32 4.2. The Moser trick 36 4.3. Tubular neighborhood theorems 39 5. Flows on symplectic manifolds 47 6. Exact symplectic manifolds 53 6.1. Fixed points and the Arnold conjecture 57 6.2. Liouville vector fields 59 6.3. Contact forms and structures 61 6.4. Morse theory and Weinstein handles 68 7. Constructions of symplectic and contact manifolds 72 7.1. Weinstein surgery 72 7.2. Complex submanifolds 74 7.3. Complex projective space, projective manifolds, and Kähler manifolds 75 7.4. Fiber bundles 78 7.5. Lefschetz fibrations and open books 82 References 94
2n 1. GEOMETRYAND HAMILTONIAN FLOWS ON R 1.1. Hamilton’s equations. Initial interest in symplectic geometry came from its role in Hamilton’s formulation of classical mechanics. I will begin by explaining enough about Hamiltonian mechanics to indicate how symplectic geometry naturally arises. I will not go very deeply into the physics (in particular I won’t say anything at all about Lagrangian mechanics, for example; [MS, Chapter 1] discusses this a little bit, and [Ar] much more so.) 1 2 NOTES FROM MATH 8230: SYMPLECTIC TOPOLOGY, UGA, SPRING 2019, BY MIKE USHER
Hamilton described the state of an n-dimensional physical system using a total of 2n coordi- nates p1,..., pn, q1,..., qn; in some standard examples (e.g. in Example 1.1) qi denotes the ith position coordinate and pi denotes the ith momentum coordinate. The way in which the system 2n evolves is dictated by a “Hamiltonian function” H : R R. If the state of the system at time t is → (p1(t),..., pn(t), q1(t),..., qn(t)), Hamilton’s equations say that, for i = 1, . . . , n, ∂ H ˙pi = −∂ qi ∂ H q˙i = .(1) ∂ pi
Here the dots over pi and qi refer to differentiation with respect to t. Example 1.1. The most famous Hamiltonian functions H look like ~p 2 H ~p, q~ U q~ ( ) = k2mk + ( ) n 1 where m > 0 denotes mass, U : R R is a smooth function, and we abbreviate ~p = (p1,..., pn) and → q~ = (q1,..., qn). Then Hamilton’s equations read ∂ U ˙pi = −∂ qi p q˙ i , i = m or more concisely ˙ ~p = U −∇1 q~˙ ~p. = m ˙ The second equation says that ~p = mq~ is indeed the momentum (according to the usual high school physics definition) of the system, and then the first equation says that ¨ mq~ = U. −∇ This latter equation—a second-order equation taking place in n-dimensional space, as opposed to Hamilton’s equations which give a first-order equation taking place in 2n-dimensional space—is New- ton’s Second Law of Motion for a system being acted on by a force F~ = U. Then U has the physical −∇ ~p 2 m q~˙ 2 interpretation of potential energy, and the whole Hamiltonian H(~p, q~) = k2mk + U(q~) = k2 k + U(q~) is the sum of the kinetic energy and the potential energy. If you know a little about differential equations, you have probably seen before the idea that one can reduce a second-order system (like Newton’s Second Law) to a first-order system (like Hamilton’s equations) by doubling the number of variables.
3 3 Exercise 1.2. Take n = 3, let A~: R R be smooth, and let e, m be constants with m > 0. Consider the Hamiltonian → 1 2 H(~p, q~) = ~p eA~(q~) . 2mk − k Show that Hamilton’s equations give rise to the second-order equation ¨ ˙ (2) mq~ = eq~ ( A~) × ∇ × for q~(t), where denotes cross product. × 1I always intend “smooth” to mean “infinitely differentiable.” NOTES FROM MATH 8230: SYMPLECTIC TOPOLOGY, UGA, SPRING 2019, BY MIKE USHER 3
Remark 1.3. The equation (2) is the “Lorentz Force Law” for a particle of mass m and electric charge e moving in a magnetic field B~ = A~. In particular this example comes from a simple and natural physical setting. It should become∇× clear early in the course of solving Exercise 1.2 that in this case it is not true that ~p is equal to the classical momentum mq~˙. More generally, from the perspective of symplectic geometry, the coordinates pi and qi can take on many different meanings. This is already apparent from the basic form of Hamilton’s equations: replacing pi and qi by, respectively, qi and pi leaves those equations unchanged, so there is a symmetry that effectively interchanges “position”− and “momentum;” this is not something that one would likely anticipate based on older (Newtonian or Lagrangian) formulations of classical mechanics.
1.2. Divergence-free vector fields. I would now like to make the case that considering Hamilton’s 2n equations leads one to interesting geometry. I’ll use x as my generic name for an element of R (so we can write x = (~p, q~)). A more concise expression of Hamilton’s equations is
x˙(t) = X H (x(t)) 2n 2n where the Hamiltonian vector field X H : R R is defined by → ∂ H ∂ H ∂ H ∂ H X H = ,..., , ,..., , −∂ q1 −∂ qn ∂ p1 ∂ pn or, in notation that I hope is self-explanatory,