A Proving that Levi-Civita tensor density is invariant

Click For Summary
The discussion revolves around proving the invariance of the Levi-Civita tensor density under variations of frame fields, as outlined in Exercise 7.14 of the textbook "Supergravity." The participant expresses difficulty in starting the problem and seeks hints on applying the formula for the variation of the determinant of a matrix. They mention the specific frame field variation and provide a link to a related question on Physics Stack Exchange for further assistance. The conversation highlights the confirmation that the Levi-Civita tensor is indeed an idempotent pseudotensor of rank four, as shown by a determinant identity. Overall, the focus remains on understanding the mathematical foundations necessary for the proof.
baba26
Messages
4
Reaction score
1
TL;DR
It's a problem from the textbook Supergravity ( Freedman, Proeyen ). We are asked to prove that under any infinitesimal change in frame-fields, there is no change in the Levi-Civita tensor density i.e. the variation equals zero.
This is a problem from the textbook Supergravity ( by Daniel Z. Freedman and Antoine Van Proeyen ). I am trying to learn general relativity from this book. I am attempting to do the later part of the Exercise 7.14 ( on page 148 ). Basically it asks us to explicitly show that the Levi-Civita tensor density doesn't change under any variation of frame fields. I am supposed to use the formula: variation of determiant of matrix M = determinant * trace ( M_inverse * variation in M ). But I can not even think of how to begin with the problem. Any hint will be appreciated.
 
Physics news on Phys.org
For the frame field you have ##\delta e = e e^{\mu}_a \delta e^a_{\mu}## where ##e = \mathrm{det}(e^{\mu}_a)##, which you can use when you take the variation of ##\epsilon^{a_1 \dots} = e \epsilon^{b_1 \dots} ({e^{a_1}}_{b_1})(\dots)##
 
That ##\epsilon^{\mu\nu\rho\sigma}## is a actually a tensor is confirmed by the identity for the determinant of a ##4\times 4## matrix that

\begin{equation}

\epsilon'^{\mu'\nu'\rho'\sigma'}{\rm Det[L]}=L^{\mu'}_{\mu} L^{\nu'}_{\nu} L^{\rho'}_{\rho} L^{\sigma'}_{\sigma}\epsilon^{\mu\nu\rho\sigma}.

\end{equation}

This shows that ##\epsilon^{\mu\nu\rho\sigma}## is an idempotent pseudotensor of rank four.
 
Last edited:
In Birkhoff’s theorem, doesn’t assuming we can use r (defined as circumference divided by ## 2 \pi ## for any given sphere) as a coordinate across the spacetime implicitly assume that the spheres must always be getting bigger in some specific direction? Is there a version of the proof that doesn’t have this limitation? I’m thinking about if we made a similar move on 2-dimensional manifolds that ought to exhibit infinite order rotational symmetry. A cylinder would clearly fit, but if we...

Similar threads

  • · Replies 3 ·
Replies
3
Views
894
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
7K
Replies
3
Views
1K
  • · Replies 11 ·
Replies
11
Views
8K
Replies
38
Views
4K
  • · Replies 13 ·
Replies
13
Views
24K
  • · Replies 1 ·
Replies
1
Views
4K
Replies
18
Views
6K
  • · Replies 8 ·
Replies
8
Views
5K