Index gymnastics-Maxwell's equations

  • Thread starter Thread starter WannabeNewton
  • Start date Start date
  • Tags Tags
    Index
Click For Summary
SUMMARY

The discussion centers on demonstrating that the antisymmetric tensor ##X^{ab}## satisfies Maxwell's equations under the condition that the Ricci tensor ##R_{ab} = 0##. The solution involves showing that ##\nabla^a F_{ab} = 0## and ##\nabla_{[a}F_{bc]} = 0## using the properties of the Riemann curvature tensor ##R_{abcd}## and the first and second Bianchi identities. The user successfully establishes the first equation but struggles with the second, indicating a need for further insight into the manipulation of the indices and the properties of the tensors involved.

PREREQUISITES
  • Understanding of antisymmetric tensors and their properties
  • Familiarity with Riemann curvature tensor and Ricci tensor
  • Knowledge of Bianchi identities in differential geometry
  • Proficiency in tensor calculus and covariant derivatives
NEXT STEPS
  • Study the properties of antisymmetric tensors in detail
  • Learn about the implications of the first and second Bianchi identities
  • Explore advanced topics in tensor calculus, focusing on covariant derivatives
  • Investigate the relationship between curvature tensors and physical laws in electromagnetism
USEFUL FOR

Students and researchers in theoretical physics, particularly those focusing on general relativity and electromagnetism, as well as mathematicians specializing in differential geometry.

WannabeNewton
Science Advisor
Gold Member
Messages
5,850
Reaction score
553

Homework Statement


Let ##X^{ab}## be an antisymmetric tensor such that ##\nabla^{(a}X^{b)c} = 0##. Show that if ##R_{ab} = 0##, then ##F_{ab} = R_{abcd}X^{cd}## satisfies Maxwell's equations ##\nabla^a F_{ab} = 0, \nabla_{[a}F_{bc]} = 0## where ##R_{abcd}## is the Riemann curvature tensor and ##R_{ab}## is the Ricci tensor.

The Attempt at a Solution


Well to start with, ##\nabla^a X^{bc} = -\nabla^b X^{ac} = \nabla^b X^{ca} = -\nabla^c X^{ba}## so ##\nabla^a X^{bc}## is antisymmetric in all its indices. Thus, ##\nabla^a F_{ab} = R_{abcd}\nabla^{a}X^{cd} + X^{cd}\nabla^a R_{abcd} = -R_{b[acd]}\nabla^{a}X^{cd} -2X^{cd}\nabla_{[b}R_{c]d} = 0## since ##R_{b[acd]} = 0## by the first Bianchi identity and ##R_{ab} = 0## by hypothesis.

Showing that ##\nabla_{[a}F_{bc]} = 0## should be just as easy but for some reason I can't seem to find a way to show it. We have ##\nabla_{a}F_{bc} =\nabla_{a}X^{de} R_{bcde} + X^{de}\nabla_{a}R_{bcde}## so ##\nabla_{[a}F_{bc]} = \nabla_{[a}X^{de}R_{bc]de}## since ##\nabla_{[a}R_{bc]de} = 0## by the second Bianchi identity. One can either try to show that ##\nabla_{[a}X^{de}R_{bc]de} = 0## directly or (equivalently) show that ##\epsilon^{abcf}\nabla_{a}X^{de}R_{bcde} = 0##. I know I'm missing something very trivial but I can't seem to proceed from here either way. Thanks in advance for any help!
 
Last edited:

Similar threads

Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 20 ·
Replies
20
Views
5K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K