By the work of Brodzki-Niblo-Nowak-Wright and Monod, topological amenability of a continuous group action can be characterized using uniformly finite homology groups or bounded cohomology groups associated to this action. We show that (certain variations of) these groups are invariants for topologically free actions under continuous orbit equivalence.
We prove that for any two continuous minimal (topologically free) actions of the infinite dihedral group on an infinite compact Hausdorff space, they are continuously orbit equivalent only if they are conjugate. We also show the above fails if we replace the infinite dihedral group with certain other virtually cyclic groups, e.g. the direct product of the integer group with any non-abelian finite simple group.
We prove that if two topologically free and entropy regular actions of countable sofic groups on compact metrizable spaces are continuously orbit equivalent, and each group either (i) contains a w-normal amenable subgroup which is neither locally finite nor virtually cyclic, or (ii) is a non-locally-finite product of two infinite groups, then the actions have the same sofic topological entropy. This fact is then used to show that if two free uniquely ergodic and entropy regular probability-measure-preserving actions of such groups are boundedly orbit equivalent then the actions have the same sofic measure entropy. Our arguments are based on a relativization of property SC to sofic approximations and yield more general entropy inequalities.
We introduce notions of continuous orbit equivalence and strong (respective, weak) continuous orbit equivalence for automorphism systems of {e}tale equivalence relations, and characterize them in terms of the semi-direct product groupoids, as well as their reduced groupoid $C^*$-algebras with canonical Cartan subalgebras. In particular, we study topological rigidity of expansive automorphism actions on compact (connected) metrizable groups.
We show that within any strong orbit equivalent class, there exist minimal subshifts with arbitrarily low superlinear complexity. This is done by proving that for any simple dimension group with unit $(G,G^+,u)$ and any sequence of positive numbers $(p_n)_{ninmathbb{N}}$ such that $lim n/p_n=0$, there exist a minimal subshift whose dimension group is order isomorphic to $(G,G^+,u)$ and whose complexity function grows slower than $p_n$. As a consequence, we get that any Choquet simplex can be realized as the set of invariant measures of a minimal Toeplitz subshift whose complexity grows slower than $p_n$.
We extend some recent results about bounded invariant equivalence relations and invariant subgroups of definable groups: we show that type-definability and smoothness are equivalent conditions in a wider class of relations than heretofore considered, which includes all the cases for which the equivalence was proved before. As a by-product, we show some analogous results in purely topological context (without direct use of model theory).