Bracket connection on a Lie group

ID: bracket-connection-on-a-lie-group

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 gives
for 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.

New to topics? Read the docs here!