Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-15/4/c/solution
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 15 4 c Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-07
For any positive-dimensional , choose a smooth function with not identically zero. A nonconstant smooth bump in a coordinate chart supplies one on an arbitrary smooth manifold. Translate by this exact differential form:The cotangent fiber translation identities giveThus a nontrivial exact fiber translation is a symplectomorphism that fails to preserve the Liouville one-form. For example, on one can take : it preserves but changes to .
If dimension zero is admitted, and , so every diffeomorphism preserves and this requested distinction is impossible. The example therefore applies in positive dimension, as required for a nonzero differential one-form.
New to topics? Read the docs here!