Exterior Algebra Notes #3: The Hodge Star
Vector spaces are assumed to be finite-dimensional and over . The grade of a multivector will be written , while its magnitude will be written . Bold letters like will refer to (grade-1) vectors, while Greek letters like refer to arbitrary multivectors with grade .
More notes on exterior algebra. This time, the Hodge Star operator .
1. The Hodge Star
The Hodge Star operator takes multivectors to their ‘complements’: . It’s relative to the unit pseudoscalar of a space, so we should probably write that as since it’s not true in any other space. Some people also write or or even ~ instead. Weird.
The choice of unit pseudoscalar amounts to defining a global orientation and picking that you want to use the ‘right hand rule’ for cross products. It’s otherwise kinda arbitrary. Usually we just use alphabetical order.
This is the defining property of :
And sometimes people define the inner product in terms of the star:
In practice this definition means: to compute , figure out what value of satisfies . For instance, in we have , because . Note that so we can use to remove it: .
We often find ourselves dealing with , so let’s write that down.
The sign comes from having to move all the terms of and past each other to get back to the original ordering. is always true for odd, and for even is true if is also even. So if and only if ( even, odd). Most commonly it comes up for , rotating a vector in the plane.
It’s also helpful to note that preserves inner products:
is a linear transformation from , and when restricted to elements of a particular grade, from spaces . We can write it down as a matrix or as a tensor product. In for instance it acts on vectors as:
Which also happens to be a rotation operator. That’s probably important.
Wikipedia will tell you that the main purpose of is to define, like, the de Rham cohomology on differential manifolds, or something like that. Wikipedia is silly and that was clearly written by a specialist. The main purpose of is to be able to do geometry and physics for 150 years while pretending that multivectors don’t exist. Anything that comes from a cross product (areas, magnetic fields, angular momenta) is, in fact, a bivector, and we get away with ignoring that fact because lets us treat them like vectors.
2. Note on Duality
The Hodge star is also called the ‘Hodge dual’, although this is normally not the same thing vector space duality.
When you are keeping track of duality, I have found references which define as both and as . I suppose it depends on whether you assuming the existence of an inner product as well, which lets you identify .
Even without an inner product or , the wedge product provides a construction of the dual space. Since the space is one-dimensional, it is isomorphic to , although there is no canonical choice of isomorphism (which amounts to picking a pseudoscalar). This means the map is a map , so and , even without .
A choice of or inner product (each can be defined in terms of the other) additionally maps , and thus provides the isomorphism . Something like that. See this explanation for more.
In physics, at least, we invoke vector space duality when we are concerned with creating coordinate-independent quantities. In a coordinate-independent inner product like , one side must be contravariant and the other covariant, so that the result is invariant. It is easy that, since , the operation must be involved with covariance as well. The result is kinda unwieldy (you can see one version on wikipedia), but I think I am going to wait on figuring it out for myself until I contend with everything else in a covariant way also in some future article.
It is worth noting that itself is not coordinate-invariant. It’s only preserved by orientation-preserving orthonormal transformations.
3. The Cross Product
My goal with these articles has so far been to demonstrate the usefulness of exterior algebra by cleanly showing how it leads to lots of vector identities. Thus, we should go ahead and address the cross product.
In , the vector cross product takes two vectors and produces a third vector, orthogonal to them. This is better understood as taking their wedge product, then mapping that to a vector:
I say ‘better understood’ because this understanding elucidates properties such as how as a cross product transforms under coordinate transformations. And if you just stick with the bivector, you don’t have to worry about the right hand rule either.
Some people will tell you that there’s also a 7-dimensional cross product. They are basically wrong. There is, sort of, but it’s the wrong generalization, and it’s useless for geometry. is the one you want – it’s just that it only maps back to vectors in (or you can define it to take arguments in , but then why aren’t you just using ?).
We can quickly compute the inner product of two cross products using (3):
And here’s the scalar triple product, using (1):
The on the result reflects the fact that , so we apply to get a scalar value.
Just like we can lift a linear transformation to its action on a wedge product, such as , we can (presumably) lift it to its action on a Hodge star or a cross product. That is, this transformation exists for :
This is important because if you have a value which is the result of a cross product, such as a , it does not transform like the unit vector . We can write down a variant of which acts on cross products:
It turns out that , which I’ll investigate soon when we tackle the matrix inverse.
(This article used to also include the interior product but it seemed very long and unwieldy, so I’ve split them up.)
Other articles related to Exterior Algebra: