In differential geometry, a branch of mathematics, Moser's trick (or Moser's argument) is a method to relate two differential forms α 0 {\displaystyle \alpha _{0}} and α 1 {\displaystyle \alpha _{1}} on a smooth manifold by a diffeomorphism ψ ∈ D i f f ( M ) {\displaystyle \psi \in \mathrm {Diff} (M)} such that ψ ∗ α 1 = α 0 {\displaystyle \psi ^{*}\alpha _{1}=\alpha _{0}} , provided that one can find a family of vector fields satisfying a certain ODE. More generally, the argument holds for a family { α t } t ∈ [ 0 , 1 ] {\displaystyle \{\alpha _{t}\}_{t\in [0,1]}} and produce an entire isotopy ψ t {\displaystyle \psi _{t}} such that ψ t ∗ α t = α 0 {\displaystyle \psi _{t}^{*}\alpha _{t}=\alpha _{0}} . It was originally given by Jürgen Moser in 1965 to check when two volume forms are equivalent, but its main applications are in symplectic geometry. It is the standard argument for the modern proof of Darboux's theorem, as well as for the proof of Darboux-Weinstein theorem and other normal form results.
General statement Let { ω t } t ∈ [ 0 , 1 ] ⊂ Ω k ( M ) {\displaystyle \{\omega _{t}\}_{t\in [0,1]}\subset \Omega ^{k}(M)} be a family of differential forms on a compact manifold M {\displaystyle M} . If the ODE d d t ω t + L X t ω t = 0 {\displaystyle {\frac {d}{dt}}\omega _{t}+{\mathcal {L}}_{X_{t}}\omega _{t}=0} admits a solution { X t } t ∈ [ 0 , 1 ] ⊂ X ( M ) {\displaystyle \{X_{t}\}_{t\in [0,1]}\subset {\mathfrak {X}}(M)} , then there exists a family { ψ t } t ∈ [ 0 , 1 ] {\displaystyle \{\psi _{t}\}_{t\in [0,1]}} of diffeomorphisms of M {\displaystyle M} such that ψ t ∗ ω t = ω 0 {\displaystyle \psi _{t}^{*}\omega _{t}=\omega _{0}} and ψ 0 = i d M {\displaystyle \psi _{0}=\mathrm {id} _{M}} . In particular, there is a diffeomorphism ψ := ψ 1 {\displaystyle \psi :=\psi _{1}} such that ψ ∗ ω 1 = ω 0 {\displaystyle \psi ^{*}\omega _{1}=\omega _{0}} .
… excerpt ends here. Continue reading the full article.
