Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,789 comments
1,470 users with positive rep
820 active unimported users
More ...

  Orthochronous Lorentz transformations are time-preserving and $SL(2,\mathbb{R})$

+ 3 like - 0 dislike
5723 views

Let's consider the psuedosphere/hyperboloid in $\mathbb{R}^{1,2}$ given by

$$x^2+y^2-z^2=-R^2.$$

We know that the Lorentz group

$$O(1,2)=\{ A \in Mat(3,\mathbb{R}): A^tGA=G \},$$

where $G=diag(-1,-1,1)$ leaves the pseudosphere invariant. Now we are interested in the following facts:

  1. How can we show that the orthochronous Lorentz group $O_+(1,2)=\{ A: a_{33}>0 \}$ is subgroup and, more important, maps upper cone to upper cone?

  2. What is the relation between groups $O_+(1,2)$ and $SL(2,\mathbb{R})$?

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user jj_p
asked Jun 17, 2013 in Mathematics by jj_p (150 points) [ no revision ]
retagged Feb 1, 2015 by dimension10
To help you start: for 1.) you will first of all need to show that if $g,h \in O_+$, then $g^{-1}$ and $g \cdot h$ are also in $O_+.$ This requires some algebra.

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Vibert
OK, in the 'duplicate' it is explained first part of 1, i.e. why it is group. Is it also obvious that it maps upper cone to upper cone from that or from the topological answer therein?

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user jj_p
No, that's a separate problem. But you can adapt the same method as indicated in the duplicate to obtain the result.

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Vibert
could you give me a hint in that direction?

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user jj_p

2 Answers

+ 4 like - 0 dislike

I) The proof that the orthochronous Lorentz group $O^{+}(1,d; \mathbb{R})$ form a group (which is closed/stabile under multiplication and inversion) is given in this Phys.SE post.

II) Next we would like to prove the following.

A Lorentz transformation takes a timelike vector $\tilde{x}=(x^0,x)$ with $|x| < |x^0|$ to a timelike vector $\tilde{x}^{\prime}=(x^{\prime 0},x^{\prime})$ with $|x^{\prime}| < |x^{\prime 0}|$.

Proof. This follows from the fact that a Lorentz transformation preserves the Minkowski norm. Thus to prove that an orthochronous Lorentz transformation

$$\tag{1} \Lambda ~=~ \begin{bmatrix}a & b^t \cr c &R \end{bmatrix}~\in~O(1,d; \mathbb{R}) $$

(which by definition has $a=\Lambda^0{}_0>0$) takes a future timelike vector $\tilde{x}=(x^0,x)$ with

$$\tag{2} |x| ~<~ x^0$$

to a future timelike vector $\tilde{x^{\prime}}=(x^{\prime 0},x^{\prime})$ with $|x^{\prime}| < x^{\prime 0}$, it is enough to prove that

$$\tag{3} 0~<~x^{\prime 0} ~=~ a x^0 + b\cdot x .$$

But the inequality (3) follows from the following inequality

$$\tag{4} -2\frac{b}{a} \cdot \frac{x}{x^0}~\leq~ \left(\frac{b}{a}\right)^2 +\left(\frac{x}{x^0}\right)^2 ~<~ \frac{a^2-1}{a^2} + 1 ~<~2. $$

Here we used the fact that $ b\cdot b =a^2-1$ and the inequality (2). End of proof.

III) Thus there only remains OP's last question:

What is the relation between $SL(2,\mathbb{R})$ and $SO^{+}(1,2;\mathbb{R})$?

Naturally our treatment will have some overlap with Trimok's correct answer. We use the sign convention $(+,-,-,-)$ for the Minkowski metric $\eta_{\mu\nu}$.

IV) First let us identify the Minkowski space $M(1,3;\mathbb{R})$ with the space of Hermitian $2\times2$ matrices $u(2)$. In detail, there is a bijective isometry from the Minkowski space $(M(1,3;\mathbb{R}),||\cdot||^2)$ to the space of Hermitian $2\times2$ matrices $(u(2),\det(\cdot))$, $$\mathbb{R}^4~=~M(1,3;\mathbb{R}) ~\cong ~ u(2) ~:=~\{\sigma\in {\rm Mat}_{2\times 2}(\mathbb{C}) \mid \sigma^{\dagger}=\sigma \} ~=~ {\rm span}_{\mathbb{R}} \{\sigma_{\mu} \mid \mu=0,1,2,3\}, $$ $$ M(1,3;\mathbb{R})\ni\tilde{x}~=~(x^0,x^1,x^2,x^3) \quad\mapsto \quad\sigma~=~x^{\mu}\sigma_{\mu}~\in~ u(2), $$ $$\tag{5} ||\tilde{x}||^2 ~=~x^{\mu} \eta_{\mu\nu}x^{\nu} ~=~\det(\sigma), \qquad \sigma_{0}~:=~{\bf 1}_{2 \times 2},$$

