Given a continuous open surjective morphism $π:G\to H$ of étale groupoids with amenable kernel, we construct a Fell bundle $E$ over $H$ and prove that its C*-algebra $C^*_r(E)$ is isomorphic to $C^*_r(G)$. This is related to results of Fell concerning C*-algebraic bundles over groups. The case $H=X$, a locally compact space, was treated earlier by Ramazan. We conclude that $C^*_r(G)$ is strongly Morita equivalent to a crossed product, the C*-algebra of a Fell bundle arising from an action of the groupoid $H$ on a C*-bundle over $H^0$. We apply the theory to groupoid morphisms obtained from extensions of dynamical systems and from morphisms of directed graphs with the path lifting property. We also prove a structure theorem for abelian Fell bundles.
Given an action of a groupoid by isomorphisms on a Fell bundle (over another groupoid), we form a semidirect-product Fell bundle, and prove that its $C^{*}$-algebra is isomorphic to a crossed product.
Given a free and proper action of a groupoid on a Fell bundle (over another groupoid), we give an equivalence between the semidirect-product and the generalized-fixed-point Fell bundles, generalizing an earlier result where the action was by a group. As an application, we show that the Stabilization Theorem for Fell bundles over groupoids is essentially another form of crossed-product duality.
We establish conditions under which the universal and reduced norms coincide for a Fell bundle over a groupoid. Specifically, we prove that the full and reduced C*-algebras of any Fell bundle over a measurewise amenable groupoid coincide, and also that for a groupoid G whose orbit space is T_0, the full and reduced algebras of a Fell bundle over G coincide if the full and reduced algebras of the restriction of the bundle to each isotropy group coincide.
We define the Zappa-Szép product of a Fell bundle by a groupoid, which turns out to be a Fell bundle over the Zappa-Szép product of the underlying groupoids. Under certain assumptions, every Fell bundle over the Zappa-Szép product of groupoids arises in this manner. We then study the representation associated with the Zappa-Szép product Fell bundle and show its relation to covariant representations. Finally, we study the associated universal C*-algebra, which turns out to be a C*-blend, generalizing an earlier result about the Zappa-Szép product of groupoid C*-algebras. In the case of discrete…
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.
We investigate some consequences of a recent stabilization result of Ionescu, Kumjian, Sims, and Williams, which says that every Fell bundle $C^*$-algebra is Morita equivalent to a canonical groupoid crossed product. First we use the theorem to give conditions that guarantee the $C^*$-algebras associated to a Fell bundle are either nuclear or exact. We then show that a groupoid is exact if and only if it is "Fell exact", in the sense that any invariant ideal gives rise to a short exact sequence of reduced Fell bundle $C^*$-algebras. As an application, we show that extensions of exact groupoids…
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.
We consider fiberwise singly generated Fell-bundles over etale groupoids. Given a continuous real-valued 1-cocycle on the groupoid, there is a natural dynamics on the cross-sectional algebra of the Fell bundle. We study the Kubo-Martin-Schwinger equilibrium states for this dynamics. Following work of Neshveyev on equilibrium states on groupoid C*-algebras, we describe the equilibrium states of the cross-sectional algebra in terms of measurable fields of traces on the C*-algebras of the restrictions of the Fell bundle to the isotropy subgroups of the groupoid. As a special case, we obtain a des…
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 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…
We study the groupoid C*-algebras associated to the equivalence relation induced by a quotient map on a locally compact Hausdorff space. This C*-algebra is always a Fell algebra, and if the quotient space is Hausdorff, it is a continuous-trace algebra. We show that the C*-algebra of a locally compact, Hausdorff and principal groupoid is a Fell algebra if and only if the groupoid is one of these relations, extending a theorem of Archbold and Somerset about etale groupoids. The C*-algebras of these relations are, up to Morita equivalence, precisely the Fell algebras with trivial Dixmier-Douady i…
We define inverse semigroup actions on topological groupoids by partial equivalences. From such actions, we construct saturated Fell bundles over inverse semigroups and non-Hausdorff étale groupoids. We interpret these as actions on C*-algebras by Hilbert bimodules and describe the section algebras of these Fell bundles. Our constructions give saturated Fell bundles over non-Hausdorff étale groupoids that model actions on locally Hausdorff spaces. We show that these Fell bundles are usually not Morita equivalent to an action by automorphisms. That is, the Packer-Raeburn Stabilisation Trick doe…
We study the $C^*$-algebras associated to upper-semicontinuous Fell bundles over second-countable Hausdorff groupoids. Based on ideas going back to the Packer--Raeburn "Stabilization Trick," we construct from each such bundle a groupoid dynamical system whose associated Fell bundle is equivalent to the original bundle. The upshot is that the full and reduced $C^*$-algebras of any saturated upper-semicontinuous Fell bundle are stably isomorphic to the full and reduced crossed products of an associated dynamical system. We apply our results to describe the lattice of ideals of the $C^*$-algebra …
We construct a weak conditional expectation from the section C*-algebra of a Fell bundle over a unital inverse semigroup to its unit fibre. We use this to define the reduced C*-algebra of the Fell bundle. We study when the reduced C*-algebra for an inverse semigroup action on a groupoid by partial equivalences coincides with the reduced groupoid C*-algebra of the transformation groupoid, giving both positive results and counterexamples.
A compactification of Fell is applied to locally compact non-Hausdorff groupoids and yields locally compact Hausdorff groupoids. In the etale case, this construction provides a geometric picture for the left-regular representations introduced by Khoshkam and Skandalis.
Consider a product system over the positive cone of a quasi-lattice ordered group. We construct a Fell bundle over an associated groupoid so that the cross-sectional algebra of the bundle is isomorphic to the Nica-Toeplitz algebra of the product system. Under the additional hypothesis that the left actions in the product system are implemented by injective homomorphisms, we show that the cross-sectional algebra of the restriction of the bundle to a natural boundary subgroupoid coincides with the Cuntz-Nica-Pimsner algebra of the product system. We apply these results to improve on existing suf…
We show that if E is an equivalence of upper semicontinuous Fell bundles B and C over groupoids, then there is a linking bundle L(E) over the linking groupoid L such that the full cross-sectional algebra of L(E) contains those of B and C as complementary full corners, and likewise for reduced cross-sectional algebras. We show how our results generalise to groupoid crossed-products the fact, proved by Quigg and Spielberg, that Raeburn's symmetric imprimitivity theorem passes through the quotient map to reduced crossed products.
If $p \colon \mathcal B\to G$ is a Fell bundle over an étale groupoid, then we show that there is an norm reducing injective linear map $j \colon C^*_r(G;\mathcal B)\to Γ_{0}(G;\mathcal B)$ generalizing the well know map $j \colon C^*_{r}(G)\to C_{0}(G)$ in the case of an étale groupoid.
In this paper we suggest a definition for a C*-algebra attached to an injective morphism of some Étale groupoid. We take into account all the peculiarities of such objects and present some interesting relations with already well-known C*-algebras from the literature.
Given a Fell bundle $\mathscr C\overset{q}{\to}Ξ$ over the discrete groupoid $Ξ$, we study the symmetry of the associated Hahn algebra $\ell^{\infty,1}(Ξ\!\mid\!\mathscr C)$ in terms of the isotropy subgroups of $Ξ$. We prove that $Ξ$ is symmetric (resp. hypersymmetric) if and only if all of the isotropy subgroups are symmetric (resp. hypersymmetric). We also characterize hypersymmetry using Fell bundles with constant fibers, showing that for discrete groupoids, 'hypersymmetry' equals 'rigid symmetry'.
We construct a large class of morphisms, which we call partial morphisms, of groupoids that induce $*$-morphisms of maximal and minimal groupoid $C^*$-algebras. We show that the association of a groupoid to its maximal (minimal) groupoid $C^*$-algebra and the association of a partial morphism to its induced morphism are functors (both of which extend the Gelfand functor). We show how to geometrically visualize lots of $*$-morphisms between groupoid $C^*$-algebras. As an application, we construct a groupoid models of the entire inductive systems of the Jiang-Su algebra $\mathcal{Z}$ and the Raz…
We introduce a new notion of twisted actions of inverse semigroups and show that they correspond bijectively to certain regular Fell bundles over inverse semigroups, yielding in this way a structure classification of such bundles. These include as special cases all the stable Fell bundles. Our definition of twisted actions properly generalizes a previous one introduced by Sieben and corresponds to Busby-Smith twisted actions in the group case. As an application we describe twisted etale groupoid C*-algebras in terms of crossed products by twisted actions of inverse semigroups and show that Sie…
In the third and latest paper in this series, we recover the imprimitivity theorems of Mansfield and Fell using our technique of Fell bundles over groupoids. Also, we apply the Rieffel Surjection of the first paper in the series to relate our version of Mansfield's theorem to that of an Huef and Raeburn, and to give an automatic amenability result for certain transformation Fell bundles.
We study the C*-algebras of Fell bundles. In particular, we prove the analogue of Renault's disintegration theorem for groupoids. As in the groupoid case, this result is the key step in proving a deep equivalence theorem for the C*-algebras of Fell bundles.
This paper is aimed at investigating links between Fell bundles over Morita equivalent groupoids and their corresponding reduced C*-algebras. Mainly, we review the notion of Fell pairs over a Morita equivalence of groupoids, and give the analogue of the Renault's Equivalence Theorem for the reduced C*-algebras of equivalent Fell systems. Eventually, we will use this theorem to connect the reduced C*-algebra of an S^1-central groupoid extension to that of its associated Dixmier-Douady bundle.
The purpose of this paper is extend the notion of morphism of groupoids introduced by Zakrzewski to locally compact $σ$-compact groupoids endowed with Haar systems and to use the extension to construct a covariant functor from this category to a category of $C^{\ast}$-algebras in the sense of Woronowicz.
We introduce the notion of groupoid pre-equivalences and prove that they give rise to groupoid equivalences by taking certain quotients. Then, given an equivalence of Fell bundles $\mathscr{B}$ and $\mathscr{C}$ and another equivalence between $\mathscr{C}$ and $\mathscr{D}$, we construct an equivalence between $\mathscr{B}$ and $\mathscr{D}$ out of the tensor product bundle. As a consequence, we obtain that Fell bundle equivalence is indeed an equivalence relation.
We show that every groupoid C*-algebra is isomorphic to its opposite, and deduce that there exist C*-algebras that are not stably isomorphic to groupoid C*-algebras, though many of them are stably isomorphic to twisted groupoid C*-algebras. We also prove that the opposite algebra of a section algebra of a Fell-bundle over a groupoid is isomorphic to the section algebra of a natural opposite bundle.
Our goal in this paper and two sequels is to apply the Yamagami-Muhly-Williams equivalence theorem for Fell bundles over groupoids to recover and extend all known imprimitivity theorems involving groups. Here we extend Raeburn's symmetric imprimitivity theorem, and also, in an appendix, we develop a number of tools for the theory of Fell bundles that have not previously appeared in the literature.
We give precise conditions under which irreducible representations associated to stability groups induce to irreducible representations for Fell bundle C*-algebras. This result generalizes an earlier result of Echterhoff and the second author. Because the Fell bundle construction subsumes most other examples of C*-algebras constructed from dynamical systems, our result percolates down to many different constructions including the many flavors of groupoid crossed products.
Let E be a second-countable, locally compact, Hausdorff groupoid equipped with an action of T such that G:=E/T is a principal groupoid with Haar system λ. The twisted groupoid C*-algebra C*(E;G,λ) is a quotient of the C*-algebra of E obtained by completing the space of T-equivariant functions on E. We show that C*(E;G,λ) is postliminal if and only if the orbit space of G is T_0 and that C*(E;G, λ) is liminal if and only if the orbit space is T_1. We also show that C*(E;G, λ) has bounded trace if and only if G is integrable and that C*(E;G, λ) is a Fell algebra if and only if G is Cartan. Let \…
We generalise the Dixmier-Douady classification of continuous-trace C*-algebras to Fell algebras. To do so, we show that C*-diagonals in Fell algebras are precisely abelian subalgebras with the extension property, and use this to prove that every Fell algebra is Morita equivalent to one containing a diagonal subalgebra. We then use the machinery of twisted groupoid C*-algebras and equivariant sheaf cohomology to define the Dixmier-Douady invariant of a Fell algebra A, and to prove our classification theorem.
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.
Coactions of Hopf C*-bimodules simultaneously generalize coactions of Hopf C*-algebras and actions of groupoids. Following an approach of Baaj and Skandalis, we construct reduced crossed products and establish a duality for fine coactions. Examples of coactions arise from Fell bundles on groupoids and actions of a groupoid on bundles of C*-algebras. Continuous Fell bundles on an etale groupoid correspond to coactions of the reduced groupoid algebra, and actions of a groupoid on a continuous bundle of C*-algebras correspond to coactions of the function algebra.
We study Fell bundles on groupoids from the viewpoint of quantale theory. Given any saturated upper semicontinuous Fell bundle $π:E\to G$ on an étale groupoid $G$ with $G_0$ locally compact Hausdorff, equipped with a suitable completion C*-algebra $A$ of its convolution algebra, we obtain a map of involutive quantales $p:\mathrm{Max}\ A\toΩ(G)$, where $\mathrm{Max}\ A$ consists of the closed linear subspaces of $A$ and $Ω(G)$ is the topology of $G$. We study various properties of $p$ which mimick, to various degrees, those of open maps of topological spaces. These are closely related to proper…
Suppose $G$ is a second countable, locally compact Hausdorff groupoid with abelian stabilizer subgroups and a Haar system. We provide necessary and sufficient conditions for the groupoid $C^*$-algebra to have Hausdorff spectrum. In particular we show that the spectrum of $C^*(G)$ is Hausdorff if and only if the stabilizers vary continuously with respect to the Fell topology, the orbit space $G^{(0)}/G$ is Hausdorff, and, given convergent sequences $χ_i\to χ$ and $γ_i\cdotχ_i \to ω$ in the dual stabilizer groupoid $\hat{S}$ where the $γ_i\in G$ act via conjugation, if $χ$ and $ω$ are elements o…
The notion of textile system was introduced by M. Nasu in order to analyze endomorphisms and automorphisms of topological Markov shifts. A textile system is given by two finite directed graphs $G$ and $H$ and two morphisms $p,q:G\to H$, with some extra properties. It turns out that a textile system determines a first quadrant two-dimensional shift of finite type, via a collection of Wang tiles, and conversely, any such shift is conjugate to a textile shift. In the case the morphisms $p$ and $q$ have the path lifting property, we prove that they induce groupoid morphisms $π, ρ:Γ(G)\to Γ(H)$ bet…
Following Crane's suggestion that categorification should be of fundamental importance in quantising gravity, we show that finite dimensional even $S^o$-real spectral triples over $\bbc$ are already nothing more than full C*-categories together with a self-adjoint section of their domain and range maps, while the latter are equivalent to unital saturated Fell bundles over pair groupoids equipped with a path-lifting operator given by a normaliser. Interpretations can be made in the direction of quantum Higgs gravity. These geometries are automatically quantum geometries and we reconstruct the c…
We define what it means for a proper continuous morphism between groupoids to be Haar system preserving, and show that such a morphism induces (via pullback) a *-morphism between the corresponding convolution algebras. We proceed to provide a plethora of examples of Haar system preserving morphisms and discuss connections to noncommutative CW-complexes and interval algebras. We prove that an inverse system of groupoids with Haar system preserving bonding maps has a limit, and that we get a corresponding direct system of groupoid $C^*$-algebras. An explicit construction of an inverse system of …
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…
We define the notion of a $Λ$-system of $C^*$-correspondences associated to a higher-rank graph $Λ$. Roughly speaking, such a system assigns to each vertex of $Λ$ a $C^*$-algebra, and to each path in $Λ$ a $C^*$-correspondence in a way which carries compositions of paths to balanced tensor products of $C^*$-correspondences. Under some simplifying assumptions, we use Fowler's technology of Cuntz-Pimsner algebras for product systems of $C^*$-correspondences to associate a $C^*$-algebra to each $Λ$-system. We then construct a Fell bundle over the path groupoid $\Gg_Λ$ and show that the $C^*$-alge…
We show how to extend a classic Morita Equivalence Result of Green's to the \cs-algebras of Fell bundles over transitive groupoids. Specifically, we show that if $p:\B\to G$ is a saturated Fell bundle over a transitive groupoid $G$ with stability group $H=G(u)$ at $u\in \go$, then $\cs(G,\B)$ is Morita equivalent to $\cs(H,\CC)$, where $\CC=\B\restr H$. As an application, we show that if $p:\B\to G$ is a Fell bundle over a group $G$ and if there is a continuous $G$-equivariant map $σ:\Prim A\to G/H$, where $A=B(e)$ is the \cs-algebra of $\B$ and $H$ is a closed subgroup, then $\cs(G,\B)$ is Mo…
