Darboux's theorem

Template:Short description Template:About

In differential geometry, a field in mathematics, Darboux's theorem is a theorem providing a normal form for special classes of differential 1-forms, partially generalizing the Frobenius integration theorem. It is named after Jean Gaston Darboux<ref>Template:Cite journal</ref> who established it as the solution of the Pfaff problem.<ref>Template:Cite journal</ref>

It is a foundational result in several fields, the chief among them being symplectic geometry. Indeed, one of its many consequences is that any two symplectic manifolds of the same dimension are locally symplectomorphic to one another. That is, every <math>2n </math>-dimensional symplectic manifold can be made to look locally like the linear symplectic space <math>\mathbb{C}^n </math> with its canonical symplectic form.

There is also an analogous consequence of the theorem applied to contact geometry.

StatementEdit

Suppose that <math>\theta </math> is a differential 1-form on an <math>n </math>-dimensional manifold, such that <math>\mathrm{d} \theta </math> has constant rank <math>p </math>. Then

if <math> \theta \wedge \left(\mathrm{d}\theta\right)^p = 0 </math> everywhere, then there is a local system of coordinates <math> (x_1,\ldots,x_{n-p},y_1,\ldots, y_p) </math> in which <math display="block"> \theta=x_1\,\mathrm{d}y_1+\ldots + x_p\,\mathrm{d}y_p; </math>
if <math> \theta \wedge \left( \mathrm{d} \theta \right)^p \ne 0 </math> everywhere, then there is a local system of coordinates <math> (x_1,\ldots,x_{n-p},y_1,\ldots, y_p) </math> in which<math display="block"> \theta=x_1\,\mathrm{d}y_1+\ldots + x_p\,\mathrm{d}y_p + \mathrm{d}x_{p+1}.</math>

Darboux's original proof used induction on <math>p </math> and it can be equivalently presented in terms of distributions<ref>Template:Cite book</ref> or of differential ideals.<ref name=":0">Template:Cite journal</ref>

Frobenius' theoremEdit

Darboux's theorem for <math>p=0 </math> ensures that any 1-form <math>\theta \neq 0 </math> such that <math>\theta \wedge d\theta = 0 </math> can be written as <math>\theta = dx_1 </math> in some coordinate system <math> (x_1,\ldots,x_n) </math>.

This recovers one of the formulation of Frobenius theorem in terms of differential forms: if <math> \mathcal{I} \subset \Omega^*(M) </math> is the differential ideal generated by <math> \theta </math>, then <math>\theta \wedge d\theta = 0 </math> implies the existence of a coordinate system <math> (x_1,\ldots,x_n) </math> where <math> \mathcal{I} \subset \Omega^*(M) </math> is actually generated by <math> d x_1 </math>.<ref name=":0" />

Darboux's theorem for symplectic manifoldsEdit

Suppose that <math>\omega </math> is a symplectic 2-form on an <math>n=2m </math>-dimensional manifold <math>M </math>. In a neighborhood of each point <math>p </math> of <math>M </math>, by the Poincaré lemma, there is a 1-form <math>\theta </math> with <math>\mathrm{d} \theta = \omega</math>. Moreover, <math>\theta </math> satisfies the first set of hypotheses in Darboux's theorem, and so locally there is a coordinate chart <math>U </math> near <math>p </math> in which<math display="block"> \theta=x_1\,\mathrm{d}y_1+\ldots + x_m\,\mathrm{d}y_m. </math>

Taking an exterior derivative now shows

<math display="block"> \omega = \mathrm{d} \theta = \mathrm{d}x_1 \wedge \mathrm{d}y_1 + \ldots + \mathrm{d}x_m \wedge \mathrm{d}y_m.</math>

The chart <math>U </math> is said to be a Darboux chart around <math>p </math>.<ref name=":32">Template:Cite book</ref> The manifold <math>M </math> can be covered by such charts.

To state this differently, identify <math>\mathbb{R}^{2m}</math> with <math>\mathbb{C}^{m}</math> by letting <math>z_j=x_j+\textit{i}\,y_j</math>. If <math>\varphi: U \to \mathbb{C}^n</math> is a Darboux chart, then <math> \omega </math> can be written as the pullback of the standard symplectic form <math>\omega_0</math> on <math>\mathbb{C}^{n}</math>:

<math>\omega = \varphi^{*}\omega_0.\,</math>

A modern proof of this result, without employing Darboux's general statement on 1-forms, is done using Moser's trick.<ref name=":32" /><ref name=":02">Template:Cite book</ref>

Comparison with Riemannian geometryEdit

Darboux's theorem for symplectic manifolds 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 <math> \omega </math> can be made to take the standard form in an entire neighborhood around <math>p </math>. 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's theorem for contact manifoldsEdit

Another particular case is recovered when <math> n=2p+1 </math>; if <math> \theta \wedge \left( \mathrm{d} \theta \right)^p \ne 0 </math> everywhere, then <math> \theta </math> is a contact form. A simpler proof can be given, as in the case of symplectic structures, by using Moser's trick.<ref>Template:Cite book</ref>

The Darboux-Weinstein theoremEdit

Alan Weinstein showed that the Darboux's theorem for sympletic manifolds can be strengthened to hold on a neighborhood of a submanifold:<ref>Template:Cite journal</ref>

Let <math>M</math> be a smooth manifold endowed with two symplectic forms <math>\omega_1</math> and <math>\omega_2</math>, and let <math>N \subset M</math> be a closed submanifold. If <math> \left.\omega_1\right|_N = \left.\omega_2\right|_N </math>, then there is a neighborhood <math> U </math> of <math>N</math> in <math>M</math> and a diffeomorphism <math>f : U \to U</math> such that <math>f^*\omega_2 = \omega_1</math>.

The standard Darboux theorem is recovered when <math>N</math> is a point and <math>\omega_2</math> is the standard symplectic structure on a coordinate chart.

This theorem also holds for infinite-dimensional Banach manifolds.

ReferencesEdit