SL(2,R) Killing vector fields in coordinates

In Parametrization of SL(2,R) we introduced global coordinates [latexpage] $x^1=\theta,x^2=r,x^3=u$ on the group SL(2,R). Any matrix $A$ in SL(2,R) can be uniquely written as
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}.
If $A$ is the matrix with components $A_{ij},$ then its coordinates can be expressed as functions of the matrix components as follows

The function $\mathrm{atan2}(y,x)$ returns the angle $\theta$, $0\leq\theta<2\pi$ of the complex number $x+iy=\sqrt{x^2+y^2}e^{i\theta}.$ Once we have coordinates, it is easy to calculate components of tangent vectors to any given path $A(t)$ - they are given by derivatives of the coordinates $x^{i}(A(t)).$ We will calculate now the vector fields resulting from left and right actions of one-parameter subgroups of SL(2,R) that we have already met in SL(2,R) generators and vector fields on the half-plane

We have introduced there the one-parameter groups, that we will denote now as $U_1,U_2,U_3$, generated by $X_1,X_2,X_3$:


We can take exponentials of the generators and construct one-parameter subgroups

U_1(t)&=&\exp tX_1=\begin{bmatrix}\cosh t&\sinh t\\ \sinh t&\cosh t\end{bmatrix},\\
U_2(t)&=&\exp tX_2=\begin{bmatrix}\exp -t&0\\ 0&\exp t\end{bmatrix},\\
U_3(t)&=&\exp tX_3=\begin{bmatrix}\cos t&-\sin t\\ \sin t&\cos t\end{bmatrix}.

In SL(2,R) generators and vector fields on the half-plane we were acting with these transformations on the upper half-plane using fractional linear representation. Now we will be acting on SL(2,R) itself via group multiplication, either left or right.

Let us start with $U_1$ acting from the left. At $A$ we have the trajectory $U_1(t)A$. Its coordinates are $x^{i}(t)=x^{i}(U_1(t)A).$ Let us denote by $\xi_{1,L}$ the tangent vector field, with components $\xi_{1,L}^{i}, \,(i=1,2,3)$ Then

We can calculate it easily using algebra software. The result is:


The same way we get


Then we can calculate vector fields of right shifts


to obtain:
\begin{equation}\xi_{1,R}=(\cos (2 \theta ),-r \sin (2 \theta ),2 r^2 \cos (2 \theta )),\end{equation}
\begin{equation}\xi_{2,R}=(-2 \sin (\theta ) \cos (\theta ),-r \cos (2 \theta ),-4 r^2 \sin (\theta ) \cos (\theta )),\end{equation}

We know that our metric is bi-invariant. That means the vector fields of the left and right shifts generate one-parameter group of isometries. They are called Killing fields of the metric. In differential geometry one shows that a vector field $\xi$ is a Killing vector field for metric $g$ if and only if the Lie derivative $L_\xi$ of the metric vanishes. Lie derivative of any symmetric tensor $T_{ab}$ is defined as
(L_\xi T)_{ab}=\xi^c\frac{\partial T_{ab}}{\partial x^c}+\frac{\partial \xi^c}{\partial x^{a}}T_{cb}+\frac{\partial \xi^c}{\partial x^{b}}T_{ac}.

Using any computer algebra software it is easy to verify that Lie derivatives of our metric with respect to all six vector fields $\xi_{j,L},\xi_{j,R}$ indeed vanish. Mathematica notebook verifying this property can be downloaded here.

3 thoughts on “SL(2,R) Killing vector fields in coordinates

Leave a Reply