Manifolds 27 | Alternating k-forms [dark version]

TL;DR

Each point p on a smooth manifold M has a tangent space T_pM, which is the vector space used to define forms at that point.

Briefing Cornell Notes

Briefing

Alternating k-forms are built by combining two layers of structure: multilinear maps and an “alternating” rule that forces the value to vanish on linearly dependent inputs. The payoff is that these objects match the algebraic behavior needed for differential forms on manifolds, which later enables integration on smooth spaces.

The setup starts with tangent spaces. For a smooth n-dimensional manifold M, each point P has a tangent space T_pM, an n-dimensional vector space. From any vector space V, one can form its dual space V* consisting of all linear maps from V to the real numbers R—equivalently, linear functionals. A familiar example is the coordinate differential d x^j at a point P: it is a linear map T_pM → R defined using the coordinate basis, sending the basis tangent vectors to the corresponding Kronecker delta.

A one-form is then reframed as a manifold-level object. Instead of a single linear functional on one tangent space, a one-form Ω assigns to every point p ∈ M a linear functional on T_pM. In other words, Ω(p) lies in T_p^*M. This viewpoint—“a field of linear functionals over the manifold”—is the bridge from tangent-space linear algebra to differential forms.

To generalize from one-forms to k-forms, the transcript shifts to multilinear algebra. For a vector space V, an alternating k-form is a map α: V × … × V (k times) → R that is k-linear (multilinear in each argument separately) and alternating. Alternating means that if the k input vectors are linearly dependent, the output must be zero. A key consequence is sign change under swapping: exchanging two arguments flips the sign of α. The determinant on R^2 provides a concrete alternating bilinear example: it is bilinear and changes sign when two inputs are swapped, reflecting the determinant’s antisymmetry.

Finally, the terminology is aligned with differential-form conventions. A k-form is treated as an alternating k-form on V, and the alternating condition is what encodes the antisymmetric structure that determinants already exhibit. The transcript also notes special cases: one-forms correspond directly to the dual space V*, while zero-forms are set by convention to be real-valued scalars (the field R). With these definitions in place, the next step is to develop operations—especially the wedge product—that turn alternating k-forms into a calculus-ready algebra for integration on manifolds.

Cornell Notes

Alternating k-forms are antisymmetric multilinear maps that take k vectors from a vector space V and return a real number. They are defined as k-linear maps α: V^k → R that vanish whenever the inputs are linearly dependent; equivalently, swapping two arguments flips the sign. On a smooth manifold M, tangent spaces T_pM supply the vector spaces, and one-forms become assignments p ↦ Ω(p) where Ω(p) is a linear functional in T_p^*M. Determinants on R^2 illustrate the alternating property for bilinear forms. Zero-forms are treated as scalars R, and one-forms match the dual space V*—setting up the later wedge product and integration framework.

How does the transcript connect tangent spaces to differential forms?

For each point p on a smooth n-dimensional manifold M, there is a tangent space T_pM, an n-dimensional vector space. A one-form is then defined not as a single linear functional, but as a rule that assigns to every point p a linear functional on T_pM. Concretely, Ω(p) is an element of the dual space T_p^*M, meaning Ω(p): T_pM → R is linear.

What exactly is the dual space V* and how does d x^j fit into it?

Given a vector space V, its dual V* is the set of all linear maps from V to R. The transcript recalls coordinate differentials as examples: d x^j at a point P is a linear map T_pM → R defined using the coordinate basis, sending tangent basis vectors to the Kronecker delta (the “delta” behavior that picks out the j-th coordinate direction).

What makes a k-form “k-linear” and “alternating”?

A k-linear map α: V^k → R is multilinear in each argument: if all inputs except one are fixed, the remaining input produces a linear map V → R, regardless of which slot is left free. Alternating adds antisymmetry: if the k input vectors are linearly dependent, α outputs 0. As a consequence, exchanging two arguments changes the sign of α.

Why does swapping two vectors change the sign in an alternating form?

Because alternating forms are defined to be zero on linearly dependent inputs, they inherit the antisymmetry property familiar from determinants. The transcript states that exchanging exactly two vectors leaves the magnitude structure the same but flips the sign, matching the behavior of determinant-like expressions.

What role does the determinant on R^2 play?

The determinant on R^2 is given as a standard example of an alternating bilinear form (a bilinear map that is alternating). It is bilinear and changes sign when two inputs are swapped, making it a prototype for how antisymmetry will appear later when integrating forms.

How do zero-forms and one-forms relate to the general definition?

One-forms correspond directly to the dual space: an alternating 1-form is just a linear functional, so it lives in V*. Zero-forms are introduced by convention as real-valued scalars, i.e., elements of R, which keeps later formulas consistent.

Review Questions

How does the alternating condition (vanishing on linearly dependent inputs) imply sign change under swapping two arguments?
Describe how a one-form on a manifold differs from a single linear functional on one tangent space.
Give the definition of an alternating k-form α: V^k → R and explain what “k-linear” means in terms of fixing all but one input.

Key Points

1
Each point p on a smooth manifold M has a tangent space T_pM, which is the vector space used to define forms at that point.
2
The dual space V* consists of all linear maps V → R, and coordinate differentials like d x^j are examples of such linear functionals on T_pM.
3
A one-form Ω assigns to every point p a linear functional Ω(p) ∈ T_p^*M, turning tangent-space linear algebra into a manifold-level object.
4
A k-form is defined as a multilinear map α: V^k → R that is linear in each argument separately (k-linear).
5
Alternating k-forms satisfy α(v_1, …, v_k)=0 whenever the inputs are linearly dependent.
6
Alternating forms are antisymmetric: exchanging two arguments flips the sign of the output.
7
Zero-forms are treated as scalars in R, and one-forms match the dual space V* by definition/convention.

Highlights

Alternating k-forms are multilinear maps that become zero on linearly dependent inputs, enforcing determinant-like antisymmetry.

A one-form on a manifold is a pointwise assignment p ↦ Ω(p) where Ω(p) is a linear functional on T_pM.

Swapping two arguments in an alternating form flips the sign—an antisymmetry property central to later wedge products.

The determinant on R^2 serves as a canonical example of an alternating bilinear form.

Topics

Tangent Spaces
Dual Spaces
Differential Forms
Alternating K-Forms
Multilinear Algebra