Contact Geometry — Mathematics Knowledge System

Overview

Contact geometry is the odd-dimensional counterpart of symplectic geometry. A contact structure on a (2n+1)-dimensional manifold is a maximally non-integrable field of hyperplanes — a codimension-1 distribution ξ = ker(α) where the 1-form α satisfies α ∧ (dα)ⁿ ≠ 0 everywhere. Contact manifolds appear naturally as the boundaries of symplectic manifolds and as the configuration spaces of non-holonomic mechanics (e.g., the rolling ball problem).

Intuition

On ℝ³, the standard contact structure is the plane field ξ = ker(dz − y dx) — the condition for a 'rolling without slipping' constraint. The planes twist so much that no surface can be everywhere tangent to them (non-integrability, Frobenius fails). This twisting is encoded by α ∧ dα ≠ 0: the contact form and its exterior derivative together fill up all of T*M. Darboux's theorem says all contact structures locally look like the standard one on ℝ²ⁿ⁺¹.

Formal Definition

Definition

A contact structure on a (2n+1)-dimensional manifold M is a smooth corank-1 distribution ξ ⊆ TM that is maximally non-integrable. Locally ξ = ker(α) for a 1-form α; the contact condition requires:

\alpha \wedge (d\alpha)^n \neq 0 \quad \text{everywhere on } M

α ∧ (dα)ⁿ is a volume form on the (2n+1)-manifold

Contact condition (α is a contact form)

\xi = \ker(\alpha), \quad \alpha \in \Omega^1(M)

Contact structure as kernel of a contact form

\text{Standard contact form on } \mathbb{R}^{2n+1}: \quad \alpha_{\mathrm{std}} = dz - \sum_{i=1}^n y_i\, dx_i

Darboux normal form

\iota_R \alpha = 1, \quad \iota_R d\alpha = 0

Reeb vector field R: the unique vector field dual to α with ι_R dα = 0

Theorems

Theorem 1: Darboux Theorem for Contact Manifolds

\text{Any two contact manifolds of the same dimension are locally contactomorphic: near any point, there exist coordinates } (z, x_1,\ldots,x_n, y_1,\ldots,y_n) \text{ in which } \alpha = dz - \sum y_i\,dx_i.

Theorem 2: Gray Stability Theorem

\text{If } \{\alpha_t\}_{t \in [0,1]} \text{ is a smooth family of contact forms on a closed manifold } M, \text{ then there exists an isotopy } \phi_t \text{ of } M \text{ with } \phi_t^*\alpha_t = f_t \alpha_0 \text{ for positive functions } f_t.

Theorem 3: Contact Manifolds are Boundaries of Symplectic Manifolds

\text{If } (M, \alpha) \text{ is a contact manifold, then the symplectization } (M \times \mathbb{R},\, d(e^t \alpha)) \text{ is a symplectic manifold with } M \times \{0\} \text{ as a contact-type hypersurface.}

Worked Examples

1
Compute dα: d(dz − y dx) = −dy ∧ dx = dx ∧ dy.
$d\alpha = dx \wedge dy$
2
Check the contact condition: α ∧ dα = (dz − y dx) ∧ (dx ∧ dy) = dz ∧ dx ∧ dy − y(dx ∧ dx ∧ dy) = dz ∧ dx ∧ dy (since dx∧dx = 0).
$\alpha \wedge d\alpha = dz \wedge dx \wedge dy \neq 0$
3
This is a volume form on ℝ³ (n = 1, 2n+1 = 3). So α is a contact form.
$\alpha \wedge d\alpha = dx \wedge dy \wedge dz \neq 0 \implies \alpha \text{ is contact}$
4
Find the Reeb vector field R: need ι_R α = 1 and ι_R dα = 0. Let R = a ∂_x + b ∂_y + c ∂_z. Then ι_R dα = ι_R(dx∧dy) = a dy − b dx = 0 iff a = b = 0.
$R = c\,\partial_z, \quad \iota_R\, d\alpha = 0 \implies a = b = 0$
5
Then ι_R α = c dz(∂_z) − yc dx(∂_z) = c · 1 − 0 = c = 1. So R = ∂_z.
$R = \partial_z$

✓ Answer

α = dz − y dx is a contact form on ℝ³: α ∧ dα = dx ∧ dy ∧ dz ≠ 0. The Reeb vector field is R = ∂/∂z — flows in the z-direction.

Practice Problems

Mediumfree response

On ℝ⁵ with coordinates (x₁,x₂,y₁,y₂,z), write down the standard contact form and verify it is contact.

Hardfree response

What is the symplectization of a contact manifold (M, α)? Verify it is symplectic.

Quiz

Summary

A contact structure on a (2n+1)-manifold is a corank-1 distribution ξ = ker(α) with α ∧ (dα)ⁿ ≠ 0 — the maximal non-integrability condition.
The standard contact form on ℝ²ⁿ⁺¹ is α = dz − Σ yᵢ dxᵢ; Darboux's theorem says all contact structures locally look like this.
The Reeb vector field R is uniquely determined by ι_R α = 1, ι_R dα = 0; its orbits are the Reeb orbits.
The symplectization of (M,α) is (M × ℝ, d(eᵗ α)) — a symplectic manifold of dimension 2n+2.
Contact geometry appears in: unit cotangent bundles (geodesic flow = Reeb flow), non-holonomic mechanics, and CR geometry.