Skip to main content

Section 4.1 Differential forms revisited: an algebraic approach

Now that we are familiar with one-forms, we take a step back, and revisit the definition. We introduce a more algebraic approach to one-forms, which will allow us to generalize it and introduce the concept of \(k\)-forms.

Subsection 4.1.1 An algebraic approach to one-forms

When we introduced one-forms in Definition 2.1.1, we said that the objects \(dx, dy\) and \(dz\) could be understood a placeholders. We paused briefly in Remark 2.2.4 to relate these objects to the differentials of “projection functions” on \(\mathbb{R}^3\text{,}\) but this wasn't entirely satisfactory. Now we go back and give a more rigorous definition of what these objects stand for.

Definition 4.1.1. The basic one-forms.

The basic one-form \(dx_i\), with \(i \in \{1,\ldots,n\}\text{,}\) is a linear map \(dx_i: \mathbb{R}^n \to \mathbb{R}\) which takes a vector \(\mathbf{u} = (u_1, \ldots,u_n) \in \mathbb{R}^n\) and projects it onto the \(x_i\)-axis:

\begin{equation*} dx_i(u_1, \ldots, u_n) = u_i. \end{equation*}

Remark 4.1.2.

When we are working on \(\mathbb{R}^3\text{,}\) it is customary to write \((x,y,z)\) for \((x_1, x_2, x_3)\text{,}\) and we write the basic one-forms as \(dx, dy\text{,}\) and \(dz\) (instead of \(dx_1, dx_2\) and \(dx_3\)).

This gives a rigorous meaning of these placeholders. Using this definition, we can write a general linear map \(M: \mathbb{R}^3 \to \mathbb{R}\) as

\begin{equation*} M = A\ dx + B\ dy + C\ dz, \end{equation*}

where \(A,B,C \in \mathbb{R}\) are just constants. In other words, it is an arbitrary linear combination of the three projection operators. In general, given an abstract vector space \(V\text{,}\) the set of linear maps \(M: V \to \mathbb{R}\) forms a vector space itself, which is called the “dual vector space” and denoted by \(V^*\) (see for instance https://en.wikipedia.org/wiki/Dual_space).

Let us now look back at the definition of one-forms in Definition 2.1.1, focusing on \(\mathbb{R}^3\) for simplicity. A (differential) one-form was defined as a linear combination of basic one-forms with coefficients that are smooth functions on an open subset \(U \subseteq \mathbb{R}^3\text{.}\) That is, we can write a one-form as:

\begin{equation*} \omega = f\ dx + g\ dy + h\ dz, \end{equation*}

for smooth functions \(f,g,h: U \to \mathbb{R}\text{.}\) With our new understanding of the placeholders \(dx, dy, dz\text{,}\) we can make sense of this object. For any point \(P \in U\text{,}\) the one-form \(\omega\) defines a linear map \(\mathbb{R}^3 \to \mathbb{R}\) (or equivalently an element of the vector space dual to \(\mathbb{R}^3\)). This is the dual concept to vector fields: a vector field is a rule that assigns to all points on \(U\) a vector in \(\mathbb{R}^3\text{,}\) while a one-form is a rule that assigns to all points on \(U\) a linear map \(\mathbb{R}^3 \to \mathbb{R}\) (that is, a “dual vector”). Nice!

Subsection 4.1.2 Basic \(k\)-forms

This algebraic understanding of the basic one-forms as linear maps allows us to define a natural generalization. Instead of looking only at linear maps \(\mathbb{R}^n \to \mathbb{R}\text{,}\) we now also define multilinear maps \(\mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}\text{,}\) and \(\mathbb{R}^n \times \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}\text{,}\) and so on. The definition relies on the determinant.

Definition 4.1.3. Basic two-forms.

The basic two-form \(dx_i \wedge d x_j\), for \(i,j \in \{1,\ldots,n\}\) is a multilinear map 1  \(dx_i \wedge dx_j: \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}\) which takes two vectors \((\mathbf{u}, \mathbf{v}) \in \mathbb{R}^n \times \mathbb{R}^n\text{,}\) with \(\mathbf{u} = (u_1, \ldots, u_n)\) and \(\mathbf{v}=(v_1, \ldots, v_n)\text{,}\) and maps them to the following determinant:

