Proof. [04K2]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Consider the symplectomorphism from Example 5.5. The reduced fibration at time , i.e. the map , has many Lagrangian sections, since the fibration has many. In particular we can choose one which does not intersect , this follows for example by observing that the following Lagrangian section of the fibration
| (47) |
does not intersect the surface . It is easy to see that a section which does not intersect can be lifted to . The image of this lift is a coisotropic dimensional submanifold of . Applying the coisotropic embedding theorem, we can extend this submanifold to a Lagrangian submanifold along a direction which is transversal to , e.g. along , where is the Hamiltonian vector field of the action. This submanifold is then the image of a section of the fibration in Example 5.5.