# 4 dimensional Levi Civita problem

• dingo_d
In summary, the homework statement is that you need to express a relation involving delta functions. You tried looking at the wikipedia but you cannot make sense of that, and you have once covariant and once contravariant tensor. You are trying to solve a problem that is trivial if \alpha,\beta,\rho,\tau have exactly two different values, but you are not sure how to do it.f

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

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:

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

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?

Last edited:
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 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.