Hausdorff Ample Topological Groupoids

• Hausdorff ample topological groupoids are locally compact, totally disconnected étale groupoids characterized by a basis of compact open bisections that enable precise algebraic and combinatorial analysis.
• The interplay between compact open bisections and inverse semigroups under noncommutative Stone duality provides a robust dictionary linking topological properties with algebraic invariants.
• These groupoids underpin diverse models—from dynamical systems and graph C*-algebras to tilings and coarse geometry—exhibiting strong rigidity and reconstruction properties.

Searching arXiv for recent and foundational papers on Hausdorff ample topological groupoids to ground the article. arXiv search query: "Hausdorff ample topological groupoids rigidity pseudofunction algebras ample groupoids" A Hausdorff ample topological groupoid is a locally compact Hausdorff étale groupoid whose unit space is totally disconnected; equivalently, its topology is generated by compact open bisections. In this setting the unit space is open, and for Hausdorff ample groupoids it is clopen. Such groupoids provide a common language for totally disconnected dynamics, graph and $k$-graph models, tilings, coarse geometry, and operator algebras, and recent work shows that they can often be reconstructed from inverse semigroups, full groups, homology theories, or Banach-algebraic completions (Pagliuca et al., 6 Jun 2025, Farsi et al., 2018, Gardella et al., 11 Jun 2025).

1. Definition and local structure

For a topological groupoid $G$, the structure maps

$$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$

are continuous. The étale condition means that $r:G\to G^{(0)}$ is a local homeomorphism; in an étale groupoid, the unit map identifies $G^{(0)}$ with an open subset of $G$, and $u,s,m$ are local homeomorphisms as well. An ample groupoid is an étale groupoid $G$ such that $G^{(0)}$ is totally disconnected; equivalently, the compact open bisections form a basis for the topology (Pagliuca et al., 6 Jun 2025).

This local zero-dimensionality is the decisive simplification. Compact open bisections behave simultaneously as topological charts, algebraic generators, and correspondences between compact open subsets of the unit space. For Hausdorff ample groupoids, the counting measures on the discrete fibers give the canonical Haar system used in convolution formulas, crossed products, and homological constructions (Bönicke, 2018).

The class is broad. The literature summarized here includes Deaconu–Renault groupoids attached to actions of $\mathbb N^k$ by surjective local homeomorphisms, $G$0-graph groupoids, graph groupoids, transformation groupoids $G$1, proper and ample groupoids, group bundles, AF-groupoids, and coarse groupoids $G$2 associated to bounded geometry metric spaces (Farsi et al., 2018, Nyland et al., 2018, Ara et al., 2020). A common misconception is that “ample” is merely a notational variant of “étale”; in these papers the extra hypothesis of a totally disconnected unit space, or equivalently a basis of compact open bisections, is exactly what enables the inverse-semigroup, Steinberg-algebra, and combinatorial techniques that distinguish the theory.

2. Bisections, inverse semigroups, and duality

The inverse semigroup of compact open bisections is a primary invariant of a Hausdorff ample groupoid. Under non-commutative Stone duality, the category of Boolean inverse $G$3-monoids is dually equivalent to the category of Hausdorff Boolean groupoids via

$G$4

and countable Boolean inverse $G$5-monoids correspond to second countable Hausdorff Boolean groupoids (Lawson, 2015). In the Cantor-unit-space case, the corresponding algebraic objects are Tarski inverse monoids.

This duality gives precise dictionary entries between topological and algebraic properties. Effective groupoids correspond to fundamental Tarski inverse monoids, minimal groupoids correspond to $G$6-simplifying Tarski inverse monoids, and principal groupoids correspond to basic Tarski inverse monoids, meaning that every element is a finite join of infinitesimals and an idempotent (Lawson, 2015). The distinction between effective and principal is structural rather than cosmetic: principal means the isotropy subgroupoid is just the unit space, whereas effective means only that the interior of the isotropy subgroupoid is the unit space. The two notions coincide in important examples, but not in general.

Recent rigidity results recast the same philosophy inside Banach-algebraic completions. For a Hausdorff ample groupoid $G$7, compact open bisections are encoded by homotopy classes of Moore–Penrose invertible partial isometries in $G$8-operator algebras. Writing $G$9 for the inverse semigroup of compact open bisections and $$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$0, the map

$$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$1

is an isomorphism of inverse semigroups for $$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$2 (Gardella et al., 11 Jun 2025). This identifies the topological partial symmetries of $$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$3 with homotopy classes of algebraic partial isometries.

