Isomorphisms between topological conjugacy algebras

Abstract

A family of algebras, which we call topological conjugacy algebras, is associated with each proper continuous map on a locally compact Hausdorff space. Assume that $η_i:\X_i\to \X_i$ is a continuous proper map on a locally compact Hausdorff space $\X_i$, for $i = 1,2$. We show that the dynamical systems $(\X_1, η_1)$ and $(\X_2, η_2)$ are conjugate if and only if some topological conjugacy algebra of $(\X_1, η_1)$ is isomorphic as an algebra to some topological conjugacy algebra of $(\X_2, η_2)$. This implies as a corollary the complete classification of the semicrossed products $C_0(\X) \times_η \bbZ^{+}$, which was previously considered by Arveson and Josephson, Peters, Hadwin and Hoover and Power. We also obtain a complete classification of all semicrossed products of the form $A(\bbD) \times_η\bbZ^{+}$, where $A(\bbD)$ denotes the disc algebra and $η: \bbD \to \bbD$ a continuous map which is analytic on the interior. In this case, a surprising dichotomy appears in the classification scheme, which depends on the fixed point set of $η$. We also classify more general semicrossed products of uniform algebras.