• Support PF! Buy your school textbooks, materials and every day products Here!

[Differential Geometry] Simple relations between Killing vectors and curvature

  • Thread starter Kalma
  • Start date
  • #1
1
0
First of all, hello :)
I'd like to request some aid concerning a problem that is really getting to me. I know it should be simple but I'm not getting the right results.

Homework Statement


Given that [tex]V^{\mu}[/tex] is a Killing vector, prove that:

[tex]V^{\mu;\lambda}_{;\lambda} + R^{\mu}_{\lambda}V^{\lambda} = 0[/tex]

And that:

[tex]V_{\lambda;\alpha\beta} = R_{\lambda\beta\alpha\mu}V^{\mu}[/tex]

Where ";" represents the covariant derivative with respect to the indexes that follow it.

Homework Equations


The Killing Equation and the ones pertaining to the Riemann tensor is my best guess. But the problem is stated merely as I did in the previous section. There might be some "trick" I'm unaware of that does not use them.

The Attempt at a Solution


The first equation I hit a standstill almost instantly as I don't know how to handle the "contravariant derivative". Can I even define a "contravariant connection"? And how do I maintain the proper degress of freedom in the terms? The covariant derivative of something must still be a "something" of the same nature. I'm confused here, I admit.

On the second equation my work as proved more fruitful: I expand the two derivatives and obtain terms that resemble the Riemann tensor. My thought was to calculate the commutator to cut the extra terms and then use the fact that the cyclic sum of the last 3 indexes of the Riemann tensor vanishes together with the Killing equation to make the proof. But when I finish expanding the derivatives and subtract [tex]V_{\lambda;\beta\alpha}[/tex] from [tex]V_{\lambda;\alpha\beta}[/tex] I do not get a Riemann tensor multiplied by a Killing vector as I hoped I would, in fact, I get two terms on one component of the Killing vector, and two terms on another, different component of the Killing vector.

I hope I was clear. I do all my calculations by hand, and don't know how I can show them here, or even if you'd want to see them (I am very thorough). I think I didn't break any of the forum rules but if there are any I'm not aware of, please tell me so I can redo the post accordingly.

Thanks in advance for any help or insight. I know these should be easy, but I'm failing at a conceptual level, mainly I think I may be doing the second covariant derivative wrong, given the term from the first one :(

P.S.: Rewrote formulas using tex tags. It's much clearer now :)

Edit: removed the multitude of extra [1], [2] and [3] that appeared out of nowhere :S
Edit 2: Misspelled Riemann :) Double "n", one "m", must remember >_<
 
Last edited:

Answers and Replies

Related Threads for: [Differential Geometry] Simple relations between Killing vectors and curvature

Replies
5
Views
4K
Replies
8
Views
2K
Replies
4
Views
4K
Replies
0
Views
1K
  • Last Post
Replies
2
Views
647
  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
3
Views
3K
Replies
1
Views
496
Top