Hodge duality and some properties

  • Context: Graduate 
  • Thread starter Thread starter PhyAmateur
  • Start date Start date
  • Tags Tags
    Duality Properties
Click For Summary
SUMMARY

The discussion centers on Hodge duality, specifically its application to complex functions and partial derivatives in both Euclidean and Lorentzian signature manifolds. The Hodge duality formula is confirmed to be valid in Euclidean spaces, where it relates p-forms to their duals through the Levi-Civita symbol. The conversation also highlights the importance of considering complex conjugates when dealing with complex manifolds. Participants seek clarification on the Hodge dual of a 0-form and its implications in the context of general relativity.

PREREQUISITES
  • Understanding of Hodge duality in differential geometry
  • Familiarity with p-forms and their properties
  • Knowledge of complex functions and their derivatives
  • Basic concepts of manifolds, particularly Euclidean and Lorentzian signatures
NEXT STEPS
  • Study the implications of Hodge duality in Lorentzian manifolds
  • Explore the relationship between complex conjugates and Hodge duals on complex manifolds
  • Investigate the properties of 0-forms and their Hodge duals
  • Learn about the applications of Hodge duality in general relativity
USEFUL FOR

Mathematicians, physicists, and students of differential geometry and general relativity who are interested in the applications of Hodge duality and complex analysis in manifold theory.

PhyAmateur
Messages
103
Reaction score
2
So we know that [Hodge duality](http://en.wikipedia.org/wiki/Hodge_dual) works this way

$$⋆(dx^i_1 \wedge ... \wedge dx^i_p)= \frac{1}{(n-p)!} \epsilon^{i_1..i_p}_{i_{p+1}..i_n} dx^{i_{p+1} } \wedge dx^{i_n}$$

where p represents the p in p-form and n is the dimensional number.

My question is: How does hodge duality work on the imaginary number "i" on one hand and on partial derivative like $$\partial_x\alpha$$ let us say on the other where $$\alpha$$ is a complex function.
 
Physics news on Phys.org
Why is this in GR rather than in the differential geometry forum? The formula you've written is not correct on Lorentzian-signature manifolds.

However, in Euclidean signature, this is correct:

PhyAmateur said:
$$⋆(dx^i_1 \wedge ... \wedge dx^i_p)= \frac{1}{(n-p)!} \epsilon^{i_1..i_p}_{i_{p+1}..i_n} dx^{i_{p+1} } \wedge dx^{i_n}$$

where p represents the p in p-form and n is the dimensional number.

And it means exactly the same thing if you make all of your variables complex.

The catch is that on a complex manifold, one is usually more interested in taking the Hodge dual and the complex conjugate simultaneously.
 
  • Like
Likes   Reactions: PhyAmateur
Thanks. I would appreciate if we could move this to the other section or if you could guide me so that I can move it. On the other hand, I want to ask you to please elaborate on your answer, because this answer doesn't make it clear to me if we have for example $$\star{(i\partial _x \alpha)}$$ it is also the partial differential that is worrying me. @Ben Niehoff
 
What is ##\alpha##?
 
Any complex function, I mentioned that in the given. @Ben Niehoff
 
So, a function is a 0-form. What's the Hodge dual of a 0-form?
 
$$-1/3 (i \partial _x \alpha) dx \wedge dy \wedge dz?$$ @Ben Niehoff
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 29 ·
Replies
29
Views
4K
  • · Replies 4 ·
Replies
4
Views
6K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
7K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K