Manifolds 28 | Wedge Product

Q: How does the wedge product enforce alternation across all $K+S$ inputs?

The definition sums over every permutation $\sigma$ of $\{1,\dots,K+S\}$. Each term evaluates $\alpha$ on the permuted first $K$ vectors and $\beta$ on the permuted last $S$ vectors, then multiplies by $\operatorname{sgn}(\sigma)$. Because $\alpha$ and $\beta$ are already alternating, this permutation-signed sum guarantees the whole expression is alternating in the entire list of $K+S$ vectors.

Q: What does the wedge product of two one-forms look like?

If $\alpha$ and $\beta$ are one-forms, then $\alpha\wedge\beta$ is a two-form. With inputs $u,v$, there are only two permutations, giving $(\alpha\wedge\beta)(u,v)=\alpha(u)\beta(v)-\alpha(v)\beta(u)$. This is the standard antisymmetrization of the product of two linear functionals.

Q: How do wedge products behave under a linear map via pullback?

For a linear map $f:W\to V$, the pullback $f^*\alpha$ is defined by $(f^*\alpha)(w_1,\dots,w_K)=\alpha(f(w_1),\dots,f(w_K))$. The wedge product is compatible with this operation: pulling back a wedge equals wedging the pullbacks, $f^*(\alpha\wedge\beta)=(f^*\alpha)\wedge(f^*\beta)$. This “naturality” supports consistent calculations when changing variables.

TL;DR

The wedge product $α \land β$ maps an alternating $K$ -form and an alternating $S$ -form into an alternating $(K + S)$ -form.

Briefing Cornell Notes

Briefing

Wedge products turn alternating multilinear forms into higher-degree alternating forms in a way that matches how multi-dimensional integration should behave. Given an alternating K-form $α$ and an alternating S-form $β$ on a vector space $V$ , their wedge $α \land β$ is defined as an alternating $(K + S)$ -form. The key move is that the definition cannot simply multiply the values of $α$ on $K$ vectors and $β$ on $S$ vectors, because that naive construction fails to be alternating in all $K + S$ inputs. Instead, the wedge product sums over all permutations of the $K + S$ vectors, using the sign of each permutation so that swapping inputs flips the result exactly as an alternating form should.

Concretely, for inputs $v_{1}, \dots, v_{K + S}$ , the wedge product is built by summing over every permutation $σ$ of the indices ${1, \dots, K + S}$ . The form $α \land β$ evaluates $α$ on the first $K$ permuted vectors $v_{σ (1)}, \dots, v_{σ (K)}$ and evaluates $β$ on the remaining $S$ permuted vectors $v_{σ (K + 1)}, \dots, v_{σ (K + S)}$ . Because $α$ and $β$ are already alternating, many terms in the permutation sum repeat in value; the definition compensates by dividing by $K! S!$ to normalize the overcounting. This permutation-based structure mirrors the determinant formula, with the same reliance on permutation signs to enforce alternation.

A simple example clarifies the construction: when $α$ and $β$ are one-forms (alternating 1-forms), their wedge is a two-form. In that case, there are only two relevant permutations, leading to the familiar rule $(α \land β) (u, v) = α (u) β (v) - α (v) β (u)$ . On $R^{3}$ , one can interpret one-forms as row vectors acting on column vectors. For instance, if $α (x) = x_{1}$ and $β (x) = x_{2}$ , then $α \land β$ becomes an alternating bilinear form that can be represented using a specific $3 \times 3$ skew-symmetric matrix inside an inner-product expression.

Beyond the definition, several structural properties make the wedge product behave like a well-controlled multiplication. It is not commutative: swapping factors introduces a sign $α \land β = (- 1)^{K S} β \land α$ . It is bilinear in each argument, so it distributes over addition and respects scalar multiplication. Associativity also holds, so products of multiple wedge factors do not depend on how parentheses are placed.

Finally, wedge products interact naturally with linear maps through pullbacks. For a linear map $f : W \to V$ , any alternating $K$ -form $α$ on $V$ can be pulled back to $W$ as $f^{*} α$ , defined by $(f^{*} α) (w_{1}, \dots, w_{K}) = α (f (w_{1}), \dots, f (w_{K}))$ . A crucial compatibility property follows: pulling back a wedge product equals wedging the pullbacks, i.e., $f^{*} (α \land β) = (f^{*} α) \land (f^{*} β)$ . That “naturality” is positioned as essential for later work on manifolds and generalized surface calculus, where changing coordinates should preserve the algebraic structure of differential forms.

Cornell Notes

