Specify the displayed rule on left-invariant vector fields and extend by the Leibniz rule to an affine connection on the Lie group. In a left-invariant vector field frame , the extension is . Applying the bare bracket formula to arbitrary vector fields instead would violate the Leibniz rule unless . With , the Jacobi identity givesfor left-invariant arguments, where is the Killing form and . These identities determine the tensor fields everywhere. The endpoints have zero curvature, with respectively left- and right-invariant parallel frames, and opposite torsion tensors. The midpoint is torsion-free but need not have zero curvature.
Articles by others on the same topic
There are currently no matching articles.