When $\mathcal {D}$ is strongly self-absorbing, we say an inclusion $B \subseteq A$ of C*-algebras is $\mathcal {D}$-stable if it is isomorphic to the inclusion $B \otimes \mathcal {D} \subseteq A \otimes \mathcal {D}$. We give ultrapower characterizations and show that if a unital inclusion is $\mathcal {D}$-stable, then $\mathcal {D}$-stability can be exhibited for countably many intermediate C*-algebras concurrently. We show that such unital embeddings between unital $\mathcal {D}$-stable C*-algebras are point-norm dense in the set of all unital embeddings, and that every unital embedding between $\mathcal {D}$-stable C*-algebras is approximately unitarily equivalent to a $\mathcal {D}$-stable embedding. Examples are provided.

We show that continuous group homomorphisms between unitary groups of unital C*-algebras induce maps between spaces of continuous real-valued affine functions on the trace simplices. Under certain $K$-theoretic regularity conditions, these maps can be seen to commute with the pairing between $K_0$ and traces. If the homomorphism is contractive and sends the unit circle to the unit circle, the map between spaces of continuous real-valued affine functions can further be shown to be unital and positive (up to a minus sign).

We prove that crossed products of fiberwise essentially minimal zero-dimensional dynamical systems, a class that includes systems in which all orbit closures are minimal, have isomorphic K-theory if and only if the dynamical systems are strong orbit equivalent. Under the additional assumption that the dynamical systems have no periodic points, this gives a classification theorem including isomorphism of the associated crossed product $C^*$-algebras as well. We additionally explore the K-theory of such crossed products and the Bratteli diagrams associated to the dynamical systems.

It is shown that the colored isomorphism class of a unital, simple, $\mathcal {Z}$-stable, separable amenable C$^*$-algebra satisfying the universal coefficient theorem is determined by its tracial simplex.

We prove a double commutant theorem for separable subalgebras of a wide class of corona C*-algebras, largely resolving a problem posed by Pedersen in 1988. Double commutant theorems originated with von Neumann, whose seminal result evolved into an entire field now called von Neumann algebra theory. Voiculescu later proved a C*-algebraic double commutant theorem for subalgebras of the Calkin algebra. We prove a similar result for subalgebras of a much more general class of so-called corona C*-algebras.

We provide an abstract characterization for the Cuntz semigroup of unital commutative AI-algebras, as well as a characterization for abstract Cuntz semigroups of the form $\operatorname {\mathrm {Lsc}} (X,\overline {\mathbb {N}})$ for some $T_1$-space X. In our investigations, we also uncover new properties that the Cuntz semigroup of all AI-algebras satisfies.

For a given inverse semigroup action on a topological space, one can associate an étale groupoid. We prove that there exists a correspondence between the certain subsemigroups and the open wide subgroupoids in case that the action is strongly tight. Combining with the recent result of Brown et al., we obtain a correspondence between the certain subsemigroups of an inverse semigroup and the Cartan intermediate subalgebras of a groupoid C*-algebra.

We compute the generator rank of a subhomogeneous $C^*\!$-algebra in terms of the covering dimension of the pieces of its primitive ideal space corresponding to irreducible representations of a fixed dimension. We deduce that every $\mathcal {Z}$-stable approximately subhomogeneous algebra has generator rank one, which means that a generic element in such an algebra is a generator.

This leads to a strong solution of the generator problem for classifiable, simple, nuclear $C^*\!$-algebras: a generic element in each such algebra is a generator. Examples of Villadsen show that this is not the case for all separable, simple, nuclear $C^*\!$-algebras.

We show that the properties of being rationally K-stable passes from the fibres of a continuous $C(X)$-algebra to the ambient algebra, under the assumption that the underlying space X is compact, metrizable, and of finite covering dimension. As an application, we show that a crossed product C*-algebra is (rationally) K-stable provided the underlying C*-algebra is (rationally) K-stable, and the action has finite Rokhlin dimension with commuting towers.

In this paper, let A be an infinite-dimensional stably finite unital simple separable $\mathrm {C^*}$ -algebra. Let $B\subset A$ be a centrally large subalgebra in A such that B has uniform property $\Gamma $ . Then we prove that A has uniform property $\Gamma $ . Let $\Omega $ be a class of stably finite unital $\mathrm {C^*}$ -algebras such that for any $B\in \Omega $ , B has uniform property $\Gamma $ . Then we show that A has uniform property $\Gamma $ for any simple unital $\mathrm {C^*}$ -algebra $A\in \rm {TA}\Omega $ .

