We provide groupoid models for Toeplitz and Cuntz-Krieger algebras of topological higher-rank graphs. Extending the groupoid models used in the theory of graph algebras and topological dynamical systems to our setting, we prove results on essential freeness and amenability of the groupoids which capture the existing theory, and extend results involving group crossed products of graph algebras.
We provide inverse semigroup and groupoid models for the Toeplitz and Cuntz-Krieger algebras of finitely aligned higher-rank graphs. Using these models, we prove a uniqueness theorem for the Cuntz-Krieger algebra.
This dissertation concerns the classification of groupoid and higher-rank graph C*-algebras and has two main components. Firstly, for a groupoid it is shown that the notions of strength of convergence in the orbit space and measure-theoretic accumulation along the orbits are equivalent ways of realising multiplicity numbers associated to a sequence of induced representations of the groupoid C*-algebra. Examples of directed graphs are given, showing how to determine the multiplicity numbers associated to various sequences of induced representations of the directed graph C*-algebras. The second …
The second author showed how Katsura's construction of the C*-algebra of a topological graph E may be twisted by a Hermitian line bundle L over the edge space E. The correspondence defining the algebra is obtained as the completion of the compactly supported continuous sections of L. We prove that the resulting C*-algebra is isomorphic to a twisted groupoid C*-algebra where the underlying groupoid is the Renault-Deaconu groupoid of the topological graph with Yeend's boundary path space as its unit space.
We consider the amenability of groupoids $G$ equipped with a group valued cocycle $c:G\to Q$ with amenable kernel $c^{-1}(e)$. We prove a general result which implies, in particular, that $G$ is amenable whenever $Q$ is amenable and if there is countable set $D\subset G$ such that $c(G^{u})D=Q$ for all $u\in G^{(0)}$. We show that our result is applicable to groupoids arising from partial semigroup actions. We explore these actions in detail and show that these groupoids include those arising from directed graphs, higher rank graphs and even topological higher rank graphs. We believe our metho…
Let $(G,α)$ and $(H,β)$ be locally compact Hausdorff groupoids with Haar systems, and let $(X,λ)$ be a topological correspondence from $(G,α)$ to $(H,β)$ which induce the ${C}^*$-correspondence $\mathcal{H}(X)\colon {C}^*(G,α)\to {C}^*(H,β)$. We give sufficient topological conditions which when satisfied the ${C}^*$-correspondence $\mathcal{H}(X)$ is proper, that is, the ${C}^*$-algebra ${C}^*(G,α)$ acts on the Hilbert ${C}^*(H,β)$-module ${H}(X)$ via the comapct operators. Thus a proper topological correspondence produces an element in ${KK}({C}^*(G,α),{C}^*(H,β))$.
In this paper, we consider topological semigroup actions on compact topological spaces. Under mild assumptions on the semigroup and the action, we construct a semi-direct product groupoid with a Haar system. We also show that it is equivalent to a transformation groupoid. We apply this construction to the Wiener-Hopf $C^{*}$-algebras.
We prove two isomorphism-invariance theorems for groupoids associated with ultragraphs. These theorems characterize ultragraphs for which the topological full group of an associated groupoid is an isomorphism invariant. These results extend those of graph groupoids to ultragraph groupoids while providing another concrete example where the topological full group of a groupoid is a complete isomorphism invariant.
Suppose $G$ is a second countable, locally compact, Hausdorff groupoid with a fixed left Haar system. Let $\go/G$ denote the orbit space of $G$ and $\cs(G)$ denote the groupoid $C^*$-algebra. Suppose that $G$ is a principal groupoid. We show that $C^*(G)$ is CCR if and only if $\go/G$ is a $T_1$ topological space, and that $C^*(G)$ is GCR if and only if $\go/G$ is a $T_0$ topological space. We also show that $C^*(G)$ is a Fell Algebra if and only if $G$ is a Cartan groupoid.
The author provides some definitions and structural results about Fell bundles, defined as C^*-algebra bundles over topological groupoids. Such bundles are a mutual generalization of semi-direct products of groups with C^*-algebras and C^*-algebra bundles over topological spaces. In particular a Morita equivalence theorem with semi-direct products is established.
In this paper, we provide two types of boundary path groupoids from a generalized Boolean dynamical system $(\mathcal{B},\mathcal{L}, θ, \mathcal{I}_α)$. For the first groupoid, we associate an inverse semigroup to a generalized Boolean dynamical system and use the tight spectrum $\mathsf{T}$ as the unit space of a groupoid $Γ(\mathcal{B},\mathcal{L}, θ, \mathcal{I}_α)$ that is isomorphic to the tight groupoid $\mathcal{G}_{tight}$. The other one is defined as the Renault-Deaconu groupoid $Γ(\partial E, σ_E)$ arising from a topological correspondence $E$ associated with a generalized Boolean d…
Suppose $G$ is a second countable, locally compact, Hausdorff groupoid with a fixed left Haar system. Let $\go/G$ denote the orbit space of $G$ and $C^*(G)$ denote the groupoid $C^*$-algebra. Suppose that the isotropy groups of $G$ are amenable. We show that $C^*(G)$ is CCR if and only if $\go/G$ is a $T_1$ topological space and all of the isotropy groups are CCR. We also show that $C^*(G)$ is GCR if and only if $\go/G$ is a $T_0$ topological space and all of the isotropy groups are GCR.
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 define an analytical index map and a topological index map for conical pseudomanifolds. These constructions generalize the analogous constructions used by Atiyah and Singer in the proof of their topological index theorem for a smooth, compact manifold $M$. A main ingredient is a non-commutative algebra that plays in our setting the role of $C_0(T^*M)$. We prove a Thom isomorphism between non-commutative algebras which gives a new example of wrong way functoriality in $K$-theory. We then give a new proof of the Atiyah-Singer index theorem using deformation groupoids and show how it generaliz…
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 define and study fibrations of topological groupoids. We interpret a groupoid fibration L->H with fibre G as an action of H on G by groupoid equivalences. Our main result shows that a crossed product for an action of L is isomorphic to an iterated crossed product first by G and then by H. Here groupoid action means a Fell bundle over the groupoid, and crossed product means the section C*-algebra.
Renault proved in 2008 that if $G$ is a topologically principal groupoid, then $C_0(G^{(0)})$ is a Cartan subalgebra in $C^*_r(G, Σ)$ for any twist $Σ$ over $G$. However, there are many groupoids which are not topologically principal, yet their (twisted) $C^*$-algebras admit Cartan subalgebras. This paper gives a dynamical description of a class of such Cartan subalgebras, by identifying conditions on a 2-cocycle $c$ on $G$ and a subgroupoid $S \subseteq G$ under which $C^*_r(S, c)$ is Cartan in $C^*_r(G, c)$. When $G$ is a discrete group, we also describe the Weyl groupoid and twist associate…
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…
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…
We extend Matui's notion of almost finiteness to general etale groupoids and show that the reduced groupoid C*-algebras of minimal almost finite groupoids have stable rank one. The proof follows a new strategy, which can be regarded as a local version of the large subalgebra argument. The following three are the main consequences of our result. (i) For any group of (local) subexponential growth and for any its minimal action admitting a totally disconnected free factor, the crossed product has stable rank one. (ii) Any countable amenable group admits a minimal action on the Cantor set all whos…
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.
Let $(G,α)$ and $(H,β)$ be locally compact groupoids with Haar systems. We define a topological correspondence from $(G,α)$ to $(H,β)$ to be a $G$-$H$-bispace $X$ on which $H$ acts properly and $X$ carries a continuous family of measures which is $H$-invariant and each measure in the family is $G$-quasi invariant. We show that a topological correspondence produces a $C^*$-correspondence from $C^*(G,α)$ to $C^*(H,β)$. We give many examples of topological correspondences.
The bulk-boundary and a new bulk-defect correspondence principles are formulated using groupoid algebras. The new strategy relies on the observation that the groupoids of lattices with boundaries or defects display spaces of units with invariant accumulation manifolds, hence they can be naturally split into disjoint unions of open and closed invariant sub-sets. This leads to standard exact sequences of groupoid $C^\ast$-algebras that can be used to associate a Kasparov element to a lattice defect and to formulate an extremely general bulk-defect correspondence principle. As an application, we …
We introduce a notion of topological property (T) for étale groupoids. This simultaneously generalizes Kazhdan's property (T) for groups and geometric property (T) for coarse spaces. One main goal is to use this property (T) to prove the existence of so-called Kazhdan projections in both maximal and reduced groupoid $C^*$-algebras, and explore applications of this to exactness, K-exactness, and the Baum-Connes conjecture. We also study various examples, and discuss the relationship with other notions of property (T) for groupoids and with a-T-menability.
This paper studies injective envelopes of groupoid dynamical systems and the corresponding boundaries. Analogue to the group case, we associate a bundle of compact Hausdorff spaces to any (discrete) groupoid (the Hamana boundary of the groupoid). We study bundles of compact topological spaces equipped with an action of a groupoid. We show that any groupoid has a minimal boundary (the Furstenberg boundary of the groupoid). We prove that the Hamana and Furstenberg boundaries are the same, for (discrete) groupoids. We find the relation between the reduced crossed product of the $\G$-injective env…
We consider the boundary-path groupoids of topological higher-rank graphs. We show that the all such groupoids are topologically amenable. We deduce that the C*-algebras of topological higher-rank graphs are nuclear and prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem. We then provide a necessary and sufficient condition for simplicity of a topological higher-rank graph C*-algebra, and a condition under which it is also purely infinite.
In this paper, two sufficient and necessary conditions are given. The first one characterizes when the boundary path groupoid of a topological graph without singular vertices has closed interior of its isotropy group bundle, and the second one characterizes when the path groupoid of a row-finite k-graph without sources has closed interior of its isotropy group bundle. It follows that the associated topological graph algebra and the associated k-graph C*-algebra have Cartan subalgebras due to a result of Brown-Nagy-Reznikoff-Sims-Williams.
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.
It is proven that Matui's AH~conjecture is true for Katsura--Exel--Pardo groupoids $\mathcal{G}_{A,B}$ associated to integral matrices $A$ and $B$. This conjecture relates the topological full group of an ample groupoid with the homology groups of the groupoid. We also give a criterion under which the topological full group $[[\mathcal{G}_{A,B}]]$ is finitely generated.
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 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.
Given a $k$-graph $Λ$ we construct a Markov space $M_Λ$, and a collection of $k$ pairwise commuting cellular automata on $M_Λ$, providing for a factorization of Markov's shift. Iterating these maps we obtain an action of ${\mathbb N}^k$ on $M_Λ$ which is then used to form a semidirect product groupoid $M_Λ\rtimes {\mathbb N}^k$. This groupoid turns out to be identical to the path groupoid constructed by Kumjian and Pask, and hence its C*-algebra is isomorphic to the higher rank graph C*-algebra of $Λ$.
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…
Given a partial action $α$ of a groupoid $G$ on a ring $R$, we study the associated partial skew groupoid ring $R \rtimes_α G$, which carries a natural $G$-grading. We show that there is a one-to-one correspondence between the $G$-invariant ideals of $R$ and the graded ideals of the $G$-graded ring $R \rtimes_αG.$ We provide sufficient conditions for primeness, and necessary and sufficient conditions for simplicity of $R \rtimes_αG.$ We show that every ideal of $R \rtimes_αG$ is graded if, and only if, $α$ has the residual intersection property. Furthermore, if $α$ is induced by a topological …
k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop a theory of the fundamental groupoid of a k-graph, and relate it to the fundamental groupoid of an associated graph called the 1-skeleton. We also explore the failure, in general, of k-graphs to faithfully embed into their fundamental groupoids.
We define a semidirect product groupoid of a system of partially defined local homeomorphisms $T=(T_{1},..., T_{r})$. We prove that this construction gives rise to amenable groupoids. The associated algebra is a Cuntz-like algebra. We use this construction for higher rank graph algebras in order to give a topological interpretation for the duality in $E$-theory between $C^{*}(Λ)$ and $C^{*}(Λ^{op})$.
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.
Given a higher-rank graph $Λ$, we investigate the relationship between the cohomology of $Λ$ and the cohomology of the associated groupoid $G_Λ$. We define an exact functor between the abelian category of right modules over a higher-rank graph $Λ$ and the category of $G_Λ$-sheaves, where $G_Λ$ is the path groupoid of $Λ$. We use this functor to construct compatible homomorphisms from both the cohomology of $Λ$ with coefficients in a right $Λ$-module, and the continuous cocycle cohomology of $G_Λ$ with values in the corresponding $G_Λ$-sheaf, into the sheaf cohomology of $G_Λ$.
We initiate the study of C*-algebras and groupoids arising from left regular representations of Garside categories, a notion which originated from the study of Braid groups. Every higher rank graph is a Garside category in a natural way. We develop a general classification result for closed invariant subspaces of our groupoids as well as criteria for topological freeness and local contractiveness, properties which are relevant for the structure of the corresponding C*-algebras. Our results provide a conceptual explanation for previous results on gauge-invariant ideals of higher rank graph C*-a…
