Past exam of the general relativity course of the University of Oxford / 2022 / 2 / d / Solution

The metric tensor in a basis ${\mathbf{e}}_a$ is $g_{ab}={\mathbf{e}}_a\cdot {\mathbf{e}}_b$. Differentiating this inner product with the product rule and using the assumed basis-derivative relation yieldsThus the coefficients satisfy metric compatibility. For a coordinate basis with zero torsion tensor, symmetrizing this relation in $a,c$, adding the corresponding two equations and subtracting the third givesThey are therefore the Christoffel symbols of the Levi-Civita connection. Metric compatibility by itself does not establish zero torsion tensor; that also uses the coordinate basis and its commuting coordinate derivatives.

For an embedded curved surface, the stated ambient basis-derivative relation needs a qualification: the Gauss formula is ${\partial }_c{\mathbf{e}}_a={\Gamma }_{ac}^b{\mathbf{e}}_b+h_{ac}\mathbf{n}$, where $\mathbf{n}$ is a unit normal and $h_{ac}$ is the second fundamental form. The normal term has zero inner product with each tangent basis vector, so the displayed identity for ${\partial }_c{g}_{ab}$ still holds. For a concrete counterexample to dropping that term, on a two-sphere one has ${\partial }_{\theta }{\mathbf{e}}_{\theta }=-R\mathbf{n}$, whereas every ${\Gamma }_{\theta \theta }^b$ is zero. Thus the intrinsic connection describes the tangential projection of the ambient derivative.