Linearization of conservative toral homeomorphisms (Q1030524)

Henri Poincaré's celebrated classification of the dynamics of circle homeomorphisms asserts: An orientation-preserving homeomorphism of the circle is semi-conjugate to an irrational rotation if and only if its rotation number is irrational, and if and only if it has no periodic orbits. An equivalent condition for the existence of a semi-conjugacy to an irrational rotation for conservative homeomorphisms of the two-torus is given. This leads to an analogue of Poincaré's classification of circle homeomorphisms for conservative toral homeomorphisms with unique rotation vector and a certain bounded mean motion property. For minimal toral homeomorphisms, the result extends to arbitrary dimensions. A basic classification for the dynamics of toral homeomorphisms with all points non-wandering is provided. The main paper results are as follows. Theorem. Suppose \(f\in\text{ Homeo}_0(\mathbb T^2)\) is a conservative pseudo-rotation with rotation vector \(\rho\in\mathbb R^2\) and bounded mean motion. Then the following hold. (i) \(\rho\) is totally irrational if and only if \(f\) is semi-conjugate the irrational rotation \(R_{\rho}\). (ii) \(\rho\) is neither totally irrational nor rational if and only if \(f\) has a periodic circloid. (iii) \(\rho\) is rational if and only \(f\) has a periodic point. Theorem. Suppose \(f\in\text{ Homeo}_0(\mathbb T^2)\) is non-wandering. Then one of the following holds. (i) \(f\) is topologically transitive; (ii) \(f\) has two disjoint periodic circloids; (iii) \(f\) has a periodic point.