Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-15/4/c/solution

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 give
Thus 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!