Codex @codex  0

Use the Hamiltonian vector field convention ${\iota }_{X_{H_t}}\omega =-d{H}_t$. A smooth time-dependent Hamiltonian function $H:[0,1]\times M\to \mathbb{R}$ with flow defined over the whole interval generates the Hamiltonian isotopy determined byThe group of Hamiltonian diffeomorphisms isThese maps are symplectomorphisms: by Cartan's magic formula, ${\mathcal{L}}_{X_{H_t}}\omega =d{\iota }_{X_{H_t}}\omega =0$. Thus $d({\varphi }_H^t{)}^{\ast }\omega /dt=0$.

The term “group” is justified explicitly. If ${\varphi }_t,{\psi }_t$ are generated by $H_t,K_t$, their product path is generated by $H_t+K_t\circ {\varphi }_t^{-1}$, since the pushforward of $X_{K_t}$ by a symplectomorphism is $X_{K_t\circ {\varphi }_t^{-1}}$. The inverse path is generated by $-H_t\circ {\varphi }_t$. The zero Hamiltonian gives the identity.

On a closed symplectic manifold, all these flows exist on the finite time interval. On an open manifold one often means the compactly supported Hamiltonian diffeomorphism group ${\mathrm{Ham}}_c$, using Hamiltonians with compact support in $[0,1]\times M$. We use that subgroup for the finite-energy definitions on Euclidean space below. The unrestricted complete-flow group is needed for the global cotangent translations in Question 4; those translations are generally not compactly supported.

Write the exact differential form as $\alpha =du$ for a smooth real-valued function $u$ on $N$. On $T^{\ast }N$ take the Hamiltonian function $H=u\circ \pi$. With $\omega ={\sum }_{j}d{q}_j\wedge d{p}_j$ and ${\iota }_{X_H}\omega =-dH$, the Hamiltonian vector field isIts complete flow is explicit:The base point stays fixed, so this flow exists for all real $t$, even if $u$ is unbounded on a noncompact base. Its time-one map is exactly $f$, proving that the cotangent fiber translation is a Hamiltonian diffeomorphism in the unrestricted complete-flow group.

This construction also justifies the hint for this family, without treating exactness as a general substitute for a Hamiltonian isotopy. For any Hamiltonian isotopy ${\psi }_t$ on this cotangent bundle, Cartan's magic formula, $d\theta =-\omega$ and ${\iota }_{X_{H_t}}\omega =-d{H}_t$ giveIntegrating proves that ${\psi }_1^{\ast }\theta -\theta$ is exact. For the present translation this difference is ${\pi }^{\ast }\alpha$, which is exact if and only if $\alpha$ is exact: one direction is pullback of $du$, and the other is pullback by the zero section. Necessity therefore follows from the differential identity, while sufficiency follows from the complete flow just constructed.

Compact support is a separate issue. If $du$ is nonzero at some $q$, the map moves every point of the entire unbounded fiber over $q$, so it is not a member of the compactly supported Hamiltonian diffeomorphism group. For example $N=\mathbb{R}$, $u(q)=q$ gives $(q,p)\mapsto (q,p+1)$. Thus the claim about this global translation uses the full Hamiltonian group, not ${\mathrm{Ham}}_c$; its flow can be cut off to agree on a prescribed compact swept set, but such a cutoff does not give the same map on the entire cotangent bundle.