Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-115/3/c/solution

Suppose first that the left-invariant 1-form is closed. The scalar function is constant for every , because both the form and vector field are left-invariant. Cartan's magic formula therefore gives
Part b says that is locally constant. Since is connected, it is constant, and its value at the identity is . Hence for every , so is bi-invariant.
Conversely, if is bi-invariant, then all these Lie derivatives vanish. Cartan's formula and the constancy of give . The left-invariant vector fields span every tangent space, so .
Connectedness cannot be omitted. The orthogonal group has an Abelian Lie algebra, so every left-invariant 1-form is closed by the Maurer-Cartan equation in a Lie-algebra basis. Conjugation by a reflection acts as on its one-dimensional Lie algebra, so a nonzero left-invariant 1-form is not right-invariant. This is the standard obstruction recorded by the closed left-invariant 1-form criterion.

New to topics? Read the docs here!