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:
Moderator's note: Spin-off from another thread due to topic change. In the second link referenced, there is a claim about a physical interpretation of frame field. Consider a family of observers whose worldlines fill a region of spacetime. Each of them carries a clock and a set of mutually orthogonal rulers. Each observer points in the (timelike) direction defined by its worldline's tangent at any given event along it. What about the rulers each of them carries ? My interpretation: each...

Similar threads

  • · Replies 3 ·
Replies
3
Views
971
  • · 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
5K
  • · Replies 13 ·
Replies
13
Views
24K
  • · Replies 1 ·
Replies
1
Views
4K
Replies
18
Views
6K
  • · Replies 8 ·
Replies
8
Views
5K