Moser stability theorem

Moser stability theorem

The Moser stability theorem is a foundational result in differential topology and symplectic geometry asserting that nearby volume forms on a compact manifold are related by a diffeomorphism. It provides a rigidity statement linking infinitesimal data to global geometric structure and plays a central role alongside results of Andrey Kolmogorov, Vladimir Arnold, Henri Poincaré, John Nash, and Stephen Smale in modern geometric analysis. The theorem underpins techniques used in the study of conservative dynamical systems, geometric quantization, and foliation theory.

Statement

Let M be a compact connected smooth manifold of dimension n and let ω0 and ω1 be two smooth nowhere-vanishing volume forms on M with equal total volume. The Moser stability theorem states that there exists a diffeomorphism φ: M → M isotopic to the identity such that φ^*ω1 = ω0. In particular, if ωt, t ∈ [0,1], is a smooth family of volume forms with ∫_M ωt constant in t, then there exists a smooth isotopy Φt with Φ0 = id and Φt^*ωt = ω0 for all t. The statement interacts with foundational results by Marston Morse, René Thom, André Haefliger, Maurice Fréchet, and Charles Ehresmann through the use of isotopy extension and integration of time-dependent vector fields.

Historical background and attribution

The theorem was proved by Jürgen Moser in 1965 as part of his study of volume-preserving diffeomorphisms and normal forms, contemporaneous with developments by V. I. Arnold in Hamiltonian mechanics and by John Mather in stability theory. Moser's work built on techniques from earlier contributions of Élie Cartan, Hermann Weyl, Maurice René Fréchet and methods related to the implicit function theorem as used by Andrey Kolmogorov and Jürgen Moser himself in KAM theory. Subsequent expositions and extensions were developed by Alan Weinstein, Victor Guillemin, André Haefliger, Dennis Sullivan, and Michael Atiyah, situating the result within the broader program influenced by Alexander Grothendieck and René Thom.

Proof sketch

Moser's proof constructs an explicit isotopy by solving a time-dependent linear partial differential equation. Given a path ωt between ω0 and ω1 with constant total volume, one seeks a vector field Xt satisfying the linear equation L_{Xt} ωt + ∂t ωt = 0, where L denotes the Lie derivative. Using Cartan's formula and Hodge-theoretic ideas present in the work of W. V. D. Hodge, Marcel Berger, and James Simons, one rewrites the equation as d(ι_{Xt} ωt) + ∂t ωt = 0. Since ∂t ωt is exact when integrated against the de Rham cohomology class fixed by the volume condition—a perspective related to results of Élie Cartan and Jean Leray—one solves for the (n−1)-form ι_{Xt} ωt and hence Xt. Integrating Xt yields the isotopy Φt; smooth dependence results use techniques from the theory of ordinary differential equations developed by Andrey Kolmogorov and regularity results as in the work of S. R. S. Varadhan and Jacques Hadamard. Variants of this argument exploit partitions of unity attributable to constructions from Henri Lebesgue and coordinate charts modeled on the methods of Charles Ehresmann.

Applications and consequences

Moser stability has numerous consequences across geometry and dynamics. It implies that volume forms with equal total volume are equivalent under diffeomorphism, a principle applied in the classification of measurable invariants in ergodic theory developed by George David Birkhoff, Ilya Piatetski-Shapiro, and Anatole Katok. In symplectic geometry, Moser-type arguments underpin the Darboux theorem and the stability of symplectic forms in families, influencing work by Vladimir Arnold, Alan Weinstein, Yasha Eliashberg, Mikhail Gromov, and Dusa McDuff. The theorem is used in the study of Hamiltonian dynamics, particularly in contexts related to KAM theory associated with Andrey Kolmogorov, V. I. Arnold, and Jürgen Moser; in contact topology connected to Paul Seidel and John Etnyre; and in gauge theory and moduli problems investigated by Simon Donaldson, Karen Uhlenbeck, and Edward Witten. It also informs rigidity phenomena in foliation theory studied by André Haefliger and Dennis Sullivan and has influenced modern work on group actions on manifolds by Élie Cartan and Marston Morse.

Related results and generalizations

Generalizations include relative versions fixing submanifolds or boundary behavior, equivariant forms under compact Lie group actions studied by Élie Cartan and Bertram Kostant, and versions for symplectic and contact structures central to Vladimir Arnold and Yulij Ilyashenko. The noncompact case requires additional hypotheses encountered in the literature of René Thom and Hermann Weyl; measurable and C^0-analogues relate to developments by Michael Herman, Mikhail Gromov, Yakov Sinai, and Anatole Katok. Extensions to singular volume forms, stratified spaces, and foliated manifolds have been pursued by André Haefliger, Robert MacPherson, John Mather, and Dennis Sullivan, while functional-analytic refinements connect to work of Laurent Schwartz and Jean-Pierre Serre.

Category:Differential topology