\begin{equation*} dx_i \wedge dx_j (\mathbf{u}, \mathbf{v}) = \det \begin{pmatrix} u_i \amp v_i \\ u_j \amp v_j \end{pmatrix}. \end{equation*}
A multilinear map is a function of several variables that is linear separately in each variable.

In the same way we can define the notion of basic three-forms.

Definition 4.1.4. Basic three-forms.

The basic three-form \(dx_i \wedge d x_j \wedge dx_k\), for \(i,j,k \in \{1,\ldots,n\}\) is a multilinear map \(dx_i \wedge dx_j \wedge dx_k: \mathbb{R}^n \times \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}\) which takes three vectors \((\mathbf{u}, \mathbf{v},\mathbf{w}) \in \mathbb{R}^n \times \mathbb{R}^n \times \mathbb{R}^n\text{,}\) with \(\mathbf{u} = (u_1, \ldots, u_n)\) and \(\mathbf{v}=(v_1, \ldots, v_n)\text{,}\) and \(\mathbf{w}=(w_1, \ldots, w_n)\text{,}\) and maps them to the following determinant:

\begin{equation*} dx_i \wedge dx_j \wedge dx_k (\mathbf{u}, \mathbf{v},\mathbf{w}) = \det \begin{pmatrix} u_i \amp v_i \amp w_i \\ u_j \amp v_j \amp w_j \\ u_k \amp v_k \amp w_k \end{pmatrix}. \end{equation*}

We wrote the definition of basic one-, two-, and three-forms explicitly for clarity, but in fact they are just special cases of the more general definition of basic \(k\)-forms. We now define basic \(k\)-forms, for completeness, but don't worry if the notation is confusing you: as we will see, in \(\mathbb{R}^3\) all basic \(k\)-forms with \(k \geq 4\) automatically vanish, so the above definitions are sufficient.

Definition 4.1.5. Basic \(k\)-forms.

The basic \(k\)-form \(dx_{i_1} \wedge \ldots \wedge dx_{i_k}\), with \(i_1, \ldots, i_k \in \{1,\ldots,n \}\text{,}\) is a multilinear map \(dx_{i_1} \wedge \ldots \wedge dx_{i_k}: (\mathbb{R}^n)^k \to \mathbb{R}\) which takes \(k\) vectors \((\mathbf{u}^1, \ldots, \mathbf{u}^k) \in (\mathbb{R}^n)^k \text{,}\) with \(\mathbf{u}^j = (u_1^j, \ldots, u_n^j)\text{,}\) and maps them to the following determinant:

\begin{equation*} dx_{i_1} \wedge \ldots \wedge dx_{i_k} (\mathbf{u}^1, \ldots,\mathbf{u}^k) = \det \begin{pmatrix} u_{i_1}^1 \amp \ldots \amp u^k_{i_1} \\ \vdots \amp \ddots \amp \vdots \\ u_{i_k}^1 \amp \ldots \amp u_{i_k}^k \end{pmatrix}. \end{equation*}

It looks like there are many possibilities here, but many of them either vanish or are related to each other. More precisely, basic \(k\)-forms satisfy the following antisymmetry relations, which significantly reduce the number of non-zero basic forms \(\mathbb{R}^3\text{.}\)

This follows directly from the property of the determinant. If we exchange a \(dx_i\) with \(dx_j\text{,}\) we exchange two rows in the matrix that we take the determinant of, and hence the determinant picks a sign. Similarly, if two of the \(dx_i\)'s are the same, then the matrix that we take the determinant of has two equal rows, and hence the determinant is zero.

Remark 4.1.7.

We note here that the basic \(k\)-forms can be given a geometric interpretation. We focus on \(\mathbb{R}^3\) for simplicity. It's easier to start with the basic three-form in \(\mathbb{R}^3\text{.}\) The three vectors \(\mathbf{u}, \mathbf{v}\) and \(\mathbf{w}\) in \(\mathbb{R}^3\) span a three-dimensional parallelepiped. Then the basic three-form \(dx \wedge dy \wedge dz(\mathbf{u}, \mathbf{v}, \mathbf{w})\) calculates its oriented volume, since this is what the determinant calculates.

