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 show that a (not necessarily Hausdorff) etale, second countable groupoid G with totally disconnected unit space may be reconstructed solely from the algebraic structure of its ample semigroup S. We also show that C*(G) possesses a universal property related to tight representations of S.
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.
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…
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 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…
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…
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 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…
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.
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…
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 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 study the finite versus infinite nature of C*-algebras arising from etale groupoids. For an ample groupoid G, we relate infiniteness of the reduced C*-algebra of G to notions of paradoxicality of a K-theoretic flavor. We construct a pre-ordered abelian monoid S(G) which generalizes the type semigroup introduced by Rørdam and Sierakowski for totally disconnected discrete transformation groups. This monoid reflects the finite/infinite nature of the reduced groupoid C*-algebra of G. If G is ample, minimal, and topologically principal, and S(G) is almost unperforated we obtain a dichotomy betwe…
Given an ample, Hausdorff groupoid $\mathcal{G}$, and a unital commutative ring $R$, we consider the Steinberg algebra $A_R(\mathcal {G})$. First we prove a uniqueness theorem for this algebra and then, when $\mathcal{G}$ is graded by a cocycle, we study graded ideals in $A_R(\mathcal {G})$. Applications are given for two classes of ample groupoids, namely those coming from actions of groups on graphs, and also to groupoids defined in terms of Boolean dynamical systems.
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 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 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…
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.
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 show how to reconstruct a graded ample Hausdorff groupoid with topologically principal neutrally graded component from the ring structure of its graded Steinberg algebra over any commutative integral domain with 1, together with the embedding of the canonical abelian subring of functions supported on the unit space. We deduce that diagonal-preserving ring isomorphism of Leavitt path algebras implies $C^*$-isomorphism of $C^*$-algebras for graphs $E$ and $F$ in which every cycle has an exit.
We unify the Kumjian-Renault Weyl groupoid construction with the Lawson-Lenz version of Exel's tight groupoid construction. We do this by utilising only a weak algebraic fragment of the C*-algebra structure, namely its *-semigroup reduct. Fundamental properties like local compactness are also shown to remain valid in general classes of *-rings.
This is Part II in our multi-part series of papers developing the theory of a subclass of locally compact quantum groupoids ("quantum groupoids of separable type"), based on the purely algebraic notion of weak multiplier Hopf algebras. The definition was given in Part I. The existence of a certain canonical idempotent element $E$ plays a central role. In this Part II, we develop the main theory, discussing the structure of our quantum groupoids. We will construct from the defining axioms the right/left regular representations and the antipode map.
In this series of papers, we develop the theory of a class of locally compact quantum groupoids, which is motivated by the purely algebraic notion of weak multiplier Hopf algebras. In this Part I, we provide motivation and formulate the definition in the C*-algebra framework. Existence of a certain canonical idempotent element is required and it plays a fundamental role, including the establishment of the coassociativity of the comultiplication. This class contains locally compact quantum groups as a subclass.
We establish the equivalence of three versions of a finite dimensional quantum groupoid: a generalized Kac algebra introduced by T. Yamanouchi, a weak $C^*$-Hopf algebra introduced by G. Bohm, F. Nill and K. Szlachanyi (with an involutive antipode), and a Kac bimodule -- an algebraic version of a Hopf bimodule, the notion introduced by J.-M. Vallin. We also study the structure and construct examples of finite dimensional quantum groupoids.
We treat spectral problems by twisted groupoid methods. To Hausdorff locally compact groupoids endowed with a continuous $2$-cocycle one associates the reduced twisted groupoid $C^*$-algebra. Elements (or multipliers) of this algebra admit natural Hilbert space representations. We show the relevance of the orbit closure structure of the unit space of the groupoid in dealing with spectra, norms, numerical ranges and $ε$-pseudospectra of the resulting operators. As an example, we treat a class of pseudo-differential operators introduced recently, associated to group actions. We also prove a Deco…
A fundamental feature of quantum groups is that many come in pairs of mutually dual objects, like finite-dimensional Hopf algebras and their duals, or quantisations of function algebras and of universal enveloping algebras of Poisson-Lie groups. The same phenomenon was studied for quantum groupoids in various settings. In the purely algebraic setup, the construction of a dual object was given by Schauenburg and by Kadison and Szlachányi, but required the quantum groupoid to be finite with respect to the base. A sophisticated duality for measured quantum groupoids was developed by Enock, Lesieu…
Using an algebraic point of view we present an introduction to the groupoid theory, that is, we give fundamental properties of groupoids as, uniqueness of inverses and properties of the identities, and study subgroupoids, wide subgroupoids and normal subgroupoids. We also present the isomorphism theorems for groupoids and as an applications we obtain the corresponding version of Zassenhaus Lemma and Jordan-Hölder Theorem for groupoids. Finally inspired by the Ehresmann-Schein-Nambooripad Theorem we improve a result of R. Exel concerning a one to one correspondence between partial actions of gr…
In this article we will study semigroupoids, and more specifically inverse semigroupoids. These are a common generalization to both inverse semigroups and groupoids, and provide a natural language on which several types of dynamical structures may be described. Moreover, this theory allows us to precisely compare and simultaneously generalize aspects of both the theories of inverse semigroups and groupoids. We begin by comparing and settling the differences between two notions of semigroupoids which appear in the literature (one by Tilson and another by Exel). We specialize this study to inver…
This is a survey of the relationship between C*-algebraic deformation quantization and the tangent groupoid in noncommutative geometry, emphasizing the role of index theory. We first explain how C*-algebraic versions of deformation quantization are related to the bivariant E-theory of Connes and Higson. With this background, we review how Weyl--Moyal quantization may be described using the tangent groupoid. Subsequently, we explain how the Baum--Connes analytic assembly map in E-theory may be seen as an equivariant version of Weyl--Moyal quantization. Finally, we expose Connes's tangent groupo…
In the framework of C*-algebraic deformation quantization we propose a notion of deformation groupoid which could apply to known examples e.g. Connes' tangent groupoid of a manifold, its generalisation by Landsman and Ramazan, Rieffel's noncommutative torus, and even Landi's noncommutative 4-sphere. We construct such groupoid for a wide class of T^n-spaces, that generalizes the one given for C^n by Bellissard and Vittot. In particular, using the geometric properties of the moment map discovered in the '80s by Atiyah, Delzant, Guillemin and Sternberg, it provides a \cstar-algebraic deformation …
In this work we present algebraic conditions on an inverse semigroup S (with zero) which imply that its associated tight groupoid G_{tight)(S) is: Hausdorff, essentially principal, minimal and contracting, respectively. In some cases these conditions are in fact necessary and sufficient.
This article extends the main results of the publication arXiv:2001.01312 to the case of a twisted groupoid. More precisely, it gives a decomposition of the C*-algebra of a twisted locally compact groupoid with Haar system in presence of a normal subgroupoid. When the normal subgroupoid and the twist over it are abelian, one obtains another twisted groupoid C*-algebra. This is applied to C*-algebraic deformation quantization and to multiplier representations of locally compact abelian groups.