Symmetry reduction by lifting for maps (Q2895586)

The subject of this article is the global reduction theory for maps allowing continuous symmetries, i.e., vector fields whose flow commutes with the map \(f:M \to M\). The authors show that if a map \(f\) has an \(s\)-dimensional abelian Lie algebra of symmetries and the symmetry flow has a global Poincaré section \(\Sigma\) that is relatively closed in a (not necessarily compact) manifold \(M\), then one can find a covering map of the form \(p:\Sigma \times \mathbb{R}\to M\). Under some topological conditions, the map \(f\) has then a lift \(F\) to \(\Sigma \times \mathbb{R}\) with the skew-product form NEWLINE\[NEWLINEF(\sigma, \tau)=(k(\sigma),\tau+\omega(\sigma)),\quad \sigma \in \mathbb{R}^{n-s}, \; \tau \in \mathbb{R}^{s} \tag{1} NEWLINE\]NEWLINE It is also proved that such a reduction by lifting can be obtained globally, or at least on an open dense subset of \(M\). When the reduction by lifting is applied to volume-preserving maps, it is shown that the reduced map \(k\) in (1) is also volume preserving with respect to a natural volume form on \(\Sigma\). According to the Noether theorem, whenever a Hamiltonian flow has a Hamiltonian symmetry there is an invariant and conversely, every invariant generates a Hamiltonian vector field which is a symmetry. The authors sharpen the Noether theorem for symplectic maps. In the conclusion, a comparison of the suggested reduction procedure with two standard ones and some examples are given.