Analytic uniquely ergodic volume preserving maps on odd spheres (Q484265)

The aim of the paper under review is to construct examples of volume-preserving uniquely ergodic real-analytic diffeomorphisms on spheres of odd dimension. The construction is based on the so-called Anosov-Katok approximation-by-conjugation method. More in details, let \(\mathbb S^{2n-1}\) be the Euclidean sphere. Let denote by \(C^\omega_\Delta\) the set of maps on \(\mathbb S^{2n-1}\) which extend holomorphically in the ball \(\{z\in \mathbb C^{2n}: \|z\|\leq \Delta\}\), \(\Delta>0\). A diffeomorphism \(f\) of the sphere is \(C^\omega_\Delta\) if all coordinates functions of both \(f\) and \(f^{-1}\) are \(C^\omega_\Delta\). If one can take \(\Delta=\infty\), the diffeomorphism \(f\) is called entire. Entire diffeomorphisms form a group, and its subgroup of entire diffeomorphisms preserving the Lebesgue measure \(\lambda\) is denoted by \(\text{End}(\mathbb S^{2n-1}, \lambda)\). A diffeomorphism of \(\mathbb S^{2n-1}\) is uniquely ergodic if it has only one invariant Borel probability measure. Finally, \(\mathbb S^{2n-1}\) admits a linear action of \(\mathbb S^1\) defined by the vector field whose expression in Euclidean coordinates is \(v(x_1,\ldots, x_{2n})=2\pi(x_2,-x_1,\ldots, x_{2n},-x_{2n-1})\). The flow of such an action is denoted by \((\varphi_t)\). The main result of the paper is the following. For any \(t\in [0,1]\) and any \(\epsilon>0\) there exists a uniquely ergodic volume-preserving diffeomorphism \(f\in C^\omega_\Delta(\mathbb S^{2n-1})\) such that \(\|f-\varphi_t\|_\Delta<\epsilon\). Moreover, the diffeomorphism \(f\) is obtained as a limit (in the \(C^\omega_\Delta\)-norm) of entire maps of the form \(F_n=H_n\circ \varphi_{t_n}\circ H_n^{-1}\), with \(H_n\in \text{End}(\mathbb S^{2n-1}, \lambda)\). Such a result extends to compact connected Lie groups with little modification.