## A Hodge Star Example

I 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 cover with the usual coordinate patch with coordinates we call .

To get a metric, we declare the coordinate covector basis to be orthonormal, which means that we have the matrix

and also the inner product matrix

since we know that and are inverse matrices. And so we get the canonical volume form

We declare our orientation of to be the one corresponding to this top form.

Okay, so 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 space:

So, what does this buy us? Something else that we’ve seen before in the context of a single vector space. Let’s say that and are two vector fields defined on an open subset . We can write these out in our coordinate basis:

Now, we can use our metric to convert these vectors to covectors — vector fields to -forms. We use the matrix to get

Next we can wedge these together

Now we come to the Hodge star!

and now we’re back to a -form, so we can use the metric to flip it back to a vector field:

Here, the outermost is the inner product on -forms, while the inner ones are the inner product on vector fields. This is exactly the cross product of vector fields on .

[…] continue our example considering the special case of as an oriented, Riemannian manifold, with the coordinate -forms […]

Pingback by The Curl Operator « The Unapologetic Mathematician | October 12, 2011 |

[…] can check that this will be automatically zero if we start with an image of the curl operator; our earlier calculations show that is always the identity mapping — at least on with this metric — so if we […]

Pingback by The Divergence Operator « The Unapologetic Mathematician | October 13, 2011 |

How do I calculate this stuff explicitly? It’s just sad.

Comment by JonnyDamnnox | July 20, 2014 |