see also this Phys.SE post.

V) There is a group action $\rho: SL(2,\mathbb{C})\times u(2) \to u(2)$ given by

$$\tag{6} g\quad \mapsto\quad\rho(g)\sigma~:= ~g\sigma g^{\dagger}, \qquad g\in SL(2,\mathbb{C}),\qquad\sigma\in u(2). $$

A straightforward calculation shows that the two groups $SL(2,\mathbb{R}) \equiv Sp(2,\mathbb{R})$ and

$$SU(1,1)~=~\left\{\left. \begin{bmatrix} a & b \\ b^{*} & a^{*} \end{bmatrix}\right| a,b\in \mathbb{C}, |a|^2-|b|^2=1\right\}$$ $$ \tag{7} ~=~\left\{\left. \begin{bmatrix} f\sqrt{|b|^2+1} & b \\ b^{*} & f^{*}\sqrt{|b|^2+1} \end{bmatrix} \right| f,b\in \mathbb{C}, |f|=1\right\}~\cong~S^1\times \mathbb{C}$$

are the stabilizer subgroups (also called the isotropy subgroups) of the $x^2$-coordinate and the $x^3$-coordinate, respectively. Since there is no spatially preferred direction, the two subgroups are isomorphic. (The explicit isomorphism is given in Ref. 1.) The two subgroups are path connected but not simply connected. In detail, the fundamental group is

$$\tag{8} \pi_1(SL(2,\mathbb{R}),*)~=~\pi_1(SU(1,1),*)~=~\pi_1(S^1\times \mathbb{C},*)$$ $$~=~\pi_1(S^1,*)\oplus \pi_1(\mathbb{C},*)~=~\mathbb{Z}.$$

VI) We now restrict attention to the $1+2$ dimensional case. Let us identity the Minkowski space $M(1,2;\mathbb{R})~\subseteq~ M(1,3;\mathbb{R})$ as the hyperplane $x^2=0$. The corresponding hyperplane in $u(2)$ is the set

$$\tag{9} s(2)~:=~\{ \sigma \in {\rm Mat}_{2\times 2}(\mathbb{R}) \mid \sigma^t =\sigma \} $$

of real symmetric $2\times2 $ matrices.

VII) There is a group action $\rho: SL(2,\mathbb{R})\times s(2) \to s(2)$ given by

$$\tag{10} g\quad \mapsto\quad\rho(g)\sigma~:= ~g\sigma g^t, \qquad g\in SL(2,\mathbb{R}),\qquad\sigma\in s(2), $$

which is length preserving, i.e. $g$ is a pseudo-orthogonal (or Lorentz) transformation. In other words, there is a Lie group homomorphism

$$\tag{11} \rho: SL(2,\mathbb{R}) \quad\to\quad O(s(2),\mathbb{R})~\cong~ O(1,2;\mathbb{R}).$$

Since $\rho$ is a continuous map from a path connected set $SL(2,\mathbb{R})$, the image $\rho(SL(2,\mathbb{R}))$ is also path connected. We conclude that Lie group homomorphism

$$\tag{12} \rho: SL(2,\mathbb{R}) \quad\to\quad SO^{+}(s(2),\mathbb{R})~\cong~ SO^{+}(1,2;\mathbb{R})$$

maps into the restricted Lorentz group $SO^{+}(1,2;\mathbb{R})$. [Here we have used the easily established fact that the Lorentz group $O(1,2;\mathbb{R})$ has at least four connected components because $\Lambda^0{}_{0}\neq 0$ and $\det(\Lambda)\neq 0$. We do not assume the fact that there is precisely four connected components.] It is trivial to check that the kernel

$$\tag{13} {\rm ker}(\rho)~=~\rho^{-1}({\bf 1}_{s(2)})~=~\{\pm {\bf 1}_{2 \times 2}\}~\cong~\mathbb{Z}_{2}.$$

Let

$$\tag{14} \tilde{\rho}: SL(2,\mathbb{R})/\mathbb{Z}_2 \quad\to\quad SO^{+}(1,2;\mathbb{R})$$

denote the corresponding injective Lie group homomorphism. Thus if we could prove that $\rho$ is surjective/onto, i.e. that the image ${\rm Im}(\rho)\equiv\rho(SL(2,\mathbb{R}))$ is precisely the restricted Lorentz group, cf. Section X below, we would have proved that

$SL(2,\mathbb{R})$ is the double cover of the restricted Lorentz group $SO^{+}(1,2;\mathbb{R})$.

Note that $SL(2,\mathbb{R})$ is not a universal cover, since we just saw in Section V that

