Chapter 99. Exterior Algebra

Exterior algebra studies alternating multilinear structure. It extends linear algebra from vectors and linear maps to oriented areas, volumes, and higher-dimensional geometric quantities.

The central operation is the exterior product, also called the wedge product. This operation combines vectors into objects that encode orientation and dimension.

Exterior algebra is fundamental in geometry, topology, differential equations, physics, and modern analysis. Differential forms, determinants, integration on manifolds, and orientation theory all arise naturally from exterior algebra.

99.1 Motivation

Suppose $u,v \in \mathbb{R}^2$ .

The parallelogram spanned by $u$ and $v$ has signed area

\det \begin{bmatrix} u_1 & v_1 \\ u_2 & v_2 \end{bmatrix}.

If $u$ and $v$ are interchanged, the sign changes:

\det(v,u) = -\det(u,v).

If $u=v$ , the area becomes zero.

These two properties are central:

Swapping vectors reverses orientation.
Linearly dependent vectors produce zero volume.

Exterior algebra abstracts these ideas.

The wedge product

u \wedge v

represents the oriented parallelogram generated by $u$ and $v$ .

Similarly,

u \wedge v \wedge w

represents an oriented parallelepiped in three dimensions.

Higher wedge products represent oriented higher-dimensional volumes.

99.2 Alternating Multilinear Maps

Let $V$ be a vector space over a field $F$ .

A map

B : V^k \to U

is multilinear if it is linear in each argument separately.

The map is alternating if

B(v_1,\ldots,v_i,\ldots,v_j,\ldots,v_k) = 0

whenever two arguments are equal.

Alternation implies antisymmetry:

B(\ldots,v_i,\ldots,v_j,\ldots) = - B(\ldots,v_j,\ldots,v_i,\ldots).

Thus swapping two vectors changes the sign.

Determinants are alternating multilinear maps.

Exterior algebra is the universal algebra generated by alternating multilinear structure.

99.3 Exterior Product

The exterior product is written

\wedge.

If $u,v \in V$ , then

u \wedge v

is a bivector.

The wedge product satisfies:

Bilinearity

(u_1+u_2)\wedge v = u_1\wedge v + u_2\wedge v,

u\wedge(v_1+v_2) = u\wedge v_1 + u\wedge v_2.

Antisymmetry

u\wedge v = -v\wedge u.

Alternation

u\wedge u = 0.

The last identity follows from antisymmetry:

u\wedge u = -(u\wedge u),

2(u\wedge u)=0.

Over fields of characteristic not equal to $2$ ,

u\wedge u=0.

99.4 Geometric Interpretation

The wedge product measures oriented area and volume.

In $\mathbb{R}^2$ ,

u\wedge v

represents the signed area of the parallelogram spanned by $u$ and $v$ .

In $\mathbb{R}^3$ ,

u\wedge v\wedge w

represents the signed volume of the parallelepiped generated by the vectors.

The sign records orientation.

If vectors become linearly dependent, the wedge product vanishes because the spanned volume collapses.

Thus

u_1\wedge \cdots \wedge u_k = 0

if and only if the vectors are linearly dependent.

This criterion is one of the most important properties of exterior algebra.

99.5 Exterior Powers

The $k$ -th exterior power of $V$ is denoted

\Lambda^k(V).

Its elements are alternating $k$ -tensors.

Examples:

Space	Interpretation
$\Lambda^0(V)$	Scalars
$\Lambda^1(V)$	Vectors
$\Lambda^2(V)$	Bivectors
$\Lambda^3(V)$	Trivectors

The full exterior algebra is

\Lambda(V) = \bigoplus_{k=0}^{\infty} \Lambda^k(V).

The wedge product maps

\Lambda^p(V)\times\Lambda^q(V) \to \Lambda^{p+q}(V).

Thus degrees add under multiplication.

99.6 Basis of Exterior Powers

Suppose

\{e_1,\ldots,e_n\}

is a basis for $V$ .

Then basis elements for $\Lambda^k(V)$ are wedge products

e_{i_1}\wedge e_{i_2}\wedge\cdots\wedge e_{i_k}

