Manifolds 30 | Examples of Differential Forms

TL;DR

A differential k-form is a smooth, alternating k-linear map on tangent vectors, and locally it is written using component functions times wedge products of coordinate one-forms.

Briefing Cornell Notes

Briefing

Differential forms on manifolds can be built from local coordinate data, and in key examples they reproduce familiar geometric quantities like area/volume. On a manifold M, a differential k-form is a smooth, alternating k-linear map on tangent vectors; locally it can be written using component functions multiplying wedge products of one-forms. This local description is what makes concrete calculations possible later, especially when integrating over manifolds.

In the simplest setting, take the flat manifold R^2 with its single identity chart. The coordinate one-forms dx1 and dx2 act as duals to the standard coordinate tangent vectors, so evaluating a one-form on a vector is just a basic row–column multiplication. From there, a general 2-form on R^2 is formed by wedging two one-forms, which means it takes two vectors as inputs and combines them with alternating signs over permutations. Carrying out that permutation sum yields exactly the 2×2 determinant of the coefficient matrix built from the vectors. In practical terms, this makes the 2-form a “volume form” in two dimensions: it measures oriented area.

The same determinant mechanism scales up. In R^n, wedging dx1 ∧ dx2 ∧ … ∧ dxn produces the determinant of n input vectors, so the resulting n-form corresponds to n-dimensional volume. A general n-form in this flat setting is therefore determined by a single smooth component function multiplying that canonical wedge product.

A second example shows how the same geometric object looks in different coordinates. Still working on R^2, switch from Cartesian coordinates (x, y) to polar coordinates (r, θ) via the map (r, θ) ↦ (r cos θ, r sin θ). The coordinate basis vectors now depend on the point, so the associated one-forms dr and dθ must be computed as duals to the polar tangent basis. When these one-forms are wedged together, the result again matches a volume form, but with the expected polar factor: dr ∧ dθ comes with a coefficient 1/r relative to the Cartesian determinant structure. Equivalently, the area element can be written as r dr dθ, reflecting the Jacobian of the coordinate change.

The through-line is that wedge products encode alternating multilinear structure, and in these standard coordinate systems they reproduce determinants—hence geometric measures. That connection is set up for later integration on manifolds, where changing variables and accounting for Jacobians becomes essential when integrating differential forms.

Cornell Notes

A k-form on a manifold is a smooth, alternating k-linear map on tangent vectors, and locally it can be written using component functions times wedge products of coordinate one-forms. In R^2, wedging dx1 and dx2 produces an expression equal to the determinant of two input vectors, so 2-forms act as oriented area (a volume form in two dimensions). In R^n, dx1 ∧ … ∧ dxn yields the determinant of n input vectors, giving the n-dimensional volume form; an n-form is essentially that determinant multiplied by one smooth function. Switching to polar coordinates (r, θ) changes the coordinate one-forms, and dr ∧ dθ becomes the same volume form with the polar Jacobian factor, leading to the familiar r dr dθ area element.

Why does a 2-form on R^2 end up equal to a determinant?

A 2-form is built as a wedge of two one-forms, so it takes two tangent vectors as inputs and combines them using an alternating sum over permutations. With only two vectors, the permutation sum has two terms with opposite signs, which is exactly the 2×2 determinant formula. Concretely, the wedge evaluation produces a11·a22 − a12·a21 (up to the arrangement of coefficients), so the 2-form matches the oriented area measure.

What does the wedge product dx1 ∧ … ∧ dxn represent in R^n?

In n dimensions, the wedge product dx1 ∧ dx2 ∧ … ∧ dxn evaluates on n input vectors via the same alternating permutation rule. That rule is the Leibniz formula for the determinant, so the result is the determinant of the n vectors. Because determinants measure n-dimensional volume (with orientation), this wedge product is the canonical n-dimensional volume form.

How are coordinate one-forms defined in a chart, and why does duality matter?

Given a coordinate chart, the coordinate basis consists of tangent vectors obtained from the chart map. The corresponding one-forms are defined to be dual: each one-form returns 1 on its matching basis vector and 0 on the others. This duality is what makes calculations like “evaluate the one-form on a vector” reduce to simple linear algebra (row–column multiplication in the Cartesian example).

What changes when moving from Cartesian to polar coordinates on R^2?

The coordinate basis vectors depend on the point (r, θ), so the dual one-forms also depend on (r, θ). After computing the duals, the wedge dr ∧ dθ reproduces the same geometric volume form but with a Jacobian factor. The result aligns with the determinant relationship between Cartesian and polar coordinates, yielding the familiar area element r dr dθ.

How does the Jacobian factor appear in the differential-form computation?

The Jacobian factor emerges from the determinant hidden inside the wedge product. When dr and dθ are expressed in terms of the polar coordinate basis (and then related back to Cartesian structure), the wedge dr ∧ dθ carries a coefficient 1/r relative to the Cartesian determinant form. Rewriting the volume element in polar variables therefore gives r dr dθ, matching the standard change-of-variables rule in integration.

Review Questions

In R^2, what alternating-permutation mechanism in the wedge product produces the determinant formula?
Why is an n-form on R^n essentially determined by a single smooth component function multiplying dx1 ∧ … ∧ dxn?
When switching to polar coordinates, where does the factor r (or 1/r) come from in the wedge-product expression?

Key Points

1
A differential k-form is a smooth, alternating k-linear map on tangent vectors, and locally it is written using component functions times wedge products of coordinate one-forms.
2
On R^2 with Cartesian coordinates, the 2-form built from dx1 and dx2 evaluates to the determinant of two input vectors, giving oriented area.
3
In R^n, the canonical n-form dx1 ∧ … ∧ dxn evaluates to the determinant of n input vectors, representing n-dimensional volume.
4
Changing coordinates changes the coordinate basis and therefore the dual one-forms; wedging the new one-forms reproduces the same geometric volume form with a Jacobian factor.
5
In polar coordinates on R^2, the wedge dr ∧ dθ corresponds to the Cartesian area element with the factor r, yielding the standard r dr dθ form for integration.

Highlights

Wedge products encode alternating multilinear structure, and in standard coordinate systems they collapse to determinant formulas.

On R^2, dx1 ∧ dx2 evaluates to the determinant of two vectors—so it functions as an oriented area form.

On R^n, dx1 ∧ … ∧ dxn evaluates to the determinant of n vectors—so it functions as the canonical volume form.

In polar coordinates, the same area form reappears as r dr dθ, reflecting the Jacobian of the coordinate change.