As for the basic two-forms, the two vector \(\mathbf{u}\) and \(\mathbf{v}\) in \(\mathbb{R}^3\) span a parallelogram. The basic two-form \(dx \wedge dy(\mathbf{u}, \mathbf{v})\) calculates the oriented area of its projection on the \(xy\)-plane, while the two-forms \(dx \wedge dz(\mathbf{u},\mathbf{v})\) and \(dy \wedge dz(\mathbf{u},\mathbf{v})\) calculate the oriented area of its projection on the \(xz\)- and \(yz\)-planes respectively.

Subsection 4.1.3 \(k\)-forms in \(\mathbb{R}^3\)

We are now ready to introduce the concept of \(k\)-forms, with \(k \in \{0,1,2,3\}\text{,}\) in \(\mathbb{R}^3\text{,}\) which naturally generalizes the one-forms introduced in Definition 2.1.1.

Definition 4.1.8. \(k\)-forms in \(\mathbb{R}^3\).

Let \(U \subseteq \mathbb{R}^3\) be an open subset.

  1. A zero-form is a smooth function \(f:U \to \mathbb{R}\text{.}\)

  2. A one-form is an expression of the form

    \begin{equation*} f \ dx + g\ dy + h\ dz, \end{equation*}
    for smooth functions \(f,g,h: U \to \mathbb{R}\text{.}\)

  3. A two-form is an expression of the form

    \begin{equation*} f\ dy \wedge dz + g\ dz \wedge dx + h\ dx \wedge dy, \end{equation*}
    for smooth functions \(f,g,h:U \to \mathbb{R}\text{.}\)

  4. A three-form is an expression of the form

    \begin{equation*} f\ dx \wedge dy \wedge dz, \end{equation*}
    for a smooth function \(f:U \to \mathbb{R}\text{.}\)

Of course there is no point in defining \(k\)-forms with \(k \geq 4\) in \(\mathbb{R}^3\text{,}\) as those would necessarily vanish, by Lemma 4.1.6. But we note that this definition of \(k\)-forms can naturally be generalized to \(\mathbb{R}^n\) using the general definition of basic \(k\)-forms in Definition 4.1.5.

Remark 4.1.9.

Our definition of two- and three-forms involves a specific choice of basic two- and three-forms. For instance, we used \(dx \wedge dy \wedge dz\) instead of \(dz \wedge dx \wedge dy\text{.}\) When we express the differential forms with the choice of basic form in Definition 4.1.8, we say that the \(k\)-forms are in standard form. We generally want to present differential forms in standard form, to simplify things.

With this being said, you may wonder why we chose this particular choice of ordering for the basic two-forms, i.e. why we wrote

\begin{equation*} f\ dy \wedge dz + g\ dz \wedge dx + h\ dx \wedge dy \end{equation*}

instead of, say,

\begin{equation*} f\ dx \wedge dy + g\ dx \wedge dz + h\ dy \wedge dz. \end{equation*}

The reason behind this choice will become clear in the next section, when we relate the wedge product of differential forms to the cross-product of vector fields.

An easy way to remember this choice of ordering is to rename in your head \((x,y,z) \mapsto (x_1, x_2, x_3)\text{,}\) and to denote the component functions by \(f_1, f_2, f_3\text{.}\) Then the proper choice of ordering is

\begin{equation*} f_1 dx_2 \wedge dx_3 + f_2 dx_3 \wedge dx_1 + f_3 dx_1 \wedge dx_2, \end{equation*}

which runs through the three cyclic permutations of \((1,2,3))\text{,}\) namely \((1,2,3), (2,3,1)\) and \((3,1,2)\text{.}\)

Remark 4.1.10.

Using the algebraic interpretation of the basic one-, two-, and three-forms in the previous subsections, we can give a geometric meaning to \(k\)-forms: a \(0\)-form assigns a number to all points in \(U\text{,}\) while a \(k\)-form (with \(k \geq 1\)) assigns a multilinear map \((\mathbb{R}^3)^k \to \mathbb{R}\) to all points in \(U\text{.}\) In other words, if we act on a given set of vectors, a \(k\)-form assigns a notion of \(k\)-dimensional oriented volume for the corresponding projection of the \(k\)-dimensional parallepiped generated by the \(k\) vectors.