We consider groupoids constructed from a finite number of commuting local homeomorphisms acting on a compact metric space and study generalized Ruelle operators and $ C^{\ast } $ -algebras associated to these groupoids. We provide a new characterization of $ 1 $ -cocycles on these groupoids taking values in a locally compact abelian group, given in terms of $ k $ -tuples of continuous functions on the unit space satisfying certain canonical identities. Using this, we develop an extended Ruelle–Perron–Frobenius theory for dynamical systems of several commuting operators ( $ k $ -Ruelle triples and commuting Ruelle operators). Results on KMS states on $ C^{\ast } $ -algebras constructed from these groupoids are derived. When the groupoids being studied come from higher-rank graphs, our results recover existence and uniqueness results for KMS states associated to the graphs.

We obtain a characterization of the unital C*-algebras with the property that every element is a limit of products of positive elements, thereby answering a question of Murphy and Phillips.

We introduce ‘generalised higher-rank k-graphs’ as a class of categories equipped with a notion of size. They extend not only higher-rank k-graphs, but also the Levi categories introduced by the first author as a categorical setting for graphs of groups. We prove that examples of generalised higher-rank k-graphs can be constructed using Zappa–Szép products of groupoids and higher-rank graphs.

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 for considering quotients of inverse semigroups. 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 quotient of the original universal groupoid. Finally we compute invariant sets and normal subgroupoids induced by special congruences including abelianization.

Let $\Theta =(\theta _{j,k})_{3\times 3}$ be a nondegenerate real skew-symmetric $3\times 3$ matrix, where $\theta _{j,k}\in [0,1).$ For any $\varepsilon>0$ , we prove that there exists $\delta>0$ satisfying the following: if $v_1,v_2,v_3$ are three unitaries in any unital simple separable $C^*$ -algebra A with tracial rank at most one, such that

$$\begin{align*}\|v_kv_j-e^{2\pi i \theta_{j,k}}v_jv_k\|<\delta \,\,\,\, \mbox{and}\,\,\,\, \frac{1}{2\pi i}\tau(\log_{\theta}(v_kv_jv_k^*v_j^*))=\theta_{j,k}\end{align*}$$

$\tau \in T(A)$

$j,k=1,2,3,$

$\log _{\theta }$

$\theta \in [0, 1)$

$\tilde {v}_1,\tilde {v}_2,\tilde {v}_3\in A$

$$\begin{align*}\tilde{v}_k\tilde{v}_j=e^{2\pi i\theta_{j,k} }\tilde{v}_j\tilde{v}_k\,\,\,\,\mbox{and}\,\,\,\,\|\tilde{v}_j-v_j\|<\varepsilon,\,\,j,k=1,2,3.\end{align*}$$

The same conclusion holds if $\Theta $ is rational or nondegenerate and A is a nuclear purely infinite simple $C^*$ -algebra (where the trace condition is vacuous).

If $\Theta $ is degenerate and A has tracial rank at most one or is nuclear purely infinite simple, we provide some additional injectivity conditions to get the above conclusion.

We prove that Cuntz semigroups of C*-algebras satisfy Edwards' condition with respect to every quasitrace. This condition is a key ingredient in the study of the realization problem of functions on the cone of quasitraces as ranks of positive elements. In the course of our investigation, we identify additional structure of the Cuntz semigroup of an arbitrary C*-algebra and of the cone of quasitraces.

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 a Cuntz–Krieger uniqueness theorem for a universal groupoid C*-algebra.

We introduce the concept of strong property $(\mathbb{B})$ with a constant for Banach algebras and, by applying a certain analysis on the Fourier algebra of the unit circle, we show that all C*-algebras and group algebras have the strong property $(\mathbb{B})$ with a constant given by $288\unicode[STIX]{x1D70B}(1+\sqrt{2})$. We then use this result to find a concrete upper bound for the hyperreflexivity constant of ${\mathcal{Z}}^{n}(A,X)$, the space of bounded $n$-cocycles from $A$ into $X$, where $A$ is a C*-algebra or the group algebra of a group with an open subgroup of polynomial growth and $X$ is a Banach $A$-bimodule for which ${\mathcal{H}}^{n+1}(A,X)$ is a Banach space. As another application, we show that for a locally compact amenable group $G$ and $1<p<\infty$, the space $CV_{P}(G)$ of convolution operators on $L^{p}(G)$ is hyperreflexive with a constant given by $384\unicode[STIX]{x1D70B}^{2}(1+\sqrt{2})$. This is the generalization of a well-known result of Christensen [‘Extensions of derivations. II’, Math. Scand. 50(1) (1982), 111–122] for $p=2$.