The Lorentz transformation matrix properties

Mesmerized

Hello,

As known, any Lorentz transformation matrix [tex]\Lambda[/tex] must obey the relation [tex]\Lambda^\mu~_\nu\Lambda^\rho~_\sigma g_{\mu \rho}=g_{\nu \sigma}[/tex]. The same holds also for the inverse metric tensor [tex]g^{\nu \sigma}[/tex] which has the same components as the metric tensor itself (don't really understand why every tex formula starts from a new line), i.e. [tex]\Lambda^\mu~_\nu\Lambda^\rho~_\sigma g^{\nu \sigma}=g^{\mu \rho}[/tex]. Putting this all as a matrix relation, these two formulas are [tex]\Lambda^T~g~\Lambda=g,~~~\Lambda~g~\Lambda^T=g~~~~~(1)[/tex], where g is the metric tensor (and also the inverse metric tensor, as they are both the same). From here one can deduce that [tex]\Lambda^T=\pm\Lambda[/tex], so Lorentz transformation matrix should be either symmetric or antisymmetric. And Everything was great until today, when in Weinberg's book on quantum field theory (vol.1, formula 2.5.26, http://www.scribd.com/doc/3082871/St...-1-Foundations , page 70, though it isn't much important) I met a Lorentz transformation matrix which is "almost" antisymmetric (it is antisymmetric, except for there aren't zero's on main diagonal).

So I guess I'm wrong somewhere. Isn't the Lorentz transformation matrix restricted to be either symmetric or antisymmetric? Or the equations (1) have other solutions too?

George Jones

How?

Muphrid

Lorentz transformation operators are analogues of rotation operators, which aren't symmetric or antisymmetric. They are orthogonal, however, so the inverse is equal to the adjoint.

Mesmerized

[tex]\Lambda^T~g~\Lambda=\Lambda~g~\Lambda^T[/tex]

I thought that this can be satisfied only when [tex]\Lambda^T=\pm\Lambda[/tex]

Nugatory

use "itex" tags instead of "tex" to get inline tex.

Mesmerized

thanks.

by the way, at least the most general boost should be symmetric, according to wikipedia http://en.wikipedia.org/wiki/Lorentz_transformation (the section 'Boost in any direction')

Fredrik

##\Lambda^T\eta\Lambda=\eta## implies that ##\Lambda^{-1}=\eta\Lambda^T\eta##, so if ##\Lambda^T=\Lambda##, then you can invert a Lorentz transformation simply by flipping the sign of the 0th row and the 0th column (leaving the 00 element unchanged). This works in 1+1 dimensions. I don't have time to fully think through the 3+1-dimensional case right now, but I looked at a couple of my old posts (about boosts) to refresh my memory, and it seems that this works for boosts even in the 3+1-dimensional case. I don't think it will work in general.

HallsofIvy

In general, the metric tensor, [itex]g^{\mu\nu}[/itex], and its inverse, [itex]g_{\mu\mu}[/itex] do NOT have the same components. Where did you get the idea that they did?

Mesmerized

I'm talking about flat spacetime.

yeah, right, but seems like it always works with pure boosts (without rotations).

bcrowell

I don't think this is right. As a counterexample, rotations do satisfy the condition [itex]\Lambda^T~g~\Lambda=\Lambda~g~\Lambda^T[/itex], but they don't satisfy [itex]\Lambda^T=\pm\Lambda[/itex].

George Jones

I don't have time to type in the proof, but, a Lorentz transformation [itex]\Lambda[/itex] that is a rotation has form

[tex]
\Lambda =

\begin{bmatrix}
1 & 0\\
0 & R
\end{bmatrix}
[/tex]
where [itex]R[/itex] is a 3x3 rotation matrix that is orthogonal with respect to the spatial part of the metric and thus satisfies

[tex]R^T = R^{-1}.[/tex]
Consequently,

[tex]\Lambda^T = \Lambda^{-1}.[/tex]
I haven't proved this, but it should be plausible.

Mesmerized

yeah, rotation matrix is a good counter-example. So, the conclusion is that just by looking on a matrix one can't say if it can be a Lorentz transformation or cannot. It should be just carefully checked against [itex]\Lambda^T~g~\Lambda=g[/itex] relation.

Mesmerized

rotation matrices are orthogonal, but boosts are not. [itex]\Lambda^{-1}=\Lambda^T[/itex] is wrong

George Jones

It depends on what is meant by "orthogonal". Often "orthogonal" means with respect to a particular bilinear form [itex]g[/itex], i.e.,

[tex]A^T g A = g,[/tex]
is the definition of an orthogonal [itex]A[/itex] with respect to [itex]g[/itex].

3x3 rotations with [itex]g[/itex] the 3x3 identity is a special case;

4x4 rotations with [itex]g[/itex] the standard "metric" of special relativity is a special case.

In the second case, the the group of Lorentz transformations is denoted O(3,1), orthogonal with respect to a bilinear form that has signature (3,1); In the second case, the the group of "rotations" is denoted O(3), orthogonal with respect to a bilinear form that has signature (3,0).

Mesmerized

And talking about checking carefully against the consistency condition, the matrix in equation 2.5.26 in Weinberg's QFT book that I was talking about

[tex]
S^\mu~_\nu =

\begin{bmatrix}
1 & 0 & -\alpha & \alpha\\
0 & 1 & -\beta & \beta\\
\alpha & \beta & 1-\zeta & \zeta\\
-\alpha & -\beta & -\zeta & 1+\zeta\\
\end{bmatrix},
\\


\zeta=(\alpha^2+\beta^2)/2
[/tex]

seems like doesn't satisfy the [itex]S^TgS=g[/itex] relation. The first row of [itex]S^Tg[/itex] matrix is going to be (1,0,[itex]\alpha[/itex],[itex]\alpha[/itex]), (g is 1,1,1,-1) and when multiplying this by the third column of S matrix to get one of the non diagonal elements of g, the result isn't zero. Either I'm slowly starting to mess everything up after several hours of working with matrix equations, or there's a problem in Weinberg's book.

Muphrid

[tex]
\underline L(e_0)= e_0 \cosh \phi+ e_1 \sinh \phi \\
\underline L(e_1)= e_1 \cosh \phi+ e_0 \sinh \phi
[/tex]

This operator represents a pure boost. It is, crucially, not symmetric because one of the basis vectors must dot with itself to negative one to represent a hyperbolic geometry. The adjoint is
[tex]
\overline L(e_0)= e_0 \cosh \phi - e_1 \sinh \phi \\
\overline L(e_1)= e_1 \cosh \phi - e_0 \sinh \phi
[/tex]

It's clear that [itex]\overline L \underline L(a)=a[/itex] for any vector a. This makes the operator orthogonal.

Edit: this is one reason to avoid the word "transpose". Finding the adjoint of an operator in mixed signature spaces is no longer as simple as taking a transpose.

Mesmerized

How? It is symmetric. Just put it in a matrix form

I'm trying to understand what you have written here, and it seems like you've found one particular example of Lorentz transformation, which is orthogonal, but in general it isn't I think