Loops of infinite order and toric foliations (Q2152444)

\textit{H. R. Dullin} et al. [J. Phys. A, Math. Gen. 38, No. 24, L443--L447 (2005; Zbl 1181.37085)] proved that the nonzero vector of Maslov indices is an eigenvector with eigenvalue 1 of the monodromy matrices of an integrable Hamiltonian system. In this paper the authors extend the result to the more general context of possibly non-Hamiltonian systems. A regular (non-Hamiltonian) integrable system of type \((k, n)\) with compact orbits is a triple \( (M,F,\Phi)\), where \(M\) is a \((k + n)\)-dimensional smooth manifold, the integral map \(F = (f_1, \dots, f_k) : M \to \mathbb R^k\) is a submersion and \(\Phi\) is an effective \(\mathbb R^n\) action with compact orbits such that \(F \circ \Phi ^{(t_1,\dots,t_n)}(p) = F(p).\) Moreover, by virtue of the conjecture in [\textit{M. Audin}, Comment. Math. Helv. 63, No. 4, 593--623 (1988; Zbl 0666.57024)] (proved in [\textit{K. Cieliebak} and \textit{K. Mohnke}, Invent. Math. 212, No. 1, 213--295 (2018; Zbl 1396.53105)]), the results of the present paper imply that, for any integrable Hamiltonian system with a proper integral map in \(\mathbb R^4\), each of the connected components of the regular part of the system admits a compatible free \(S^1\) action.