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.

For a countable discrete space $V$, every nondegenerate separable ${C}^{\ast } $-correspondence over ${c}_{0} (V)$ is isomorphic to one coming from a directed graph with vertex set $V$. In this paper we demonstrate why the analogous characterizations fail to hold for higher-rank graphs (where one considers product systems of ${C}^{\ast } $-correspondences) and for topological graphs (where $V$ is locally compact Hausdorff), and we discuss the obstructions that arise.

Results of Fowler and Sims show that every k-graph is completely determined by its k-coloured skeleton and collection of commuting squares. Here we give an explicit description of the k-graph associated with a given skeleton and collection of squares and show that two k-graphs are isomorphic if and only if there is an isomorphism of their skeletons which preserves commuting squares. We use this to prove directly that each k-graph Λ is isomorphic to the quotient of the path category of its skeleton by the equivalence relation determined by the commuting squares, and show that this extends to a homeomorphism of infinite-path spaces when the k-graph is row finite with no sources. We conclude with a short direct proof of the characterization, originally due to Robertson and Sims, of simplicity of the C*-algebra of a row-finite k-graph with no sources.

Paterson showed how to construct an étale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz’s construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subsemigroups and so determine transitive representations by means of partial bijections. This connection between filters and representations by partial bijections is exploited to show how linear representations of inverse semigroups can be constructed from the groups occurring in the associated topological groupoid.

Let A be a unital C*-algebra with the canonical (H) C*-bundle over the maximal ideal space of the centre of A, and let E(A) be the set of all elementary operators on A. We consider derivations on A which lie in the completely bounded norm closure of E(A), and show that such derivations are necessarily inner in the case when each fibre of is a prime C*-algebra. We also consider separable C*-algebras A for which is an (F) bundle. For these C*-algebras we show that the following conditions are equivalent: E(A) is closed in the operator norm; A as a Banach module over its centre is topologically finitely generated; fibres of have uniformly finite dimensions, and each restriction bundle of over a set where its fibres are of constant dimension is of finite type as a vector bundle.

Suppose that $G$ is a second countable, locally compact Hausdorff groupoid with abelian stabiliser subgroups and a Haar system. We provide necessary and sufficient conditions for the groupoid ${C}^{\ast } $-algebra to have Hausdorff spectrum. In particular, we show that the spectrum of ${C}^{\ast } (G)$ is Hausdorff if and only if the stabilisers vary continuously with respect to the Fell topology, the orbit space ${G}^{(0)} / G$ is Hausdorff, and, given convergent sequences ${\chi }_{i} \rightarrow \chi $ and ${\gamma }_{i} \cdot {\chi }_{i} \rightarrow \omega $ in the dual stabiliser groupoid $\widehat{S}$ where the ${\gamma }_{i} \in G$ act via conjugation, if $\chi $ and $\omega $ are elements of the same fibre then $\chi = \omega $.

We study the space of irreducible representations of a crossed product ${C}^{\ast } $-algebra ${\mathop{A\rtimes }\nolimits}_{\sigma } G$, where $G$ is a finite group. We construct a space $\widetilde {\Gamma } $ which consists of pairs of irreducible representations of $A$ and irreducible projective representations of subgroups of $G$. We show that there is a natural action of $G$ on $\widetilde {\Gamma } $ and that the orbit space $G\setminus \widetilde {\Gamma } $ corresponds bijectively to the dual of ${\mathop{A\rtimes }\nolimits}_{\sigma } G$.

We show that if $A$ and $H$ are Hopf algebras that have equivalent tensor categories of comodules, then one can transport what we call a free Yetter–Drinfeld resolution of the counit of $A$ to the same kind of resolution for the counit of $H$, exhibiting in this way strong links between the Hochschild homologies of $A$ and $H$. This enables us to obtain a finite free resolution of the counit of $\mathcal {B}(E)$, the Hopf algebra of the bilinear form associated with an invertible matrix $E$, generalizing an earlier construction of Collins, Härtel and Thom in the orthogonal case $E=I_n$. It follows that $\mathcal {B}(E)$ is smooth of dimension 3 and satisfies Poincaré duality. Combining this with results of Vergnioux, it also follows that when $E$ is an antisymmetric matrix, the $L^2$-Betti numbers of the associated discrete quantum group all vanish. We also use our resolution to compute the bialgebra cohomology of $\mathcal {B}(E)$in the cosemisimple case.

C*-algebras form a 2-category with *-homomorphisms or correspondences as morphisms and unitary intertwiners as 2-morphisms. We use this structure to define weak actions of 2-categories, weakly equivariant maps between weak actions and modifications between weakly equivariant maps. In the group case, we identify the resulting notions with known ones, including Busby–Smith twisted actions and the equivalence of such actions, covariant representations and saturated Fell bundles. For 2-groups, weak actions combine twists in the sense of Green, and Busby and Smith.