Subsection 4.1.4 \(k\)-forms and vector calculus

As has become customary, we end this section by relating our construction in the world of differential forms to the traditional concepts in vector calculus. In Principle 2.1.3, we saw that we can naturally associate to a one-form a corresponding vector field. This correspondence can be generalized to \(k\)-forms in \(\mathbb{R}^3\text{.}\) We get the following table, which provides a dictionary between differentials forms in \(\mathbb{R}^3\) and vector calculus concepts. Note that to establish the dictionary, we write the \(k\)-forms on the left-hand-side of the table in standard form (see Remark 4.1.9).

Table 4.1.11. Dictionary between \(k\)-forms in \(\mathbb{R}^3\) and vector calculus concepts
Differential form concept Vector calculus concept
0-form \(f\) function \(f\)
1-form \(f\ dx + g\ dy + h\ dz\) vector field \((f,g,h)\)
2-form \(f\ dy \wedge dz + g\ dz \wedge dx + h\ dx \wedge dy\) vector field \((f,g,h)\)
3-form \(f\ dx \wedge dy \wedge dz\) function \(f\)

Exercises 4.1.5 Exercises

1.

Show that \(dz \wedge dx \wedge dy = dx \wedge dy \wedge dz\text{.}\)

Solution.

We know that \(dz \wedge dx = - dx \wedge dz\text{,}\) and \(dz \wedge dy = - dy \wedge dz\text{.}\) So we can write

\begin{equation*} dz \wedge dx \wedge dy = - dx \wedge dz \wedge dy = dx \wedge dy \wedge dz. \end{equation*}

2.

List the independent non-vanishing basic \(k\)-forms in \(\mathbb{R}^4\text{.}\)

Solution.

Because of anti-symmetry, we know that the only non-vanishing basic \(k\)-forms in \(\mathbb{R}^4\) are for \(k \leq 4\text{.}\) Let us write the basic one-forms by

\begin{equation*} dx_1, \qquad dx_2, \qquad dx_3, \qquad dx_4. \end{equation*}

Then the basic two-forms are obtained by pairing those two-by-two, up to anti-symmetry. We get the basic two-forms:

\begin{equation*} dx_1 \wedge dx_2, \qquad dx_1 \wedge dx_3, \qquad dx_1 \wedge dx_4, \qquad dx_2 \wedge dx_3, \qquad dx_2 \wedge dx_4, \qquad dx_3 \wedge dx_4. \end{equation*}

For the basic three-forms, we pair the one-forms three-by-three, without repeated factors (otherwise they would vanish). We get:

\begin{equation*} dx_1 \wedge dx_2 \wedge dx_3, \qquad dx_1 \wedge dx_2 \wedge dx_4, \qquad dx_1 \wedge dx_3 \wedge dx_4, \qquad dx_2 \wedge dx_3 \wedge dx_4. \end{equation*}

Finally, there is only one independent basic four-form, since there cannot be repeated \(dx_i\) factors. (There is always only one independent basic “top-form”, i.e. basic \(n\)-form in \(\mathbb{R}^n\) ). It reads:

\begin{equation*} dx_1 \wedge dx_2 \wedge dx_3 \wedge dx_4. \end{equation*}

3.

Write down the vector field \(\mathbf{F}: \mathbb{R}^3 \to \mathbb{R}^3\) associated to the two-form

\begin{equation*} \omega = x y \ dx \wedge dy + x y z\ dx \wedge dz + x^2 dy \wedge dz. \end{equation*}
Solution.

Before we extract the vector field we need to make sure that we write the one-form in the correct form according to the dictionary Table 4.1.11. We have:

\begin{equation*} \omega = x^2\ dy \wedge dz - x y z \ dz \wedge dx + x y \ dx \wedge dy. \end{equation*}

Then the associated vector field is:

\begin{equation*} \mathbf{F}(x,y,z) = (x^2, - x y z, x y). \end{equation*}

4.

Let \(\omega =dx \wedge dz\) be a basic two-form on \(\mathbb{R}^3\text{,}\) and \(\mathbf{u}=(1,2,3)\) and \(\mathbf{v}=(3,2,1)\) be vectors in \(\mathbb{R}^3\text{.}\) Evaluate

