Poisson Centralisers and Polynomial Superintegrability for Magnetic Geodesic Flows on Reductive Homogeneous Spaces

TL;DR

The paper develops a method to construct superintegrable magnetic geodesic flows on reductive homogeneous spaces using polynomial first integrals, Poisson algebra structures, and explicit examples involving SU(3).

Contribution

It introduces a novel approach to formulating superintegrable magnetic flows on reductive homogeneous spaces with explicit polynomial integrals and action-angle coordinates.

Findings

Constructed two canonical families of polynomial first integrals for magnetic flows.

Established a Poisson algebra structure and identified its center within the symmetric algebra.

Provided explicit examples with SU(3) illustrating the construction and integrability.

Abstract

We provide a method for formulating superintegrable magnetic geodesic flows on reductive homogeneous spaces $M=G/A$, with $G$ a compact semisimple Lie group and $A$ a closed subgroup of $G$. In the twisted cotangent bundle $(T^*M,\omega_\varepsilon)$, with $\omega_\varepsilon=\omega_{\mathrm{can}}+\varepsilon\,\pi^*\omega_{\mathrm{KKS}}$ being the canonical plus Kirillov-Kostant-Souriau (KKS) forms, we build two canonical and commuting families of polynomial first integrals: one pulled back from the Lie algebra $\mathfrak{g}$ of $G$ via the magnetic moment map $P$, and one pulled back from a $\mathrm{Ad}(A)$-invariant affine slice of $\mathfrak{m} \cong T_{eA}M$, where $eA$ is the identity of $G/A$. Their common image generates a reduced Poisson algebra obtained from a fiber tensor product, and the natural multiplication map into a Poisson subalgebra of polynomial functions $\mathcal{O}(T^*M) \subset C^\infty(T^*M)$ is Poisson and injective. The center of this fiber tensor product is contained in the Poisson center of the symmetric algebra of $\mathfrak{g}$. In a dense regular locus, the resulting projection chain realises a superintegrable system. As examples, two $\mathrm{SU}(3)$ cases are studied (regular torus and irregular $\mathrm{S}(\mathrm{U}(2)\times \mathrm{U}(1))$ quotients), which illustrate the construction and produce explicit action-angle coordinates.