pith. machine review for the scientific record. sign in

arxiv: 2604.24452 · v1 · submitted 2026-04-27 · 🧮 math.OA · math.DS· math.FA

Recognition: unknown

Dynamics in large scale geometry

Alcides Buss, Bruno de Mendon\c{c}a Braga, Ruy Exel

Authors on Pith no claims yet

Pith reviewed 2026-05-07 17:03 UTC · model grok-4.3

classification 🧮 math.OA math.DSmath.FA
keywords uniform Roe algebrasStone-Čech boundaryinverse semigroupsorbit spacesprimitive idealscoarse geometrylarge scale dynamicsGNS representations
0
0 comments X

The pith

The topologies of orbit and quasi-orbit spaces on the Stone-Čech boundary are recovered from the irreducible representations and primitive ideals of the associated uniform Roe algebras.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper connects the large-scale geometry of metric spaces to operator algebras by equipping the Stone-Čech boundary with an inverse semigroup of partial translations. This produces a space of orbits whose separation properties are characterized in terms of coarse embeddability, and whose topology is shown to coincide with the spectrum of irreducible representations of the uniform Roe algebra. Quasi-orbits are similarly recovered from the space of primitive ideals. The construction yields concrete classes of spaces, including those with T1 orbit spaces, for which prime ideals of the uniform Roe algebra are primitive. A localized form of Urysohn's lemma holds for the orbit space even when ordinary separation axioms fail.

Core claim

By associating to a metric space its uniform Roe algebra coming from the inverse semigroup of partial translations on the Stone-Čech boundary together with canonical states, the topology of the orbit space equals the space of irreducible representations of that algebra, while the quasi-orbit space equals the space of primitive ideals. For spaces whose orbit space is T1, every prime ideal of the uniform Roe algebra is primitive, and the orbit space satisfies a localized Urysohn lemma despite having only weak separation properties.

What carries the argument

The uniform Roe algebra generated by the inverse semigroup of partial translations on the Stone-Čech boundary, together with its GNS representations arising from canonical states.

Load-bearing premise

The GNS representations coming from canonical states on the uniform Roe algebra distinguish the topologies of the orbit and quasi-orbit spaces exactly as claimed.

What would settle it

A concrete metric space whose orbit space is not homeomorphic to the spectrum of irreducible representations of its uniform Roe algebra, or whose quasi-orbit space fails to match the primitive ideal space.

read the original 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-\v{C}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$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The manuscript develops a framework connecting the large-scale geometry of metric spaces to dynamical systems on the Stone-Čech boundary equipped with an inverse semigroup of partial translations. It characterizes the Hausdorff and T1 properties of the resulting orbit space in terms of the failure of coarse embeddability for certain spaces, notes a localized form of Urysohn's lemma despite weak separation axioms, and identifies the topology on the space of orbits with the spectrum of irreducible representations of the associated uniform Roe algebra (via GNS constructions from canonical states) while the quasi-orbit topology corresponds to the primitive ideal space. It further exhibits classes of spaces, including those with T1 orbit spaces, for which prime ideals of the uniform Roe algebra coincide with primitive ideals.

Significance. If the identifications hold, the work supplies a substantive link between coarse geometry, inverse semigroup dynamics, and the representation theory of uniform Roe C*-algebras, furnishing algebraic invariants for large-scale dynamical features. The reliance on standard GNS and spectral constructions (Jacobson topology on the spectrum, primitive ideals as kernels of irreps) is a strength, as is the provision of concrete classes where prime=primitive. These results could inform further study of Roe algebras as invariants in coarse geometry, though their impact will depend on the depth of the new examples and the robustness of the topology-recovery statements.

major comments (2)
  1. [Main theorem on orbit topology (likely §4 or §5)] The central identification that the orbit-space topology coincides with the space of irreducible representations of the uniform Roe algebra (via GNS from canonical states) is load-bearing for the main claims; the abstract states this correspondence but the precise manner in which the GNS representations separate orbits and induce the correct topology on the spectrum must be verified against the inverse-semigroup action on the Stone-Čech boundary.
  2. [Section on prime=primitive ideals] The assertion that T1-ness of the orbit space implies prime ideals of the uniform Roe algebra are primitive is presented as a highlight; this requires an explicit argument showing that the T1 separation axiom on orbits forces every prime ideal to be the kernel of an irreducible representation, rather than merely invoking general C*-algebra facts.
minor comments (3)
  1. [Introduction] The abstract and introduction should clarify the precise definition of the 'canonical states' on the uniform Roe algebra and how they are induced by the inverse semigroup action.
  2. [Dynamical systems section] Notation for the space of quasi-orbits versus orbits should be standardized throughout; the distinction is central but occasionally blurred in the dynamical-system setup.
  3. [Introduction or final remarks] A brief comparison with existing results on the spectrum of Roe algebras (e.g., work on the Higson corona or boundary actions) would help situate the novelty of the GNS-based recovery of topologies.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the recommendation of minor revision. The comments identify two points where additional clarification will improve the exposition, and we address each below.

read point-by-point responses

  1. Referee: [Main theorem on orbit topology (likely §4 or §5)] The central identification that the orbit-space topology coincides with the space of irreducible representations of the uniform Roe algebra (via GNS from canonical states) is load-bearing for the main claims; the abstract states this correspondence but the precise manner in which the GNS representations separate orbits and induce the correct topology on the spectrum must be verified against the inverse-semigroup action on the Stone-Čech boundary.

    Authors: We agree that this identification is central. The argument in the proof of Theorem 4.5 constructs GNS representations from the canonical states on the uniform Roe algebra induced by points of the Stone-Čech boundary and uses the inverse-semigroup partial translations to show that distinct orbits yield inequivalent representations whose kernels separate the orbits in the Jacobson topology. To make the verification fully explicit, we will insert a short additional paragraph immediately after the statement of the theorem that traces, step by step, how the inverse-semigroup action on the boundary determines the equivalence relation on the spectrum and induces the orbit topology. This is a clarification of the existing proof rather than a change in its content. revision: partial

  2. Referee: [Section on prime=primitive ideals] The assertion that T1-ness of the orbit space implies prime ideals of the uniform Roe algebra are primitive is presented as a highlight; this requires an explicit argument showing that the T1 separation axiom on orbits forces every prime ideal to be the kernel of an irreducible representation, rather than merely invoking general C*-algebra facts.

    Authors: The proof of Theorem 5.3 does not rest solely on the general C*-algebra fact that primitive ideals are kernels of irreducible representations. It first uses the T1 property of the orbit space to produce, for any prime ideal I, a canonical state whose GNS representation has kernel exactly I, and then verifies irreducibility of that representation by showing that the T1 separation prevents the existence of a nontrivial invariant subspace compatible with the inverse-semigroup action. We concede that this dependence on the orbit-space topology could be spelled out more explicitly. In the revision we will expand the proof by adding two short lemmas that isolate the precise role of T1-ness in guaranteeing both the existence of the state and the irreducibility of the resulting representation. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper characterizes orbit and quasi-orbit topologies via the spectrum of irreducible representations and primitive ideal space of uniform Roe algebras arising from the inverse semigroup action on the Stone-Čech boundary. These are direct applications of standard C*-algebraic constructions (GNS representations, Jacobson topology, primitive ideals) to an externally defined dynamical system; no parameter is fitted to the target topology, no result is renamed as a prediction, and no load-bearing step reduces to a self-citation or self-definition. The T1-implies-primitive=prime claim is presented as an instance of a general fact rather than a tautology internal to the paper. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on standard background facts about Stone-Čech compactifications, uniform Roe algebras, GNS constructions, and inverse semigroups; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • standard math Stone-Čech compactification of a metric space exists and carries a natural action by partial translations forming an inverse semigroup.
    Invoked in the definition of the dynamical system.
  • domain assumption Uniform Roe algebras admit canonical states whose GNS representations encode large-scale geometry.
    Central to the connection between dynamics and operator algebras.

pith-pipeline@v0.9.0 · 5505 in / 1427 out tokens · 52845 ms · 2026-05-07T17:03:04.231977+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages

  1. [1]

    Baudier, B

    MR 1219737 34, 36 [BBF+22] F. Baudier, B. M. Braga, I. Farah, A. Vignati, and R. Willett,Embeddings of von Neumann algebras into uniform Roe algebras and quasi-local algebras, arXiv e-prints (2022), arXiv:2212.14312. 51 [BE] B. M. Braga and R. Exel,KMS states on uniform Roe algebras, Canadian Mathematical Communications. 2026;1:e1. 32 56 B. M. BRAGA, A. B...

    work page arXiv 2022

  2. [2]

    Brian,P-sets and minimal right ideals inN ∗, Fund

    9 [Bri15] W. Brian,P-sets and minimal right ideals inN ∗, Fund. Math.229(2015), no. 3, 277–293. MR 3320479 34 [Cla07] L. Clark,Classifying the types of principal groupoidC ∗-algebras, J. Operator Theory57(2007), no. 2, 251–266. MR 2328998 10 [CW04] X. Chen and Q. Wang,Ideal structure of uniform roe algebras of coarse spaces, Journal of Functional Analysis...

    2015

  3. [3]

    Keesling,The one dimensional Cˇ ech cohomology of the Higson compactifi- cation and its corona, Topology Proc.19(1994), 129–148

    4, 14 [Kee94] J. Keesling,The one dimensional Cˇ ech cohomology of the Higson compactifi- cation and its corona, Topology Proc.19(1994), 129–148. 32 [LW18] K. Li and R. Willett,Low-dimensional properties of uniform Roe algebras, J. Lond. Math. Soc. (2)97(2018), no. 1, 98–124. 52 [Pro03] I. Protasov,Normal ball structures, Mat. Stud.20(2003), no. 1, 3–16. ...

    work page arXiv 1994