No Arabic abstract
We prove that a minimal second countable ample groupoid has dynamical comparison if and only if its type semigroup is almost unperforated. Moreover, we investigate to what extent a not necessarily minimal almost finite groupoid has an almost unperforated type semigroup. Finally, we build a bridge between coarse geometry and topological dynamics by characterizing almost finiteness of the coarse groupoid in terms of a new coarsely invariant property for metric spaces, which might be of independent interest in coarse geometry. As a consequence, we are able to construct new examples of almost finite principal groupoids lacking other desirable properties, such as amenability or even a-T-menability. This behaviour is in stark contrast to the case of principal transformation groupoids associated to group actions.
We show that every free continuous action of a countably infinite elementary amenable group on a finite-dimensional compact metrizable space is almost finite. As a consequence, the crossed products of minimal such actions are $mathcal{Z}$-stable and classified by their Elliott invariant.
Given an adaptable separated graph, we construct an associated groupoid and explore its type semigroup. Specifically, we first attach to each adaptable separated graph a corresponding semigroup, which we prove is an $E^*$-unitary inverse semigroup. As a consequence, the tight groupoid of this semigroup is a Hausdorff etale groupoid. We show that this groupoid is always amenable, and that the type semigroups of groupoids obtained from adaptable separated graphs in this way include all finitely generated conical refinement monoids. The first three named authors will utilize this construction in forthcoming work to solve the Realization Problem for von Neumann regular rings, in the finitely generated case.
In this paper we show that for an almost finite minimal ample groupoid $G$, its reduced $mathrm{C}^*$-algebra $C_r^*(G)$ has real rank zero and strict comparison even though $C_r^*(G)$ may not be nuclear in general. Moreover, if we further assume $G$ being also second countable and non-elementary, then its Cuntz semigroup ${rm Cu}(C_r^*(G))$ is almost divisible and ${rm Cu}(C_r^*(G))$ and ${rm Cu}(C_r^*(G)otimes mathcal{Z})$ are canonically order-isomorphic, where $mathcal{Z}$ denotes the Jiang-Su algebra.
We investigate the homology of ample Hausdorff groupoids. We establish that a number of notions of equivalence of groupoids appearing in the literature coincide for ample Hausdorff groupoids, and deduce that they all preserve groupoid homology. We compute the homology of a Deaconu{Renault groupoid associated to k pairwisecommuting local homeomorphisms of a zero-dimensional space, and show that Matuis HK conjecture holds for such a groupoid when k is one or two. We specialise to k-graph groupoids, and show that their homology can be computed in terms of the adjacency matrices, using a chain complex developed by Evans. We show that Matuis HK conjecture holds for the groupoids of single vertex k-graphs which satisfy a mild joint-coprimality condition. We also prove that there is a natural homomorphism from the categorical homology of a k-graph to the homology of its groupoid.
Working within the framework of free actions of countable amenable groups on compact metrizable spaces, we show that the small boundary property is equivalent to a density version of almost finiteness, which we call almost finiteness in measure, and that under this hypothesis the properties of almost finiteness, comparison, and $m$-comparison for some nonnegative integer $m$ are all equivalent. The proof combines an Ornstein-Weiss tiling argument with the use of zero-dimensional extensions which are measure-isomorphic over singleton fibres. These kinds of extensions are also employed to show that if every free action of a given group on a zero-dimensional space is almost finite then so are all free actions of the group on spaces with finite covering dimension. Combined with recent results of Downarowicz-Zhang and Conley-Jackson-Marks-Seward-Tucker-Drob on dynamical tilings and of Castillejos-Evington-Tikuisis-White-Winter on the Toms-Winter conjecture, this implies that crossed product C$^*$-algebras arising from free minimal actions of groups with local subexponential growth on finite-dimensional spaces are classifiable in the sense of Elliotts program. We show furthermore that, for free actions of countably infinite amenable groups, the small boundary property implies that the crossed product has uniform property $Gamma$, which under minimality confirms the Toms-Winter conjecture for such crossed products by the aforementioned work of Castillejos-Evington-Tikuisis-White-Winter.