Inverse Semigroup Roe Algebra

• Inverse Semigroup Roe Algebras are operator algebras that capture coarse geometric properties using partial actions and inverse semigroup crossed products.
• They model large-scale geometry through diverse constructions including groupoid C*-algebras, uniform Roe algebras, and canonical metric spaces.
• Their study unveils deep structural insights, connecting idempotent semilattices, disintegration theory, and K-theoretical classification with practical implications for exactness and amenability.

Searching arXiv for the cited papers and related work on inverse semigroup Roe algebras. Inverse semigroup Roe algebras are operator algebras that encode large-scale geometry through partial symmetries organized by inverse semigroups rather than groups. In the literature represented here, the subject appears in several closely related forms: as reduced crossed products such as $\ell^\infty(S)\rtimes_r S$ for an inverse semigroup $S$, as groupoid $C^*$-algebras of transformation or universal groupoids, and as uniform Roe algebras attached to canonical metrics on inverse semigroups or to Schützenberger graphs (Lledó et al., 2020, Chung et al., 2022, Gondek et al., 24 Aug 2025). This framework generalizes the familiar group-theoretic identification of Roe-type algebras with crossed products, but it also introduces genuinely inverse-semigroup phenomena arising from idempotent semilattices, partial actions, and non-Hausdorff étale groupoids.

1. Conceptual setting and basic models

An inverse semigroup is a semigroup in which every element has a unique inverse, with idempotent set $E(S)$ forming a commutative semilattice (Milan et al., 2011). In this setting, the relevant dynamical notion is not usually a global action but a partial action, either on a space or on a $C^*$-algebra. This partiality is one of the defining structural differences between inverse semigroup Roe algebras and their group analogues (Milan et al., 2011).

A central model arises from a countable inverse semigroup $S$ acting on $\ell^\infty(S)$ by partial bijections. In this form, the Roe algebra of $S$ is described as a reduced crossed product

$\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$

and, in a later formulation, this same construction is identified with a canonical uniform Roe algebra associated to a proper and right subinvariant metric on $S$ (Chung et al., 2022). The action is implemented on $S$0 by partial isometries $S$1 defined by

$S$2

(Chung et al., 2022).

Another basic model uses the Stone-Čech compactification. For a countable inverse semigroup $S$3, one has

$S$4

with $S$5, and this reduced crossed product is isomorphic to the reduced groupoid $S$6-algebra of the Stone-Čech transformation groupoid

$S$7

(Gondek et al., 24 Aug 2025). This places inverse semigroup Roe algebras squarely inside étale groupoid $S$8-theory.

A complementary perspective begins from the Schützenberger graph construction. For a countable discrete inverse semigroup $S$9, the disjoint union of the left Schützenberger graphs of the $C^*$0-classes yields a metric graph $C^*$1, and one may form the uniform Roe algebra $C^*$2 of that metric space (Lledó et al., 2020). The algebra $C^*$3, generated by $C^*$4 and the left regular representation, always embeds in $C^*$5, but equality is a nontrivial issue (Lledó et al., 2020).

2. Crossed products, partial actions, and groupoids

The crossed-product description is foundational. For E-unitary or strongly $C^*$6-E-unitary inverse semigroups, the $C^*$7-algebra of the semigroup can be realized as a partial crossed product of a commutative $C^*$8-algebra by the maximal group image $C^*$9: $E(S)$0 in the E-unitary case, with analogous statements for strongly $E(S)$1-E-unitary semigroups and for tight groupoids (Milan et al., 2011). The partial action is defined on the spectrum $E(S)$2 of the idempotent semilattice via partial homeomorphisms

$E(S)$3

and assembled into a partial action of the maximal group image (Milan et al., 2011).

This yields a topological groupoid model: the universal groupoid $E(S)$4 is isomorphic to the partial transformation groupoid $E(S)$5 (Milan et al., 2011). The same paper also proves Morita equivalence results generalizing Khoshkam–Skandalis: under a locally idempotent pure, locally coherent homomorphism satisfying the KS condition, $E(S)$6 is strongly Morita equivalent to a crossed product $E(S)$7 for suitable $E(S)$8 (Milan et al., 2011). In the E-unitary case, this collapses to the partial crossed product description by the maximal group image.