3. Homology, cohomology, and $$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$4-theoretic interfaces

For second-countable ample Hausdorff groupoids, the Crainic–Moerdijk homology used in the recent literature is built from the chain groups $$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$5 and the simplicial boundary maps. In one common formulation,

$$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$6

with $$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$7 and, for $$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$8,

$$u:G^{(0)}\to G,\qquad s,r:G\to G^{(0)},\qquad m:G^{(2)}\to G,\qquad i:G\to G$$9

(Farsi et al., 2018). This homology is preserved by the major equivalence notions used for ample Hausdorff groupoids.

The computational range is substantial. For Deaconu–Renault groupoids $r:G\to G^{(0)}$0 associated to $r:G\to G^{(0)}$1-actions by surjective local homeomorphisms, the homology is computed by an explicit chain complex $r:G\to G^{(0)}$2 built from the commuting endomorphisms $r:G\to G^{(0)}$3. For $r:G\to G^{(0)}$4 and $r:G\to G^{(0)}$5, the resulting formulas imply that Matui’s HK conjecture holds for these groupoids, and for row-finite $r:G\to G^{(0)}$6-graph and $r:G\to G^{(0)}$7-graph groupoids one obtains explicit descriptions in terms of the adjacency matrices (Farsi et al., 2018).

A more structural result is the spectral sequence

$r:G\to G^{(0)}$8

valid when $r:G\to G^{(0)}$9 is a second countable Hausdorff ample groupoid with torsion-free stabilizers satisfying the strong Baum-Connes conjecture (Proietti et al., 2020). For $G^{(0)}$0, this becomes a spectral sequence converging to $G^{(0)}$1. The torsion-free stabilizer hypothesis is not incidental: Scarparo’s counterexample shows that even for amenable ample groupoids the naive HK statement can fail if stabilizers have torsion (Proietti et al., 2020).

Cohomology has recently been enriched by explicit cup and cap products for ample groupoids with constant coefficients. At cochain level,

$G^{(0)}$2

and the Leibniz rule

$G^{(0)}$3

descends to cohomology. The cap product

$G^{(0)}$4

is compatible with the cup product and is used to study asymptotic innerness of automorphisms of reduced groupoid $G^{(0)}$5-algebras induced by $G^{(0)}$6-valued cocycles (Matui et al., 2024). This suggests that ample-groupoid cohomology is not only an invariant of the underlying groupoid but also an operative tool in $G^{(0)}$7-dynamical questions.

4. Amenability, comparison, and finiteness phenomena

Amenability theory for Hausdorff ample groupoids now includes both geometric and measure-comparison regimes. For a second-countable locally compact Hausdorff étale groupoid with polynomial growth, topological amenability follows (Austad et al., 15 May 2026). In the same work, if the groupoid is compactly generated and has compact metrizable unit space, polynomial growth implies weak $G^{(0)}$8-comparison for some finite $G^{(0)}$9; if the groupoid is also ample and minimal, weak $G$0-comparison upgrades to comparison, and a compactly generated, locally compact Hausdorff, minimal, ample groupoid whose unit space has no isolated points satisfies Matui’s AH conjecture (Austad et al., 15 May 2026).

A different route begins with fiberwise amenability. For a locally compact $G$1-compact Hausdorff ample groupoid with compact unit space, one defines Følner sets fiber by fiber and then normal Følner sets built from compact open multisections. A Følner sequence is a sequence $G$2 of such normal Følner sets with

$G$3

for every compact $G$4 and every unit $G$5 (Ma, 2021). Under suitable “goodness” and controlled-height hypotheses, this yields a topological groupoid Ornstein–Weiss quasi-tiling theorem and the notion of almost finiteness in measure.

These finiteness properties have strong operator-algebraic consequences. If $G$6 is second countable, minimal, principal, ample, has compact unit space, and is almost finite in measure, then $G$7 has uniform property $G$8; if $G$9 is also topologically amenable, then $u,s,m$0 satisfies the Toms–Winter conjecture (Ma, 2021). On the group side, if a second countable minimal ample groupoid admits a Følner sequence, then its topological full group is sofic (Ma, 2021).

Comparison theory can be packaged semigroup-theoretically. For a second countable minimal ample groupoid $u,s,m$1, the type semigroup $u,s,m$2 is almost unperforated if and only if $u,s,m$3 has dynamical comparison (Ara et al., 2020). Strong almost finiteness implies stable dynamical comparison and hence almost unperforation of $u,s,m$4. At the same time, almost finiteness should not be conflated with amenability: the coarse-groupoid analysis shows the existence of almost finite principal groupoids lacking amenability or even a-T-menability (Ara et al., 2020). That separation is one of the more striking corrections to intuition imported from transformation-groupoid settings.

