The Hodge Star on Differential Forms
Let’s say that is an orientable Riemannian manifold. We know that this lets us define a (non-degenerate) inner product on differential forms, and of course we have a wedge product of differential forms. We have almost everything we need to define an analogue of the Hodge star on differential forms; we just need a particular top — or “volume” — form at each point.
To this end, pick one or the other orientation, and let be a coordinate patch such that the form
is compatible with the chosen orientation. We’d like to use this form as our top form, but it’s heavily dependent on our choice of coordinates, so it’s very much not a geometric object — our ideal choice of a volume form will be independent of particular coordinates.
So let’s see how this form changes; if is another coordinate patch, we can assume that
by restricting each patch to their common intersection. We’ve already determined that the forms differ by a factor of the Jacobian determinant:
What we want to do is multiply our form by some function that transforms the other way, so that when we put them together the product will be invariant.
Now, we already have something else floating around in our discussion: the metric tensor . When we pick coordinates
we get a matrix-valued function:
and similarly with respect to the alternative coordinates :
So, what’s the difference between these two matrix-valued functions? We can calculate two ways:
That is, we transform the metric tensor with two copies of the inverse Jacobian matrix. Indeed, we could have come up with this on general principles, since has type
— a tensor of type
transforms with
copies of the Jacobian and
copies of the inverse Jacobian.
Anyway, now we can take the determinant of each side:
and taking square roots we find:
Thus the square root of the metric determinant is a function that transforms from one coordinate patch to the other by the inverse Jacobian determinant. And so we can define:
which does depend on the coordinate system to write down, but which is actually invariant under a change of coordinates! That is, on the intersection
. Since the algebras of differential forms form a sheaf
, we know that we can patch these
together into a unique
, and this is our volume form.
And now we can form the Hodge star, point by point. Given any -form
we define the dual form
to be the unique
-form such that
for all -forms
. Since at every point
we have an inner product and a wedge
, we can find a
. Some general handwaving will suffice to show that
varies smoothly from point to point.
[…] will be useful to be able to write down the Hodge star in a local coordinate system. So let’s say that we’re in an oriented coordinate patch […]
Pingback by The Hodge Star in Coordinates « The Unapologetic Mathematician | October 8, 2011 |
[…] (Pseudo)-Riemannian Metrics, Isometries, Inner Products on 1-Forms, The Hodge Star in Coordinates, The Hodge Star on Differential Forms, Inner Products on Differential […]
Pingback by Thirteenth Linkfest | October 8, 2011 |
[…] want to start getting into a nice, simple, concrete example of the Hodge star. We need an oriented, Riemannian manifold to work with, and for this example we take , which we […]
Pingback by A Hodge Star Example « The Unapologetic Mathematician | October 11, 2011 |
[…] 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 […]
Pingback by The Curl Operator « The Unapologetic Mathematician | October 12, 2011 |
[…] use the Hodge star again to flip the -form back to a -form, so we can apply the exterior derivative to that. We can […]
Pingback by The Divergence Operator « The Unapologetic Mathematician | October 13, 2011 |
[…] interesting to look at what happens when we apply the Hodge star twice. We just used the fact that in our special case of we always get back exactly what we […]
Pingback by The Hodge Star, Squared « The Unapologetic Mathematician | October 18, 2011 |
[…] we want another way of viewing this orientation. Given a metric on we can use the inverse of the Hodge star from on the orientation -form of , which gives us a covector defined at each point of . Roughly […]
Pingback by (Hyper-)Surface Integrals « The Unapologetic Mathematician | October 27, 2011 |
[…] do not arise from taking the exterior derivatives of -forms. If is pseudo-Riemannian, so we have a Hodge star to work with, this tells us that we always have some functions on which are not the divergence of […]
Pingback by Compact Oriented Manifolds without Boundary have Nontrivial Homology « The Unapologetic Mathematician | November 24, 2011 |
[…] remember that we’re working in our standard with the standard metric, which lets us use the Hodge star to flip a -form into a -form, and a -form into a vector field! The result is exactly the field […]
Pingback by Gauss’ Law « The Unapologetic Mathematician | January 11, 2012 |
[…] Now I want to juggle around some of these Hodge stars: […]
Pingback by Maxwell’s Equations in Differential Forms « The Unapologetic Mathematician | February 22, 2012 |
[…] we push ahead with the Faraday field in hand, we need to properly define the Hodge star in our four-dimensional space, and we need a pseudo-Riemannian metric to do this. Before we were […]
Pingback by Minkowski Space « The Unapologetic Mathematician | March 7, 2012 |
[…] Hodge Star – which defines an operation where if one has a k-dimensional vector representation of a larger n-dimensional space, one can find a dual representation in the n-k dimensional space – e.g. it is a transformation operation of the basis for some function […]