# Homework Help: 4 dimensional Levi Civita problem

1. Nov 22, 2011

### dingo_d

1. The problem statement, all variables and given/known data

I have the following relation:

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

And I have to express that via delta functions.

2. Relevant 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.

3. The attempt at a solution

2. Nov 22, 2011

### lanedance

3. Nov 22, 2011

### Fredrik

Staff Emeritus

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?

Last edited: Nov 22, 2011
4. Nov 23, 2011

### dingo_d

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...

5. Nov 23, 2011

### Fredrik

Staff Emeritus
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$$
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.

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?

Last edited: Nov 23, 2011
6. Nov 23, 2011

### 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 :(

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

7. Nov 23, 2011

### Fredrik

Staff Emeritus
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.

8. Nov 23, 2011

### 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 :)

9. Nov 23, 2011

### Fredrik

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