A Hamiltonian version of a result of Gromoll and Grove (Q2421915)

Consider a closed connected oriented manifold \(\Sigma\) having \(2n+1\) dimensions, endowed with a Hamiltonian structure, that is a closed 2-form \(\omega\) such that \(\ker\omega\) defines a 1-dimensional distribution on \(T\Sigma\). Consider moreover a smooth involution \(\rho\) on \(\Sigma\) such that \(\rho^*\omega = -\omega\) (so that \(\rho\) induces an involution of the set of leaves defined by \(\ker\omega\)) and \(\rho\) reverses the orientation on \(\ker\omega\). Thus \((\Sigma,\omega, \rho)\) constitutes a so-called \textit{real Hamiltonian manifold}. Then the authors establish the following theorem, which extends a previous result on \(\mathbb{S}^2\) by Gromoll and Grove to a Hamiltonian setting on the 3-projective space: Suppose that all leaves of \((\mathbb{R} P^3,\omega)\) are circles, and that \(\rho\) does not fix any point. Then there exists a fixed-point-free circle action on \(\mathbb{R} P^3\) the orbits of which are the leaves of \((\mathbb{R} P^3,\omega)\). In particular, the leaves are non-contractible. As a corollary, if \((\mathbb{S}^2,F)\) is a reversible Finsler 2-sphere having all its geodesics closed, then all geodesics give rise to non-contractible orbits on \(T^1\mathbb{S}^2\), and have the same length.