Poincaré theory for decomposable cofrontiers (Q512458)

Let \(\varphi\) be an orientation-preserving circle homeomorphism. The Poincaré classification theorem states that the rotation number \(\rho(\varphi)\) is well defined and determines the qualitative dynamical behavior of \(\varphi\), in the sense that \(\rho(\varphi)\) is rational if and only if \(\varphi\) has a periodic orbit, and \(\rho(\varphi)\) is irrational if and only if \(\varphi\) is monotonically semiconjugate to an irrational rotation. In the paper the authors extend Poincaré's theory of orientation-preserving homeomorphisms from the circle to circloids with decomposable boundary. More precisely, in [Ergodic Theory Dyn. Syst. 11, No. 4, 619--631 (1991; Zbl 0756.54021)], \textit{M. Barge} and \textit{R. M. Gillette} proved that the rotation number on a decomposable cofrontier is always unique, and it is rational if and only if there exists a periodic orbit in the cofrontier. In this paper the authors show that if the rotation number on an invariant circloid \(A\) of a surface homeomorphism is irrational and the boundary of \(A\) is decomposable, then the dynamics is monotonically semiconjugate to an irrational rotation (for more details see Theorem 1.1). This result complements the results by Barge and Gillete to give a direct analogue for the Poincaré classification theorem for decomposable cofrontiers and, more generally, to circloids with decomposable boundary. Furthermore, the authors prove that the semiconjugacy can be obtained as the composition of a monotone circle map with a universal factor map, only depending on the topological structure of the circloids. Under some special assumptions, from this there follows that the monotone semiconjugacy is unique up to a composition with rotations. Moreover, if \(A\) is minimal set, then the semiconjugacy is almost injective if and only if there exists a biaccessible point. In the last section of the paper the authors use the Anosov-Katok method to construct a \(C^{\infty}\)-example where each fibre of the semiconjugacy is non-trivial.