For Roe algebras, these constructions matter because inverse semigroup crossed products arise naturally in the Roe algebra construction for proper metric spaces with finite propagation, stratifying the algebra of finite propagation operators into pieces controlled by inverse semigroups of partial bijections (Burgstaller, 2014). This suggests that the inverse semigroup formalism is not an auxiliary device but part of the native structure of coarse operator algebras when partial symmetries are present.

The Banach-algebraic extension of this viewpoint replaces $E(S)$9-algebras by approximately unital Banach algebras and defines an action $C^*$0 by isometric algebra partial automorphisms between closed two-sided ideals (Bardadyn et al., 21 Jan 2026). The corresponding $C^*$1-algebra is

$C^*$2

with multiplication

$C^*$3

(Bardadyn et al., 21 Jan 2026). The universal crossed product $C^*$4 is then characterized by a universal property and a disintegration theorem for representations. In the context described there, inverse semigroup Roe algebras are examples of such crossed products, and every representation of the crossed product disintegrates to a covariant representation of the underlying inverse semigroup action (Bardadyn et al., 21 Jan 2026).

3. Metric and coarse-geometric realizations

A distinctive feature of the subject is that inverse semigroups themselves can be endowed with natural coarse geometry. For a quasi-countable inverse semigroup $C^*$5, there exists a proper and right subinvariant uniformly discrete extended metric whose components are precisely the $C^*$6-classes, and this metric is unique up to bijective coarse equivalence (Chung et al., 2022). The existence of such a metric is equivalent to quasi-countability (Chung et al., 2022). This provides a canonical large-scale geometric object attached to $C^*$7.

With this metric, the uniform Roe algebra becomes unambiguously defined up to isomorphism, and one has canonical $C^*$8-isomorphisms

$C^*$9

for monoids (Chung et al., 2022). This formulation turns the inverse semigroup Roe algebra into a genuine uniform Roe algebra of a metric space canonically extracted from the semigroup.

An earlier approach used the path metric on the disjoint union $S$0 of Schützenberger graphs (Lledó et al., 2020). In that setting the algebra

$S$1

satisfies

$S$2

and always sits inside $S$3 (Lledó et al., 2020). Equality is characterized by the finite labelability condition (FL): $S$4 if and only if $S$5 is FL, assuming bounded geometry (Lledó et al., 2020). Finite generation implies FL, but FL is strictly more general (Lledó et al., 2020).

The graph-based and canonical-metric approaches are compatible in spirit but emphasize different aspects. The Schützenberger graph model foregrounds combinatorial generation and bounded geometry (Lledó et al., 2020). The canonical-metric model foregrounds quasi-countability and coarse uniqueness (Chung et al., 2022). A plausible implication is that these two viewpoints together provide complementary tools for deciding when inverse-semigroup-generated finite propagation operators exhaust the ambient Roe algebra.

Another geometric construction enters through the inverse semigroup $S$6 associated to a metric space $S$7. The quasi-isometry classes of metrics on the double of $S$8 form an inverse semigroup under the composition rule

$S$9

and this inverse semigroup admits a reduced $\ell^\infty(S)$0-algebra $\ell^\infty(S)$1 (Manuilov, 2019). When $\ell^\infty(S)$2 is the uniform Roe algebra of a metric space, one can construct an injective map

$\ell^\infty(S)$3

into the inverse semigroup of Hilbert $\ell^\infty(S)$4-$\ell^\infty(S)$5-$\ell^\infty(S)$6-bimodules, though the map is not surjective in general (Manuilov, 2021). This links coarse metric data on doubles to operator-algebraic bimodule symmetries of uniform Roe algebras.

4. Groupoid models and structural properties

The Stone-Čech transformation groupoid provides one of the most explicit models currently available. For a countable inverse semigroup $\ell^\infty(S)$7, the action on $\ell^\infty(S)$8 extends left multiplication, with each $\ell^\infty(S)$9 inducing a partial homeomorphism

