SL2R as anti de Sitter space cont.

We continue Becoming anti de Sitter.

Every matrix \Xi in the Lie algebra o(2,2) generates one-parameter group e^{\Xi t} of linear transformations of \mathbf{R}^4. Vectors tangent to orbits of this group form a vector field. Let us find the formula for the vector field generated by \Xi. The orbit through y\in \mathbf{R}^4 is

(1)   \begin{equation*}y(t)=e^{\Xi t}y.\end{equation*}

Differentiating at t=0 we find the vector field \Xi(y)

(2)   \begin{equation*}\Xi(y)=\Xi y.\end{equation*}

If \Xi is a matrix with components \Xi^{\mu}_{\phantom{\mu}\nu}, then \Xi(y) has components

(3)   \begin{equation*}\Xi^{\mu}(y)=\Xi^{\mu}_{\phantom{\mu}\nu}y^{\nu}.\end{equation*}

Vectors tangent to coordinate lines are often denoted as \partial_\mu. Therefore we can write the last formula as:

(4)   \begin{equation*}\Xi(y)=\Xi^{\mu}_{\phantom{\mu}\nu}y^{\nu}\partial_\mu.\end{equation*}

In the last post Becoming anti de Sitter we have constructed six generators \Xi_{(\mu\nu))}. Their vector fields now become

(5)   \begin{equation*}\Xi_{(1,2)}=y^2\partial_1-y^1\partial_2,\Xi_{(1,3)}=y^3\partial_1+y^1\partial_3,\Xi_{(1,4)}=y^4\partial_1+y^1\partial_4,\end{equation*}

(6)   \begin{equation*}\Xi_{(2,3)}=y^3\partial_2+y^2\partial_3,\Xi_{(2,4)}=y^4\partial_2+y^2\partial_4,\Xi_{(3,4)}=-y^4\partial_3+y^3\partial_4.\end{equation*}

Bengtsson and Sandin in their paper “Anti de Sitter space, squashed and stretched” discussed in the previous note use coordinates y^1=X,y^2=Y,y^3=U,y^4=V. Our vector field \Xi_{(1,2)} is the same as their J_{XY}, our \Xi_{(1,3)} is the same as their J_{XU} etc.

In SL(2,R) Killing vector fields in coordinates we introduced six Killing vector fields acting on the group manifold SL(2,R). How they relate to the above six generators of the group O(2,2)?

Vectors from the fields \xi_{iL},\xi_{iR} are tangent to SL(2,R). We have expressed them in coordinates of the group SL(2,R) x^1=\theta,x^2=r,x^3=u. The manifold of SL(2,R) is a hipersurface of dimension 3 in \mathbf{R}^4 endowed with coordinates y^1,y^2,y^3,y^4. What is the relation between components of the same vector in different coordinate systems? The formula is easy to derive and is very simple. If \xi^{i}, (i=1,2,3) are coordinates of the vector in SL(2,R) and \xi^{\mu},\, (\mu=1,2,3,4) are coordinates of the same vector in \mathbf{R}^4, then

(7)   \begin{equation*}\xi^\mu=\frac{\partial y^\mu}{\partial x^{i}}\xi^{i}.\end{equation*}

How y^\mu depend on x^{i}? That is simple. In SL(2,R) vector fields in coordinates we have represented each matrix A from SL(2,R) as

(8)   \begin{equation*} A=\begin{bmatrix}  r \cos (\theta )+\frac{u \sin (\theta )}{r} & \frac{\cos (\theta ) u}{r}-r \sin (\theta ) \\  \frac{\sin (\theta )}{r} & \frac{\cos (\theta )}{r}\end{bmatrix}. \end{equation*}

On the other hand, Becoming Anti-de Sitter, we represented it as

(9)   \begin{equation*}A=\begin{bmatrix} V+X & Y+U \\ Y-U & V-X \end{bmatrix}.\end{equation*}

Therefore coordinates y^\mu are easily expressed in terms of x^{i}. It remains to do the calculations. I have used computer algebra software to make these calculations for me. My Mathematica notebook doing all calculations can be downloaded from here. The result of all these calculations is the expression of vector fields \xi_{iL},\xi_{iR} in terms of the generators of O(2,2) used in the paper on anti de Sitter spaces. Here is what I have obtained:

(10)   \begin{eqnarray*} \xi_{1R}&=&-J_1=J_{XU}+J_{YV},\\ \xi_{2R}&=&J_2=J_{YU}-J_{XV},\\ \xi_{3R}&=&J_0=-J_{XY}-J_{UV},\\ \xi_{1L}&=&\tilde{J}_1=J_{YV}-J_{XU},\\ \xi_{2L}&=&\tilde{J}_2=-J_{XV}-J_{YU},\\ \xi_{3L}&=&\tilde{J}_0=J_{XY}-J_{UV}. \end{eqnarray*}

Bengtsson and Sandin introduce then their own parametrization of SL(2,R) and study the invariant metric on the group. We will find the connection between ours and their approaches in the next posts. We came to our problems starting from T-handles spinning freely in zero gravity. They are studying spinning black holes. It is interesting to see and to research similarities.

2 thoughts on “SL2R as anti de Sitter space cont.

  1. then Xi(y) has ->
    then \Xi(y) has

    fields \xi{iL},\xi_{iR} ->
    fields \xi_{iL},\xi_{iR}

    formula is easy ->
    formula is is easy

    to these calculations ->
    to make these calculations

    fields xi_{iL},\xi_{iR} ->
    fields \xi_{iL},\xi_{iR}

    spinning freely spinning ->
    spinning freely

Leave a Reply