The Hodge Star in Coordinates

It 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 $(U,x)$ of an oriented Riemannian manifold $M$ , which means that we have a canonical volume form that locally looks like

$\displaystyle\omega=\sqrt{\lvert g_{ij}\rvert}dx^1\wedge\dots\wedge dx^n$

Now, we know that any $k$ -form on $U$ can be written out as a sum of functions times $k$ -fold wedges:

$\displaystyle\eta=\sum\limits_{1\leq i_1<\dots<i_k\leq n}\eta_{i_1\dots i_k}dx^{i_1}\wedge\dots\wedge dx^{i_k}$

Since the star operation is linear, we just need to figure out what its value is on the $k$ -fold wedges. And for these the key condition is that for every $k$ -form $\zeta$ we have

$\displaystyle\zeta\wedge*(dx^{i_1}\wedge\dots\wedge dx^{i_k})=\langle\zeta,dx^{i_1}\wedge\dots\wedge dx^{i_k}\rangle\omega$

Since both sides of this condition are linear in $\zeta$ , we also only need to consider values of $\zeta$ which are $k$ -fold wedges. If $\zeta$ is not the same wedge as $\eta$ , then the inner product is zero, while if $\zeta=\eta$ then

$\displaystyle\begin{aligned}(dx^{i_1}\wedge\dots\wedge dx^{i_k})\wedge*(dx^{i_1}\wedge\dots\wedge dx^{i_k})&=\langle dx^{i_1}\wedge\dots\wedge dx^{i_k},dx^{i_1}\wedge\dots\wedge dx^{i_k}\rangle\omega\\&=\det\left(\langle dx^{i_j},dx^{i_k}\rangle\right)\omega\\&=\det\left(\delta^{jk}\right)\omega\\&=\sqrt{\lvert g_{ij}\rvert}dx^1\wedge\dots\wedge dx^n\end{aligned}$

And so $*(dx^{i_1}\wedge\dots\wedge dx^{i_k})$ must be $\pm\sqrt{\lvert g_{ij}\rvert}$ times the $n-k$ -fold wedge made up of all the $dx^i$ that do not show up in $\eta$ . The positive or negative sign is decided by which order gives us an even permutation of all the $dx^i$ on the left-hand side of the above equation.

5 Comments »

[…] Armstrong: (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 | Reply
I have a question for you, if I wanted to show the rate of change in a person personality due to a control stimuli, how do you think the formula should llook like.

Comment by Marcus Cox | October 9, 2011 | Reply
[…] easiest to work this out in coordinates. If is some -fold wedge then is times the wedge of all the indices that don’t show up in . […]

Pingback by The Hodge Star, Squared « The Unapologetic Mathematician | October 18, 2011 | Reply
[…] implications does this have on the coordinate expression of the Hodge star? It’s pretty much the same, except for the determinant part. You can think about it yourself, […]

Pingback by Minkowski Space « The Unapologetic Mathematician | March 7, 2012 | Reply
Hi John, just an observation. When you pick local coordinates, the frame for the cotangent bundle dx_{i} i=1,,,,,n induced by the local coordinates is not orthonormal in general, so the inner product of two different wedges is not zero. In the same way is not delta_{i,j}. I think this only works if you pick Riemannian normal coordinates centered at some point “p”, even in this case this expression for the Hodge star operator would be valid only for the center point “p” and not for other points in this chart.

Comment by Josh | August 12, 2014 | Reply

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

Recent Posts
Blogroll
Art
- Sketches of Topology
Astronomy
- Bad Astronomy
- Starts With a Bang
Computer Science
Education
Mathematics
Me
- DrMathochist
- The Unapologetic Programmer
Philosophy
Physics
Politics
Science

M	T	W	T	F	S	S
« Sep				Nov »
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30
31

The Unapologetic Mathematician

Mathematics for the interested outsider