$S$0

where closures are taken in $S$1 (Gondek et al., 24 Aug 2025). The transformation groupoid $S$2 then satisfies

$S$3

(Gondek et al., 24 Aug 2025).

This model yields sharp structural criteria. The action $S$4 is amenable in the sense of Exel and Starling if and only if the reduced inverse semigroup $S$5-algebra $S$6 is exact (Gondek et al., 24 Aug 2025). Since the Roe algebra is modeled by the reduced crossed product above, amenability of the Stone-Čech action controls exactness phenomena in the Roe setting (Gondek et al., 24 Aug 2025).

The same paper proves that for $S$7, the properties of being Hausdorff, principal, and effective are all equivalent (Gondek et al., 24 Aug 2025). The algebraic criterion uses

$S$8

and shows that Hausdorffness is equivalent to the existence, for every $S$9, of a finite set $\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$0 such that

$\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$1

(Gondek et al., 24 Aug 2025). In this model, the finite cover property of trivially fixed idempotents exactly governs topological regularity of the groupoid.

The relationship with Exel’s tight groupoid is one-sided in a precise way: Hausdorffness of the tight groupoid is necessary for Hausdorffness of the Stone-Čech Roe groupoid (Gondek et al., 24 Aug 2025). This identifies the tight groupoid as an obstruction-detecting object for the topology of the Roe groupoid model.

A broader groupoid-algebraic perspective appears in the study of simplicity of inverse semigroup and étale groupoid algebras. There, the algebraic Roe algebra of a discrete metric space is identified with the Steinberg algebra of the translation groupoid, and simplicity is characterized by minimality, effectiveness, and vanishing of the singular ideal (Steinberg et al., 2020). For ample groupoids, the essential algebra is simple if and only if the groupoid is minimal and topologically free (Steinberg et al., 2020). This suggests that, in algebraic Roe-algebra variants, the correct simplicity criteria must account not only for orbit structure and isotropy but also for singular functions supported on sets with empty interior.

5. K-theory, equivariant KK-theory, and Green–Julg phenomena

The connection to $\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$2-theory is articulated by the Green–Julg theorem for inverse semigroups. For every finite unital inverse semigroup $\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$3 and $\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$4-$\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$5-algebra $\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$6, there is a natural isomorphism

$\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$7

(Burgstaller, 2014). This extends the classical Green–Julg theorem from finite groups to finite inverse semigroups.

The proof uses an equivalence between a category of incompatible $\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$8-Hilbert $\mathcal{R}_S \cong \ell^\infty(S)\rtimes_r S,$9-bimodules and a category of compatible $S$0-Hilbert $S$1-bimodules, where $S$2 is the finite set of idempotents (Burgstaller, 2014). The functor

$S$3

introduces a modified tensor product enforcing compatibility with the idempotent structure (Burgstaller, 2014). Compatible $S$4-theory then serves as an intermediate step before applying groupoid descent and the Baum–Connes map for finite groupoids (Burgstaller, 2014).

For crossed products, the paper uses the Banach $S$5-algebra

$S$6

with convolution

$S$7

and involution

$S$8

whose enveloping $S$9-algebra is $S$00 (Burgstaller, 2014). In the group case this reduces to the full crossed product (Burgstaller, 2014).

For inverse semigroup Roe algebras, the stated relevance is explicit: inverse semigroup crossed products arise naturally in Roe algebra constructions for proper metric spaces with finite propagation, so the Green–Julg isomorphism relates directly to the $S$01-theory of Roe algebras and to the behavior of their coarse assembly maps (Burgstaller, 2014). This suggests that inverse-semigroup-equivariant KK-theory provides a natural receptacle for assembly-type problems whenever partial bijections rather than global group actions control the geometry.

6. Classification results, finiteness phenomena, and related structures

