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 groupoid G.
We introduce the notion of wide representation of an inverse semigroup and prove that with a suitably defined topology there is a space of germs of such a representation which has the structure of an etale groupoid. This gives an elegant description of Paterson's universal groupoid and of the translation groupoid of Skandalis, Tu, and Yu. In addition we characterize the inverse semigroups that arise from groupoids, leading to a precise bijection between the class of etale groupoids and the class of complete and infinitely distributive inverse monoids equipped with suitable representations, and…
We give a concise introduction to (discrete) algebras arising from étale groupoids, (aka Steinberg algebras) and describe their close relationship with groupoid C*-algebras. Their connection to partial group rings via inverse semigroups also explored.
In this paper we give some sufficient and some necessary conditions for an étale groupoid algebra to be a prime ring. As an application we recover the known primeness results for inverse semigroup algebras and Leavitt path algebras. It turns out that primeness of the algebra is connected with the dynamical property of topological transitivity of the groupoid. We obtain analogous results for semiprimeness.
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.
In this paper, we introduce quotients of étale groupoids. Using the notion of quotients, we describe the abelianizations of groupoid C*-algebras. As another application, we obtain a simple proof that effectiveness of an étale groupoid is implied by the full uniqueness property of its groupoid C*-algebra.
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 examine a semigroup analogue of the Kumjian-Renault representation of C*-algebras with Cartan subalgebras on twisted groupoids. Specifically, we show how to represent semigroups with distinguished normal subsemigroups as `slice-sections' of groupoid bundles.
We prove that the C*-algebra of a second-countable, étale, amenable groupoid is simple if and only if the groupoid is topologically principal and minimal. We also show that if G has totally disconnected unit space, then the associated complex *-algebra introduced by Steinberg is simple if and only if the interior of the isotropy subgroupoid of G is equal to the unit space and G is minimal.
We give a definition of amenability at infinity for a locally compact, $σ$-compact and Hausdorff etale groupoid and we study in some case the exactness of the reduced $C^*$-algebra of a such groupoid.
Two conjectures about homology groups, K-groups and topological full groups of minimal etale groupoids on Cantor sets are formulated. We verify these conjectures for many examples of etale groupoids including products of etale groupoids arising from one-sided shifts of finite type. Furthermore, we completely determine when these product groupoids are mutually isomorphic. Also, the abelianization of their topological full groups are computed. They are viewed as generalizations of the higher dimensional Thompson groups.
In this paper, we introduce properties including groupoid comparison, pure infiniteness and paradoxical comparison as well as a new algebraic tool called groupoid semigroup for locally compact Hausdorff étale groupoids. We show these new tools help establishing pure infiniteness of reduced groupoid $C^*$-algebras. As an application, we show a dichotomy of stably finiteness against pure infiniteness for reduced groupoid $C^*$-algebras arising from locally compact Hausdorff étale minimal topological principal groupoids. This generalizes the dichotomy obtained by Bönicke-Li and Rainone-Sims. We a…
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.
We generalise a number of classical results from the theory of KMS states to KMS weights in the setting of $C^{*}$-dynamical systems arising from a continuous groupoid homomorphism $c:\mathcal{G} \to \mathbb{R}$ on a locally compact second countable Hausdorff étale groupoid $\mathcal{G}$. In particular, we generalise Neshveyev's Theorem to KMS weights.
This paper studies simplicity, primitivity and semiprimitivity of algebras associated to étale groupoids. Applications to inverse semigroup algebras are presented. The results also recover the semiprimitivity of Leavitt path algebras and can be used to recover the known primitivity criterion for Leavitt path algebras.
Consider the Deaconu-Renault groupoid of an action of a finitely generated free abelian monoid by local homeomorphisms of a locally compact Hausdorff space. We catalogue the primitive ideals of the associated groupoid C*-algebra. For a special class of actions we describe the Jacobson topology.
In this paper, we show that if E is a Fell bundle over an amenable étale locally compact Hausdorff groupoid such that every fiber on the unit space is nuclear, then $C?^*r(E)$ is also nuclear. In order to show this result, we introduce (minimal) tensor products of Fell bundles with fixed $C^*$-algebras.
Given a saturated Fell bundle A over an inverse semigroup S which is semi-abelian in the sense that the fibers over the idempotents of S are commutative, we construct a twisted etale groupoid L such that A can be recovered from L in a canonical way. As an application we recover most of Renault's recent result on the classification of Cartan subalgebras of C*-algebras through twisted etale groupoids.
We give a general method for computing the cyclic cohomology of crossed products by etale groupoids, extending the Feigin-Tsygan-Nistor spectral sequences. In particular we extend the computations performed by Brylinski, Burghelea,Connes and Nistor for the convolution algebra -of compactly supported smooth functions- of an etale groupoid, removing the Hausdorffness assumption and including the computation of the hyperbolic components. Examples like group actions on manifolds and foliations are considered.
The author has previously associated to each commutative ring with unit $\Bbbk$ and étale groupoid $\mathscr G$ with locally compact, Hausdorff, totally disconnected unit space a $\Bbbk$-algebra $\Bbbk\mathscr G$. The algebra $\Bbbk\mathscr G$ need not be unital, but it always has local units. The class of groupoid algebras includes group algebras, inverse semigroup algebras and Leavitt path algebras. In this paper we show that the category of unitary $\Bbbk\mathscr G$-modules is equivalent to the category of sheaves of $\Bbbk$-modules over $\mathscr G$. As a consequence we obtain a new proof …
We introduce a class of locally compact Hausdorff groupoids and show how to associate C*-algebras to them in a way which generalizes the reduced C*-algebra of an 'etale groupoid. Focusing on criteria for simplicity and existence of Cartan subalgebras, we obtain results which both generalize and improve on the corresponding results from the 'etale case. In the second part we apply the results to dynamical systems and subshifts.
For a given inverse semigroup, one can associate an étale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated étale groupoids. In this paper, we focus on congruences of inverse semigroups, which is a fundamental concept to consider quotients of inverse semigroup. We prove that a congruence of an inverse semigroup induces a closed invariant set and a normal subgroupoid of the universal groupoid. Then we show that the universal groupoid associated to a quotient inverse semigroup is described by the restriction and quo…
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)…
In this paper, we prove that the algebra of an étale groupoid with totally disconnected unit space has a simple algebra over a field if and only if the groupoid is minimal and effective and the only function of the algebra that vanishes on every open subset is the null function. Previous work on the subject required the groupoid to be also topologically principal in the non-Hausdorff case, but we do not. Furthermore, we provide the first examples of minimal and effective but not topologically principal étale groupoids with totally disconnected unit spaces. Our examples come from self-similar g…
This is a survey of the recent development of the study of topological full groups of etale groupoids on the Cantor set. Etale groupoids arise from dynamical systems, e.g. actions of countable discrete groups, equivalence relations. Minimal Z-actions, minimal Z^N-actions and one-sided shifts of finite type are basic examples. We are interested in algebraic, geometric and analytic properties of topological full groups. More concretely, we discuss simplicity of commutator subgroups, abelianization, finite generation, cohomological finiteness properties, amenability, the Haagerup property, and so…
Norm upper-semicontinuity of functions supported on open abelian isotropy in étale groupoids (a corrigendum to "Reconstruction of groupoids and C*-rigidity of dynamical systems," Adv. Math 390 (2021), 107923)
Given a not-necessarily Hausdorff, topologically free, twisted étale groupoid $(G, L)$, we consider its "essential groupoid C*-algebra", denoted $C^*_{ess}(G, L)$, obtained by completing $C_c(G, L)$ with the smallest among all C*-seminorms coinciding with the uniform norm on $C_c(G^0)$. The inclusion of C*-algebras $(C_0(G^0), C^*_{ess}(G, L))$ is then proven to satisfy a list of properties characterizing it as what we call a "weak Cartan inclusion". We then prove that every weak Cartan inclusion $(A, B)$, with $B$ separable, is modeled by a topologically free, twisted étale groupoid, as above…
We develop a framework suitable for obtaining simplicity criteria for reduced $C^*$-algebras of Hausdorff etale groupoids. This is based on the study of certain non-degenerate $C^*$-subalgebras (in the case of groupoids, the $C^*$-algebra of the interior isotropy bundle), for which one can control (non-unique) state extensions to the ambient C*-algebra. As an application, we give simplicity criteria for reduced crossed products of abelian $C^*$-algebras by discrete groups.
Let $G$ be a Hausdorff, étale groupoid that is minimal and topologically principal. We show that $C^*_r(G)$ is purely infinite simple if and only if all the nonzero positive elements of $C_0(G^0)$ are infinite in $C_r^*(G)$. If $G$ is a Hausdorff, ample groupoid, then we show that $C^*_r(G)$ is purely infinite simple if and only if every nonzero projection in $C_0(G^0)$ is infinite in $C^*_r(G)$. We then show how this result applies to $k$-graph $C^*$-algebras. Finally, we investigate strongly purely infinite groupoid $C^*$-algebras.
We generalize Renault's notion of measurewise amenability to actions of second countable, Hausdorff, étale groupoids on separable $C^*$-algebras and show that measurewise amenability characterizes nuclearity of the crossed product whenever the $C^*$-algebra acted on is nuclear. In the more general context of Fell bundles over second countable, Hausdorff, étale groupoids, we introduce a version of Exel's approximation property. We prove that the approximation property implies nuclearity of the cross-sectional algebra whenever the unit bundle is nuclear. For Fell bundles associated to groupoid a…
Any etale Lie groupoid G is completely determined by its associated convolution algebra C_c(G) equipped with the natural Hopf algebroid structure. We extend this result to the generalized morphisms between etale Lie groupoids: we show that any principal H-bundle P over G is uniquely determined by the associated C_c(G)-C_c(H)-bimodule C_c(P) equipped with the natural coalgebra structure. Furthermore, we prove that the functor C_c gives an equivalence between the Morita category of etale Lie groupoids and the Morita category of locally grouplike Hopf algebroids.
Inspired by recent papers on twisted $K$-theory, we consider in this article the question of when a twist $\mathcal{R}$ over a locally compact Hausdorff groupoid $\mathcal{G}$ (with unit space a CW-complex) admits a twisted vector bundle, and we relate this question to the Brauer group of $\mathcal{G}$. We show that the twists which admit twisted vector bundles give rise to a subgroup of the Brauer group of $\mathcal{G}$. When $\mathcal{G}$ is an étale groupoid, we establish conditions (involving the classifying space $B\mathcal{G}$ of $\mathcal{G}$) which imply that a torsion twist $\mathcal{…
We introduce a graded homology theory for graded étale groupoids. For $\mathbb Z$-graded groupoids, we establish an exact sequence relating the graded zeroth-homology to non-graded one. Specialising to the arbitrary graph groupoids, we prove that the graded zeroth homology group with constant coefficients $\mathbb Z$ is isomorphic to the graded Grothendieck group of the associated Leavitt path algebra. To do this, we consider the diagonal algebra of the Leavitt path algebra of the covering graph of the original graph and construct the group isomorphism directly. Considering the trivial grading…
This is some lecture notes I wrote for the masterclass \emph{Rigidity of $C^*$-algebras associated to dynamics} held at the University of Copenhagen October 16-20, 2017. The notes is attempt to give an introduction to how étale groupoids can be used to obtain $C^*$-rigidity result for topological dynamical systems.
We provide three functorial extensions of the equivalence between localic etale groupoids and their quantales. The main result is a biequivalence between the bicategory of localic etale groupoids, with bi-actions as 1-cells, and a bicategory of inverse quantal frames whose 1-cells are bimodules. As a consequence, the category InvQuF of inverse quantale frames, whose morphisms are the (necessarily involutive) homomorphisms of unital quantales, is equivalent to a category of localic etale groupoids whose arrows are the algebraic morphisms in the sense of Buneci and Stachura. We also show that th…
This is the second part of our series about the Higson-Roe sequence for étale groupoids. We devote this part to the proof of the universal $K$-theory surgery exact sequence which extends the seminal results of N. Higson and J. Roe to the case of transformation groupoids. In the process, we prove the expected functoriality properties as well as the Paschke-Higson duality theorem.
We study the external and internal Zappa-Szép product of topological groupoids. We show that under natural continuity assumptions the Zappa-Szép product groupoid is étale if and only if the individual groupoids are étale. In our main result we show that the C*-algebra of a locally compact Hausdorff étale Zappa-Szép product groupoid is a C*-blend, in the sense of Exel, of the individual groupoid C*-algebras. We finish with some examples, including groupoids built from *-commuting endomorphisms, and skew product groupoids.
Institute for Advanced Study in Mathematics, Harbin Institute of Technology（哈尔滨工业大学高等研究院）；Shanghai Center for Mathematical Sciences, Fudan University（复旦大学上海数学中心）
For almost finite groupoids, we study how their homology groups reflect dynamical properties of their topological full groups. It is shown that two clopen subsets of the unit space has the same class in H_0 if and only if there exists an element in the topological full group which maps one to the other. It is also shown that a natural homomorphism, called the index map, from the topological full group to H_1 is surjective and any element of the kernel can be written as a product of four elements of finite order. In particular, the index map induces a homomorphism from H_1 to K_1 of the groupoi…
We introduce the dual Roe algebras for proper étale groupoid actions and deduce the expected Higson-Roe short exact sequence. When the action is cocompact, we show that the Roe $C^*$-ideal of locally compact operators is Morita equivalent to the reduced $C^*$-algebra of our groupoid, and we further identify the boundary map of the associated periodic six-term exact sequence with the Baum-Connes map, via a Paschke-Higson map for groupoids. For proper actions on continuous families of manifolds of bounded geometry, we associate with any $G$-equivariant Dirac-type family, a coarse index class whi…
