Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 65 / 2 / Solution

For a Lie group $G$, Left translation on a Lie group and right translation on a Lie group are the diffeomorphisms $L_g(h)=gh$ and $R_g(h)=hg$. Their differentials identify the tangent space at the identity with every tangent space. Translating a basis $e_a$ of the Lie algebra gives global left-invariant vector fields $E_a(g)=(d{L}_g{)}_e{e}_a$ and right-invariant vector fields $F_a(g)=(d{R}_g{)}_e{e}_a$. Left and right translations commute. If $[e_a,e_b]=c^c{}_{ab}{e}_c$, thenThe opposite sign for the right-invariant frame is essential.

Define an affine connection ${\nabla }^{-}$ by declaring the $E_a$ parallel. Explicitly, ${\nabla }_X^{-}(f^a{E}_a)=X(f^a)E_a$. Its curvature form of a connection vanishes, since successive derivatives of the component functions satisfy the vector-field commutator identity. Its torsion tensor isSimilarly, declaring the $F_a$ parallel gives another flat affine connection ${\nabla }^{+}$, with $T^{+}(F_a,F_b)=-[F_a,F_b]$. In a left-invariant frame the latter connection obeysTo see this, express $E_a=F_{{\mathrm{Ad}}_g{e}_a}$. Along $g\exp (t{e}_b)$, differentiation of ${\mathrm{Ad}}_{g\exp (t{e}_b)}{e}_a$ gives ${\mathrm{Ad}}_g[e_b,e_a]$, producing the displayed bracket. Consequently $T^{+}(X,Y)=[X,Y]$ for left-invariant $X,Y$. These are the flat translation connections on a Lie group. They have opposite torsion; if $G$ is Abelian, both torsion tensors vanish and the two connections coincide. The phrase “with torsion” does not mean nonzero torsion for Abelian groups.

The average ${\nabla }^0=({\nabla }^{-}+{\nabla }^{+})/2$ is again an affine connection and satisfies ${\nabla }_X^{0}Y=\frac{1}{2}[X,Y]$ for left-invariant fields. Its torsion tensor is zero. With the curvature convention $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, the Jacobi identity givesDefine the Ricci tensor by $\mathrm{Ric}(X,Y)=\mathrm{Tr}(Z\mapsto R(Z,X)Y)$. Since $[[Z,X],Y]={\mathrm{ad}}_Y{\mathrm{ad}}_{X}Z$, this giveswhere $K(X,Y)=\mathrm{Tr}({\mathrm{ad}}_X{\mathrm{ad}}_Y)$ is the Killing form. Thus the canonical torsion-free connection on a Lie group is generally curved. Its exact flatness criterion is $[[\mathfrak{g},\mathfrak{g}],\mathfrak{g}]=0$: Abelian and two-step nilpotent groups are exceptions. A vanishing Ricci tensor alone does not prove flatness.

For a semisimple Lie algebra, the Killing form is nondegenerate. Its adjoint invariance gives $K([X,Y],Z)+K(Y,[X,Z])=0$, so translating it defines a bi-invariant pseudo-Riemannian metric $g_K$. For left-invariant fields,A metric-compatible torsion-free connection is uniquely the Levi-Civita connection; therefore ${\nabla }^0$ is its Levi-Civita connection. Moreover,The special feature is a canonical nondegenerate metric and an Einstein manifold structure. The metric need not be positive definite: noncompact semisimple groups generally require indefinite signature. For compact semisimple groups, using $-K$ gives a bi-invariant Riemannian metric with $\mathrm{Ric}=\frac{1}{4}{g}_{-K}$ instead.