Dynamics in large scale geometry

Abstract: We investigate the large scale geometry of certain metric spaces through the lens of dynamics. Our approach establishes a close connection between large scale dynamical phenomena and operator algebras by characterizing various large scale dynamic behaviors in terms of GNS representations of the uniform Roe algebras arising from natural canonical states. Our dynamical systems are given by the Stone-Čech boundary of metric spaces together with their inverse semigroup of partial translations. This defines a space of orbits and we characterize Hausdorffness and $T_1$-ness of this space by the failure of coarse embeddability of certain metric spaces. Surprisingly, while the orbit space has very weak separation properties, we show that it satisfies a certain ''localized version'' of Urysohn's lemma. We show that the topology of the space of orbits and quasi-orbits are given by the space of irreducible representations of uniform Roe algebras and by the space of their primitive ideals, respectively. As a highlight of the theory developed herein, we provide classes of spaces such that the prime ideals of their uniform Roe algebras are primitive. This is the case for instance of spaces whose orbit space is $T_1$.

• The paper establishes a correspondence between large-scale dynamics and the ideal structure of uniform Roe algebras using partial translation actions.
• It demonstrates that topological separation in the orbit space is equivalent to coarse geometric conditions like the absence of certain model spaces.
• The work resolves rigidity conjectures by proving that, under specific geometric conditions, all prime ideals in uniform Roe algebras are primitive.

Dynamics and Operator Algebras in Large Scale Geometry

Introduction and Motivation

The paper "Dynamics in large scale geometry" (2604.24452) develops a systematic approach to the interplay between coarse geometry, topological dynamics, and operator algebra structures, specifically focusing on the dynamics induced by the inverse semigroup of partial translations acting on the Stone–Čech compactification of uniformly locally finite (u.l.f.) metric spaces. The authors reveal new characterizations of large-scale dynamical behaviors, relate these behaviors to the ideal structure of uniform Roe algebras, and resolve structural questions about the relationship between primitive and prime ideals in important classes of uniform Roe algebras.

Large Scale Dynamical Systems

The study centers on metric spaces $X$ that are u.l.f., and explores their asymptotic or "large scale" geometry, disregarding small-scale or local features. The partial translation semigroup $\mathrm{PT}(X)$, consisting of all partial bijections defined up to uniformly bounded distance, acts naturally on the Stone–Čech compactification $\beta X$ (identified with the space of ultrafilters). This semigroup action is extended to the corona $\partial X = \beta X \setminus X$, which encodes "directions to infinity" in $X$.

The dynamical system $(\beta X, \mathrm{PT}(X))$ is then the foundational object, with focus placed on the orbit equivalence relations, closures, and quotient spaces of ultrafilters under this action.

Separation Properties and Topological Structure

The orbit space $(\partial X)$, the quotient of $\partial X$ by the orbit equivalence relation, exhibits generally weak separation properties; it is often not even $T_0$. The authors provide precise large-scale geometric criteria for when the orbit space is $T_1$ or Hausdorff, connecting these properties to the (non-)existence of coarse embeddings of certain model spaces (constructed from binary sequences or sparse subsets) into $\mathrm{PT}(X)$0. A crucial result is that the closedness of orbits is equivalent to geometric separation at a coarse scale: orbits are closed precisely when points "escape to infinity" in isolated ways.

Key results:

• $\mathrm{PT}(X)$1 is $\mathrm{PT}(X)$2 if and only if $\mathrm{PT}(X)$3 does not coarsely contain a model space analogous to a disjoint union of two infinite "coarse lines".
• $\mathrm{PT}(X)$4 is Hausdorff if and only if $\mathrm{PT}(X)$5 omits a certain intermediate coarse structure between one and two lines ("$\mathrm{PT}(X)$6" in the notation).
• Even when the orbit relation is non-closed and the quotient topology is weak, a localized version of Urysohn's lemma holds: any two separable closed sets can be separated by a continuous function.

The analysis extends to other equivalence relations of dynamical and geometric origin: quasi-orbits, Higson orbits, and pseudo-orbits, each with their own geometric and analytical characterizations.

Operator Algebras and Dynamical Correspondence

