Two-dimensional Killing algebra with a periodic generator is abelian
ID: two-dimensional-killing-algebra-with-a-periodic-generator-is-abelian
Suppose the full Lie algebra of Killing fields has basis and the flow of has a nonzero period . Write with constant coefficients. The Adjoint representation of the periodic flow satisfies . Its real eigenvalues are and zero, so . The remaining adjoint operator is nilpotent and its exponential is , forcing . This proves commutation from genuine periodic axial symmetry, without differentiating mere asymptotic component limits.
New to topics? Read the docs here!