### Riemannian metric on SL(2,R)- explicit formula

Riemannian metric is usually expressed through its metric tensor. For instance in Conformally Euclidean geometry of the upper half-plane we were discussing the SL(2,R) invariant Riemannian metric on the upper half-plane and came out with the formula:

(1)

Riemannian metric in dimensions is given by symmetric matrix The components of this matrix are, in general, functions of coordinates of the points of the space under consideration. Knowing the metric, we can calculate scalar product of any two tangent vectors at the same point. Knowing the scalar product of any two vectors we can calculate the metric tensor. It goes as follows. Suppose we have coordinates . Sometimes the coordinates have their names, like but then it is often convenient to number them, for instance , and to refer to them through their indices. When we have coordinates, we have vectors tangent to the coordinate lines. They are usually denoted as or even simply . This is a standard notation used in differential geometry texts. So, for instance, is vector tangent to the coordinate line , that is the line when is varying while are kept constant. More precisely: is a vector field, since we can draw the coordinate of through every point. Therefore when I write I mean the vector field or I mean one particular vector at one particular point that should be evident from the context. When it needs to be specified, we can write – which means that we are specifying particular point

If we have scalar product defined at every point of our space, then the metric tensor at a point is given by the matrix

(2)

Vectors tangent to the coordinate lines form a basis in the tangent space at every point. When we say that a given has components , that means that – where we use Einstein convention implying summation over the dummy index. Thus we may write:

(3)

We will now calculate explicitly the coordinate expression for the metric on SL(2,R) described in the last post Riemannian metric on SL(2,R).
The coordinates on the group manifold were introduced in Parametrization of SL(2,R) through

(4)

Let us now find the vector fields tangent to the coordinate lines:

(5)

(6)

(7)

These are tangent vectors at . According to the prescription described in Riemannian metric on SL(2,R) we need to shift them to the identity, that is we need to calculate , and then take trace of their products:

(8)

I did these calculations using computer. Here are the results:

(9)

(10)

(11)

(12)

(13)

The metric is not diagonal. That means the coordinate lines are not all perpendicular to each other. Moreover, the third line is “light-like”. We have In Minkowski space-time it would mean that it is a trajectory of an object moving with the speed of light. At the group identity we have At this point we have

(14)

In SL(2,R) generators and vector fields on the half-plane we have denoted this generator as .

Once we have the metric, we can now calculate its geodesics and curvature. So, we have a plan for the following notes.

### Riemannian metric on SL(2,R)

Every Lie group is like a Universe. Now it is time for us to play with the cosmology of SL(2,R). In Real magic – space-time in Lie algebra we have already started this game – we have defined a natural “metric” on the Lie algebra sl(2,R). We have defined scalar product of any two vectors tangent to the group at the group identity. And we have seen that this scalar product is similar to that of Minkowski space-time, except that with only two space (and one time) dimensions.

Riemannian metric, on the other hand, is defined when we have scalar product of tangent vectors at every point. In recent posts we were playing with Riemannian metric on the upper half-plane, which is a homogeneous space for the group, of only two dimensions – the cross section of the torus. Now we want to define Riemannian metric on the whole torus – an interesting extension.

We already have the metric at one point – at the group identity. Can we extend this definition to the whole torus, and do it in a natural way?

Of course we can. Because we are on the group. Here it is how it is being done. Suppose we have two vectors tangent at some group point . I am using the letter now, but here is another notation for a real matrix of determinant one, an element of SL(2,R). That is we have two paths with Our two tangent vectors, say , are vectors tangent to and at , they are represented by matrices

(1)

The matrices are not in the Lie algebra. For instance, in our case, they will not be (in general) of trace zero. That is because at the two paths are not at the identity. But we can shift them to the identity. The paths at are at the identity. Thus even if are not in the Lie algebra, are. We can use this fact and define the scalar product at as follows:

(2)

I am using the symbol rather than the unit matrix to denote the group identity here, because the construction above is quite general, is being used for any Lie group, not just for SL(2,R).

Thus once we have scalar product defined in the Lie algebra, we have it defined everywhere.

Of course one can ask: why not use another definition, with right shifts? What is wrong with

(3)

Nothing is wrong. The scalar product at the identity that we have defined in Real magic – space-time in Lie algebra has the property of invariance expressed there in Eq. (11). It is a homework to show that using this property we can prove that the two definitions above lead to the same Riemannian metric!

### Parametrization of SL(2,R)

We are going to discuss Riemannian metric on SL(2,R), which will be more difficult than Riemannian metric on the Poincare disk or on the upper half-plane , because SL(2,R) is three-dimensional. In fact it will be a pseudo-Riemannian metric, because SL(2,R) with its natural metric looks more like space-time (one minus and two pluses, or one plus and two minuses), while (and ) looks like space alone (all pluses).

In order to introduce the metric, to calculate geodesics and Curvature, we need to introduce coordinates. Well, in fact we don’t have to, but we will. It was the French mathematician Élie Cartan Cartan who invented the technique of doing geometry without coordinates, using the so called “moving frame” instead. That is sometimes very useful. But for now we will follow the old-fashioned straightforward way, we will use coordinates.

The group SL(2,R) is isomorphic to SU(1,1) via Cayley transformation, and we have already parametrized SU(1,1) in SU(1,1) parametrization and SU(1,1) decomposition , so in principle we could use what we already have. But we can also try something new, and then see how it relates to the old. Here I am going to use parametrization suggested by Keith Conrad in his notes on SL(2,R). Here is the beginning of his paper “DECOMPOSING

We are introducing three one-parameter subgroups of SL(2,R) called

(1)

(2)

(3)

Then, as Conrad is showing, every SL(2,R) matrix decomposes uniquely into the product . But we will change the order. Instead of writing , we will write There is a tradition in group theory to use the KAN order. If you search Google for “KAN decomposition”, you will find a lot of information. If you look for “NAK decomposition” – you will find much less, mainly written by eccentrics.
We prefer NAK, because it better corresponds to the polar decomposition of SU(1,1) that we have already discussed.

So, we write as , that is, after multiplying the three matrices, as

(4)

Now are coordinates of the element of the group. Of course we would like to know how they relate to coordinates that we have introduced in the group SU(1,1). For instance in Right circular orbits in SU(1,1) we were representing SU(1,1) as a torus. How our new parameters relate to the parameters of the torus?

To answer this question we need to Cayley transform back to SU(1,1) and then express and of the torus in terms of of the NAK decomposition. I did it, using any algebraic software it is a simple task. The end result is that is the same (that is why I have chosen NAK instead of KAN, while is an algebraic function of . With we have:

(5)

Thus after Cayley transform to SU(1,1) become coordinates on the unit disk – the cross-section of the torus. Here are their lines transformed to the disk: