# Chapter 99. Exterior Algebra

# 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:

1. Swapping vectors reverses orientation.
2. 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),
$$

so

$$
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.