Darboux's theorem is a theorem in the mathematical field of differential geometry and more specifically differential forms, partially generalizing the Frobenius integration theorem. It is a foundational result in several fields, the chief among them being symplectic geometry. The theorem is named after Jean Gaston Darboux who established it as the solution of the Pfaff problem.
One of the many consequences of the theorem is that any two symplectic manifolds of the same dimension are locally symplectomorphic to one another. That is, every 2n-dimensional symplectic manifold can be made to look locally like the linear symplectic space Cn with its canonical symplectic form. There is also an analogous consequence of the theorem as applied to contact geometry.
Statement and first consequencesEdit
then there is a local system of coordinates in which
If, on the other hand,
then there is a local system of coordinates ' in which
Note that if everywhere and then is a contact form.
In particular, suppose that is a symplectic 2-form on an n=2m dimensional manifold M. In a neighborhood of each point p of M, by the Poincaré lemma, there is a 1-form with . Moreover, satisfies the first set of hypotheses in Darboux's theorem, and so locally there is a coordinate chart U near p in which
Taking an exterior derivative now shows
To state this differently, identify with by letting . If is a Darboux chart, then is the pullback of the standard symplectic form on :
Comparison with Riemannian geometryEdit
This result implies that there are no local invariants in symplectic geometry: a Darboux basis can always be taken, valid near any given point. This is in marked contrast to the situation in Riemannian geometry where the curvature is a local invariant, an obstruction to the metric being locally a sum of squares of coordinate differentials.
The difference is that Darboux's theorem states that ω can be made to take the standard form in an entire neighborhood around p. In Riemannian geometry, the metric can always be made to take the standard form at any given point, but not always in a neighborhood around that point.
- Darboux (1882).
- Pfaff (1814–1815).
- Sternberg (1964) p. 140–141.
- Cf. with McDuff and Salamon (1998) p. 96.
- Darboux, Gaston (1882). "Sur le problème de Pfaff". Bull. Sci. Math. 6: 14–36, 49–68.
- Pfaff, Johann Friedrich (1814–1815). "Methodus generalis, aequationes differentiarum partialium nec non aequationes differentiales vulgates, ultrasque primi ordinis, inter quotcunque variables, complete integrandi". Abhandlungen der Königlichen Akademie der Wissenschaften in Berlin: 76–136.
- Sternberg, Shlomo (1964). Lectures on Differential Geometry. Prentice Hall.
- McDuff, D.; Salamon, D. (1998). Introduction to Symplectic Topology. Oxford University Press. ISBN 0-19-850451-9.