Definition
A symplectic manifold is a pair
is non-degenerate (pointwise). i.e. for every , is non-degenerate as a bilinear form on . is closed (i.e. ).
Isomorphism
An isomorphism in the category of symplectic manifolds is a symplectomorphism.
Examples
- Let
with coordinates . Then the standard symplectic form
is symplectic.
(Note for my sanity that
- Let
with (linear) coordinates . The form
is symplectic.
If we think of this as a 2n-dimensional real manifold with the identification that
- Let
. We may take the volume form
This is symplectic. It is closed since it is top degree, and non-degenerate by a volume argument.
- The cotangent bundle of a smooth manifold is always canonically a symplectic manifold using the tautological 1-form.
Cohomology of symplectic manifolds
Given a 2n-dimensional symplectic manifold
We can also see that if
Proof: Assume
This is a contradiction as
Thus,
This means that the only sphere with a symplectic structure is