We give two characterisations of tracially nuclear C*-algebras. The first is that the finite summand of the second dual is hyperfinite. The second is in terms of a variant of the weak* uniqueness property. The necessary condition holds for all tracially nuclear C*-algebras. When the algebra is separable, we prove the sufficiency.

We prove some stability results for certain classes of C*-algebras. We prove that, whenever A is a finite-dimensional C*-algebra, B is a C*-algebra and ϕ: A → B is approximately a *-homomorphism, there is an actual *-homomorphism close to ϕ by a factor depending only on how far ϕ is from being a *-homomorphism and not on A or B.

To explore the difficulties of classifying actions with the tracial Rokhlin property using K-theoretic data, we construct two $\mathbb{Z}_{2}$ actions $\unicode[STIX]{x1D6FC}_{1},\unicode[STIX]{x1D6FC}_{2}$ on a simple unital AF algebra $A$ such that $\unicode[STIX]{x1D6FC}_{1}$ has the tracial Rokhlin property and $\unicode[STIX]{x1D6FC}_{2}$ does not, while $(\unicode[STIX]{x1D6FC}_{1})_{\ast }=(\unicode[STIX]{x1D6FC}_{2})_{\ast }$, where $(\unicode[STIX]{x1D6FC}_{i})_{\ast }$ is the induced map by $\unicode[STIX]{x1D6FC}_{i}$ acting on $K_{0}(A)$ for $i=1,2$.

We show that if a unital injective endomorphism of a $C^{\ast }$-algebra admits a transfer operator, then both of them are compressions of mutually inverse automorphisms of a bigger algebra. More generally, every interaction group – in the sense of Exel – extending an action of an Ore semigroup by injective unital endomorphisms of a $C^{\ast }$-algebra, admits a dilation to an action of the corresponding enveloping group on another unital $C^{\ast }$-algebra, of which the former is a $C^{\ast }$-subalgebra: the interaction group is obtained by composing the action with a conditional expectation. The dilation is essentially unique if a certain natural condition of minimality is imposed, and it is faithful if and only if the interaction group is also faithful.

We shall introduce the notions of strong Morita equivalence for unital inclusions of unital $C^{\ast }$-algebras and conditional expectations from an equivalence bimodule onto its closed subspace with respect to conditional expectations from unital $C^{\ast }$-algebras onto their unital $C^{\ast }$-subalgebras. Also, we shall study their basic properties.

Let A and B be arbitrary C*-algebras, we prove that the existence of a Hilbert A–B-bimodule of finite index ensures that the WEP, QWEP, and LLP along with other finite-dimensional approximation properties such as CBAP and (S)OAP are shared by A and B. For this, we first study the stability of the WEP, QWEP, and LLP under Morita equivalence of C*-algebras. We present examples of Hilbert A–B-bimodules, which are not of finite index, while such properties are shared between A and B. To this end, we study twisted crossed products by amenable discrete groups.

We study the C*-algebras associated with upper semi-continuous 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 semi-continuous 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 of a continuous Fell bundle by applying Renault's results about the ideals of the C*-algebras of groupoid crossed products. In particular, we discuss simplicity of the Fell-bundle C*-algebra of a bundle over G in terms of an action, described by Ionescu and Williams, of G on the primitive-ideal space of the C*-algebra of the part of the bundle sitting over the unit space. We finish with some applications to twisted k-graph algebras, where the components of our results become more concrete.

We show that every topological grading of a $C^{\ast }$-algebra by a discrete abelian group is implemented by an action of the compact dual group.

We show that if $M\,\bar{\rtimes }_{\unicode[STIX]{x1D6FC}}\,\unicode[STIX]{x1D6E4}$ has the weak Haagerup property, then both $M$ and $\unicode[STIX]{x1D6E4}$ have the weak Haagerup property, and if $\unicode[STIX]{x1D6E4}$ is an amenable group, then the weak Haagerup property of $M$ implies that of $M\,\bar{\rtimes }_{\unicode[STIX]{x1D6FC}}\,\unicode[STIX]{x1D6E4}$. We also give a condition under which the weak Haagerup property for $M$ and $\unicode[STIX]{x1D6E4}$ implies that of $M\,\bar{\rtimes }_{\unicode[STIX]{x1D6FC}}\,\unicode[STIX]{x1D6E4}$.