The Packer–Raeburn Stabilization Trick implies that all Busby–Smith twisted group actions of locally compact groups are Morita equivalent to classical group actions. We generalize this to actions of strict 2-groupoids.

We prove that every topologically amenable locally compact quantum group is amenable. This answers an open problem by Bédos and Tuset [‘Amenability and co-amenability for locally compact quantum groups’, Internat. J. Math.14 (2003), 865–884].

Cuntz and Li have defined a C*-algebra associated to any integral domain, using generators and relations, and proved that it is simple and purely infinite and that it is stably isomorphic to a crossed product of a commutative C*-algebra. We give an approach to a class of C*-algebras containing those studied by Cuntz and Li, using the general theory of C*-dynamical systems associated to certain semidirect product groups. Even for the special case of the Cuntz–Li algebras, our development is new.

An AF-algebra is assigned to each cusp form f of weight 2; we study properties of this operator algebra when f is a Hecke eigenform.

We prove that, under certain conditions, uniform weak mixing (to zero) of the bounded sequences in Banach space implies uniform weak mixing of their tensor product. Moreover, we prove that ergodicity of tensor product of the sequences in Banach space implies their weak mixing. As applications of the results obtained, we prove that the tensor product of uniquely E-weak mixing C*-dynamical systems is also uniquely E-weak mixing.

Let A and B be C*-algebras. We prove the slice map conjecture for ideals in the operator space projective tensor product . As an application, a characterization of the prime ideals in the Banach *-algebra is obtained. In addition, we study the primitive ideals, modular ideals and the maximal modular ideals of . We also show that the Banach *-algebra possesses the Wiener property and that, for a subhomogeneous C*-algebra A, the Banach * -algebra is symmetric.

We characterize certain properties in a matrix ordered space in order to embed it in a C*-algebra. Let such spaces be called C*-ordered operator spaces. We show that for every self-adjoint operator space there exists a matrix order (on it) to make it a C*-ordered operator space. However, the operator space dual of a (nontrivial) C*-ordered operator space cannot be embedded in any C*-algebra.

There is an unfortunate error in Theorem 4.1 of our paper. However, the statement of the theorem remains true with a correct construction of adding a tail to enlarge the dynamical system.

We study Markov measures and p-adic random walks with the use of states on the Cuntz algebras Op. Via the Gelfand–Naimark–Segal construction, these come from families of representations of Op. We prove that these representations reflect selfsimilarity especially well. In this paper, we consider a Cuntz–Krieger type algebra where the adjacency matrix depends on a parameter q ( q=1 is the case of Cuntz–Krieger algebra). This is an ongoing work generalizing a construction of certain measures associated to random walks on graphs.

We introduce C*-pseudo-multiplicative unitaries and concrete Hopf C*-bimodules for the study of quantum groupoids in the setting of C*-algebras. These unitaries and Hopf C*-bimodules generalize multiplicative unitaries and Hopf C*-algebras and are analogues of the pseudo-multiplicative unitaries and Hopf–von Neumann-bimodules studied by Enock, Lesieur and Vallin. To each C*-pseudo-multiplicative unitary, we associate two Fourier algebras with a duality pairing and in the regular case two Hopf C*-bimodules. The theory is illustrated by examples related to locally compact Hausdorff groupoids. In particular, we obtain a continuous Fourier algebra for a locally compact Hausdorff groupoid.

Algebras associated with quantum electrodynamics and other gauge theories share some mathematical features with T-duality. Exploiting this different perspective and some category theory, the full algebra of fermions and bosons can be regarded as a braided Clifford algebra over a braided commutative boson algebra, sharing much of the structure of ordinary Clifford algebras.

We compare two influential ways of defining a generalized notion of space. The first, inspired by Gelfand duality, states that the category of ‘noncommutative spaces’ is the opposite of the category of C*-algebras. The second, loosely generalizing Stone duality, maintains that the category of ‘point-free spaces’ is the opposite of the category of frames (that is, complete lattices in which the meet distributes over arbitrary joins). Earlier work by the first three authors shows how a noncommutative C*-algebra gives rise to a commutative one internal to a certain sheaf topos. The latter, then, has a constructive Gelfand spectrum, also internal to the topos in question. After a brief review of this work, we compute the so-called external description of this internal spectrum, which in principle is a fibred point-free space in the familiar topos of sets and functions. However, we obtain the external spectrum as a fibred topological space in the usual sense. This leads to an explicit Gelfand transform, as well as to a topological reinterpretation of the Kochen–Specker theorem of quantum mechanics.