Inverse semigroup Roe algebras exhibit operator-algebraic finiteness properties that depart from the group case. For a quasi-countable inverse semigroup $S$02 with its canonical metric, the following are equivalent: local finiteness of $S$03, asymptotic dimension $S$04 of $S$05, the local AF property of $S$06, and strong quasidiagonality of $S$07 (Chung et al., 2022). A second classification states that local $S$08-finiteness of $S$09, sparseness of $S$10, quasidiagonality of $S$11, stable finiteness of $S$12, and finiteness of $S$13 are equivalent (Chung et al., 2022). Unlike the group case, local $S$14-finiteness is strictly weaker than local finiteness (Chung et al., 2022).

In the Schützenberger graph model, domain measurability generalizes Day’s definition of amenability of a semigroup and is characterized by a Følner-type condition (Lledó et al., 2020). For FL inverse semigroups, domain measurability is a quasi-isometric invariant of $S$15 (Lledó et al., 2020). Property A of $S$16 is characterized in terms of nuclearity and exactness of the relevant $S$17-algebras: for the full graph, under bounded geometry and FL,

$S$18

(Lledó et al., 2020). For E-unitary inverse semigroups, if $S$19 is also FL, then property A of $S$20, property A of the maximal group image $S$21, and exactness of $S$22 are equivalent (Lledó et al., 2020).

The algebraic theory of Steinberg algebras introduces a different kind of classification. For an inverse semigroup with zero, the contracted inverse semigroup algebra $S$23 is simple if and only if $S$24 is congruence-free and the singular ideal vanishes (Steinberg et al., 2020). In the groupoid formulation, simplicity of the Steinberg algebra requires minimality, effectiveness, and vanishing of singular functions (Steinberg et al., 2020). Since the inverse semigroup universal Roe algebra of a discrete metric space is identified there with the Steinberg algebra of the translation groupoid, these theorems characterize when algebraic Roe algebras are simple (Steinberg et al., 2020).

A related but distinct structure is the inverse semigroup of Hilbert bimodules $S$25 over a $S$26-algebra $S$27 (Manuilov, 2021). For $S$28, the map from the inverse semigroup of metrics on doubles to $S$29 is injective but not surjective, with the ghost ideal providing an obstruction in spaces without property A (Manuilov, 2021). This suggests that the operator-algebraic symmetry semigroup of a Roe algebra is richer than what is visible from metric doubles alone.

7. Scope, misconceptions, and current directions

A common misconception is that inverse semigroup Roe algebras are merely group Roe algebras rewritten with more complicated notation. The available results do not support that view. Partial actions, idempotent semilattices, and groupoid non-Hausdorffness introduce phenomena with no direct group analogue, including the FL criterion for equality with a uniform Roe algebra (Lledó et al., 2020), the distinction between local finiteness and local $S$30-finiteness (Chung et al., 2022), and the finite-cover criterion for Hausdorffness of the Stone-Čech transformation groupoid (Gondek et al., 24 Aug 2025).

Another misconception is that there is a single canonical Roe algebra model in all cases. The literature instead presents several interlocking models: crossed products $S$31 (Chung et al., 2022, Gondek et al., 24 Aug 2025), uniform Roe algebras of canonical semigroup metrics (Chung et al., 2022), uniform Roe algebras of Schützenberger graphs (Lledó et al., 2020), groupoid $S$32-algebras (Gondek et al., 24 Aug 2025), and algebraic Steinberg or contracted inverse semigroup algebras (Steinberg et al., 2020). These models often coincide under additional hypotheses, but not automatically.

Current directions in the cited work include a refined groupoid analysis of the Stone-Čech action (Gondek et al., 24 Aug 2025), the Banach-algebraic theory of inverse semigroup crossed products and disintegration (Bardadyn et al., 21 Jan 2026), and coarse-invariant inverse semigroup constructions derived from metric doubles or bimodules (Manuilov, 2019, Manuilov, 2021). The cumulative picture is that inverse semigroup Roe algebras form a meeting point of coarse geometry, étale groupoid theory, partial dynamical systems, and operator-algebraic $S$33-theory. A plausible implication is that future progress in coarse assembly, exactness, and rigidity for partial-symmetry spaces will increasingly depend on inverse semigroup techniques rather than on group actions alone.