Existence of Hodge Dual: obvious or non-trivial?

1,434
2
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.
 

jgens

Gold Member
1,577
49
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.
 

Related Threads for: Existence of Hodge Dual: obvious or non-trivial?

  • Last Post
Replies
4
Views
5K
  • Last Post
Replies
6
Views
897
  • Last Post
Replies
11
Views
5K
  • Last Post
Replies
20
Views
8K
Replies
4
Views
4K
  • Last Post
Replies
4
Views
2K
Replies
3
Views
4K
Replies
7
Views
3K
Top