This paper investigates the $\mathrm{K}$-theory of twisted groupoid $\mathrm{C}^*$-algebras. It is shown that a homotopy of twists on an ample groupoid satisfying the Baum-Connes conjecture with coefficients gives rise to an isomorphism between the $\mathrm{K}$-theory groups of the respective twisted groupoid $\mathrm{C}^*$-algebras. The results are also interpreted in an inverse semigroup setting and applied to generalized Renault-Deaconu groupoids and $P$-graph algebras.
We study a Going-Down (or restriction) principle for ample groupoids and its applications. The Going-Down principle for locally compact groups was developed by Chabert, Echterhoff and Oyono-Oyono and allows to study certain functors, that arise in the context of the topological K-theory of a locally compact group, in terms of their restrictions to compact subgroups. We extend this principle to the class of ample Hausdorff groupoids using Le Gall's groupoid equivariant version of Kasparov's bivariant KK-theory. Moreover, we provide an application to the Baum-Connes conjecture for ample groupoid…
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 Matui's 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 co…
Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C*-algebra, provided the groupoid has torsion-free stabilizers and satisfies a strong form of the Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture developed by Meyer and Nest. We also present a few applications to topological dynamics and discuss the HK conjecture of Matui.
In this note we show that every Kirchberg algebra in the UCT class is the $C^{\ast}$-algebra of a Hausdorff, ample, amenable and locally contracting groupoid. The non-unital case follows from Spielberg's graph-based models for Kirchberg algebras. Our contribution is the unital case and our proof builds on Spielberg's construction.
In this paper, we study the ideal structure of reduced $C^*$-algebras $C^*_r(G)$ associated to étale groupoids $G$. In particular, we characterize when there is a one-to-one correspondence between the closed, two-sided ideals in $C_r^*(G)$ and the open invariant subsets of the unit space $G^{(0)}$ of $G$. As a consequence, we show that if $G$ is an inner exact, essentially principal, ample groupoid, then $C_r^*(G)$ is (strongly) purely infinite if and only if every non-zero projection in $C_0(G^{(0)})$ is properly infinite in $C_r^*(G)$. We also establish a sufficient condition on the ample gr…
We give algebraic characterizations of the type I and CCR properties for locally compact second countable, ample Hausdorff groupoids in terms of subquotients of their Boolean inverse semigroups of compact open bisections. It yields in turn algebraic characterizations of both properties for inverse semigroups in terms of subquotients of their booleanizations.
We give an example of a locally compact effective Hausdorff, minimal ample groupoid such that its rational homology differs from the $K$-theory of its reduced groupoid $C^*$-algebra. Moreover, we prove that such example satisfies Matui's AH-conjecture.
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 fini…
We study the topological full group of ample groupoids over locally compact spaces. We extend Matui's definition of the topological full group from the compact, to the locally compact case. We provide two general classes of groupoids for which the topological full group, as an abstract group, is a complete isomorphism invariant. Hereby extending Matui's Isomorphism Theorem. As an application, we study graph groupoids and their topological full groups, and obtain sharper results for this class. The machinery developed in this process is used to prove an embedding theorem for ample groupoids, ak…
Let $\mathcal{G}$ be a locally compact $σ$-compact Hausdorff ample groupoid on a compact space. In this paper, we further examine the (ubiquitous) fiberwise amenability introduced by the author and Jianchao Wu for $\mathcal{G}$. We define the corresponding concepts of Følner sequences and Banach densities for $\mathcal{G}$, based on which, we establish a topological groupoid version of the Ornstein-Weiss quasi-tilling theorem. This leads to the notion of almost finiteness in measure for ample groupoids as a weaker version of Matui's almost finiteness. As applications, we first show that $C^*_r…
We study the connection between the Baum-Connes conjecture for an ample groupoid $G$ with coefficient $A$ and the Künneth formula for the K-theory of tensor products by the crossed product $A\rtimes_r G$. To do so we develop the machinery of Going-Down functors for ample groupoids. As an application we prove that both the uniform Roe algebra of a coarse space which uniformly embeds into a Hilbert space and the maximal Roe algebra of a space admitting a fibred coarse embedding into a Hilbert space satisfy the Künneth formula. We also provide a stability result for the Künneth formula using cont…
Given an action $φ$ of of inverse semigroup $S$ on a ring $A$ (with domain of $φ(s)$ denoted by $D_{s^*}$) we show that if the ideals $D_e$, with $e$ an idempotent, are unital, then the skew inverse semigroup ring $A\rtimes S$ can be realized as the convolution algebra of an ample groupoid with coefficients in a sheaf of rings. Conversely, we show that the convolution algebra of an ample groupoid with coefficients in a sheaf of rings is isomorphic to a skew inverse semigroup ring of this sort. We recover known results in the literature for Steinberg algebras over a field as special cases.
Twisted étale groupoid algebras have been studied recently in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper, we show that extensions of ample groupoids correspond in a precise manner to extensions of Boolean inverse semigroups. In particular, discrete twists over ample groupoids correspond to certain abelian extensions of Boolean inverse semigroups and we show that they are classified by Lausch's second cohomology group of an inverse semigroup. The cohomology group structure corresponds to the Baer sum operation on twists…
We construct ample groupoids from certain categories of paths, and prove that their $C^*$-algebras coincide with the continued fraction AF algebras of Effros and Shen. The proof relies on recent classification results for simple nuclear $C^*$-algebras. The groupoids are not principal. This provides examples of Cartan subalgebras in the continued fraction AF algebras that are isomorphic, but not conjugate, to the standard diagonal subalgebras.
We show the reduced $C^*$-algebra of a graded ample groupoid is a strongly graded $C^*$-algebra if and only if the corresponding Steinberg algebra is a strongly graded ring. We apply this result to get a theorem about the Leavitt path algebra and $C^*$-algebra of an arbitrary graph.
We study when the twisted groupoid Banach $*$-algebra $L^1(\mathcal{G},σ)$ is Hermitian. In particular, we prove that Hermitian groupoids satisfy the weak containment property. Furthermore, we find that for $L^1(\mathcal{G},σ)$ to be Hermitian it is sufficient that $L^1 (\mathcal{G}_σ)$ is Hermitian. Moreover, if $\mathcal{G}$ is ample, we find necessary conditions for $L^1(\mathcal{G},σ)$ to be Hermitian in terms of the fibers $\mathcal{G}^x_x$.
Work of Jean Renault shows that, for topologically principal étale groupoids, a diagonal-preserving isomorphism of reduced $C^*$-algebras yields an isomorphism of groupoids. Several authors have proved analogues of this result for ample groupoid algebras over integral domains under suitable hypotheses. In this paper, we extend the known results by allowing more general coefficient rings and by weakening the hypotheses on the groupoids. Our approach has the additional feature that we only need to impose conditions on one of the two groupoids. Applications are given to Leavitt path algebras.
We construct the full and reduced C*-algebras of an ample groupoid from its complex Steinberg algebra. We also show that our construction gives the same C*-algebras as the standard constructions. In the last section, we consider an arbitrary locally compact, second-countable, étale groupoid, possibly non-Hausdorff. Using the techniques developed for Steinberg algebras, we show that every $*$-homomorphism from Connes' space of functions to $B(\mathcal{H})$ is automatically I-norm bounded. Previously, this was only known for Hausdorff groupoids.
We unify various étale groupoid reconstruction theorems such as: 1) Kumjian-Renault's reconstruction from a groupoid C*-algebra. 2) Exel's reconstruction from an ample inverse semigroup. 3) Steinberg's reconstruction from a groupoid ring. 4) Choi-Gardella-Thiel's reconstruction from a groupoid L^p-algebra. We do this by working with certain bumpy semigroups S of functions defined on an étale groupoid G. The semigroup structure of S together with the diagonal subsemigroup D then yields a natural domination relation < on S. The groupoid of <-ultrafilters is then isomorphic to the original groupo…
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 prove a uniqueness theorem and give a characterization of simplicity for Steinberg algebras associated to non-Hausdorff ample groupoids. We also prove a uniqueness theorem and give a characterization of simplicity for the C*-algebra associated to non-Hausdorff étale groupoids. Then we show how our results apply in the setting of tight representations of inverse semigroups, groups acting on graphs, and self-similar actions. In particular, we show that C*-algebra and the complex Steinberg algebra of the self-similar action of the Grigorchuk group are simple but the Steinberg algebra with coef…
We study strongly graded groupoids, which are topological groupoids $\mathcal G$ equipped with a continuous, surjective functor $κ: \mathcal G \to Γ$, to a discrete group $Γ$, such that $κ^{-1}(γ)κ^{-1}(δ) = κ^{-1}(γδ)$, for all $γ, δ\in Γ$. We introduce the category of graded $\mathcal G$-sheaves, and prove an analogue of Dade's Theorem: $\mathcal G$ is strongly graded if and only if every graded $\mathcal G$-sheaf is induced by a $\mathcal G_ε$-sheaf. The Steinberg algebra of a graded ample groupoid is graded, and we prove that the algebra is strongly graded if and only if the groupoid is. A…
Given an ample groupoid $G$ with compact unit space, we study the canonical representation of the topological full group $[[G]]$ in the full groupoid $C^*$-algebra $C^*(G)$. In particular, we show that the image of this representation generates $C^*(G)$ if and only if $C^*(G)$ admits no tracial state. The techniques that we use include the notion of groups covering groupoids. As an application, we provide sufficient conditions for $C^*$-simplicity of certain topological full groups, including those associated with topologically free and minimal actions of non-amenable and countable groups on t…
We extend to arbitrary commutative base rings a recent result of Demeneghi that every ideal of an ample groupoid algebra over a field is an intersection of kernels of induced representations from isotropy groups, with a much shorter proof, by using the author's Disintegration Theorem for groupoid representations. We also prove that every primitive ideal is the kernel of an induced representation from an isotropy group; however, we are unable to show, in general, that it is the kernel of an irreducible induced representation. If each isotropy group is finite (e.g., if the groupoid is principal)…
A simple Steinberg algebra associated to an ample Hausdorff groupoid $G$ is algebraically purely infinite if and only if the characteristic functions of compact open subsets of the unit space are infinite idempotents. If a simple Steinberg algebra is algebraically purely infinite, then the reduced groupoid $C^*$-algebra $C^*_r(G)$ is simple and purely infinite. But the Steinberg algebra seems to small for the converse to hold. For this purpose we introduce an intermediate $*$-algebra $B(G)$ constructed using corners $1_U C^*_r(G) 1_U$ for all compact open subsets $U$ of the unit space of the g…
