A CORRESPONDENCE BETWEEN SURJECTIVE LOCAL HOMEOMORPHISMS AND A FAMILY OF SEPARATED GRAPHS

Abstract

We present a graph-theoretic model for dynamical systems (X, σ) given by a surjective local homeomorphism σ on a totally disconnected compact metrizable space X. In order to make the dynamics appear explicitly in the graph, we use two-colored Bratteli separated graphs as the graphs used to encode the information. In fact, our construction gives a bijective correspondence between such dynamical systems and a subclass of separated graphs which we call l-diagrams. This construction generalizes the well-known shifts of finite type, and leads naturally to the definition of a generalized finite shift. It turns out that any dynamical system (X, σ) of our interest is the inverse limit of a sequence of generalized finite shifts. We also present a detailed study of the corresponding Steinberg and C∗ algebras associated with the dynamical system (X, σ), and we use the above approximation of (X, σ) to write these algebras as colimits of the associated algebras of the corresponding generalized finite shifts, which we call generalized finite shift algebras. © 2024 American Institute of Mathematical Sciences. All rights reserved.