Unitary Operators and Lorentz Transformations

[abode_x]

Homework Statement

I am trying to learn from Srednicki's QFT book. I am in chapter 2 stuck in problem 2 and 3. This is mainly because I don't know what the unitary operator does - what the details are.

Starting from:
U(\Lambda)^{-1}U(\Lambda')U(\Lambda)=U(\Lambda^{-1}\Lambda'\Lambda)
How does one arrive at:
\delta\omega_{\mu\nu}U(\Lambda)^{-1}M^{\mu\nu}U(\Lambda)=\delta\omega_{\mu\nu}\Lambda^{\mu}_{\rho}\Lambda^{\nu}_{\sigma}M^{\mu\nu}

Homework Equations

Given that:
\Lambda '=1+\delta\omega

U(1+\delta\omega)=I + \frac{i}{2 \hbar}\delta\omega_{\mu\nu}M^{\mu\nu}

The Attempt at a Solution

Working out the left hand side from the given, I end up with
I+\frac{i}{2 \hbar}\delta\omega_{\mu\nu}U(\Lambda)^{-1}M^{\mu\nu}U(\Lambda)

As for the RHS, I don't know the details. Why do I end up with those contractions of two Lorentz transformations with the generator of the Lorentz group M?

Also, since I'm already here, I would also like to ask what is meant by,
[M^{\mu\nu},M^{\rho\sigma}]=i\hbar (g^{\mu\rho}M^{\mu\nu} - (\mu \leftrightarrow \nu) ) - ( \rho \leftrightarrow \sigma )

specifically the notation with the double arrow. It seems like an index replacement?

 

[dextercioby]

Yes, it's a shorthand notation for an index replacement. And correct the line in which you wrote what you're trying to prove. See how the summations are done. I'll be doing the calculations for myself an see if i get to the result you're supposed to prove.

 

[dextercioby]

Here's what is get

U\left( \Lambda \right) ^{-1}\delta \omega _{\mu \nu }M^{\mu \nu }U\left( \Lambda \right) =\left( \Lambda ^{-1}\right) _{\rho }{}^{\mu }\delta \omega _{\mu \nu }\Lambda ^{\nu }{}_{\sigma }M^{\rho \sigma }

Now where does the result you quote follow from ?? The result you're quoting appears also in the books by Weinberg and Gross. But i don't see how my expression translates to what they all are saying, namely

\delta \omega _{\mu \nu }U\left( \Lambda \right) ^{-1}M^{\mu \nu }U\left( \Lambda \right) =\delta \omega _{\mu \nu }\Lambda^{\mu }{}_{\rho }\Lambda ^{\nu }{}_{\sigma }M^{\rho \sigma }

Hmmm.

 

[abode_x]

Starting from:
U(\Lambda)^{-1}U(\Lambda')U(\Lambda)=U(\Lambda^{-1}\Lambda'\Lambda)

It says to plug in \Lambda '=1+\delta\omega, to first order in \delta\omega

Working out the left hand side from the given, I end up with
I+\frac{i}{2 \hbar}\delta\omega_{\mu\nu}U(\Lambda)^{-1}M^{\mu\nu}U(\Lambda)

My guess is that the right hand side would give me
I+\frac{i}{2 \hbar}\delta\omega_{\mu\nu}\Lambda^{\mu}_{\rho}\Lambda^{\nu}_{\sigma}M^{\rho\sigma}

So that i get the result. I have no idea how to get the contractions. My thinking is that \Lambda^{-1}\Lambda'\Lambda is a matrix representation for a change of basis that is why the M comes out in \rho and \sigma. But why does delta stay in \mu and \nu?

The result we want is:
\delta\omega_{\mu\nu}U(\Lambda)^{-1}M^{\mu\nu}U(\Lambda)<br /> =\delta\omega_{\mu\nu}\Lambda^{\mu}_{\rho}\Lambda^{\nu}_{\sigma}\underline{M^{\rho\sigma}}

Note the typo I made in my first post (underlined).

 

[Avodyne]

Here's what is get

U\left( \Lambda \right) ^{-1}\delta \omega _{\mu \nu }M^{\mu \nu }U\left( \Lambda \right) =\left( \Lambda ^{-1}\right) _{\rho }{}^{\mu }\delta \omega _{\mu \nu }\Lambda ^{\nu }{}_{\sigma }M^{\rho \sigma }

Now where does the result you quote follow from ?? The result you're quoting appears also in the books by Weinberg and Gross. But i don't see how my expression translates to what they all are saying, namely

\delta \omega _{\mu \nu }U\left( \Lambda \right) ^{-1}M^{\mu \nu }U\left( \Lambda \right) =\delta \omega _{\mu \nu }\Lambda^{\mu }{}_{\rho }\Lambda ^{\nu }{}_{\sigma }M^{\rho \sigma }

Hmmm.

According to Srednicki's eq.(2.5), (\Lambda ^{-1}) _\rho{}^\mu = \Lambda^\mu{}_\rho, so you're done.

 

[dextercioby]

Yes, you're right. The inverse of a Lorentz matrix is the transposed matrix and then the indices can be shuffled.