The discussion in this post applies to Riemannian metrics on Lie groups in general, but we will concentrate

on just one case in hand: SL(2,R).[latexpage] Let $G$ be a Lie group. Vectors tangent to paths in $G,$ at identity $e\in G$ form the Lie algebra of the group. Usually it is denoted by $\mathrm{Lie}(G).$ That is a real linear space, endowed with the commutator. For matrix groups the Lie algebra is a space of matrices (for the group SL(2,R) its Lie algebra sl(2,R) consists of matrices of zero trace), and the commutator is realized as the commutator of matrices: $[A,B]=AB-BA.$

Suppose we have scalar product $(\xi,\eta)_e$ defined on the Lie algebra. For instance, if $\xi,\eta$ are matrices, we may try to define $(\xi,\eta)_e=\mathrm{Tr}(\xi\eta)$. That is a possible natural definition, the scalar product so defined is automatically symmetric. But it is not always nondegenerate, so one needs to be careful. When we have scalar product at identity, we can use group multiplication to propagate it to the whole group space by left translations:

\begin{equation}(\xi,\eta)_g=(g^{-1}\xi,g^{-1}\eta)_e,\label{eq:sc11}\end{equation}

if $\xi,\eta$ are tangents to paths at $g$.

Notice that we are multiplying tangent vectors by group elements. For matrix groups that is easy, we simply multiply matrices. For more general groups is is understood that if $\xi$ is tangent to the path $\gamma(t)$, then $g\xi$ is tangent to $g\gamma(t).$

The scalar product defined everywhere by Eq. (\ref{eq:sc11}) has automatically the property of being left-invariant:

\begin{equation}(g\xi,g\eta)=(\xi,\eta).\end{equation}

The above equation needs explanation, its meaning follows from the context. On the left hand side we have scalar product. So, it is probably calculated at a certain point. We need to give this point some name. The symbol $g$ is used in the formula itself for the shift, so let us choose $h$. So, we specify the left hand side to mean

\[(g\xi,g\eta)_h.\]

Now, if $g\xi$ is tangent at $h$, then $\xi$ itself must be tangent at $g^{-1}h.$ So, the complete formula should be:

\begin{equation}(g\xi,g\eta)_h=(\xi,\eta)_{g^{-1}h}.\end{equation}

That is supposed to hold for any $g,h$ in the group. How do we prove it? We use the definition (\ref{eq:sc11}). The left hand side becomes

\begin{equation}(g\xi,g\eta)_h=(h^{-1}(g\xi),h^{-1}(g\eta))_e.\end{equation}

The right hand side becomes

\begin{equation}(\xi,\eta)_{g^{-1}h}=((g^{-1}h)^{-1}\xi,(g^{-1}h)^{-1}\eta)_e.\end{equation}

The left and right hand sides equal because of the associativity of multiplication: $(g^{-1}h)^{-1}\xi=h^{-1}(g\xi).$

In a similar way we can propagate the scalar product from the Lie algebra to the whole group by right shifts. The so obtained scalar product (aka Riemannian metric) is then right-invariant. But these two Riemannian metrics in general will be different. Let us check under which conditions they would coincide? In order to coincide we would have to have:

\[(g^{-1}\xi,g^{-1}\eta)_e=(\xi g^{-1},\eta g^{-1})_e,\]

for all $\xi,\eta$ tangent at $g.$ Denoting $\xi’=g^{-1}\xi,\eta’=g^{-1}\eta,$ we would have to have

\[(\xi’,\eta’)_e=(g\xi’g^{-1},g\eta’g^{-1})_e\]

for all $\xi’,\eta’$ in the Lie algebra. In other words: the scalar product at the identity would have to be Ad-invariant. We recall that “Ad” denotes the adjoint representation of the group on its Lie algebra defined as

\[ Ad_g:\xi\mapsto g\xi g^{-1}.\]

The metric we have defined using trace

\[(\xi,\eta)_e=\frac{1}{2}\mathrm{Tr}(\xi\eta)\]

has this property because of the general property of the trace $\mathrm{Tr}(AB)=\mathrm{Tr}(BA)$. But we could easily start with a different scalar product. Each scalar product give rise to different geodesics, different curvature. The group endowed with bi-invariant metric is, so to say, maximally “round”.

When metric is left (or right) invariant, that means that the group universe looks the same way from every point – it is “homogeneous”. But when it is also bi-invariant, that means that at every point it looks maximally the same in all directions – that is it has its natural “isotropy” property.

[latexpage]

define $\xi,\eta)_e=\mathrm{Tr}(\xi\eta)$ ->

define $(\xi,\eta)_e=\mathrm{Tr}(\xi\eta)$

Now, ig ->

Now, if

Thx!