Volumes of Parallelepipeds

Chapter 6: Differential Forms and the Generalized Stokes Theorem

Learning objectives

Compute signed areas and volumes via determinants
Recognise multilinearity and the alternating property as the defining axioms of $k$ -forms
Use the wedge product to build higher-degree forms
Connect the determinant to oriented volume in $\mathbb{R}^n$

Differential forms grow out of one geometric idea: signed volume. The determinant you met in linear algebra is the algebraic engine for measuring oriented volume of parallelepipeds, and the wedge product is the operation that lets you build higher-dimensional volume forms out of lower-dimensional ones. Once you grasp that a $k$ -form is just “a thing that eats $k$ vectors and returns a signed volume,” the rest of differential-forms theory unfolds naturally. This section is the algebraic foundation; the next builds calculus on top of it.

Signed area in $\mathbb{R}^2$

The parallelogram spanned by $\mathbf{v}_1=(a,b)$ and $\mathbf{v}_2=(c,d)$ has signed area equal to the determinant

\det\begin{pmatrix} a & c \\ b & d \end{pmatrix} = ad - bc.

The magnitude is the geometric area; the sign encodes orientation (positive if $\mathbf{v}_1$ to $\mathbf{v}_2$ is a counterclockwise rotation, negative otherwise).

Multilinear + alternating: the defining axioms

Signed volume has two structural properties:

Multilinear: linear in each vector argument separately. $\text{Vol}(\lambda\mathbf{v}_1, \mathbf{v}_2) = \lambda,\text{Vol}(\mathbf{v}_1, \mathbf{v}_2)$ ; $\text{Vol}(\mathbf{v}_1 + \mathbf{w}, \mathbf{v}_2) = \text{Vol}(\mathbf{v}_1, \mathbf{v}_2) + \text{Vol}(\mathbf{w}, \mathbf{v}_2)$ .
Alternating: swapping two arguments flips the sign. $\text{Vol}(\mathbf{v}_2, \mathbf{v}_1) = -\text{Vol}(\mathbf{v}_1, \mathbf{v}_2)$ . Consequence: $\text{Vol}(\mathbf{v},\mathbf{v}) = 0$ .

A function of $k$ vectors that is multilinear and alternating is called a $k$ -form. Determinants are the prototype.

The wedge product

The basic 1-forms on $\mathbb{R}^n$ are $dx_1, dx_2, \ldots, dx_n$ , where $dx_i$ is the linear functional that reads off the $i$ -th coordinate of a vector: $dx_i(\mathbf{v}) = v_i$ . Their wedge product $dx_i \wedge dx_j$ is the 2-form defined on a pair of vectors by

(dx_i \wedge dx_j)(\mathbf{v}, \mathbf{w}) = \det\begin{pmatrix} v_i & w_i \\ v_j & w_j \end{pmatrix} = v_i w_j - v_j w_i.

From this definition the wedge product is automatically antisymmetric: $dx_i\wedge dx_j = -,dx_j\wedge dx_i$ , and $dx_i\wedge dx_i = 0$ .

Volume in $\mathbb{R}^n$ as an $n$ -form

The signed volume of the parallelepiped spanned by $\mathbf{v}_1, \ldots, \mathbf{v}_n$ in $\mathbb{R}^n$ is the determinant of the matrix with those vectors as columns. This is the standard volume form $dx_1\wedge dx_2\wedge\cdots\wedge dx_n$ .

The matrix-multiplier above lets you experiment with $2\times 2$ matrices. The determinant of the matrix is the signed area of the image of the unit square — precisely the signed area form $dx\wedge dy$ evaluated on the column vectors. Try a matrix with determinant $-1$ (e.g., a reflection) and watch the orientation flip.

Where this shows up

- **Computer graphics and physics engines:** the cross product

\mathbf{u}\times\mathbf{v}

, whose magnitude is the parallelogram area and whose direction is the normal, is the wedge product of two 1-forms followed by a Hodge star — this is why GPU shaders and collision detection rely on it. - **Change of variables in integration:** the Jacobian determinant

|\det J|

\iint f(\mathbf{u})\,du_1\,du_2 = \iint f(\mathbf{u}(x,y))|\det J|\,dx\,dy

is the wedge product of the differential coordinates

du_1\wedge du_2

pulled back to the

(x,y)

basis. - **General relativity:** the volume element

\sqrt{|g|}\,dx^1\wedge dx^2\wedge dx^3\wedge dx^4

on a curved spacetime is a 4-form; Einstein's field equations are written using the wedge calculus of forms. - **Information geometry:** the volume form on a statistical manifold (Fisher metric) measures the information capacity of a parameter region — a wedge product of differentials of the parameters.

Pause and think: The wedge product is antisymmetric. What does antisymmetry force about $dx\wedge dx$ ? What does that tell you about the “area” spanned by a vector with itself?

Try it

Predict, then compute: the signed area of the parallelogram spanned by $(2,1)$ and $(1,3)$ . (Answer: $2\cdot 3 - 1\cdot 1 = 5$ .)
For $\mathbf{v}_1=(1,1)$ and $\mathbf{v}_2=(1,1)$ , compute the signed area and explain geometrically.
Evaluate $(dx\wedge dy)(\mathbf{e}_1, \mathbf{e}_2)$ and $(dx\wedge dy)(\mathbf{e}_2, \mathbf{e}_1)$ using the determinant definition. Confirm the antisymmetry.
True or false: the 2-form $dx\wedge dy + dy\wedge dx$ is the zero form. (Hint: use antisymmetry.)

A trap to watch for

The wedge product is NOT commutative. $dx\wedge dy \neq dy\wedge dx$ ; in fact they differ by a sign. Beginners often mishandle this when re-ordering factors in a product of forms. The rule for swapping two basic 1-forms: introduce a minus sign each time. So $dx\wedge dy\wedge dz = -,dy\wedge dx\wedge dz = +,dy\wedge dz\wedge dx$ — two swaps cancel back to a plus sign, three swaps would flip to a minus. Count swaps mod 2 carefully.

What you now know

You can compute signed volumes via determinants, recognise the multilinear-and-alternating axioms, and use the wedge product to build basic $k$ -forms. Section 6.2 introduces the exterior derivative $d$ , the operator that turns wedge calculus into the unifying language of vector calculus.

References

Garrity, T. (2002). All the Mathematics You Missed. Cambridge University Press, ch. 6.
Bachman, D. (2012). A Geometric Approach to Differential Forms (2nd ed.). Birkhäuser, ch. 1-3.
Hubbard, J. H., Hubbard, B. B. (2015). Vector Calculus, Linear Algebra, and Differential Forms (5th ed.). Matrix Editions.
Spivak, M. (1965). Calculus on Manifolds. W. A. Benjamin, ch. 4.
Lee, J. M. (2012). Introduction to Smooth Manifolds (2nd ed.). Springer, ch. 14.