Frobenius Integrability Theorem — Mathematics Knowledge System

Overview

The Frobenius integrability theorem characterizes when a smooth distribution — a smoothly-varying family of subspaces of the tangent bundle — can be realized as the collection of tangent spaces to a foliation of the manifold by submanifolds. A distribution is integrable (i.e., arises from a foliation) if and only if it is involutive: closed under the Lie bracket of vector fields. The dual formulation in terms of differential forms says the distribution is integrable iff its annihilating ideal is closed under exterior differentiation.

Intuition

Imagine you are in ℝ³ and you are given an 'allowed direction' field: at each point a plane of directions you can move in. When can you find a surface that is everywhere tangent to these allowed directions? Not always — if the planes twist around (like the contact distribution on ℝ³), there is no such surface. Frobenius says: the planes fit together into surfaces exactly when the Lie bracket of any two vector fields lying in the planes also lies in the planes.

Formal Definition

Definition

A smooth distribution D ⊆ TM of rank k is a smooth subbundle: at each point p, D_p ⊆ T_pM is a k-dimensional subspace, varying smoothly. D is involutive if it is closed under Lie brackets.

D \text{ is involutive} \iff [X,Y] \in \Gamma(D) \text{ whenever } X,Y \in \Gamma(D)

Involutivity condition

D \text{ is integrable} \iff \forall p \in M,\ \exists \text{ submanifold } N \ni p \text{ with } T_q N = D_q\ \forall q \in N

Integrability: existence of integral manifolds

\text{Frobenius:} \quad D \text{ integrable} \iff D \text{ involutive}

Frobenius theorem (vector field version)

\text{If } D = \ker(\omega^1) \cap \cdots \cap \ker(\omega^r), \text{ then } D \text{ integrable} \iff d\omega^i \in \mathcal{I}(\omega^1,\ldots,\omega^r) \; \forall i

The ideal generated by ω¹,...,ωʳ must be closed under d

Frobenius theorem (differential form version)

Theorems

Theorem 1: Frobenius Theorem

\text{A smooth distribution } D \subseteq TM \text{ of rank } k \text{ is locally integrable if and only if it is involutive. When integrable, through each point } p \in M \text{ there passes a unique maximal integral manifold (leaf) of dimension } k.

Theorem 2: Frobenius in Form Language

\text{If } D = \ker\omega^1 \cap \cdots \cap \ker\omega^r \text{ for linearly independent 1-forms, then } D \text{ is integrable} \iff d\omega^i \equiv 0 \pmod{\omega^1,\ldots,\omega^r} \text{ for each } i.

Worked Examples

1
D is the 2-plane distribution annihilated by ω = dz − y dx. Sections of D include the vector fields X = ∂/∂x + y ∂/∂z and Y = ∂/∂y.
$\omega = dz - y\, dx, \quad X = \partial_x + y\,\partial_z, \quad Y = \partial_y$
2
Verify X, Y ∈ D: ω(X) = 0 − y·1 + 1·0 = ... let me redo. ω(X) = dz(X) − y dx(X) = y − y·1 = 0. ω(Y) = dz(Y) − y dx(Y) = 0 − 0 = 0. Good, both in D.
$\omega(X) = 0, \quad \omega(Y) = 0$
3
Compute [X,Y]: [∂_x + y∂_z, ∂_y] = ∂_x[∂_y] − ∂_y[∂_x + y∂_z] = 0 − (0 + ∂_z) = −∂_z.
$[X, Y] = -\partial_z$
4
Check if [X,Y] = −∂_z ∈ D: ω(−∂_z) = dz(−∂_z) − y dx(−∂_z) = −1 − 0 = −1 ≠ 0. So [X,Y] ∉ D.
$\omega([X,Y]) = -1 \neq 0$
5
D is not involutive, hence not integrable by Frobenius. Alternatively: dω = −dy ∧ dx = dx ∧ dy, which is not in the ideal generated by ω (dω ∧ ω ≠ 0).
$d\omega = dx \wedge dy, \quad d\omega \wedge \omega = dx \wedge dy \wedge (dz - y\,dx) = dx \wedge dy \wedge dz \neq 0$

✓ Answer

D = ker(dz − y dx) is not integrable because [X,Y] = −∂_z ∉ D (D is not involutive). In form terms, dω = dx ∧ dy is not in the ideal ⟨ω⟩, confirming non-integrability. This is the standard contact structure on ℝ³.

Practice Problems

Mediumfree response

Determine whether the 2-distribution on ℝ³ spanned by X = ∂/∂x and Y = ∂/∂y + x ∂/∂z is integrable.

Hardfree response

State the Frobenius theorem in both the vector field and differential form versions, and explain why they are equivalent.

Quiz

Summary

A distribution D ⊆ TM is integrable (has integral manifolds) if and only if it is involutive: [X,Y] ∈ D whenever X,Y ∈ D.
In form language: D = ∩ ker ωⁱ is integrable iff dωⁱ lies in the algebraic ideal generated by {ωʲ}, i.e., dωⁱ ∧ ω¹ ∧ ⋯ ∧ ωʳ = 0.
The bridge: Cartan's formula dω(X,Y) = −ω([X,Y]) when X,Y ∈ ker ω.
The standard contact distribution ker(dz − y dx) on ℝ³ is the archetypal non-integrable example.
When integrable, the manifold foliates into k-dimensional leaves; locally this is a product structure ℝᵏ × ℝⁿ⁻ᵏ.