$$\tag{15}\pi_1(SL(2,\mathbb{R}),*)~=~\mathbb{Z}.$$

The universal covering group $\overline{SL(2,\mathbf{R})}$ is an example of a finite-dimensional Lie group that is not a matrix group.

VIII) One may show that the exponential map $\exp: sl(2,\mathbb{R}) \longrightarrow SL(2,\mathbb{R})$ is not surjective

$$\tag{16}{\rm Im}(\exp) ~=~\left\{M\in SL(2,\mathbb{R}) \mid {\rm Tr}(M)> -2\right\} ~\cup~ \left\{-{\bf 1}_{2 \times 2}\right\} ~\subsetneq~ SL(2,\mathbb{R}).$$

It is a small miracle that plus/minus the exponential map $\pm \exp: sl(2,\mathbb{R}) \longrightarrow SL(2,\mathbb{R})$ is indeed surjective, which enough for our purposes, cf. the $\mathbb{Z}_{2}$-kernel (13).

IX) Next let us consider the following Lemma for arbitrary spatial dimensions $d$.

Lemma. Any restricted Lorentz transformation is a product of a pure rotation and a pure boost.

Proof. Let us decompose a Lorentz matrix $\Lambda$ into 4 blocks

$$\tag{17} \Lambda ~=~ \begin{bmatrix}a & b^t \cr c &R \end{bmatrix} ,$$

where $a=\Lambda^0{}_0\neq 0$ is a real number; $b$ and $c$ are real $d\times 1$ column vectors; and $R$ is a real $d\times d$ matrix. First argue from $\Lambda^t \eta \Lambda=\eta$, or equivalently from $\Lambda \eta^{-1} \Lambda^t=\eta^{-1}$, that

$$\tag{18} a^2~=~b^tb+1,\qquad c~=~\frac{Rb}{a}, \qquad b~=~\frac{R^tc}{a}. $$

Next argue that

$$\tag{19} B(b)~:=~ \begin{bmatrix} a & b^t \\ b & {\bf 1}_{d\times d}+\frac{bb^t}{a+1} \end{bmatrix}, \qquad a~:=~\sqrt{b^tb+1}~\geq~1, $$

is a Lorentz matrix with an inverse matrix

$$\tag{20} B(-b)~=~\begin{bmatrix} a & -b^t \\ -b & {\bf 1}_{d\times d}+\frac{bb^t}{a+1} \end{bmatrix}, \qquad B(b)B(-b)~=~{\bf 1}. $$

Such matrices correspond to pure (finite) boosts. Use this to prove the Lemma. Hint: The matrix $\Lambda B(-b)$ is on block diagonal form. End of proof.

Also note that we may conjugate a pure boost matrix with a pure rotation matrix to obtain a pure boost matrix in a preferred direction. The Lorentz algebra is

$$\tag{21} so(1,d;\mathbb{R})~=~\left. \left\{ \begin{bmatrix} 0 & b^t \\ b & r \end{bmatrix} \right| r^t ~=~ -r \right\}. $$

The exponential map is surjective on the set of pure boost:

$$\tag{22} \exp \begin{bmatrix} 0 & b^t \\ b & {\bf 0}_{d\times d} \end{bmatrix} ~=~ B\left(\frac{\sinh|b|}{|b|}b\right), \qquad |b|~:=~\sqrt{b^tb}~\geq~0.$$

Moreover, one may prove that the exponential map $\exp: so(d,\mathbb{R})\to SO(d,\mathbb{R})$ for pure rotations is surjective. For $d=2$ this is trivial.

[Below we only consider the case $d=2$.]

X) Finally, we are able to prove the following Lemma

Lemma. The group homomorphism $\rho: SL(2,\mathbb{R})\to SO^{+}(1,2;\mathbb{R})$ is surjective.

Proof. Note that boosts along the $x^3$-axis corresponds to

$$\tag{23} g(\beta)~:=~\begin{bmatrix}\exp\left(\frac{\beta}{2}\right) & 0 \cr 0 &\exp\left(-\frac{\beta}{2}\right) \end{bmatrix}\in SL(2,\mathbb{R}),$$

while rotations corresponds to

$$\tag{24} g(\theta)~:=~\begin{bmatrix}\cos\frac{\theta}{2} & \sin\frac{\theta}{2} \cr -\sin\frac{\theta}{2} &\cos\frac{\theta}{2} \end{bmatrix}\in SL(2,\mathbb{R}).$$

Given an arbitrary restricted Lorentz matrix $\Lambda\in SO^+(1,2;\mathbb{R})$, we saw in Section IX that it can be decomposed as (rotation)(boosts along the $x^3$-axis)(rotation'). Hence it can be hit by the $\tilde{\rho}$ group homomorphism

$$\tag{25} \Lambda ~=~ \tilde{\rho}\left(\tilde{g}(\theta)\tilde{g}(\beta)\tilde{g}(\theta^{\prime})\right).$$

End of proof.

XI) We have the following commutative diagram

