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!