Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Existence of Hodge Dual: obvious or non-trivial?

  1. Feb 18, 2014 #1
    Some sources I have checked define the Hodge dual of a form [itex]\omega \in \Omega^p[/itex] as the object such that [itex]\forall \eta \in \Omega^p: \eta \wedge \omega^\star = g(\eta,\omega) \textrm{ Vol}[/itex] (where "Vol" is a chosen volume form).

    I can see that there can be only one form with such a solution (i.e. unicity), but I can't see existence: how do we know there is such a form [itex]\omega^\star \in \Omega^{n-p}[/itex] that satisfies that definition?

    (I can kind of see it locally using some basis argument, but how make it global...) The main thing I'm confused about is whether it should be obvious that it exists (since my sources don't give extra arguments), or whether it requires further justification.
  2. jcsd
  3. Feb 18, 2014 #2


    User Avatar
    Gold Member

    Basically just construct it point-wise. Since forms are sections of tensor bundles evaluating at a point reduces the existence problem to vector spaces. Only a smoothness argument remains and for this local frames come to the rescue.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook