Before developing his 1915 General Theory of Relativity, Einstein held the “Entwurf” theory. Tullio Levi-Civita from Padua, one of the founders of tensor calculus, objected to a major problematic element in this theory, which reflected its global problem: its field equations were restricted to an adapted coordinate system. Einstein proved that his gravitational tensor was a covariant tensor for adapted coordinate systems. In an exchange of letters and postcards that began in March 1915 and ended in May 1915, Levi-Civita presented his objections to Einstein’s above proof. Einstein tried to find ways to save his proof, and found it hard to give it up. Finally Levi-Civita convinced Einstein about a fault in his arguments. However, only in spring 1916, long after Einstein had abandoned the 1914 theory, did he finally understand the main problem with his 1914 gravitational tensor. In autumn 1915 the Göttingen brilliant mathematician David Hilbert found the central flaw in Einstein’s 1914 derivation. On March 30, 1916, Einstein sent to Hilbert a letter admitting, “The error you found in my paper of 1914 has now become completely clear to me”.
That is what Weinstein writes about Einstein in Einstein the Stubborn: Correspondence between Einstein and Levi-Civita
Finally Einstein learned what he needed to learn and worked out his “General Relativity Theory” – the theory of gravitation based on the mathematics of (pseudo) Riemannian metric tensor. From metric tensor one calculates the “Levi-Civita connection”, encoded in what are called “Christoffel symbols“. From them one calculates the curvature: ‘Matter tells space how to curve, space tells matter how to move.’ That is the essence of Einstein’s theory of gravitation. Einstein was, for a while, happy with this picture. But only for a while. Many physicists are happy with it even today.
But that is not the subject of my post today. My plan is simply to calculate the Christoffel symbols for the SL(2,R) invariant metric that we have discussed in Conformally Euclidean geometry of the upper half-plane
Let me recall the metric:
(1)
So, it is a symmetric matrix that depends on the coordinates of a point in the upper half-plane of complex numbers with positive imaginary part We usually write as a matrix with entries where We have two coordinates, we may call It is customary in differential geometry to use the coordinate index as the upper index. It is a convention, but a useful convention. Usually it is accompanied with another convention, so called “Einstein summation convention”. This Einstein convention is that whenever we see a term that contains one symbol with index down and another symbol with index up – it means that this is an unwritten sum from to where is the number of dimensions. We are dealing with so whenever we see something like or it means: or The name of the repeated index does not matter, it can be any letter, just different from other letters present in the given term. We call it a “dummy index”.
The metric is written with indices as lower indices. We call them “covariant”. Upper indices are usually called contravariant. The metric should always be invertible, otherwise terrible things can happen, the universe may cease to have its ordinary meaning. The inverse metric is usually written as a contravariant tensor In our case the inverse metric exists because we assume that
(2)
For it would become zero, and the different parts of the Universe would not know what to do. There would be a confusion, the door to paranormal could get opened. And I am not joking. I wrote about it in an unpublished paper. The content of this paper was too scary for the referees of Physics Letters. The paper is available here: Vanishing Vierbein in Gauge Theories of Gravitation. As I said – it was never published – but it is being cited by others, for instance here: Phys.Rev. D62 (2000) 044004 DOI: 10.1103/PhysRevD.62.044004 \url{}, or here: Found.Phys.38:7-37,2008 DOI: 10.1007/s10701-007-9190-0 \url{}
Let us now calculate the Christoffel symbols for our metric. We use the standard formulas from differential geometry, they can be found in Wikipedia at Christoffel symbols of the second kind
(3)
The expression for is symmetric in – the theory has no torsion. There are symbols that must be computed. If four dimensions one needs to calculate of these symbols – lot of calculation, as each of these 40 symbols is a sum of four terms (sum over ). In old times people were not as lazy as they are today. They were calculating. Today I am using Mathematica (or Maple, or whatever). Using Mathematica, for instance, it goes as follows:
Only four of the six symbols are different from zero, and they are very simple. Christoffel symbols enter geodesic equations, when they are different from zero – the geodesic lines curve. They may curve because coordinates are curved, or because the space is curved. We will discuss it next in our toy model.
Thx!