\begin{equation*} \omega(\mathbf{u}, \mathbf{v}). \end{equation*}
Solution.

By definition of a basic two-form (and recalling that we use the standard notation here that \(dx \wedge dz = dx_1 \wedge dx_3\)), we have:

\begin{equation*} dx \wedge dz( \mathbf{u}, \mathbf{v}) = \det \begin{pmatrix} u_1 \amp v_1 \\ u_3 \amp v_3 \end{pmatrix}. \end{equation*}

Substituting the entries for the vectors \(\mathbf{u}\) and \(\mathbf{v}\text{,}\) we get:

\begin{equation*} dx \wedge dz( \mathbf{u}, \mathbf{v}) = \det \begin{pmatrix} 1 \amp 3 \\ 3 \amp 1 \end{pmatrix} = 1 - 9 = - 8. \end{equation*}

5.

Let \(\omega = dx \wedge dy \wedge dz\) be the basic three-form on \(\mathbb{R}^3\text{.}\)

  1. Show that \(\omega(\mathbf{u}, \mathbf{v}, \mathbf{w}) = 1\text{,}\) with \(\mathbf{u}=(1,0,0)\text{,}\) \(\mathbf{v} =(0,1,0)\) and \(\mathbf{w}=(0,0,1)\) basis vectors in \(\mathbb{R}^3\text{.}\)

  2. Show that \(\omega(\mathbf{v}, \mathbf{u}, \mathbf{w}) = -1\text{.}\)

  3. In general, show that there are three choices of ordering of the basis vectors for which \(\omega\) evaluates to \(1\text{,}\) and three choices for which it evaluates to \(-1\text{.}\)

Solution.

(a) By definition of a basic three-form, we get:

\begin{equation*} dx \wedge dy \wedge dz(\mathbf{u}, \mathbf{v}, \mathbf{w}) = \det \begin{pmatrix} 1 \amp 0 \amp 0 \\ 0 \amp 1 \amp 0 \\ 0 \amp 0 \amp 1 \end{pmatrix} = 1. \end{equation*}

(b) We changed the ordering of the basis vectors here. We get:

\begin{equation*} dx \wedge dy \wedge dz(\mathbf{v}, \mathbf{u}, \mathbf{w}) = \det \begin{pmatrix} 0 \amp 1 \amp 0 \\ 1 \amp 0 \amp 0 \\ 0 \amp 0 \amp 1 \end{pmatrix} = -1. \end{equation*}

(c) In general, it is easy to see that the following three orderings give \(1\text{:}\)

\begin{equation*} dx \wedge dy \wedge dz(\mathbf{u}, \mathbf{v}, \mathbf{w}) = dx \wedge dy \wedge dz(\mathbf{w}, \mathbf{u}, \mathbf{v}) = dx \wedge dy \wedge dz(\mathbf{v}, \mathbf{w}, \mathbf{u}) = 1, \end{equation*}

while the following three orderings give \(-1\text{:}\)

\begin{equation*} dx \wedge dy \wedge dz(\mathbf{v}, \mathbf{u}, \mathbf{w}) = dx \wedge dy \wedge dz(\mathbf{w}, \mathbf{v}, \mathbf{u}) = dx \wedge dy \wedge dz(\mathbf{u}, \mathbf{w}, \mathbf{v}) = -1. \end{equation*}

The reason is that whenever we permute two basis vectors, we exchange two columns in the matrix that we are taking the determinant of. But we know from properties of the determinant that swapping two columns of matrix changes its detereminant by \(-1\text{.}\) So we conclude that doing an even number of two-by-two swaps of basis vectors does not change the determinant, while doing an odd numbers of two-by-two swaps changes the determinant by \(-1\text{.}\)

FYI: in the language of group theory, the group of permutations of three objects is called the “symmetric group” \(S_3\text{,}\) whose elements are the permutations. We call a permutation that is a swap of two objects a “transposition”. All permutations can be obtained by doing a finite number of transpositions (i.e. by swapping objects two-by-two a finite number of time). We define the “sign” of a permutation as being positive if the permutation can be obtained by an even number of transpositions, and negative if it requires an odd number of transpositions. The statement above would then be that the determinant is unchanged if the basis vectors are related by a positive permutation, and picks a sign if they are related by a negative permutation.