The Curl Operator
We’ve already see the gradient vector , which has the same components as the differential :
This is because we use the metric to convert from vector fields to -forms, and with respect to our usual bases the matrix of the metric is the Kronecker delta.
We will proceed to define analogues of the other classical differential operators you may remember from multivariable calculus. We will actually be defining operators on differential forms, but we will use this same trick to identify vector fields and -forms. We will thus not usually distinguish our operators from the classical ones, but in practice we will use the classical notations when acting on vector fields and our new notations when acting on -forms.
Anyway, the next operator we come to is the curl of a vector field: . Of course we’ll really start with a -form instead of a vector field, and we already know a differential operator to use on forms. Given a -form we can send it to .
The only hangup is that this is a -form, while we want the curl of a vector field to be another vector field. But we do have a Hodge star, which we can use to flip a -form back into a -form, which is “really” a vector field again. That is, the curl operator corresponds to the differential operator that takes -forms back to -forms.
Let’s calculate this in our canonical basis, to see that it really does look like the familiar curl. We start with a -form . The first step is to hit it with the exterior derivative, which gives
Next we hit this with the Hodge star. We’ve already calculated how the Hodge star affects the canonical basis of -forms, so this is just a simple lookup to find:
which are indeed the usual components of the curl. That is, if is the -form corresponding to the vector field , then is the -form corresponding to the vector field .