with strictly increasing indices:

i_1 < i_2 < \cdots < i_k.

Repeated indices vanish because

e_i\wedge e_i = 0.

Therefore,

\dim(\Lambda^k(V)) = \binom{n}{k}.

The dimension equals the number of ways to choose $k$ basis vectors from $n$ .

Consequently,

\dim(\Lambda(V)) = \sum_{k=0}^n \binom{n}{k} = 2^n.

99.7 Computation Example

Let

u= a_1e_1+a_2e_2, \qquad v= b_1e_1+b_2e_2.

Then

u\wedge v = (a_1e_1+a_2e_2) \wedge (b_1e_1+b_2e_2).

Expanding bilinearly gives

= a_1b_1(e_1\wedge e_1) + a_1b_2(e_1\wedge e_2) + a_2b_1(e_2\wedge e_1) + a_2b_2(e_2\wedge e_2).

Since

e_i\wedge e_i=0

and

e_2\wedge e_1 = - e_1\wedge e_2,

we obtain

u\wedge v = (a_1b_2-a_2b_1) (e_1\wedge e_2).

The coefficient is the determinant:

a_1b_2-a_2b_1

Thus the wedge product naturally encodes signed area.

99.8 Determinants and Exterior Algebra

Exterior algebra gives a conceptual definition of determinants.

Let

T : V \to V

be linear.

Then $T$ induces a linear map on the top exterior power:

\Lambda^n(T) : \Lambda^n(V) \to \Lambda^n(V).

If $\dim(V)=n$ , then $\Lambda^n(V)$ is one-dimensional.

Therefore,

\Lambda^n(T)

acts by multiplication by a scalar.

That scalar is the determinant:

\Lambda^n(T)(\omega) = \det(T)\omega.

Thus determinants measure how linear maps scale oriented volume.

99.9 Alternating Forms

An alternating $k$ -form is a multilinear alternating map

\omega : V^k \to F.

The space of alternating $k$ -forms is naturally identified with

\Lambda^k(V^*).

Differential geometry studies such forms extensively.

Examples include:

Form	Meaning
1-form	Linear functional
2-form	Oriented area measurement
Volume form	Oriented volume measurement

Forms can be integrated over curves, surfaces, and manifolds.

99.10 Differential Forms

Exterior algebra is the algebraic foundation of differential forms.

If $x_1,\ldots,x_n$ are coordinates, then symbols such as

dx_i

behave like basis vectors of a dual exterior algebra.

The wedge product satisfies

dx_i \wedge dx_j = - dx_j \wedge dx_i.

Thus

dx_i\wedge dx_i=0.

Differential forms such as

f(x,y)\,dx\wedge dy

represent oriented area densities.

Exterior calculus generalizes vector calculus using these ideas.

99.11 Exterior Derivative

The exterior derivative is an operator

d : \Lambda^k(V^*) \to \Lambda^{k+1}(V^*).

It generalizes gradient, curl, and divergence.

One of its central properties is

d^2 = 0.

This means applying the exterior derivative twice always produces zero.

The sequence

0 \to \Lambda^0 \overset{d}{\to} \Lambda^1 \overset{d}{\to} \Lambda^2 \overset{d}{\to} \cdots

forms a cochain complex.

This structure leads to de Rham cohomology and topological invariants.

99.12 Grassmann Algebra

Exterior algebra is also called Grassmann algebra, after Hermann Grassmann.

Grassmann introduced these ideas in the nineteenth century as part of a general algebra of geometric quantities.

His work anticipated many later developments in multilinear algebra, differential geometry, and mathematical physics.

At the time, the theory was considered abstract and difficult. Later developments showed that Grassmann’s ideas were foundational.

99.13 Cross Products and Exterior Products

The cross product in $\mathbb{R}^3$ is closely related to the wedge product.

The cross product

u\times v

produces a vector perpendicular to both $u$ and $v$ .

The wedge product

u\wedge v

instead produces an oriented area element.

The cross product exists only in dimensions $3$ and $7$ , while wedge products exist in every dimension.

Exterior algebra therefore generalizes the geometric meaning of cross products without dimension restrictions.

