Differential Forms - Examples and Constructions

Differential forms connect classical vector calculus to modern differential geometry through a unified language. The gradient, curl, and divergence become manifestations of the exterior derivative in different degrees.

ExampleVector Calculus via Forms

On $\mathbb{R}^3$ with standard coordinates, identify:

Vector field $\mathbf{F} = (F_1, F_2, F_3)$ with 1-form $\omega_F = F_1 dx + F_2 dy + F_3 dz$
Gradient: $\nabla f$ corresponds to $df$
Curl: $\nabla \times \mathbf{F}$ corresponds to $d\omega_F = (\partial_x F_3 - \partial_z F_1) dx \wedge dz + \cdots$
Divergence: $\nabla \cdot \mathbf{F}$ appears in $d(F_1 dy \wedge dz + F_2 dz \wedge dx + F_3 dx \wedge dy)$

The classical theorems of vector calculus (Green, Stokes, Divergence) all become special cases of the generalized Stokes theorem for differential forms.

DefinitionSymplectic Form

A symplectic form on a $2n$ -dimensional manifold $M$ is a closed, non-degenerate 2-form $\omega$ . Non-degenerate means that for each $p \in M$ and each nonzero $v \in T_pM$ , there exists $w \in T_pM$ with $\omega_p(v,w) \neq 0$ .

ExampleStandard Symplectic Form

On $\mathbb{R}^{2n}$ with coordinates $(p_1, \ldots, p_n, q_1, \ldots, q_n)$ , the standard symplectic form is

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

This is the foundation of Hamiltonian mechanics: phase space carries a natural symplectic structure.

Remark

Symplectic manifolds are always even-dimensional and orientable (since $\omega^n \neq 0$ is a volume form). They provide the geometric framework for classical mechanics, where Hamilton's equations describe flow along a Hamiltonian vector field.

DefinitionContact Form

A contact form on a $(2n+1)$ -dimensional manifold $M$ is a 1-form $\alpha$ such that $\alpha \wedge (d\alpha)^n$ is nowhere zero. The hyperplane distribution $\ker \alpha \subset TM$ is called a contact structure.

ExampleStandard Contact Form

On $\mathbb{R}^{2n+1}$ with coordinates $(p_1, \ldots, p_n, q_1, \ldots, q_n, z)$ :

\alpha_0 = dz - \sum_{i=1}^n p_i dq_i

This satisfies $\alpha_0 \wedge (d\alpha_0)^n = dz \wedge (dp_1 \wedge dq_1) \wedge \cdots \wedge (dp_n \wedge dq_n) \neq 0$ .

DefinitionHodge Star

On an oriented Riemannian $n$ -manifold, the Hodge star operator $\star: \Omega^k(M) \to \Omega^{n-k}(M)$ is defined so that for any $\omega, \eta \in \Omega^k(M)$ :

\omega \wedge \star \eta = \langle \omega, \eta \rangle \text{vol}_g

where $\langle \cdot, \cdot \rangle$ is the metric-induced inner product on forms.

ExampleHodge Star in $\mathbb{R}^3$

With standard metric and orientation:

$\star dx = dy \wedge dz$ , $\star dy = dz \wedge dx$ , $\star dz = dx \wedge dy$
$\star (dx \wedge dy) = dz$ , and so on
$\star 1 = dx \wedge dy \wedge dz$ , $\star (dx \wedge dy \wedge dz) = 1$
$\star \star \omega = (-1)^{k(n-k)} \omega$ for $k$ -forms

The Hodge star allows us to define the codifferential $\delta = (-1)^{nk+n+1} \star d \star$ and the Laplacian $\Delta = d\delta + \delta d$ , fundamental to Hodge theory.