The wedge product $α \land β$ combines an alternating $K$ -form $α$ and an alternating $S$ -form $β$ into an alternating $(K + S)$ -form. Its definition requires summing over all permutations of the $K + S$ input vectors and weighting each term by the permutation’s sign, then dividing by $K! S!$ to correct repeated contributions. For one-forms, this reduces to $(α \land β) (u, v) = α (u) β (v) - α (v) β (u)$ . The wedge product is anti-commutative up to a sign $(- 1)^{K S}$ , bilinear in each argument, and associative. Pullbacks via a linear map $f : W \to V$ commute with wedging: $f^{*} (α \land β) = (f^{*} α) \land (f^{*} β)$ , making the construction coordinate-friendly for later manifold calculus.

Why can’t $(α \land β) (v_{1}, \dots, v_{K + S})$ be defined just by $α (v_{1}, \dots, v_{K}) β (v_{K + 1}, \dots, v_{K + S})$ ?

That naive product is multilinear but generally fails to be alternating in all

K + S

arguments. Alternation requires that swapping any two inputs flips the sign (or yields zero if inputs repeat). The wedge product fixes this by summing over all permutations of the

K + S

vectors and multiplying each term by the sign of the permutation, ensuring the final result changes correctly under any swap.

How does the wedge product enforce alternation across all $K + S$ inputs?

The definition sums over every permutation

σ

{1, \dots, K + S}

. Each term evaluates

α

on the permuted first

K

vectors and

β

on the permuted last

S

vectors, then multiplies by

sgn (σ)

. Because

α

and

β

are already alternating, this permutation-signed sum guarantees the whole expression is alternating in the entire list of

K + S

vectors.

What is the role of dividing by $K! S!$ in the wedge product definition?

Many permutation terms repeat because permuting only within the

K

slots fed to

α

or only within the

S

slots fed to

β

does not change the value beyond the alternation already built into

α

and

β

. The normalization by

K! S!

compensates for this overcounting so the wedge product has the intended scale.

What does the wedge product of two one-forms look like?

α

and

β

are one-forms, then

α \land β

is a two-form. With inputs

u, v

, there are only two permutations, giving

(α \land β) (u, v) = α (u) β (v) - α (v) β (u)

. This is the standard antisymmetrization of the product of two linear functionals.

How do wedge products behave under a linear map via pullback?

For a linear map

f : W \to V

, the pullback

f^{*} α

is defined by

(f^{*} α) (w_{1}, \dots, w_{K}) = α (f (w_{1}), \dots, f (w_{K}))

. The wedge product is compatible with this operation: pulling back a wedge equals wedging the pullbacks,

f^{*} (α \land β) = (f^{*} α) \land (f^{*} β)

. This “naturality” supports consistent calculations when changing variables.

Review Questions

Given alternating forms $α$ of degree $K$ and $β$ of degree $S$ , what degree does $α \land β$ have, and what mechanism in the definition guarantees alternation?
Compute $(α \land β) (u, v)$ for one-forms $α$ and $β$ . How does swapping $u$ and $v$ affect the value?
State the sign rule for swapping wedge factors: what is $α \land β$ in terms of $β \land α$ and $K, S$ ?

Key Points

1
The wedge product $α \land β$ maps an alternating $K$ -form and an alternating $S$ -form into an alternating $(K + S)$ -form.
2
A permutation-sum with permutation signs is required to make the result alternating in all $K + S$ inputs.
3
Normalization by $K! S!$ corrects repeated contributions coming from internal permutations within the $α$ and $β$ input blocks.
4
For one-forms, $(α \land β) (u, v) = α (u) β (v) - α (v) β (u)$ , i.e., antisymmetrization.
5
Swapping factors follows $α \land β = (- 1)^{K S} β \land α$ , so the wedge product is anti-commutative up to a degree-dependent sign.
6
The wedge product is bilinear and associative, enabling algebraic manipulation like a controlled multiplication.
7
Pullbacks commute with wedging: for $f : W \to V$ , $f^{*} (α \land β) = (f^{*} α) \land (f^{*} β)$ .

Highlights

The wedge product’s definition is essentially a determinant-style antisymmetrization over all K+S permutations, with a K!S! normalization.

For one-forms, the wedge reduces to the clean two-term formula α(u)β(v)−α(v)β(u).

Wedge factors swap with a sign

(- 1)^{K S}

, not simple commutativity.

Pullback via a linear map preserves wedge structure: f∗(α∧β)=(f∗α)∧(f∗β).

Topics

Wedge Product
Alternating Forms
Exterior Product
Pullback of Forms
Anticommutativity