A central feature of the study is the connection between the dynamics on $\mathrm{PT}(X)$7 and the structure of the uniform Roe algebra $\mathrm{PT}(X)$8, the $\mathrm{PT}(X)$9-algebra generated by the translation structure and diagonal operators on $\beta X$0. Using the canonical conditional expectation, the authors associate to each ultrafilter $\beta X$1 a state and its GNS representation $\beta X$2 of $\beta X$3.

Critical findings:

• The GNS representations $\beta X$4 are always irreducible, and the kernels $\beta X$5 are primitive ideals.
• Orbit equivalence $\beta X$6 unitary equivalence of GNS representations: $\beta X$7 and $\beta X$8 are in the same $\beta X$9 orbit $\partial X = \beta X \setminus X$0 $\partial X = \beta X \setminus X$1.
• Quasi-orbit equivalence $\partial X = \beta X \setminus X$2 equality of kernels: the quasi-orbit relation corresponds to equal primitive ideals.

Furthermore, the topologies of the orbit space and quasi-orbit space correspond (homeomorphically onto their images) to the spaces of irreducible representations and primitive ideals, respectively, with respect to the Jacobson topology.

Rigidity and Ideals in Uniform Roe Algebras

The article resolves structural questions regarding the ideal theory of uniform Roe algebras, particularly the relationship between prime and primitive ideals—a foundational issue in the theory of non-separable $\partial X = \beta X \setminus X$3-algebras.

• For separable $\partial X = \beta X \setminus X$4-algebras, every prime ideal is primitive, but this fails in general for the non-separable case.
• The authors show that for large classes of metric spaces—notably, whenever $\partial X = \beta X \setminus X$5 is $\partial X = \beta X \setminus X$6 or when $\partial X = \beta X \setminus X$7 coarsely embeds into certain "sparse union" model spaces—the prime ideals of $\partial X = \beta X \setminus X$8 are all primitive.

This is accomplished by classifying irreducible closed invariant sets in the orbit space. The arguments synthesize topological dynamics (minimal and maximal orbit closures, as characterized by Zelenyuk's results), operator algebraic representation theory, and coarse geometric invariants.

Numerical and Structural Results

• Hausdorff/quasi-Hausdorff dichotomy: Explicit classification of separation properties in orbit spaces in terms of standard universal coarse spaces.
• Canonical homeomorphisms: The orbit space is homeomorphic (onto its image) to the space of irreducible representations, and the quasi-orbit space to the primitive ideal space under the Jacobson topology.
• Resolution of the rigidity problem: In all u.l.f.\ spaces whose topological orbit space is $\partial X = \beta X \setminus X$9, prime and primitive ideals coincide, settling the "rigidity problem" for a large class of uniform Roe algebras.

Implications and Future Directions

This work has both theoretical and practical implications for operator algebras and large-scale geometry:

• Topological dynamics–operator algebra duality: The results solidify the paradigm whereby large-scale dynamical features (determined by the geometry of $X$0 and its asymptotic behaviors) are reflected in analytic and ideal-theoretic properties of $X$1. This strengthens the connections between coarse geometry, geometric group theory, and operator algebras.
• Classification program: The precise characterization of when prime=primitive holds in nonseparable uniform Roe algebras opens avenues in the classification and structural theory of such algebras, and provides analytic tools to distinguish "tame" from "wild" large-scale behaviors.
• Higson compactification and slow oscillation: The role of Higson functions and the identification of Higson equivalence relations in dynamic terms suggests that analyses of slow oscillation and asymptotic invariants will continue to be instrumental in both areas.
• Extension to groupoid and group action $X$2-algebras: The techniques here may generalize to the analysis of $X$3-algebras arising from more general dynamical systems and coarse groupoids, potentially informing the study of their ideal structure via orbit decompositions.

Outstanding open problems remain concerning the full characterization of irreducible subsets in orbit spaces and further generalizations of the rigidity phenomena to broader classes of spaces and $X$4-algebras. The identification of obstructions to separation and closure in orbit spaces will likely have continuing impact on both geometric and analytic classification efforts.

Conclusion

The paper establishes a deep and precise correspondence between large scale dynamical properties of u.l.f.\ metric spaces, the topology of their Stone–Čech coronas under partial translation actions, and the structure of their operator algebras. The analysis leads to sharp geometric and algebraic results about orbit and ideal structures, revealing the connections and boundaries between coarse geometry, dynamics, and noncommutative topology. The work sets foundational tools and resolves longstanding rigidity conjectures for uniform Roe algebras in concrete geometric settings.