Past exam of the mathematics course of the University of Cambridge / 2022 / iii / Paper 115 / 3 / b / Solution

For $\xi$ in the Lie algebra $\mathfrak{g}$, set ${\Phi }^t=R_{\exp (t\xi )}$. The one-parameter subgroup law gives the flow law, andso this is the global flow of the left-invariant vector field $l_{\xi }$.

For $f(g)=R_g^{\ast }\alpha$, every tangent vector at $g$ is the initial velocity of $g\exp (t\xi )$ for some $\xi$. Since $R_{g\exp (t\xi )}=R_{\exp (t\xi )}\circ R_g$,Thus all ${\mathcal{L}}_{l_{\xi }}\alpha$ vanish exactly when every derivative of $f$ vanishes. This is equivalent to $f$ being a locally constant function.