The Hodge Star
Sorry for the delay from last Friday to today, but I was chasing down a good lead.
Anyway, last week I said that I’d talk about a linear map that extends the notion of the correspondence between parallelograms in space and perpendicular vectors.
First of all, we should see why there may be such a correspondence. We’ve identified -dimensional parallelepipeds in an -dimensional vector space with antisymmetric tensors of degree : . Of course, not every such tensor will correspond to a parallelepiped (some will be linear combinations that can’t be written as a single wedge of vectors), but we’ll just keep going and let our methods apply to such more general tensors. Anyhow, we also know how to count the dimension of the space of such tensors:
This formula tells us that and will have the exact same dimension, and so it makes sense that there might be an isomorphism between them. And we’re going to look for one which defines the “perpendicular” -dimensional parallelepiped with the same size.
So what do we mean by “perpendicular”? It’s not just in terms of the “angle” defined by the inner product. Indeed, in that sense the parallelograms and are perpendicular. No, we want any vector in the subspace defined by our parallelepiped to be perpendicular to any vector in the subspace defined by the new one. That is, we want the new parallelepiped to span the orthogonal complement to the subspace we start with.
Our definition will also need to take into account the orientation on . Indeed, considering the parallelogram in three-dimensional space, the perpendicular must be for some nonzero constant , or otherwise it won’t be perpendicular to the whole – plane. And has to be in order to get the right size. But will it be or ? The difference is entirely in the orientation.
Okay, so let’s pick an orientation on , which gives us a particular top-degree tensor so that . Now, given some , we define the Hodge dual to be the unique antisymmetric tensor of degree satisfying
for all . Notice here that if and describe parallelepipeds, and any side of is perpendicular to all the sides of , then the projection of onto the subspace spanned by will have zero volume, and thus . This is what we expect, for then this side of must lie within the perpendicular subspace spanned by , and so the wedge should also be zero.
As a particular example, say we have an orthonormal basis of so that . Then given a multi-index the basic wedge gives us the subspace spanned by the vectors . The orthogonal complement is clearly spanned by the remaining basis vectors , and so , with the sign depending on whether the list is an even or an odd permutation of .
To be even more explicit, let’s work these out for the cases of dimensions three and four. First off, we have a basis . We work out all the duals of basic wedges as follows:
This reconstructs the correspondence we had last week between basic parallelograms and perpendicular basis vectors. In the four-dimensional case, the basis leads to the duals
It’s not a difficult exercise to work out the relation for a degree tensor in an -dimensional space.
Nice!
Maybe it is worth mentioning that you can generalize the Hodge star to the case where the “inner product” is given by an indefinite bilinear form. The result is essentially the same with some minus signs here and there.
Comment by timur | November 9, 2009 |
Cool post. I’ll have to go back and scour some of your other posts on this topic.
“Sorry for the delay from last Friday to today, but I was chasing down a good lead.”
Ha. That’s nothing to apologize for. Good luck to you.
Comment by John Moeller | November 9, 2009 |
timur, you’re right, but I’m holding that as a future subject for more general geometries. I’m getting basic vector-space geometry down before getting any fancier.
Comment by John Armstrong | November 9, 2009 |
[…] a basic operation: the cross product of three-dimensional vectors. This only works out because the Hodge star defines an isomorphism from to when . We […]
Pingback by The Cross Product and Pseudovectors « The Unapologetic Mathematician | November 10, 2009 |
[…] 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 […]
Pingback by The Hodge Star on Differential Forms « The Unapologetic Mathematician | October 6, 2011 |
[…] now we can write down the Hodge star in its entirety. And in fact we’ve basically done this way back when we were talking about the Hodge star on a single vector […]
Pingback by A Hodge Star Example « The Unapologetic Mathematician | October 11, 2011 |