Area preserving homeomorphisms of surfaces with rational rotational direction

Pierre-Antoine Guihéneuf,Patrice Le Calvez,Alejandro Passeggi
2023-11-02
Abstract:Let $S$ be a closed surface of genus $g\geq 2$, furnished with a Borel probability measure $\lambda$ with total support. We show that if $f$ is a $\lambda$-preserving homeomorphism isotopic to the identity such that the rotation vector $\mathrm{rot}_f(\lambda)\in H_1(S,\mathbb R)$ is a multiple of an element of $H_1(S,\mathbb Z)$, then $f$ has infinitely many periodic orbits. Moreover, these periodic orbits can be supposed to have their rotation vectors arbitrarily close to the rotation vector of any fixed ergodic Borel probability measure.
Dynamical Systems,Symplectic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence of periodic points of area - preserving homeomorphisms on closed surfaces. Specifically, the paper focuses on whether such mappings have infinitely many periodic points under certain conditions. These conditions include: - \(S\) is a closed surface with genus \(g\geq2\). - \(f\in \text{Homeo}^*(S)\) is a measure - preserving homeomorphism, where the measure \(\lambda\) is a Borel probability measure and its support set is the entire surface \(S\). - \(\text{rot}_f(\lambda)\in RH^1(S,\mathbb{Z})\), that is, the rotation vector is a rational element in \(H^1(S,\mathbb{R})\). Under these conditions, the main result (Theorem A) of the paper shows that if \(f\) satisfies the above conditions, then \(f\) has infinitely many periodic points. Furthermore, for any ergodic measure \(\nu\) which is not a Dirac measure, and for any neighborhood \(U\) of \(\text{rot}_f(\nu)\), there exists a homotopy rotation interval \((\kappa, r)\) such that \([\kappa]/r\in U\). Briefly, by studying the properties of rotation vectors of area - preserving homeomorphisms, the paper proves that under specific conditions, such mappings must have infinitely many periodic points, and the rotation vectors of these periodic points can be arbitrarily close to the rotation vector of a given ergodic measure. This provides important theoretical support for understanding dynamical systems on high - genus surfaces.