Strong orbit realization for minimal homeomorphisms (Q1361057): Difference between revisions

From the author's Introduction: \dots Let \((Y,T,\nu)\) be an ergodic automorphism of a non-atomic Lebesgue probability space, let \((X,S)\) be a minimal homeomorphism of the Cantor set, and let \(\mu\) be an ergodic \(S\)-invariant Borel probability. In one of our two main results, the Strong Orbit Realization Theorem (SORT, Theorem 2.5), we show that there is a topological realization \((S',\mu')\) of \((T,\nu)\), where \(S'\) is a minimal homeomorphism of \(X\), strongly orbit equivalent to \(S\) if and only if the finite rotations which are (topological) factors of \(S\) are (measurable) factors of \(T\).\dots For the second main result of this paper, the Orbit Realization Theorem (ORT, Theorem 7.2), we show that regardless of the factors of \(S\) and \(T\), there is a minimal homeomorphism \(S'\) which is orbit equivalent to \(S\) such that \((S',\mu')\) is a topological realization of \((T,\nu)\). Our results, SORT and ORT, are preceded by Vershik's realizations of ergodic transformations as homeomorphisms of ordered Bratteli diagrams\dots