Exterior Algebra 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
Note that 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 am not sure which one is more ‘correct’.
It might depend on what other machinery you have around – if you are doing linear algebra in a space which does not have an inner product, then the wedge product gives you a mapping . Since (or whatever base field) this means that and are dual, as vector spaces, but you need to actually provide a mapping in order to construct the duality mapping. This amounts to picking a value of , which determines the orientation and scaling of the space. The choice of identifies (see this explanation for more).
Thus, if you have no canonical inner product, you can still define a notion of vector space duality using . I am mostly trying to develop for myself a low-level view of exterior algebra for use in familiar Euclidean vector spaces, so I’ve been assuming away the presence of an inner product without thinking about this.
If you do have an inner product, then you also have an isomorphism , and so you have , and thus can be considered as a map .
In physics, at least, we invoke vector space duality when we are concerned with preserving inner products under coordinate transformations. With , the transformation of a multivector is taken care of by the transformation rules for , without needing to consider it as a dual vector.. Although keep in mind that itself is only preserved by positively-oriented orthonormal transformations, which have .
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: