Manifolds 30 | Examples of Differential Forms [dark version]

TL;DR

A local k-form on a manifold can be written using smooth component functions multiplied by wedge products of local one-forms.

Briefing Cornell Notes

Briefing

Differential forms on manifolds can be built from local coordinates, and their wedge products reproduce familiar geometric “volume” quantities—determinants in Cartesian coordinates and the Jacobian factor that appears under coordinate changes like polar coordinates. That link between algebra (wedge products) and geometry (areas/volumes) is the core takeaway, and it matters because these forms become the right objects for later integration on manifolds.

The discussion starts by recalling that a differential k-form on a manifold M is a smooth assignment that can be expressed locally in terms of coordinate functions. In a local chart, any k-form can be written as a sum of component functions times wedge products of one-forms. The wedge product is the mechanism that turns k one-forms into something that accepts k tangent vectors and outputs a scalar, with antisymmetry enforced by permutation signs.

A first example uses the flat manifold R2 with a single identity chart. In this setting, the tangent space is also R2, and the coordinate basis is the standard one. The one-forms dx1 and dx2 act as dual objects to the coordinate tangent vectors, so pairing a row-vector representation of a one-form with a column-vector tangent vector produces a scalar. From there, a general 2-form on R2 is formed by wedging two one-forms. When evaluated on two vectors, the antisymmetrized sum over permutations collapses into the determinant of the 2×2 matrix of coefficients. In two dimensions, that determinant is an area measure.

The same pattern extends to Rn: the wedge product dx1 ∧ dx2 ∧ … ∧ dxn yields the determinant of n input vectors, so the resulting n-form corresponds to an n-dimensional volume form. In this Cartesian setting, the entire n-form is determined by a single smooth component function multiplying the canonical wedge product, because there is essentially only one ordered top-degree wedge.

A second example keeps the manifold flat (R2) but switches to polar coordinates. With the polar parametrization (radius R and angle θ), the coordinate basis vectors are obtained from partial derivatives of the parametrization. The dual one-forms dr and dθ are then determined so they pick out the correct components of tangent vectors. When these one-forms are wedged to form a 2-form, the result again matches the “volume form” structure, but now with a coordinate-dependent factor. The wedge dr ∧ dθ produces the polar-coordinate version of the area element, introducing the familiar Jacobian 1/R factor in the intermediate computation and yielding the standard area element factor R in the final expression.

The closing point connects this algebraic machinery to geometry and later integration: when changing variables on manifolds, the wedge-product-based volume form naturally supplies the correct Jacobian factor for transforming integrals between coordinate systems.

Cornell Notes

Differential k-forms on a manifold can be expressed in local coordinates as sums of smooth component functions times wedge products of one-forms. On R2 with Cartesian coordinates, wedging dx1 and dx2 and evaluating on two vectors produces the determinant of the corresponding 2×2 coefficient matrix, so the 2-form acts as an area (2D volume) measure. In Rn, the top-degree wedge dx1 ∧ … ∧ dxn similarly yields the determinant of n vectors, giving an n-dimensional volume form determined by one component function. Switching to polar coordinates changes the one-forms to dr and dθ; their wedge reproduces the same volume-form idea but with the polar Jacobian factor, leading to the familiar R-dependent area element used in variable changes during integration.

Why does the wedge product of coordinate one-forms produce determinants in R2 and Rn?

In R2, a general 2-form built from dx1 and dx2 is evaluated on two tangent vectors by summing over permutations with alternating signs. That antisymmetrized sum matches the Leibniz formula for the determinant of the 2×2 matrix of vector components. In Rn, the same antisymmetrization over all permutations of dx1 ∧ … ∧ dxn yields the determinant of the n×n matrix formed by the n input vectors’ components, so the top-degree wedge corresponds to n-dimensional volume.

What makes an n-form on Rn essentially determined by a single component function?

For top degree k = n, there is only one ordered wedge product of coordinate one-forms: dx1 ∧ dx2 ∧ … ∧ dxn. Any n-form must therefore be that canonical wedge multiplied by a smooth scalar component function. Since there are no other independent n-fold wedge combinations, the scalar function fully specifies the n-form.

How are the polar-coordinate one-forms dr and dθ obtained from the coordinate basis?

Polar coordinates use a parametrization F(R,θ) = (R cos θ, R sin θ). The coordinate basis vectors are partial derivatives of F with respect to R and θ. The dual one-forms dr and dθ are then defined to be dual to these basis vectors: dr returns 1 on the R-direction basis and 0 on the θ-direction basis, while dθ returns 0 on the R-direction basis and 1 on the θ-direction basis. The resulting expressions include trigonometric factors and, after rewriting in terms of x and y, depend on R = sqrt(x^2 + y^2).

What changes when moving from Cartesian to polar coordinates for the volume form?

The wedge product structure remains, but the one-forms change. In Cartesian coordinates, dx ∧ dy directly corresponds to the determinant/area element. In polar coordinates, dr ∧ dθ produces the polar version of the area element, bringing in the Jacobian factor associated with the coordinate transformation. The computation shows intermediate 1/R terms and ultimately yields the standard R-dependent factor for the polar area element.

Why is the determinant/volume interpretation important for later integration on manifolds?

Integration on manifolds requires the correct measure element. Since wedge products of differential forms naturally encode determinants (and thus volume/area scaling), they automatically supply the Jacobian factors needed when changing variables. That’s why these examples are framed as preparation for integrating differential forms on manifolds.

Review Questions

In R2, how does evaluating a 2-form on two tangent vectors turn into a determinant, and where does the sign come from?
What is the relationship between the top-degree wedge dx1 ∧ … ∧ dxn and n-dimensional volume in Rn?
When switching to polar coordinates, how do dr and dθ relate to the polar parametrization, and how does their wedge reflect the Jacobian factor?

Key Points

1
A local k-form on a manifold can be written using smooth component functions multiplied by wedge products of local one-forms.
2
In Cartesian coordinates on R2, the 2-form built from dx1 and dx2 evaluates to the determinant of the 2×2 matrix of vector components, giving an area measure.
3
In Rn, the top-degree wedge dx1 ∧ … ∧ dxn evaluates to the determinant of n vectors, producing an n-dimensional volume form.
4
Top-degree n-forms on Rn are determined by a single smooth scalar component function because there is only one independent ordered wedge product.
5
Changing to polar coordinates replaces dx and dy with dual one-forms dr and dθ derived from the parametrization’s partial derivatives.
6
Wedge products in polar coordinates reproduce the same volume-form idea but introduce the coordinate-dependent Jacobian factor, yielding the familiar R-dependent area element.
7
These determinant/volume interpretations are set up for later integration of differential forms under coordinate changes on manifolds.

Highlights

Wedge products turn antisymmetrized sums over permutations into determinants, linking differential forms directly to volume measures.

On R2, the general 2-form evaluation collapses to the 2×2 determinant, so it behaves like an area element.

On Rn, dx1 ∧ … ∧ dxn corresponds to the determinant of n input vectors, giving the canonical n-dimensional volume form.

In polar coordinates, dr ∧ dθ yields the polar area element with the expected Jacobian factor, showing how coordinate changes enter naturally through differential forms.