Horizontal generator of contact stability 2026-10-07
For a family of contact forms, require and solve . The contact distribution symplectic form gives a unique smooth solution. Then , with and the Reeb vector field.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 15 2 Solution Created 2026-10-03 Updated 2026-10-07
Put , the contact distribution. If , the contact form condition is . It implies that is a symplectic form on each contact hyperplane: inserting a vector transverse to in that volume form leaves the nonzero top exterior power . Hence there is a unique smooth time-dependent vector field satisfyingIts smoothness follows by inverting the smoothly varying nondegenerate matrix of this contact distribution symplectic form. This is the horizontal generator of contact stability.
Let be the Reeb vector field of . The one-form vanishes on , so it is . Evaluating on , using and , identifies the coefficient:By Cartan's magic formula, the Lie derivative of a differential form isbecause lies in the contact hyperplane.
Let solve , with . Since is compact without boundary and is smooth on the closed time interval, its solutions cannot escape and exist for the entire interval. Reversing the time-dependent equation supplies a smooth inverse for each . Thus these flow maps give a smooth isotopy. Differentiating the pullback of a differential form along this isotopy yieldsFor each base point this is a scalar linear equation for a covector, initially . Its solution isBy finite-time flow completeness on a compact manifold, this construction gives the whole time interval. The contact conformal factor along an isotopy is smooth in and nowhere zero, proving Gray stability theorem. The precise domains here are and ; the extra time factor attached to the already indexed in the source is a notational slip. The proof produces the required family on its whole specified interval. If a parameter domain of all is intended, extend the smooth field slightly beyond , multiply it by a time cutoff, and use compactness to obtain the extended isotopy . Its restriction to is unchanged.
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 140 1 Solution 2026-09-28
Use polar coordinates on each complex coordinate plane. On , where ,Direct substitution shows that is nowhere zero for , so is a contact form.
The vector fieldsatisfies and on tangent vectors to the sphere. It is therefore the Reeb vector field. Its flow isIf both coordinates are nonzero, an orbit closes only if the two angular frequencies have rational ratio, equivalently if . For irrational , the only closed orbits are and , the two coordinate circles. This is the irrational contact ellipsoid flow on the three-sphere.