Differential Forms and Vector Fields

Chapter 6: Differential Forms and the Generalized Stokes Theorem

Learning objectives

Translate freely between differential forms and vector fields on $\mathbb{R}^3$
Use the Hodge star to convert between $k$ -forms and $(n-k)$ -forms in $\mathbb{R}^n$
Understand why the cross product is special to $\mathbb{R}^3$
Recover gradient, curl, and divergence from the dictionary

In $\mathbb{R}^3$ there is an explicit dictionary that translates between vector calculus and the calculus of differential forms. Once you can move between the two languages, you can do calculations in whichever is more convenient and convert at the end. The dictionary also explains a long-standing puzzle: why does the cross product only exist in three dimensions? The answer is a counting argument about binomial coefficients that falls out of the form-theoretic picture in one line.

The translation dictionary in $\mathbb{R}^3$

On $\mathbb{R}^3$ with the standard inner product, the following correspondence is natural:

0-form $f$ $\leftrightarrow$ scalar function $f$ .
1-form $P,dx + Q,dy + R,dz$ $\leftrightarrow$ vector field $(P, Q, R)$ .
2-form

A\,dy\wedge dz + B\,dz\wedge dx + C\,dx\wedge dy

$\leftrightarrow$ vector field $(A, B, C)$ .

3-form $\rho,dx\wedge dy\wedge dz$ $\leftrightarrow$ scalar function $\rho$ .

Under this correspondence:

$d$ on a 0-form $\leftrightarrow$ gradient.
$d$ on a 1-form $\leftrightarrow$ curl.
$d$ on a 2-form $\leftrightarrow$ divergence.

The Hodge star operator

The Hodge star $\star$ maps $k$ -forms to $(n-k)$ -forms in $\mathbb{R}^n$ with a chosen inner product. On $\mathbb{R}^3$ :

\star\,1 = dx\wedge dy\wedge dz

\star\,dx = dy\wedge dz,\quad \star\,dy = dz\wedge dx,\quad \star\,dz = dx\wedge dy

$\star(dx\wedge dy) = dz$ , etc.

\star(dx\wedge dy\wedge dz) = 1

The Hodge star is the algebraic mechanism that lets you convert between “1-form view” and “2-form view” of a vector field in 3D — it is why the dictionary above pairs both 1-forms and 2-forms with vector fields.

Why the cross product only lives in $\mathbb{R}^3$

The wedge product of two 1-forms in $\mathbb{R}^n$ is a 2-form. The space of 1-forms has dimension $n = \binom{n}{1}$ ; the space of 2-forms has dimension $\binom{n}{2}$ . To convert a 2-form back into a vector (i.e., back into a 1-form), we need $\binom{n}{2} = \binom{n}{1}$ . The unique solution is $n = 3$ : there, $\binom{3}{2} = \binom{3}{1} = 3$ , and the Hodge star is an isomorphism between 1-forms and 2-forms. In $\mathbb{R}^7$ there is also a cross product but it does NOT come from this argument (it relies on octonions). For other $n$ there is no natural cross product at all.

(The dictionary is paper-friendly. The references include online forms-and-vector-fields demos with 3D visualisations.)

Where this shows up

- **Electromagnetism in spacetime:** the electric and magnetic fields combine into a single 2-form

F

on 4D Minkowski space. Maxwell's equations become

dF = 0

and

d{\star}F = J

— two lines covering all four of the classical equations. - **Computer graphics & CAD:** normal vectors on a surface come from the Hodge star of the surface's tangent 2-form; lighting computations and shading models exploit this isomorphism implicitly. - **Robotics & rotation parametrisation:**

SO(3)

-valued rotations and their Lie-algebra tangent vectors (skew-symmetric matrices) are 2-forms that map via the Hodge star to angular-velocity vectors — that is why “wedge-vee” conversions appear in every robotics codebase. - **Materials science:** stress and strain tensors are higher-rank generalisations of forms; the form-vector dictionary on

\mathbb{R}^3

underpins how engineers translate symbolic tensor calculations into component-wise vector arithmetic.

Pause and think: In $\mathbb{R}^4$ , the wedge of two 1-forms is a 2-form. How many basis 2-forms are there? Is that the same as the dimension of $\mathbb{R}^4$ ? Conclude whether a cross product can be defined uniquely.

Try it

Translate the vector field $\mathbf{F} = (xy, yz, zx)$ to a 1-form and compute its exterior derivative $d\omega$ . Translate back to a vector field. The result should be $\nabla\times\mathbf{F}$ .
Apply the Hodge star: compute $\star(2,dx\wedge dy)$ and $\star(dz)$ in $\mathbb{R}^3$ .
Compute the wedge product $(dx + 2,dy)\wedge(3,dx + dy)$ and identify the result with a multiple of $dx\wedge dy$ .
True or false: in $\mathbb{R}^4$ , there is a binary operation on vectors that produces a vector and is bilinear and antisymmetric. (Hint: count basis 2-forms in 4D.)

A trap to watch for

The vector field corresponding to a 2-form uses a particular sign convention. Garrity (and most textbooks) order the basis as $dy\wedge dz,, dz\wedge dx,, dx\wedge dy$ . Note the cyclic ordering (not alphabetical). The middle one is NOT $dx\wedge dz$ ; that would carry a minus sign because $dx\wedge dz = -,dz\wedge dx$ . Always reduce 2-forms to this canonical basis before reading off the corresponding vector.

What you now know

You can move freely between vector calculus and differential forms on $\mathbb{R}^3$ , use the Hodge star to convert form-degrees, and explain the dimensional accident that makes the cross product unique to $\mathbb{R}^3$ . Section 6.4 introduces manifolds — the spaces on which forms naturally live.

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.
Hubbard, J. H., Hubbard, B. B. (2015). Vector Calculus, Linear Algebra, and Differential Forms (5th ed.). Matrix Editions.
Lee, J. M. (2012). Introduction to Smooth Manifolds (2nd ed.). Springer, ch. 14, 16.
Spivak, M. (1965). Calculus on Manifolds. W. A. Benjamin.