99.14 Orientation

Exterior algebra encodes orientation naturally.

A basis

(e_1,\ldots,e_n)

determines the orientation element

e_1\wedge\cdots\wedge e_n.

Swapping two basis vectors changes the sign.

Thus orientation is fundamentally alternating.

Manifolds are orientable precisely when consistent nonzero top-degree forms exist globally.

99.15 Exterior Algebra and Geometry

Exterior algebra appears throughout geometry.

Examples include:

Area	Role of exterior algebra
Differential geometry	Differential forms
Topology	Cohomology
Algebraic geometry	Volume forms
Lie theory	Invariant forms
Symplectic geometry	Symplectic forms
Riemannian geometry	Hodge theory

Many geometric invariants are expressed naturally using wedge products and exterior derivatives.

99.16 Hodge Star Operator

In an inner product space, exterior algebra supports the Hodge star operator

\star : \Lambda^k(V) \to \Lambda^{n-k}(V).

This operator converts $k$ -dimensional oriented objects into complementary $(n-k)$ -dimensional objects.

In $\mathbb{R}^3$ :

Form	Hodge dual
Scalar	Volume form
Vector	Area form
Area form	Vector

The Hodge star unifies many identities in vector calculus.

99.17 Exterior Algebra in Physics

Exterior algebra provides a coordinate-free formulation of physical laws.

Examples include:

Physical theory	Exterior-algebra structure
Electromagnetism	Differential 2-forms
Classical mechanics	Symplectic forms
General relativity	Volume and curvature forms
Gauge theory	Connection forms

Maxwell’s equations become particularly compact when written using differential forms.

99.18 Example in $\mathbb{R}^3$

Let

u= \begin{bmatrix} 1 \\ 0 \\ 2 \end{bmatrix}, \qquad v= \begin{bmatrix} 3 \\ 1 \\ 4 \end{bmatrix}.

Using basis vectors $e_1,e_2,e_3$ ,

u=e_1+2e_3, \qquad v=3e_1+e_2+4e_3.

Compute:

u\wedge v = (e_1+2e_3) \wedge (3e_1+e_2+4e_3).

Expanding gives

= e_1\wedge e_2 + 4e_1\wedge e_3 + 6e_3\wedge e_1 + 2e_3\wedge e_2.

Using antisymmetry,

e_3\wedge e_1 = - e_1\wedge e_3,

and

e_3\wedge e_2 = - e_2\wedge e_3.

Hence

u\wedge v = e_1\wedge e_2 - 2e_1\wedge e_3 - 2e_2\wedge e_3.

This bivector represents the oriented parallelogram generated by $u$ and $v$ .

99.19 Summary

Exterior algebra studies alternating multilinear structure.

The wedge product:

Property	Meaning
Bilinear	Linear in each argument
Antisymmetric	Swapping changes sign
Alternating	Repeated vectors vanish

Exterior powers encode oriented geometric quantities:

Space	Geometric meaning
$\Lambda^1(V)$	Vectors
$\Lambda^2(V)$	Oriented areas
$\Lambda^3(V)$	Oriented volumes

Exterior algebra provides the algebraic language for determinants, differential forms, orientation, integration, and modern geometry. It transforms geometric concepts such as area and volume into precise algebraic structures suitable for analysis and abstraction.

Chapter 99. Exterior Algebra

99.1 Motivation

99.2 Alternating Multilinear Maps

99.3 Exterior Product

Bilinearity

Antisymmetry

Alternation

99.4 Geometric Interpretation

99.5 Exterior Powers

99.6 Basis of Exterior Powers

99.7 Computation Example

99.8 Determinants and Exterior Algebra

99.9 Alternating Forms

99.10 Differential Forms

99.11 Exterior Derivative

99.12 Grassmann Algebra

99.13 Cross Products and Exterior Products

99.14 Orientation

99.15 Exterior Algebra and Geometry

99.16 Hodge Star Operator

99.17 Exterior Algebra in Physics

99.18 Example in R3\mathbb{R}^3R3

99.19 Summary

99.18 Example in $\mathbb{R}^3$