Darboux's Theorem

TheoremDarboux's Theorem

Let $(M, \omega)$ be a $2n$ -dimensional symplectic manifold and $p \in M$ . Then there exist local coordinates $(q_1, \ldots, q_n, p_1, \ldots, p_n)$ centered at $p$ in which:

$\omega = \sum_{i=1}^n dq_i \wedge dp_i$

That is, every symplectic manifold is locally symplectomorphic to $(\mathbb{R}^{2n}, \omega_0)$ with the standard symplectic form.

This fundamental theorem, proved by Jean Gaston Darboux in 1882, asserts that symplectic geometry has no local invariants. Unlike Riemannian geometry (where curvature varies) or complex geometry (where holomorphic functions provide structure), symplectic manifolds are all locally identical.

Historical Context: Darboux's theorem predates the modern formulation of symplectic geometry. Darboux proved it in the context of Pfaffian forms and canonical coordinates for Hamiltonian systems. The theorem's full significance was recognized much later with the development of symplectic topology.

Remark

Darboux's theorem is the symplectic analogue of several classical results:

Riemannian: Riemann normal coordinates make $g_{ij}(p) = \delta_{ij}$ , but derivatives encode curvature
Complex: Holomorphic coordinates exist, but the Dolbeault operator $\bar{\partial}$ has non-trivial cohomology
Symplectic: Darboux coordinates eliminate all local structure

The symplectic case is uniquely simple.

The proof uses either:

Moser's method: Construct a path of symplectic forms and integrate a time-dependent vector field
Direct construction: Build Darboux coordinates inductively using the symplectic structure

Both approaches are constructive, yielding explicit formulas near any point.

DefinitionDarboux Chart Atlas

Darboux's theorem implies that every symplectic manifold admits an atlas of Darboux charts $(U_\alpha, \phi_\alpha)$ where each $\phi_\alpha: U_\alpha \to \mathbb{R}^{2n}$ satisfies:

$\phi_\alpha^* \omega_0 = \omega|_{U_\alpha}$

The transition functions $\phi_\beta \circ \phi_\alpha^{-1}$ are symplectomorphisms of $\mathbb{R}^{2n}$ .

ExampleApplication to Hamiltonian Mechanics

In classical mechanics, Darboux's theorem justifies using canonical coordinates $(q, p)$ on any phase space. The equations of motion:

$\dot{q}_i = \frac{\partial H}{\partial p_i}, \quad \dot{p}_i = -\frac{\partial H}{\partial q_i}$

have universal form in Darboux coordinates, independent of the underlying manifold structure.

DefinitionConsequences of Darboux's Theorem

Several important results follow immediately:

No symplectic curvature: There is no local symplectic invariant analogous to Riemannian curvature
Volume normalization: The Liouville volume $\frac{\omega^n}{n!}$ is the unique canonical volume form
Local triviality: All symplectic questions are either global or algebraic

This makes symplectic geometry fundamentally topological rather than differential-geometric.

Remark

The global topology can differ dramatically even when local structure is identical. For instance:

$(\mathbb{R}^{2n}, \omega_0)$ is exact: $\omega_0 = -d\theta$
$(T^{2n}, \omega)$ is non-exact: $[\omega] \neq 0 \in H^2(T^{2n})$

Yet both are locally symplectomorphic to $\mathbb{R}^{2n}$ by Darboux's theorem.

ExampleSymplectic Structure on Coadjoint Orbits

Let $G$ be a Lie group and $\mathfrak{g}^*$ its coadjoint representation. Coadjoint orbits $\mathcal{O} \subseteq \mathfrak{g}^*$ carry natural symplectic structures (Kirillov-Kostant-Souriau form).

Darboux's theorem implies that near any point, $\mathcal{O}$ looks like standard $\mathbb{R}^{2k}$ , even though the global geometry depends on the group structure and representation theory.

DefinitionEquivariant Darboux Theorem

If a Lie group $G$ acts on $(M, \omega)$ by symplectomorphisms and $p \in M$ is a fixed point, there exist $G$ -equivariant Darboux coordinates near $p$ .

This extension is crucial for symplectic reduction and the study of Hamiltonian group actions.

Remark

Darboux's theorem fails for:

Almost symplectic structures: Non-closed 2-forms have local invariants
Poisson manifolds: Degeneracies create moduli of local structures
Pre-symplectic forms: Non-degenerate closed forms on odd-dimensional manifolds

The combination of closedness + non-degeneracy is essential.