Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 15 4 c Solution 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.