We answer a question of Takesaki by showing that the following can be derived from the thesis of Shen: if A and B are σ-unital hereditary C*-subalgebras of C such that ‖p – q‖ < 1, where p and q are the corresponding open projections, then A and B are isomorphic. We give some further elaborations and counterexamples with regard to the σ-unitality hypothesis. We produce a natural one-to-one correspondence between complete order isomorphisms of C*-algebras and invertible left multipliers of imprimitivity bimodules. A corollary of the above two results is that any complete order isomorphism between σ-unital C*-algebras is the composite of an isomorphism with an inner complete order isomorphism. We give a separable counterexample to a question of Akemann and Pedersen; namely, the space of quasi-multipliers is not linearly generated by left and right multipliers. But we show that the space of quasi-multipliers is multiplicatively generated by left and right multipliers in the σ-unital case. In particular, every positive quasi-multiplier is of the form T*T for T a left multiplier. We show that a Lie theory consequence of the negative result just stated is that the map sending T to T*T need not be open, even for very nice C*-algebras. We show that surjective maps between σ-unital C*-algebras induce surjective maps on left, right, and quasi-multipliers. (The more significant similar result for multipliers is Pedersen's non-commutative Tietze extension theorem.) We elaborate the relations of the above with continuous fields of Hilbert spaces and in so doing answer a question of Dixmier and Douady. We discuss the relationship of our results to the theory of perturbations of C*-algebras.

Wu [‘An order characterization of commutativity for $C^{\ast }$ -algebras’, Proc. Amer. Math. Soc.129 (2001), 983–987] proved that if the exponential function on the set of all positive elements of a $C^{\ast }$ -algebra is monotone in the usual partial order, then the algebra in question is necessarily commutative. In this note, we present a local version of that result and obtain a characterisation of central elements in $C^{\ast }$ -algebras in terms of the order.

Let A = C(X) ⊗ K(H), where X is a compact Hausdorff space and K(H) is the algebra of compact operators on a separable infinite-dimensional Hilbert space. Let A s be the algebra of strong*-continuous functions from X to K(H). Then A s /A is the inner corona algebra of A. We show that if X has no isolated points, then A s /A is an essential ideal of the corona algebra of A, and Prim(A s /A), the primitive ideal space of A s /A, is not weakly Lindelof. If X is also first countable, then there is a natural injection from the power set of X to the lattice of closed ideals of A s /A. If X = βℕ\ℕ and the continuum hypothesis (CH) is assumed, then the corona algebra of A is a proper subalgebra of the multiplier algebra of A s /A. Several of the results are obtained in the more general setting of C 0(X)-algebras.

If a locally compact group G acts on a C*-algebra B, we have both full and reduced crossed products and each has a coaction of G. We investigate ‘exotic’ coactions in between the two, which are determined by certain ideals E of the Fourier–Stieltjes algebra B(G); an approach that is inspired by recent work of Brown and Guentner on new C*-group algebra completions. We actually carry out the bulk of our investigation in the general context of coactions on a C*-algebra A. Buss and Echterhoff have shown that not every coaction comes from one of these ideals, but nevertheless the ideals do generate a wide array of exotic coactions. Coactions determined by these ideals E satisfy a certain ‘E-crossed product duality’, intermediate between full and reduced duality. We give partial results concerning exotic coactions with the ultimate goal being a classification of which coactions are determined by ideals of B(G).

Let $P$ be a finitely generated cancellative abelian monoid. A $P$-graph ${\rm\Lambda}$ is a natural generalization of a $k$-graph. A pullback of ${\rm\Lambda}$ is constructed by pulling it back over a given monoid morphism to $P$, while a pushout of ${\rm\Lambda}$ is obtained by modding out its periodicity, which is deduced from a natural equivalence relation on ${\rm\Lambda}$. One of our main results in this paper shows that, for some $k$-graphs ${\rm\Lambda}$, ${\rm\Lambda}$ is isomorphic to the pullback of its pushout via a natural quotient map, and that its graph $\text{C}^{\ast }$-algebra can be embedded into the tensor product of the graph $\text{C}^{\ast }$-algebra of its pushout and $\text{C}^{\ast }(\text{Per}\,{\rm\Lambda})$. As a consequence, in this case, the cycline algebra generated by the standard generators corresponding to equivalent pairs is a maximal abelian subalgebra, and there is a faithful conditional expectation from the graph $\text{C}^{\ast }$-algebra onto it.

To each discrete left cancellative semigroup S one may associate an inverse semigroup Il(S), often called the left inverse hull of S. We show how the full and reduced C*-algebras of Il(S) are related to the full and reduced semigroup C*-algebras for S, recently introduced by Li, and give conditions ensuring that these algebras are isomorphic. Our picture provides an enhanced understanding of Li's algebras.

We show Exel’s tight representation of an inverse semigroup can be described in terms of joins and covers in the natural partial order. Using this, we show that the ${C}^{\ast } $-algebra of a finitely aligned category of paths, developed by Spielberg, is the tight ${C}^{\ast } $-algebra of a natural inverse semigroup. This includes as a special case finitely aligned higher-rank graphs: that is, for such a higher-rank graph $\Lambda $, the tight ${C}^{\ast } $-algebra of the inverse semigroup associated to $\Lambda $ is the same as the ${C}^{\ast } $-algebra of $\Lambda $.

We construct a representation of each finitely aligned aperiodic k-graph Λ on the Hilbert space $\mathcal{H}^{\rm ap}$ with basis indexed by aperiodic boundary paths in Λ. We show that the canonical expectation on $\mathcal{B}(\mathcal{H}^{\rm ap})$ restricts to an expectation of the image of this representation onto the subalgebra spanned by the final projections of the generating partial isometries. We then show that every quotient of the Toeplitz algebra of the k-graph admits an expectation compatible with this one. Using this, we prove that the image of our representation, which is canonically isomorphic to the Cuntz–Krieger algebra, is co-universal for Toeplitz–Cuntz–Krieger families consisting of non-zero partial isometries.

We define the class of weakly approximately divisible unital ${C}^{\ast } $-algebras and show that this class is closed under direct sums, direct limits, any tensor product with any ${C}^{\ast } $-algebra, and quotients. A nuclear ${C}^{\ast } $-algebra is weakly approximately divisible if and only if it has no finite-dimensional representations. We also show that Pisier’s similarity degree of a weakly approximately divisible ${C}^{\ast } $-algebra is at most five.

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.