Characterizing expansivity through $C^*$-algebras

TL;DR

This paper explores expansive homeomorphisms using $C^*$-algebras, introducing expansive observables, and characterizing their properties, leading to algebraic proofs of classical dynamical facts and nonexistence results in certain spaces.

Contribution

It introduces the concept of expansive observables within $C^*$-algebras and characterizes them, providing new algebraic insights into expansive dynamics and their limitations.

Findings

Expansive observables form an F$_\sigma$-subalgebra of $C(X)$.

Only constant observables are expansive for connected equicontinuous homeomorphisms.

No homeomorphism of the circle or interval admits a dense set of expansive observables.

Abstract

We study expansive homeomorphisms of a compact metric space $X$ through the lens of the commutative $C^*$-algebra $C(X)$ of continuous complex-valued functions, viewed as observables of the system. We introduce the notion of expansive observables: elements of $C(X)$ whose level sets distinguish distinct orbits. We prove that the expansive observables form an F$_\sigma$-subalgebra of $C(X)$, and we characterize them completely for connected equicontinuous homeomorphisms, showing that only constant observables are expansive in this setting. Furthermore, we establish that topologically conjugate homeomorphisms share the same algebra of expansive observables. Using this framework, we show that the set of periodic points intersects at most countably many level sets of any expansive observable. This provides $C^*$-algebraic proofs of well-known facts like for instance that the set of periodic points of an expansive homeomorphism is countable or that the sole continuum exhibiting homeomorphisms which are both expansive and equicontinuous are the degenerated ones. Finally, we prove that no homeomorphism of the circle or the unit interval admits a dense set of expansive observables, yielding a $C^*$-algebraic demonstration of the nonexistence of expansive homeomorphisms in these spaces.