5. Equivalence, full groups, and spatial reconstruction

For ample Hausdorff groupoids with $u,s,m$5-compact unit spaces, a large family of equivalence notions collapses. Similarity, Morita equivalence, Renault equivalence, equivalence via linking groupoids, equivalence via isomorphic ampliations, stable isomorphism, Kakutani equivalence, and weak Kakutani equivalence are equivalent in this setting (Farsi et al., 2018). One consequence is that groupoid homology is preserved by all of these notions.

The topological full group provides a sharper invariant when the groupoid is effective. In the locally compact setting,

$u,s,m$6

where $u,s,m$7, extends Matui’s original compact-unit-space definition (Nyland et al., 2018). For effective ample Hausdorff groupoids, the support formula

$u,s,m$8

shows that supports are compact open subsets of the unit space.

This leads to spatial reconstruction results. If $u,s,m$9 are effective ample minimal Hausdorff groupoids whose unit spaces have no isolated points, then the following are equivalent: $G$0 as topological groupoids, $G$1 as abstract groups, and $G$2 as abstract groups (Nyland et al., 2018). A broader non-wandering version replaces minimality by weaker orbit-mixing hypotheses and still characterizes the groupoid by its full group.

Graph groupoids furnish especially concrete instances. For countable graphs satisfying the hypotheses of the graph-groupoid reconstruction theorems, groupoid isomorphism, diagonal-preserving isomorphism of graph $G$3-algebras, diagonal-preserving isomorphism of Leavitt path algebras, spatial isomorphism of graph pseudogroups, continuous orbit equivalence, and isomorphism of topological full groups are equivalent (Nyland et al., 2018). This suggests that, within the ample Hausdorff category, full groups often act as a spatially faithful compression of the entire groupoid.

6. Operator-algebraic rigidity and bivariant theories

Recent rigidity theorems show that several Banach-algebraic completions of $G$4 determine a Hausdorff ample groupoid completely. For the $G$5-norm completion $G$6, one has

$G$7

for Hausdorff ample groupoids $G$8. More generally, for $G$9,

$G^{(0)}$0

and likewise

$G^{(0)}$1

for the symmetrized $G^{(0)}$2-pseudofunction algebras (Gardella et al., 11 Jun 2025). The reconstruction strategy recovers the unit space via the $G^{(0)}$3-core $G^{(0)}$4 and recovers compact open bisections via Moore–Penrose invertible partial isometries.

The same paper proves a continuity theorem for Moore–Penrose inversion, verifying a conjecture of Rakočević for Banach algebras whose hermitian idempotents are ultrahermitian and commute; in particular, this applies to all $G^{(0)}$5-operator algebras for $G^{(0)}$6 (Gardella et al., 11 Jun 2025). A plausible implication is that ample groupoids occupy an unusually rigid region of the non-self-adjoint operator-algebraic landscape: their local combinatorics survive passage to several analytically different completions.

On the $G^{(0)}$7-theoretic side, the Going-Down principle for ample Hausdorff groupoids reduces global topological $G^{(0)}$8-theory questions to compact open subgroupoids. If $G^{(0)}$9 is ample, second countable, locally compact, and Hausdorff, and $\mathbb N^k$0 induces an isomorphism

$\mathbb N^k$1

for every compact open subgroupoid $\mathbb N^k$2, then Kasparov product with $\mathbb N^k$3 induces an isomorphism on topological $\mathbb N^k$4-theory (Bönicke, 2018). As an application, the Baum–Connes assembly map is split injective for second countable ample groupoids that are strongly amenable at infinity, and for exact ample group bundles the Baum–Connes conjecture can be checked fiberwise on isotropy groups (Bönicke, 2018).

A parallel algebraic development defines bivariant equivariant periodic cyclic homology for actions of ample Hausdorff groupoids. The theory satisfies homotopy invariance, stability, and excision in both variables, and for proper ample groupoids with paracompact orbit space there is a Green–Julg type theorem

$\mathbb N^k$5

(Pagliuca et al., 6 Jun 2025). Together with the Banach-algebraic rigidity results, this places Hausdorff ample topological groupoids at the intersection of inverse-semigroup methods, noncommutative homological algebra, and reconstruction theory.