This is a continuation of Einstein the Stubborn.
We have calculated the Christoffel symbols of the Levi-Civita connection of the SL(2,R) invariant metric on the upper half-plane.

We have used the standard formula, the same that physicists and astronomers are using in their calculations of Black Holes, White Holes, Big Bangs and Small Bangs:

(1)

With the metric of upper half-plane hyperbolic geometry given by

(2)

which is a very simple kind of metric, only four of the six Christoffel symbols are non-zero. They are:

(3)

In the previous post I have originally written “only three of the six Christoffel symbols are non-zero”, but I have forgotten about the symmetry, as in the first line above.

The Christoffel symbols, that is “the coefficients of the torsion free metric affine connection” serve as the tools for defining “parallel transport” of geometric objects along curves. The transport is, in general, path dependent, when there is a non-vanishing “curvature”.

They are simpler than Eqs. (5,6). But they are consequences of (5,6). Taking derivatives of the left hand sides of Eqs. (7,8) we can easily check that they are automatically zero if Eqs. (5,6) are satisfied! By using conservation laws we have simply taken a short way.

Once we got into the main objects of Riemannian differential geometry, in the next post we will calculate the curvature of our metric.

Thanks!

Equation (6) should have got minus sign.

Is g in equation (1) always symmetric?

“Is g in equation (1) always symmetric?”

In Riemannian geometry (also pseudo-Riemannian) it is always assumed to be real, symmetric and nonsingular (with non-zero determinant)

Einstein in his UFT tried also non-symmetric, but that is a different story.

Sign in (6) corrected. Thanks.