Orbit equivalence of one-sided subshifts and the associated C^*-algebras
arXiv:0709.1185
Abstract
A -graph system is a generalization of a finite labeled graph and presents a subshift. We will prove that the topological dynamical systems and for -graph systems and are continuously orbit equivalent if and only if there exists an isomorphism between the associated -algebras ${\Cal O}_{{\frak L}_1}$ and ${\Cal O}_{{\frak L}_2}$ keeping their commutative -subalgebras and . It is also equivalent to the condition that there exists a homeomorphism from to intertwining their topological full inverse semigroups. In particular, one-sided subshifts and are -continuously orbit equivalent if and only if there exists an isomorphism between the associated -algebras ${\Cal O}_{Λ_1}$ and ${\Cal O}_{Λ_2}$ keeping their commutative -subalgebras and .
22 pages