Manifolds 28 | Wedge Product [dark version]

Wedge products turn alternating multilinear forms into higher-degree alternating forms in a way that’s tailored for multivariable integration. Starting with an alternating K-form α and an alternating S-form β on a vector space V, the wedge product α ∧ β produces an alternating (K+S)-form. That degree jump matters because it mirrors how combining a 1D integral with another 1D integral naturally yields a 2D integral—so the algebra is built to support “dimensional stacking” of integration.

A naive attempt—feeding K vectors into α and the remaining S vectors into β—gives a multilinear map but fails to be alternating. The fix is to enforce antisymmetry using permutations, in the same spirit as the determinant. The definition sums over all permutations σ of the K+S input vectors, applies α to the first K permuted vectors and β to the last S permuted vectors, and weights each term by the sign sgn(σ). To avoid overcounting, the construction divides by K!S!, reflecting that permutations that only reshuffle inputs within the α-block or within the β-block repeat the same contribution up to the alternating behavior.

The transcript then grounds the definition with a concrete example: wedge products of 1-forms. For α and β in V* (linear functionals), α ∧ β becomes an alternating 2-form, and the formula reduces to α(X)β(Y) − α(Y)β(X). In R^3, choosing α to extract the first component and β to extract the second component lets the wedge product be written in matrix form. With X and Y as vectors, α ∧ β evaluated on (X,Y) matches an inner product involving a specific 3×3 skew-symmetric matrix, making the abstract antisymmetry tangible.

Beyond the definition, several core properties are highlighted. The wedge product is not commutative: swapping factors introduces a sign, giving α ∧ β = (−1)^{KS} β ∧ α. It is bilinear in each argument, so it distributes over addition and respects scalar multiplication separately in α and β. Associativity is also asserted for multiple factors, meaning parentheses don’t affect the result.

Finally, the wedge product is connected to geometry via pullbacks. Given a linear map f: W → V, any alternating K-form α on V can be pulled back to an alternating K-form f*α on W by evaluating α on the images under f. The key compatibility is that pullback interacts cleanly with wedge products: f*(α ∧ β) matches the wedge product of the pullbacks, i.e., f*(α ∧ β) = (f*α) ∧ (f*β). This “naturality” is positioned as crucial for later work on manifolds, where changing coordinates or parametrizations should preserve the wedge-product structure needed for calculus on generalized surfaces.