4 dimensional Levi Civita problem

[dingo_d]

Homework Statement

I have the following relation:

\varepsilon^{\mu\nu\alpha\beta}\varepsilon_{\mu\nu\rho\tau}

And I have to express that via delta functions.

Homework Equations

I tried looking at the wikipedia but I cannot make sense of that :\
Plus I have once covariant and once contravariant tensor, and I'm summing over 2 indices.

The Attempt at a Solution

 

[lanedance]

how about property (8) in wiki
http://en.wikipedia.org/wiki/Levi-Civita_symbol#Properties

 

[Fredrik]

I think I would start with a few observations like these:

If \alpha,\beta,\rho,\tau have four different values, both factors in each term are =0.

If \alpha,\beta,\rho,\tau have exactly three different values, at least one factor in each term is =0.

What if \alpha,\beta,\rho,\tau are all the same?

 

[dingo_d]

I think I would start with a few observations like these:

If \alpha,\beta,\rho,\tau have four different values, both factors in each term are =0.

If \alpha,\beta,\rho,\tau have exactly three different values, at least one factor in each term is =0.

What if \alpha,\beta,\rho,\tau are all the same?

The problem is, and I found the answer in Griffiths, introduction to elementary particles, that it says that the result is difference of 2 kronecker deltas, and in wiki rule there seems to be only product, unless they also use Einstein summation convection.

This two Levi Civita symbols contract in \mu and \nu, right, which will leave me with one Levi Civita?

I'm totally at loss here. It says that \varepsilon^{\mu\nu\lambda\tau} is zero if any two indices are the same, and + or -1 depending on the permutation. So if they are all the same, shouldn't the answer be zero?

I still fail to see how can that help me with that number 8 rule on wikipedia :\

I don't understand what they are trying to say...

 

[Fredrik]

The problem is, and I found the answer in Griffiths, introduction to elementary particles, that it says that the result is difference of 2 kronecker deltas, and in wiki rule there seems to be only product,

Look at the Wikipedia identity again. The brackets on the lower indices denotes antisymmetrization. For example,
\delta^i_{[j}\delta^n_{m]}=\delta^i_j\delta^n_m-\delta^i_m\delta^n_j

unless they also use Einstein summation convection.

They are using it. When you see a Levi-Civita symbol, you should always assume that the summation convention is used, unless they explicitly say that it isn't.

I'm totally at loss here. It says that \varepsilon^{\mu\nu\lambda\tau} is zero if any two indices are the same, and + or -1 depending on the permutation. So if they are all the same, shouldn't the answer be zero?

I still fail to see how can that help me with that number 8 rule on wikipedia :\

Yes, if \alpha,\beta,\rho,\tau are all the same, the result is 0. If they take three or four different values, the result is 0. These three observations tell us that the problem is trivial unless \alpha,\beta,\rho,\tau have exactly two different values. The idea is to keep making observations that tell us more and more about the result.

Do you at least see why the result is 0 when \alpha,\beta,\rho,\tau have 1,3 or 4 different values?

 

[dingo_d]

Oh, I wasn't aware of the antisymmetrization! I am learning general theory of relativity where we use only tensor notation, but our professor kinda sucks :\ And we never got to symmetrization, or antisymmetrization :(

I'm not quite sure about that last thing you asked :\

You mean only one Levi-Civita? Or two summed?

 

[Fredrik]

If you see any kind of expression that involves at least one Levi-Civita symbol, you can assume that the summation convention is used, unless they're telling you that it's not.

I forgot a factor when I was talking about antisymmetrization. I think the standard definition includes a factor of 1/n! on the right, like this: T_{[i_1\cdots i_n]}=\frac{1}{n!}\left(T_{i_1\cdots i_n}+\cdots\right). So in particular, \delta^i_{[j}\delta^n_{m]}=\frac{1}{2}\left(\delta^i_n\delta^j_m-\delta^i_m\delta^n_j\right).

It's not at all hard to prove that \varepsilon^{\mu\nu\alpha\beta}\varepsilon_{\mu\nu \rho\tau}=0 when \alpha,\beta,\rho,\tau has 1,3 or 4 unique values, so you should give that another try. If you think it looks like it can't be true, then post your argument so I can tell you what you're doing wrong.

 

[dingo_d]

I will try it, I have test in nuclear physics on Friday, so this will have to wait a bit :D But thanks for the help :)

 

[Fredrik]

OK then. I expect to see your solution here on Friday night then.