Liouville vector field 2026-10-07
For an exact symplectic manifold with , the Liouville vector field is defined by . Cartan's magic formula gives . On a cotangent bundle using , take ; then generates the cotangent fiber-dilation flow.
Take the usual convention that the smooth isotopy starts at . The exterior derivative commutes with a pullback of a differential form, so
Consequently
The right-hand condition says precisely that is a symplectic isotopy.
Here an exact symplectic manifold is necessarily noncompact in positive dimension: if and , then , contradicting the positive symplectic volume and the Generalized Stokes theorem on a compact smooth manifold without boundary. Thus the paper's introductory word “closed” must here be read as “without boundary”, as its parenthesis suggests, rather than as including compactness.