Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-14/4/a/solution
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 14 4 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
A coorientation gives a globally nonvanishing one-form with . For tangent fields in the integrable distribution,since integrability makes their bracket tangent to . Thus . Choose a transverse field with . The one-form then satisfies , as is checked on and .
The Godbillon-Vey invariant in the unnormalized convention isThe three-form is continuous at the specified regularity, so its integral is defined. We prove independence of both choices by producing exact differences with primitives, allowing ordinary Stokes theorem.
First, for a fixed , another admissible auxiliary form has the form . From and , one gets . Expanding the two three-forms, using this relation and , givesIts integral on the closed manifold vanishes.
Next any other defining form is with nowhere zero. Let . Thenso one may use . Its three-form differs byAgain the difference integrates to zero; any subsequent auxiliary choice is handled by the first calculation. This includes reversing the chosen coorientation, since can be negative. Thus the invariant, and the corresponding de Rham cohomology class, depends only on the oriented manifold and the foliation defined by . Reversing the orientation of , unlike reversing the coorientation of , changes the sign of its numerical value.
New to topics? Read the docs here!