Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-140/4/solution

If is constant, then for every . By the definition of the Hamiltonian vector field,
Since is Lagrangian, , so is tangent to . Its Hamiltonian flow preserves . This is the Hamiltonian flow preserves a constant-level Lagrangian principle.
The cotangent lift is functorial:
Since , it follows that
Thus is a flow with infinitesimal vector field as stated in the question.
Finally, a cotangent lift sends the conormal bundle to . Explicitly, if annihilates , then annihilates . Since , we have
so the conormal bundle is invariant.

New to topics? Read the docs here!