$$\tag{26} \begin{array}{rlcrl} &&\tilde{\rho}_{\ast}&& \cr &sl(2,\mathbb{R}) & \longrightarrow &so(1,2;\mathbb{R}) \cr \pm\exp &\downarrow &\circlearrowright&\downarrow&\exp\cr &SL(2,\mathbb{R})/\mathbb{Z}_{2} & \longrightarrow &SO^+(1,2;\mathbb{R})\cr &&\tilde{\rho}&&\end{array} $$

All horizontal arrows are bijections. In particular, the above shows the following theorem.

Theorem. The exponential map $\exp: so(1,2;\mathbb{R}) \to SO^+(1,2;\mathbb{R})$ is surjective.

References:

  1. V. Bargmann, Irreducible Unitary Representations of the Lorentz Group, Ann. Math. 48 (1947) 568-640. The pdf file is available here. We mostly use results from p. 589-591.
This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Qmechanic
answered Jun 22, 2013 by Qmechanic (3,120 points) [ no revision ]
+ 1 like - 0 dislike

For 1) @Vibert gives you the indications.

For 2) The group $0(1,2)$ - with signatures (+ - -) has 4 disjoint components which can be characterized by :

$$M_1 = Diag (1, 1, 1)$$ $$M_2 = Diag (1, -1, -1)$$ $$M_3 = Diag (-1, 1, 1)$$ $$M_3 = Diag (- 1, -1, -1)$$

$S0(1,2)$ corresponds to matrix of determinant 1, so $S0(1,2)$ has 2 disjoint components ($M_1, M_2$)

$0^+(1,2)$ - which conserve the sign of the 1st coordinate - has 2 disjoint components ($M_1, M_2$)

$S0^+(2,1)$ - has 1 component ($M_1$)

$SL(2,\mathbb{R})$ is connected (so only 1 component), but it is not simply connected.

So, it is not possible to have a isomorphism between $SL(2,\mathbb{R})$ and $0^+(1,2)$ because the number of disjoint components is different.

We could think about an isomorphism between $SL(2,\mathbb{R})$ and $S0^+(1,2)$, but in fact the isomorphism is between $SL(2,\mathbb{R})$ and $Spin^+(1,2)$, while there is an isomorphism between $PSL(2,\mathbb{R})$ and $S0^+(1,2)$, see Wikipedia

Note that $SL(2,\mathbb{R})$, $SU(1,1)$, and $Sp(2,\mathbb{R})$ are isomorphic, see this question.

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Trimok
answered Jun 17, 2013 by Trimok (955 points) [ no revision ]
Most voted comments show all comments
Right, in 4 dimensions, the isomorphism is between $PSL(2,\mathbb{C})$ and $S0_o(1,3)$.

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Trimok
In fact, if you look in my answer, you will see that $0^+(1,2)$ is the same thing that $S0(1,2)$, and we know that $S0(1,2)$ is a subgroup of $0(1,2)$. Note that it is not true with odd spatial dimensions, for instance $0^+(1,3)$ is not the same thing that $S0(1,3)$

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Trimok
Summarizing: using the connected components argument, we don't have to prove $O_+$ is subgroup, since in this case it is for free; using this same argument and Ron Maimon answer in the duplicate post, we can also conclude that each of the two connected components preserves the upper cone, and thus the full $O_+$ does this job: do you agree?

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user jj_p
Each of the 2 components corresponding to $M_1$ and $M_2$ (in my answer) keep the orientation for the first coordinate (it is clear when looking at the matrices). The full $0^+(1,2) = SO(1,2)$, is a subgroup of $0(1,2)$. Being the the union of these 2 disjoint components which preserve the orientation of the 1st coordinate, obviously the full $0^+(1,2)$ preserve also the orientation of the 1st coordinate.

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Trimok
For instance, $M_1$ and $M_2$ are special elements of $0^+(1,2)$. And you can check that $M_1 M_1 = M_1$, $M_1 M_2 = M_2$, $M_2 M_1 = M_2$, $M_2 M_2 = M_1$

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Trimok
Most recent comments show all comments
The isomorphism is between $PSL(2,\mathbb{R})$ and $S0^+(1,2)$

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Trimok
You could find a demonstration page 16 of this ref. In this ref, note that $S0_o(1,2)$ is the same thing that $S0^+(1,2)$, and that the $Z_2$ quotient is there because in the formula (32), the result is the same if you choose $-g$ instead of $g$

This post imported from StackExchange Physics at 2015-01-30 14:30 (UTC), posted by SE-user Trimok

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
$\varnothing\hbar$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...