Continuous Orbit Equivalence of Semigroup Actions

We introduce notions of continuous orbit equivalence and its one-sided version for countable left Ore semigroup actions on compact spaces by surjective local homeomorphisms, and characterize them in terms of the corresponding transformation groupoids and their operator algebras. In particular, we show that two essentially free semigroup actions on totally disconnected compact spaces are continuously orbit equivalent if and only if there is a canonical abelian subalgebra preserving C *-isomorphism between the associated transformation groupoid C *-algebras. We also give some examples of orbit equivalence, consider the special case of semigroup actions by homeomorphisms and relate continuous orbit equivalence of semigroup actions to that of the associated group actions.