1 Introduction
The study of inclusions of C*algebras has been of recent interest. There is no short supply of research concerning inclusions relating to noncommutative dynamics [Reference Cameron and Smith8, Reference Echterhoff and Rørdam18, Reference Izumi30, Reference Osaka and Teruya42, Reference Popa44], as well as inclusions of simple C*algebras [Reference Rørdam51]. There has also been work done regarding the passage of properties from a subalgebra to a larger algebra using tracial approximations [Reference Lee and Osaka38]. We discuss inclusions from the lens of tensorially absorbing a strongly selfabsorbing C*algebra $\mathcal {D}$ [Reference Toms and Winter66].
When speaking of tensorial absorption with a strongly selfabsorbing C*algebra, central sequences play a role akin to McDuff’s characterization of when a $\text {II}_1$ von Neumann algebra absorbs the unique hyperfinite $\text {II}_1$ factor $\mathcal {R}$ [Reference McDuff40]. Central sequences have been studied since the inception of operator algebras, being used by Murray and von Neumann to exhibit nonisomorphic $\text {II}_1$ factors by showing that $\mathcal {L}(\mathbb {F}_2)$ does not have property $\Gamma $ [Reference Murray and von Neumann41]. They were also used in Connes’ theorem concerning the uniqueness of $\mathcal {R}$ [Reference Connes13], and the classification of automorphisms on hyperfinite factors [Reference Connes11, Reference Connes13]. In [Reference Bisch2, Reference Bisch3], Bisch considered the central sequence algebra $\mathcal {N}^\omega \cap \mathcal {M}'$ associated with an (irreducible) inclusion of $\text {II}_1$ factors $\mathcal {N} \subseteq \mathcal {M}$ and characterized when there was an isomorphism $\Phi : \mathcal {M} \simeq \mathcal {M} \overline {\otimes } \mathcal {R}$ such that $\Phi (\mathcal {N}) = \mathcal {N} \overline {\otimes } \mathcal {R}$ in terms of the existence of noncommuting sequences in $\mathcal {N}$ which asymptotically commute with the larger von Neumann algebra $\mathcal {M}$ (in the $\\cdot \_2$ norm). As pointed out by Izumi [Reference Izumi31], there are similar central characterizations for unital inclusions of separable C*algebras which tensorially absorb a strongly selfabsorbing C*algebra $\mathcal {D}$ (it was at least pointed out for $\mathcal {D}$ being one of $M_{n^{\infty }},\mathcal {O}_2,\mathcal {O}_{\infty }$ ).
For a strongly selfabsorbing C*algebra $\mathcal {D}$ [Reference Toms and Winter66, Definition 1.3(iv)], we study $\mathcal {D}$ stable inclusions (see Section 4 for detailed definitions), analogous to Bisch’s notion for an (irreducible) inclusion of $\text {II}_1$ factors [Reference Bisch2]. We say that an inclusion $B \subseteq A$ is $\mathcal {D}$ stable if there is an isomorphism $A \simeq A \otimes \mathcal {D}$ such that
commutes.
We study such inclusions systematically, discussing central sequence characterizations, permanence properties, and giving examples toward the end. We list some key findings here. The first is that unital $\mathcal {D}$ stable inclusions exist between unital, separable $\mathcal {D}$ stable C*algebras if there is any unital inclusion, and that the set of unital $\mathcal {D}$ stable inclusions is quite large. Moreover, as far as classification of embeddings up to approximate unitary equivalence (in particular by Ktheory and traces), $\mathcal {D}$ stable embeddings are all that matter.
Theorem 1.1 (Proposition 4.11 and Corollary 4.12)
Let $A,B$ be unital, separable, $\mathcal {D}$ stable C*algebras.

(1) The set of unital $\mathcal {D}$ stable embeddings $B \hookrightarrow A$ is pointnorm dense in the set of all unital embeddings $B \hookrightarrow A$ .

(2) Every unital embedding $B \hookrightarrow A$ is approximately unitarily equivalent to a unital $\mathcal {D}$ stable embedding.
We note that this set is however not everything. We provide examples of non $\mathcal {D}$ stable inclusions of $\mathcal {D}$ stable C*algebras, namely by fitting a C*algebra with perforated Cuntz semigroup or with higher stable rank (in particular, non $\mathcal {Z}$ stable C*algebras) in between two $\mathcal {D}$ stable C*algebras. The second useful tool is that a $\mathcal {D}$ stable inclusion allows one to find an appropriate isomorphism witnessing $\mathcal {D}$ stability of countably many intermediate subalgebras at once.
Theorem 1.2 (Theorem 4.8)
Let $B \subseteq A$ be a unital, $\mathcal {D}$ stable inclusion of separable C*algebras. If $(C_n)_{n \in \mathbb {N}}$ is a sequence of C*algebras such that $B \subseteq C_n \subseteq A$ unitally for all n, then there exists a unital *isomorphism $\Phi : A \simeq A \otimes \mathcal {D}$ such that:

(1) $\Phi (B) = B \otimes \mathcal {D}$ and

(2) $\Phi (C_n) = C_n \otimes \mathcal {D}$ for all $n \in \mathbb {N}$ .
This is not a trivial condition, as it is not true that any such isomorphism sends every intermediate C*algebra to its tensor product with $\mathcal {D}$ (see Example 4.6). In fact, one can always find an intermediate C*algebra C between B and A and an isomorphism $A \simeq A \otimes \mathcal {D}$ sending B to $B \otimes \mathcal {D}$ which does not send C to $C \otimes \mathcal {D}$ (although, of course, we will still have $C \simeq C \otimes \mathcal {D}$ ).
The above result, together with the Galois correspondence of Izumi [Reference Izumi30], allows us to get a result similar to the main theorem of [Reference Amini, Golestani, Jamali and Christopher Phillips1]. There they prove that if $G \curvearrowright ^\alpha A$ is an action of a finite group with the weak tracial Rokhlin property on a C*algebra A with sufficient regularity conditions, then every C*algebra between $A^\alpha \subseteq A$ and $A \subseteq A \rtimes _\alpha G$ is $\mathcal {Z}$ stable. Assuming we have a unital C*algebra with the same regularity conditions, we show that we can witness $\mathcal {Z}$ stability of all such intermediate C*algebras concurrently.
Theorem 1.3 (Corollary 5.6)
Let A be a unital, simple, separable, nuclear $\mathcal {Z}$ stable C*algebra and $G \curvearrowright ^\alpha A$ be an action of a finite group with the weak tracial Rokhlin property. There exists an isomorphism $\Phi : A \rtimes _\alpha G \simeq (A \rtimes _\alpha G) \otimes \mathcal {Z}$ such that whenever C is a unital C*algebra satisfying either:

(1) $A^\alpha \subseteq C \subseteq A$ or

(2) $A \subseteq C \subseteq A \rtimes _\alpha G$ ,
we have $\Phi (C) = C \otimes \mathcal {Z}$ .
This paper is structured as follows. We discuss various local properties in Section 3, and then formalize the notion of a $\mathcal {D}$ stable embedding in Section 4, examining several properties and consequences. In Section 5, we show how several examples arising from noncommutative dynamical systems fit into the framework of $\mathcal {D}$ stable inclusions. We finish with several examples in Section 6.
2 Preliminaries
2.1 Notation
We use capital letters $A,B,C,D$ to denote C*algebras and usually a calligraphic $\mathcal {D}$ to denote a strongly selfabsorbing C*algebra. Generally, small letters $a,b,c,d,\dots ,x,y,z$ will denote operators in C*algebras. $A_+$ will denote cone of positive elements in a C*algebra A. If $\varepsilon> 0$ and $a,b$ are elements in a C*algebra, we will write
to mean that $\a  b\ < \varepsilon $ . This will make some approximations more legible.
The symbol $\otimes $ will denote the minimal tensor product of C*algebras, while $\odot $ will mean the algebraic tensor product. We use the minimal tensor product throughout, and it is common for us to deal with nuclear C*algebras so there should not be any ambiguity. The symbol $\overline {\otimes }$ will denote the von Neumann tensor product.
We will denote by $M_n$ the C*algebra of $n\times n$ matrices, and $M_{n^{\infty }}$ the uniformly hyperfinite (UHF) C*algebra associated with the supernatural number $n^{\infty }$ . We will write $\mathcal {Q}$ for the universal UHF algebra $\mathcal {Q} = \bigotimes _{n \in \mathbb {N}} M_n$ .
By $G \curvearrowright ^\alpha A$ , we will mean that the (discrete) group G acts on A by automorphisms, i.e., $\alpha : G \to \operatorname {\mathrm {Aut}}(A)$ is a homomorphism. $A \rtimes _{r,\alpha }G$ will denote the reduced crossed product, which we will just write as $A \rtimes _\alpha G$ if it is clear from context that the group is amenable and A is nuclear (e.g., if G is finite). We will denote by $A^\alpha $ the fixed point subalgebra of the action (or $A^G$ if the action is clear from context).
For a map $f: X \to Y$ between sets X and Y, we will write $f: X \hookrightarrow Y$ to mean that f is injective and $f: X \twoheadrightarrow Y$ to mean that f is surjective. This will usually be done in the context of *homomorphisms.
2.2 Ultrapowers, central sequences, and central sequence algebras
Fix a free ultrafilter $\omega \in \beta \mathbb {N}$ . Throughout, we will use ultrapowers to describe asymptotic behavior. Alternatively, one can use sequence algebras, although this comes down to a matter of taste and one can swap between the two if desired, as we will provide local characterizations. This also means that all of what we do will be independent of the specific ultrafilter $\omega $ .
For a C*algebra A, the ultrapower of A is the C*algebra
where $c_{0,\omega } := \{(a_n)_{n \in \mathbb {N}} \in \ell ^{\infty }(A) \mid \lim _{n \to \omega } \a_n\ = 0\}$ is the ideal of $\omega $ null sequences. We can embed A into $A_\omega $ canonically by means of constant sequences: we identify $a \in A$ with the equivalence class of the constant sequence $(a)_{n \in \mathbb {N}}$ .
To ease notation, we will usually write elements of $A_\omega $ as sequences $(a_n)_{n \in \mathbb {N}}$ , keeping in mind that these are equivalence classes without explicitly stating it every time. We note that the norm on $A_\omega $ is given by $\(a_n)_{n \in \mathbb {N}}\ = \lim _{n \to \omega } \a_n\$ .
Kirchberg’s $\varepsilon $ test [Reference Kirchberg35, Lemma A.1] is essentially the operator algebraists’ Łoś’ theorem without having to turn to (continuous) model theory. Heuristically, it says that if certain things can be done approximately in an ultrapower, then certain things can be done exactly in an ultrapower.
Lemma 2.1 (Kirchberg’s $\varepsilon $ test)
Let $(X_n)_n$ be a sequence of sets and suppose that for each n, there is a sequence $(f_n^{(k)})_{k \in \mathbb {N}}$ of functions $f_n^{(k)}: X_n \to [0,\infty )$ . For $k \in \mathbb {N}$ , let
Suppose that for every $m \in \mathbb {N}$ and $\varepsilon> 0$ , there is $s \in \prod _n X_n$ with $f_\omega ^{(k)}(s) < \varepsilon $ for $k=1,\dots ,m$ . Then there exists $t \in \prod _nX_n$ with $f_\omega ^{(k)}(t) = 0$ for all $k \in \mathbb {N}$ .
The above is useful, although if one so wishes, one can usually construct exact objects from approximate objects by using standard diagonalization arguments (under some separability assumptions). These sorts of arguments work in both the ultrapower setting and the sequence algebra setting.
Finally, if $\alpha \in \operatorname {\mathrm {Aut}}(A)$ is an automorphism, there is an induced automorphism on $A_\omega $ , which we will denote by $\alpha _\omega $ , given by
2.3 Central sequences and central sequence subalgebras
For a unital C*algebra A, the C*algebra of $\omega $ central sequences is
where we are identifying $A \subseteq A_\omega $ with the constant sequences. If $B \subseteq A$ is a unital C*subalgebra and $S \subseteq A_\omega $ is a subset, we can associate the relative commutant of S in $B_\omega $ :
Of particular interest will be when $S = A$ , and $B \subseteq A$ is a unital inclusion of separable C*algebras.
2.4 Strongly selfabsorbing C*algebras
A unital separable C*algebra $\mathcal {D}$ is strongly selfabsorbing if $\mathcal {D} \not \simeq \mathbb {C}$ and there is an isomorphism $\phi : \mathcal {D} \to \mathcal {D} \otimes \mathcal {D}$ which is approximately unitarily equivalent to the first factor embedding $d \mapsto d \otimes 1_{\mathcal {D}}$ (see [Reference Toms and Winter66]). All known strongly selfabsorbing C*algebras are: the Jiang–Su algebra $\mathcal {Z}$ [Reference Jiang and Su32], the Cuntz algebras $\mathcal {O}_2$ and $\mathcal {O}_{\infty }$ [Reference Cuntz15], UHF algebras of infinite type, and $\mathcal {O}_{\infty }$ tensor a UHF algebra of infinite type. Strongly selfabsorbing C*algebras have approximately inner flip and therefore have Ktheoretic restrictions (see [Reference Enders, Schemaitat and Tikuisis20, Reference Tikuisis61]). They are also nuclear, simple, and have at most one tracial state [Reference Toms and Winter66],
Tensorial absorption with strongly selfabsorbing C*algebras gives rise to many regular properties, for example, in terms of Ktheory, traces, and the Cuntz semigroup [Reference Jiang and Su32, Reference Rørdam46, Reference Rørdam47, Reference Rørdam50]. Of paramount interest is the Jiang–Su algebra $\mathcal {Z}$ . An accumulation of work has successfully classified all (unital) separable, simple, nuclear, infinitedimensional, $\mathcal {Z}$ stable C*algebras satisfying the Universal Coefficient Theorem (UCT) of Rosenberg and Schochet [Reference Rosenberg and Schochet53] by means of Ktheory and traces (see [Reference Carrión, Gabe, Schafhauser, Tikuisis and White9] and the references therein). We describe how one might work with $\mathcal {Z}$ stability in terms of its standard building blocks. Recall that, for $n,m \geq 2$ , the dimension drop algebras are
Such an algebra is a called a prime dimension drop algebra when n and m are coprime. The Jiang–Su algebra $\mathcal {Z}$ is the unique separable simple C*algebra with unique tracial state which is an inductive limit of prime dimension drop algebras with unital connecting maps [Reference Jiang and Su32] (in fact, the dimension drop algebras can be chosen to have the form $\mathcal {Z}_{n,n+1}$ ). It is $KK$ equivalent to $\mathbb {C}$ and $\mathcal {Z}$ stability is a often necessary condition for Ktheoretic classification.
By [Reference Rørdam and Winter52, Proposition 5.1] (or [Reference Sato54, Proposition 2.1] for our desired formulation), $\mathcal {Z}_{n,n+1}$ is the universal C*algebra generated by elements $c_1,\dots ,c_n$ and s such that:

• $c_1 \geq 0$ ;

• $c_ic_j^* = \delta _{ij}c_1^2$ ;

• $s^*s + \sum _{i=1}^n c_i^*c_i = 1$ ;

• $c_1s = s$ .
If there are uniformly tracially large (in the sense of [Reference Toms, White and Winter65, Definition 2.2]) order zeroFootnote ^{1} c.p.c. maps $M_n \to A_\omega \cap A'$ , these give rise to elements $c_1,\dots ,c_n \in A_\omega \cap A'$ with $c_1 \geq 0$ and $c_ic_j^* = \delta _{ij}c_1^2$ , along with certain tracial information. If A has strict comparison, Matui and Sato used this tracial information to show that A has property (SI) [Reference Matui and Sato39], from which one can get an element $s \in A_\omega \cap A'$ such that $s^*s + \sum _{i=1}^n c_i^*c_i = 1$ and $c_1s = s$ . This gives a *homomorphism $\mathcal {Z}_{n,n+1} \to A_\omega \cap A'$ , which if can be done for each $n \in \mathbb {N}$ , is enough to conclude that $\mathcal {Z} \hookrightarrow A_\omega \cap A'$ unitally and hence $A \simeq A \otimes \mathcal {Z}$ (see [Reference Toms and Winter67, Reference Winter71]). In fact, it suffices to show that $\mathcal {Z}_{2,3} \hookrightarrow A_\omega \cap A'$ (or $\mathcal {Z}_{n,n+1}$ for some $n \geq 2$ ) (see [Reference Rørdam and Winter52, Theorem 3.4(ii)] and [Reference Schemaitat56, Theorem 5.15]).
3 Approximately central approximate embeddings
Here, we formalize some results on approximate embeddings. When $B \subseteq A$ is a unital inclusion of separable C*algebras, this will yield local characterizations of nuclear subalgebras of $B_\omega \cap A'$ , as defined in (2.6). Recall that we write u.c.p. or c.p.c. to mean that a map is unital and completely positive or completely positive and contractive, respectively.
Definition 3.1 Let $B \subseteq A$ be a unital inclusion of C*algebras, and let D be a unital, simple, nuclear C*algebra. Let $\mathcal {F} \subseteq D, \mathcal {G} \subseteq A$ be finite sets and $\varepsilon> 0$ . We say that a u.c.p. map $\phi : D \to B$ is an $(\mathcal {F},\varepsilon )$ approximate embedding if:

(1) $\phi (cd) \approx _\varepsilon \phi (c)\phi (d)$ for all $c,d \in \mathcal {F}$ .
If $\phi $ additionally satisfies

2. $[\phi (c),a] \approx _\varepsilon 0$ for all $c \in \mathcal {F}$ and $a \in \mathcal {G}$ ,
then we say that $\phi $ is an $(\mathcal {F},\varepsilon ,\mathcal {G})$ approximately central approximate embedding.
We will usually write that $\phi $ is a $(\mathcal {F},\varepsilon )$ embedding or $(\mathcal {F},\varepsilon ,\mathcal {G})$ embedding to mean that $\phi $ is an $(\mathcal {F},\varepsilon )$ approximate embedding or $(\mathcal {F},\varepsilon ,\mathcal {G})$ approximately central approximate embedding, respectively.
Remark 3.1 One can make a similar definition to the above if D is not simple or nuclear (or even unital). The aim is to discuss subalgebras of $B_\omega \cap A'$ , and if $D \hookrightarrow B_\omega \cap A'$ is nuclear, then one can use the Choi–Effros lifting theorem [Reference Choi and Effros10, Theorem 3.10] (see also [Reference Brown and Ozawa6, Theorem C.3]) to lift the embedding to a sequence of u.c.p. maps which are approximately isometric, approximately multiplicative, and approximately commute with finite subsets of A. If D is simple, the approximate isometry condition follows for free since the embedding $D \hookrightarrow B_\omega \cap A'$ must be isometric.
If we loosen the simple and nuclear assumptions on D, we can still speak of bounded linear maps $\phi :D \to B$ (no longer necessarily u.c.p.) which are approximately isometric, approximately multiplicative, approximately adjointpreserving, and approximately commute with a finite prescribed subset of A. This will allow one to discuss general subalgebras of $B_\omega \cap A'$ . As we will only be interested in strongly selfabsorbing subalgebras of $B_\omega \cap A'$ , which are unital, separable, simple, and nuclear [Reference Toms and Winter66, Section 1.6], we restrict ourselves to u.c.p. maps from a unital, simple, nuclear C*algebras which are approximately multiplicative and approximately commute with finite subsets of A.
Most of the work in this section can be done without assumptions of simplicity and nuclearity.
Lemma 3.2 Suppose that $A,B,D$ are unital C*algebras with B separable and D simple, separable and nuclear. Suppose that $B \subseteq A$ is a unital inclusion and let $S \subseteq A$ be a separable subset. There are $(\mathcal {F},\varepsilon ,\mathcal {G})$ approximately central approximate embeddings $D \to B$ for all $\mathcal {F} \subseteq D, \mathcal {G} \subseteq S$ and $\varepsilon> 0$ if and only if there is a unital embedding $D \hookrightarrow B_\omega \cap S'$ .
Proof Let $(F_n)_{n \in \mathbb {N}}$ be an increasing sequence of finite subsets of D with dense union, and let $(G_n)_{n \in \mathbb {N}}$ be an increasing sequence of finite subsets of S with dense union. Let $\phi _n: D \to B$ be $(F_n,\frac {1}{n},G_n)$ approximately central approximate embeddings. Let $\pi : \ell ^{\infty }(B) \to B_\omega $ denote the quotient map and set
which is a unital embedding such that $[\psi (d),a] = 0$ for all $d \in D$ and $a \in S$ .
Conversely, suppose that $\psi : D \to B_\omega \cap S'$ is a unital embedding, $\mathcal {F} \subseteq D,\mathcal {G} \subseteq S$ are finite and $\varepsilon>0$ . By the Choi–Effros lifting theorem, there is a u.c.p. lift $\tilde {\psi } = (\tilde {\psi }_n)_{n \in \mathbb {N}}: D \to \ell ^{\infty }(B)$ such that:

• $\\tilde {\psi }_n(cd)  \tilde {\psi }_n(c)\tilde {\psi }_n(d)\ \to ^{n \to \omega } 0$ ,

• $\[\tilde {\psi }_n(d),a]\ \to ^{n \to \omega } 0$
for all $c,d \in D$ and $a \in A$ . Take n large enough and set $\phi = \psi _n$ , so that $\phi $ will be a $(\mathcal {F},\varepsilon ,\mathcal {G})$ approximately central approximate embedding.
Corollary 3.3 Let $A,B,D$ be unital C*algebras with $B,D$ separable, simple, and nuclear and $B \subseteq A$ be a unital inclusion. Suppose that there are unital embeddings $\phi : D \to B_\omega $ and $\psi : B \to A_\omega $ . Then there is a unital embedding $\xi : D \hookrightarrow A_\omega $ . If $S \subseteq A_\omega $ is a separable subset with $\psi (B) \subseteq A_\omega \cap S'$ , then $\xi $ can be chosen with $\xi (D) \subseteq A_\omega \cap S'$ .
Proof Let $\mathcal {F} \subseteq D$ be finite and $\varepsilon> 0$ . Let $L := \max \{\max _{d \in \mathcal {F}}\d\,1\}$ . By the above lemma, there is an $(\mathcal {F},\frac {\varepsilon }{2L})$ approximate embedding $\phi : D \to B$ , so let $\mathcal {F}' = \phi (\mathcal {F})$ . Now there is an $(\mathcal {F}',\frac {\varepsilon }{2L})$ approximate embedding $\psi : B \to A$ . An easy calculation shows that $\psi \circ \phi : D \to A$ is an approximate $(\mathcal {F},\varepsilon )$ embedding.
Appending the condition that $\psi : B \to A_\omega \cap S'$ , then, for any finite subset $\mathcal {G} \subseteq S$ , we can take $\psi : B \to A$ to be a $(\mathcal {F}',\frac {\varepsilon }{2L},\mathcal {G})$ approximately central approximate embedding. This gives that $\psi \circ \phi : D \to A$ is a $(\mathcal {F},\varepsilon ,\mathcal {G})$ approximately central approximate embedding.
Corollary 3.4 Let D be a C*algebra and $B \subseteq A$ be a unital inclusion of separable C*algebras such that B and D are unital, separable, simple, and nuclear. Suppose that there is an embedding $\pi : A \hookrightarrow A_\omega \cap A'$ with $\pi (B) \subseteq B_\omega \cap A'$ . If $D \hookrightarrow B_\omega $ unitally, then $D \hookrightarrow B_\omega \cap A'$ unitally.
Proof As $D \hookrightarrow B_\omega $ and $B \hookrightarrow B_\omega \cap A' \subseteq A_\omega \cap A'$ , the above yields $D \hookrightarrow B_\omega \cap A'$ .
The following is useful for discussing $\mathcal {D}$ stability for some inclusions of fixed point subalgebras by certain automorphisms on UHF algebras. In particular, the following will work for automorphisms on UHF algebras of producttype, as well as tensor permutations (of finite tensor powers of UHF algebras).
Corollary 3.5 Let $A = \bigotimes _{\mathbb {N}} B$ be an infinite tensor product of a unital, separable, nuclear C*algebra $B,$ and let D be unital, separable, simple, and nuclear. Let $\lambda \in \operatorname {\mathrm {End}}(A)$ be the Bernoulli shift $\lambda (a) = 1 \otimes a$ . If $\sigma \in \operatorname {\mathrm {Aut}}(A)$ is such that $\lambda \circ \sigma = \sigma \circ \lambda $ , and $D \hookrightarrow (A^\sigma )_\omega $ unitally, then $D \hookrightarrow (A^\sigma )_\omega \cap A'$ unitally.
Proof Note that $\pi = (\lambda ^n)$ induces an embedding $A \hookrightarrow A_\omega \cap A'$ . We just need to show that $\pi (A^\sigma ) \subseteq (A^\sigma )_\omega \cap A'$ , which is true since $\lambda ^n \circ \sigma = \sigma \circ \lambda ^n$ for all n by hypothesis. The result now follows from the above.
We note that if we have approximately central approximate embeddings $D \to B \subseteq A$ , then we can also find approximately central approximate embeddings $D \to u^*Bu \subseteq A$ for any $u \in U(A)$ . In the separable setting, this just means $D \hookrightarrow B_\omega \cap A'$ implies that $D \hookrightarrow u^*B_\omega u \cap A'$ for any $u \in U(A)$ .
Lemma 3.6 Let $B \subseteq A$ be a unital inclusion of C*algebras, and let D be a unital, separable, simple, nuclear C*algebra. Let $u \in U(A)$ . If there are $(\mathcal {F},\varepsilon ,\mathcal {G})$ approximately central approximate embeddings $D \to B$ for all $\mathcal {F} \subseteq D, \mathcal {G} \subseteq A$ finite subsets and $\varepsilon> 0$ , then there are $(\mathcal {F},\varepsilon ,\mathcal {G})$ approximately central approximate embeddings $D \to u^*Bu \subseteq A$ for all $\mathcal {F},\varepsilon ,\mathcal {G}$ .
Proof Let $\mathcal {F} \subseteq D, \mathcal {G} \subseteq A$ be finite and $\varepsilon> 0$ . Let $L = \max \{1,\max _{d \in \mathcal {F}}\d\\}$ and $\phi : D \to B$ be a $(\mathcal {F},\frac {\varepsilon }{3L},\mathcal {G} \cup \{u\})$ approximately central approximate embedding. Then $\psi = \text {Ad}_u \circ \phi : D \to u^*Bu$ will be an $(\mathcal {F},\varepsilon ,\mathcal {G})$ embedding.
We can also discuss existence of approximately central approximate embeddings in inductive limits (with injective connecting maps). This is an adaptation of [Reference Toms and Winter67, Proposition 2.2] to our setting.
Proposition 3.7 Suppose that we have increasing sequences $(B_n)_{n \in \mathbb {N}}$ and $(A_n)_{n \in \mathbb {N}}$ of C*algebras such that $B_n \subseteq A_n$ are unital inclusions. If $B = \overline {\cup _n B_n}, A = \overline {\cup _n A_n}$ , and $D = \overline {\cup _nD_n}$ , where $(D_n)_{n \in \mathbb {N}}$ is an increasing sequence of unital, separable, simple, nuclear C*algebras and there are $(\mathcal {F},\varepsilon ,\mathcal {G})$ embeddings $D_n \to B_n \subseteq A_n$ whenever $n \in \mathbb {N}, \mathcal {F} \subseteq D_n, \mathcal {G} \subseteq A_n$ are finite and $\varepsilon> 0$ , then there are $(\mathcal {F},\varepsilon ,\mathcal {G})$ embeddings $D \to B \subseteq A$ for all $\mathcal {F} \subseteq D,\mathcal {G} \subseteq A$ finite and $\varepsilon> 0$ .
Proof Let $\mathcal {F} \subseteq \mathcal {D}$ and $\mathcal {G} \subseteq A$ be finite sets and $\varepsilon> 0$ . Let
and set $\delta := \frac {\varepsilon }{6L+5}$ . Without loss of generality, assume that $\varepsilon < 1$ . Label $\mathcal {F} = \{d_1,\dots ,d_p\}$ and $\mathcal {G} = \{a_1,\dots ,a_q\}$ and find N large enough so that there are $d_1',\dots ,d_p' \in D_N$ and $a_1',\dots ,a_q' \in A_N$ with $d_i' \approx _\delta d_i$ , $i = 1,\dots ,p$ , and $a_j' \approx _\delta a_j$ , $j=1,\dots ,q$ . Let $\mathcal {F}':=\{d_1',\dots ,d_p'\}, \mathcal {G}':=\{a_1',\dots ,a_q'\}$ and let $\phi : D_N \to B_N \subseteq A_N$ be an $(\mathcal {F}',\delta ,\mathcal {G}')$ embedding. As $D_N$ is nuclear, there are $k \in \mathbb {N}$ and u.c.p. maps $\rho : D_N \to M_k$ and $\eta : M_k \to B_N$ such that $\eta \circ \rho (d_i') \approx _\delta \phi (d_i')$ and $\eta \circ \rho (d_i'd_j') \approx _\delta \phi (d_i'd_j')$ . By Arveson’s extension theorem (see [Reference Brown and Ozawa6, Section 1.6]), we can extend $\rho $ to a u.c.p. map $\tilde {\rho }: D \to M_k$ and let $\psi := \eta \circ \tilde {\rho }: D \to B_N$ . As $B_N \subseteq B$ , we can think of $\psi $ as a map $\psi : D \to B$ . Now for $i,j=1,\dots ,p$ , we have
Thus $\psi (d_id_j) \approx _{(4+6L)\delta } \psi (d_i)\psi (d_j)$ , and as $(4 + 6L)\delta \leq (6L + 5)\delta = \varepsilon $ , this implies that $\psi (d_id_j) \approx _\varepsilon \psi (d_i)\psi (d_j)$ . For approximate commutation with $\mathcal {G}$ , we make use of the following two approximations: for $a,a',a",b,b'$ elements in a C*algebra,
Note that for $a = \psi (d_i),a' = \psi (d_i'),a" = \phi (d_i'), b = a_j, b' = a_j'$ , we have that $\a\,\b\ \leq L + 1$ and $\a'\,\a"\,\b'\ \leq L$ . Therefore, from the above two inequalities, we get
whenever $i=1,\dots ,p,j=1,\dots ,q$ . Using these approximations, we have
The following will be useful to show that there are many $\mathcal {D}$ stable embeddings.
Lemma 3.8 Let $\phi : B_0 \simeq B_1$ and $\psi : A_0 \simeq A_1$ be *isomorphisms between unital C*algebras, and let D be a unital, simple, nuclear C*algebra. Suppose that there is a unital *homomorphism $\eta : B_1 \hookrightarrow A_1$ such that there are $(\mathcal {F},\varepsilon ,\mathcal {G})$ embeddings $D \to \eta (B_1) \subseteq A_1$ for all finite subsets $\mathcal {F} \subseteq D, \mathcal {G} \subseteq A_1$ and $\varepsilon> 0$ . Let $\sigma = \psi ^{1} \circ \eta \circ \phi : B_0 \to A_0$ . Then there are $(\mathcal {F},\varepsilon ,\mathcal {G})$ embeddings $D \to \sigma (B_0) \subseteq A_0$ for all $\mathcal {F} \subseteq D,\mathcal {G} \subseteq A_0$ finite and $\varepsilon> 0$ .
Proof The diagram
commutes and so if $\mathcal {F} \subseteq D, \mathcal {G} \subseteq A_0$ are finite, $\varepsilon> 0$ and $\xi : D \to \eta (B_1) \subseteq A_1$ is an $(\mathcal {F},\varepsilon ,\psi (\mathcal {G}))$ embedding, then $\psi ^{1} \circ \xi : D \to \psi ^{1}(\eta (B_1)) \subseteq \psi ^{1}(A_1) = A_0$ is an $(\mathcal {F},\varepsilon ,\mathcal {G})$ embedding. Moreover, from
it is clear that $\psi ^{1}\circ \xi $ is an $(\mathcal {F},\varepsilon ,\mathcal {G})$ embedding $D \to \sigma (B_0) \subseteq A_0$ .
4 Relative intertwinings and $\mathcal {D}$ stable embeddings
4.1 Relative intertwinings
It is well known that a strongly selfabsorbing C*algebra $\mathcal {D}$ embeds unitally into the central sequence algebra $(\mathcal {M}(A))_\omega \cap A'$ of a separable C*algebra A if and only if $A \simeq A \otimes \mathcal {D}$ , where $\mathcal {M}(A)$ is the multiplier algebra of A (see, for example, [Reference Rørdam49, Theorem 7.2.2(i)]). We alter the proof to keep track of a subalgebra in order to show that for a unital inclusion $B \subseteq A$ of separable C*algebras, $\mathcal {D} \hookrightarrow B_\omega \cap A'$ unitally if and only if there is an isomorphism $\Phi : A \to A \otimes \mathcal {D}$ which is approximately unitarily equivalent to the first factor embedding and satisfies $\Phi (B) = B \otimes \mathcal {D}$ . This was initially done for (irreducible) inclusions of $\text {II}_1$ factors in [Reference Bisch2] and commented on in [Reference Izumi31] for $\mathcal {D}$ being $M_{n^{\infty }},\mathcal {O}_2,\mathcal {O}_{\infty }$ . The proof we alter is Elliott’s intertwining argument, which can be found as a combination of Propositions 2.3.5 and 7.2.1 and Theorem 7.2.2 of [Reference Rørdam49].
Proposition 4.1 (Relative intertwining)
Let $A,B,C$ be unital, separable C*algebras, and let $\phi : A \hookrightarrow C, \theta : B \to A, \psi : B \to C$ be unital *homomorphisms such that $\phi \circ \theta (B) \subseteq \psi (B)$ . Suppose there is a sequence $(u_n)_{n \in \mathbb {N}}$ of unitaries in $\psi (B)_\omega \cap \phi (A)'$ such that:

• $\text {dist}(v_n^*cv_n,\phi (A)_\omega ) \to 0$ for all $c \in C$ ;

• $\text {dist}(v_n^*\psi (b)v_n,\phi \circ \theta (B)_\omega ) \to 0$ for all $b \in B$ .
Then $\phi $ is approximately unitarily equivalent to an isomorphism $\Phi : A \simeq C$ such that $\Phi \circ \theta (B) = \psi (B)$ .
Proof Apply the below proposition with $B_m := B, \theta _m := \theta , \psi _m := \psi $ for all $m \in \mathbb {N}$ .
Proposition 4.2 (Countable relative intertwining)
Let $A,B_m,C$ be unital, separable C*algebras, $m \in \mathbb {N}$ , and $\phi : A \hookrightarrow C,\theta _m: B_m \to A,\psi _m: B_m \to C$ be such that $\phi \circ \theta _m(B_m) \subseteq \psi _m(B_m)$ and $\psi _1(B_1) \subseteq \psi _m(B_m)$ . Suppose there is a sequence $(v_n)_{n \in \mathbb {N}} \subseteq \psi _1(B_1)_\omega \cap \phi (A)'$ of unitaries such that:

• $\text {dist}(v_n^*cv_n,\phi (A)_\omega ) \to 0$ for all $c \in C$ ;

• $\text {dist}(v_n^*\psi _m(b)v_n,\phi \circ \theta _m(B_m)_\omega ) \to 0$ for all $b \in B_m$ .
Then $\phi $ is approximately unitarily equivalent to an isomorphism $\Phi :A \simeq C$ such that $\Phi \circ \theta _m (B_m) = \psi _m(B_m)$ for all $m \in \mathbb {N}$ .
Proof We show that if there are unitaries $(v_n)_{n \in \mathbb {N}} \subseteq \psi _1(B_1)$ satisfying:

• $[v_n,\phi (a)] \to 0$ for all $a \in A$ ;

• $\text {dist}(v_n^*cv_n,\phi (A)) \to 0$ for all $c \in C$ ;

• $\text {dist}(v_n^*\psi _m(b)v_n,\phi \circ \theta _m(B_m)) \to 0$ for all $b \in B_m$ ,
then the conclusion holds. Such unitaries can be found using Kirchberg’s $\varepsilon $ test (Lemma 2.1).
Let $(a_n)_{n \in \mathbb {N}},(b_n^{(m)})_{n \in \mathbb {N}},(c_n)_{n \in \mathbb {N}}$ be dense sequences of $A,B_m,C$ , respectively, $m \in \mathbb {N}$ . We can inductively choose $v_n$ , forming a subsequence $(v_n)_{n \in \mathbb {N}}$ of the unitaries above (after reindexing, we are still calling them $v_n$ ), such that there are $a_{jn} \in A, b_{jn}^{(m)} \in B_m$ with:

• $v_n^*\dots v_1^*c_jv_1\dots v_n \approx _{\frac {1}{n}} \phi (a_{jn})$ ;

• $v_n^*\dots v_1^*\psi (b_j^{(m)})v_1\dots v_n \approx _{\frac {1}{n}} \phi \circ \theta _m(b_{jn}^{(m)})$ ;

• $[v_n,\phi (a_j)] \approx _{\frac {1}{2^n}} 0$ ;

• $[v_n,\phi (a_{jl})] \approx _{\frac {1}{2^n}} 0$ ;

• $[v_n,\phi \circ \theta _m(b_j^{(m)})] \approx _{\frac {1}{2^n}} 0$ ;

• $[v_n,\phi \circ \theta _m(b_{jl}^{(m)})] \approx _{\frac {1}{2^n}} 0$ ,
where $j,m=1,\dots ,n$ and $l=1,\dots ,n1$ . Define, for $a \in \{a_n \mid n \in \mathbb {N}\}$ ,
which extends to a *isomorphism $\Phi : A \simeq C$ , as in [Reference Rørdam49, Proposition 2.3.5]. The proof also yields the following useful approximation:
for appropriate $n \geq j,m$ .
We now need to check that $\Phi \circ \theta _m(B_m) = \psi _m(B_m)$ . Approximate
As $n \in \mathbb {N}$ can be made arbitrarily large, this yields $\psi _m(B_m) \subseteq \overline {\Phi \circ \theta _m(B_m)} = \Phi \circ \theta _m(B_m)$ . On the other hand, for any $\varepsilon> 0$ and $b \in B_m$ , we can find n such that
since $v_i \in \psi _1(B_1) \subseteq \psi _m(B_m)$ and $\phi \circ \theta _m(B_m) \subseteq \psi _m(B_m)$ . Hence $\Phi \circ \theta _m(B_m) \subseteq \overline {\psi _m(B_m)} = \psi _m(B_m)$ .
4.2 $\mathcal {D}$ stable embeddings
Definition 4.1 Let $\iota : B \hookrightarrow A$ be an embedding and $\mathcal {D}$ be strongly selfabsorbing. We say that $\iota $ is $\mathcal {D}$ stable (or $\mathcal {D}$ absorbing) if there exists an isomorphism $\Phi :A \simeq A \otimes \mathcal {D}$ such that $\Phi \circ \iota (B) = \iota (B) \otimes \mathcal {D}$ .
We will mostly have interest in the case where $\iota $ corresponds to the inclusion map and $B \subseteq A$ is a subalgebra. In this form, we will say $B \subseteq A$ is $\mathcal {D}$ stable (or $\mathcal {D}$ absorbing). Clearly, $\iota $ being $\mathcal {D}$ stable is the same as $\iota (B) \subseteq A$ being $\mathcal {D}$ stable. We note that we can define the above for any *homomorphism. Namely, a *homomorphism $\phi :B \to A$ is $\mathcal {D}$ stable if $\phi (B) \subseteq A$ is.
Lemma 4.3 If $\iota : B \hookrightarrow A$ is an embedding, then $\iota \otimes \text {id}_D: B \otimes \mathcal {D} \hookrightarrow A \otimes \mathcal {D}$ is $\mathcal {D}$ stable.
Proof Let $\phi : D \simeq D \otimes \mathcal {D}$ be an isomorphism. Then
is an isomorphism with
We note that this is a strengthening of the notion of $\mathcal {D}$ stability for C*algebras because if $\iota := \text {id}_A: A \to A$ , then $\iota $ is $\mathcal {D}$ stable if and only if A is $\mathcal {D}$ stable. This condition is different from the notion of $\mathcal {O}_2$ or $\mathcal {O}_{\infty }$ absorbing morphisms discussed in [Reference Bosa, Gabe, Sims and White4, Reference Gabe21, Reference Gabe22] – they require sequences from a larger algebra to commute with a smaller algebra, while we require sequences from a smaller algebra to commute with the larger algebra. In the former, neither of the algebras are required to be $\mathcal {D}$ stable, while the latter necessitates both to be $\mathcal {D}$ stable.
The following adapts [Reference Rørdam49, Theorem 7.2.2].
Theorem 4.4 Suppose that $B \subseteq A$ is a unital inclusion of separable C*algebras. If $\mathcal {D}$ is strongly selfabsorbing, then $B \subseteq A$ is $\mathcal {D}$ stable if and only if there is a unital inclusion $\mathcal {D} \hookrightarrow B_\omega \cap A'$ .
Proof Let $\phi : A \to A \otimes \mathcal {D}$ be the first factor embedding $\phi (a) := a \otimes 1_{\mathcal {D}}$ . First, suppose that $\xi : \mathcal {D} \hookrightarrow B_\omega \cap A' \simeq (B \otimes 1_{\mathcal {D}})_\omega \cap (A \otimes 1_{\mathcal {D}})'$ is an embedding (so that $\phi (a)\xi (d) \in \phi (A)_\omega $ and $\phi (b)\xi (d) \in \phi (B)_\omega $ ). Let $\eta : \mathcal {D} \hookrightarrow (B \otimes \mathcal {D})_\omega \cap (A \otimes 1_{\mathcal {D}})'$ be given by $\eta (d) := (1 \otimes d)_n$ and notice that $\xi ,\eta $ have commuting ranges. As all endomorphisms of $\mathcal {D}$ are approximately unitarily equivalent by [Reference Toms and Winter66, Corollary 1.12], let $(v_n)_{n \in \mathbb {N}} \subseteq C^*(\xi (\mathcal {D}),\eta (\mathcal {D})) \simeq \mathcal {D} \otimes \mathcal {D}$ be such that $v_n^*\eta (d)v_n \to \xi (d)$ for $d \in \mathcal {D}$ . For $b \in B$ and $d \in \mathcal {D}$ , we have
Moreover, the same argument shows that, for $a \in A$ , we have
Now $(v_n)_{n \in \mathbb {N}}$ satisfy the hypothesis of Proposition 4.1 with $C := A \otimes D$ , $\phi $ being the first factor embedding, $\theta : B \to A$ being the inclusion and $\psi : B \simeq B \otimes \mathcal {D} \subseteq A \otimes \mathcal {D} = C$ (where this isomorphism exists since if $\mathcal {D} \hookrightarrow B_\omega \cap A'$ , then clearly $\mathcal {D} \hookrightarrow B_\omega \cap B'$ ). From this, we see that $\phi $ is approximately unitarily equivalent to an isomorphism $\Phi :A \simeq A \otimes \mathcal {D}$ such that $\Phi (B) = B \otimes \mathcal {D}$ .
Conversely, if $B \subseteq A$ is $\mathcal {D}$ stable, let $\Phi : A \simeq A \otimes \mathcal {D}$ be an isomorphism such that $\Phi (B) = B \otimes \mathcal {D}$ . By [Reference Toms and Winter66, Proposition 1.10(iv)], we can identify $\mathcal {D} \simeq \mathcal {D}^{\otimes \infty }$ and take $\xi : \mathcal {D} \hookrightarrow B_\omega \cap A'$ to be given by
Corollary 4.5 Let $\iota : B \hookrightarrow A$ be a unital embedding between separable C*algebras. If $\mathcal {D}$ is strongly selfabsorbing and $\iota $ is $\mathcal {D}$ stable, then for every intermediate unital C*algebra C with $\iota (B) \subseteq C \subseteq A$ , we have that $\iota (B) \subseteq C$ and $C \subseteq A$ are $\mathcal {D}$ stable. In particular, $C \simeq C \otimes \mathcal {D}$ for all such C.
Proof We have
and
Now apply Theorem 4.4.
It is not, however, the case that any isomorphism $\Phi : A \simeq A \otimes \mathcal {D}$ with $\Phi (B) = B \otimes \mathcal {D}$ maps C to $C \otimes \mathcal {D}$ .
Example 4.6 Let $\mathcal {D}$ be strongly selfabsorbing and consider
If $f: \mathcal {D} \otimes \mathcal {D} \to \mathcal {D} \otimes \mathcal {D}$ is the tensor flip and $\phi : \mathcal {D} \simeq \mathcal {D} \otimes \mathcal {D}$ is an isomorphism, let
which satisfies $\Phi (B) = B \otimes \mathcal {D}$ (in particular, $B \subseteq A$ is $\mathcal {D}$ stable). However,
In fact, the above example can be generalized to show that for any $\mathcal {D}$ stable inclusion $B \subseteq A$ , there are an isomorphism $\Phi : A \simeq A \otimes \mathcal {D}$ such that $\Phi (B) = B \otimes \mathcal {D}$ and an intermediate algebra $B \subseteq C \subseteq A$ with $\Phi (C) \neq C \otimes \mathcal {D}$ (obviously, we may still have that $\Phi (C) \simeq C \otimes \mathcal {D}$ , but equality may not happen).
Corollary 4.7 Let $B \subseteq A$ be a $\mathcal {D}$ stable inclusion. There exist a C*algebra C with $B \subseteq C \subseteq A$ and an isomorphism $\Phi : A \simeq A \otimes \mathcal {D}$ such that $\Phi (B) = B \otimes \mathcal {D}$ but $\Phi (C) \neq C \otimes \mathcal {D}$ .
Proof We first claim that if $B \subseteq A$ is $\mathcal {D}$ stable, then we can identify $B \subseteq A$ with $B \otimes 1_{\mathcal {D}} \subseteq A \otimes \mathcal {D}$ . If $\Psi : A \simeq A \otimes \mathcal {D}$ is such that $\Psi (B) = B \otimes \mathcal {D}$ and $f: \mathcal {D} \otimes \mathcal {D} \simeq \mathcal {D} \otimes \mathcal {D}$ is the tensor flip, we have
is such that $\Xi (B \otimes 1_{\mathcal {D}}) = B \otimes 1_{\mathcal {D}} \otimes \mathcal {D}$ . This proves the claim.
Now, by applying the claim twice, we can identify $B \subseteq A$ with the inclusion
If $\phi : \mathcal {D} \simeq \mathcal {D} \otimes \mathcal {D}$ is any *isomorphism,
is such that
Taking $C_1$ and $C_2$ as in Example 4.6, we have that
However, we can always realize $\mathcal {D}$ stability for countably many intermediate C*algebras at once using some isomorphism $A \simeq A \otimes \mathcal {D}$ .
Theorem 4.8 Suppose that $B_1 \subseteq B_m \subseteq A$ are unital inclusions of separable C*algebras (note that we are not asking for $(B_m)$ to form a chain). If $\mathcal {D}$ is strongly selfabsorbing and $\mathcal {D} \hookrightarrow (B_1)_\omega \cap A'$ unitally, there exists an isomorphism $\Phi : A \simeq A \otimes \mathcal {D}$ such that $\Phi (B_m) = B_m \otimes \mathcal {D}$ for all $m \in \mathbb {N}$ .
Proof This is essentially the same proof as Theorem 4.4, except we use the countable relative intertwining (Proposition 4.2) in place of Proposition 4.1. Let $\xi ,\eta $ be as before, and let $(v_n)_{n \in \mathbb {N}} \subseteq C^*(\xi (\mathcal {D}),\eta (\mathcal {D})) \simeq \mathcal {D} \otimes \mathcal {D}$ be such that $v_n^*\eta (d)v_n \to \xi (d)$ for $d \in \mathcal {D}$ .

• If $a \in A, d \in \mathcal {D}, v_n^*(a \otimes d)v_n \to \phi (a)\xi (d) \in \phi (A)_\omega $ ;

• if $b \in B_m, v_n^*(b \otimes d)v_n \to \phi (b)\xi (d) \in \phi (B_m)_\omega $ .
Now with $\phi : A \to A \otimes \mathcal {D}$ , the first factor embedding, $\theta _m:B_m \to A$ the inclusion maps, and $\psi _m:B_m \simeq B_m \otimes \mathcal {D}$ (these exist since $\mathcal {D} \hookrightarrow (B_1)_\omega \cap A'$ implies that $\mathcal {D} \hookrightarrow (B_m)_\omega \cap B_m'$ ), our unitaries satisfy the hypothesis of Proposition 4.2 and therefore $\phi $ is approximately unitarily equivalent to a *isomorphism $\Phi : A \simeq A \otimes \mathcal {D}$ such that $\Phi (B_m) = B_m \otimes \mathcal {D}$ for all m.
The above works since norm ultrapowers have the property that unitaries lift to sequences of unitaries.Footnote ^{2} Tracial ultrapowers of $\text {II}_1$ von Neumann algebras also have this property.Footnote ^{3} Consequently, if we work with the 2norm $\x\_2 = \tau (x^*x)^{\frac {1}{2}}$ , where $\tau $ is the unique trace on a $\text {II}_1$ factor, all of the above arguments with the C*norm replaced by $\\cdot \_2$ will allow us to recover Bisch’s result [Reference Bisch2, Theorem 3.1], provided we have the appropriate separability conditions.
Theorem 4.9 Let $\mathcal {N} \subseteq \mathcal {M}$ be an inclusion of $\text {II}_1$ factors with separable preduals. Then $\mathcal {R} \hookrightarrow \mathcal {N}^\omega \cap \mathcal {M}'$ if and only if there exists an isomorphism $\Phi : \mathcal {M} \to \mathcal {M} \overline {\otimes } \mathcal {R}$ such that $\Phi (\mathcal {N}) = \mathcal {N} \overline {\otimes } \mathcal {R}$ .
4.3 Existence of $\mathcal {D}$ stable embeddings
We move to discuss the existence of $\mathcal {D}$ stable embeddings. First, we show that each unital embedding of unital, separable $\mathcal {D}$ stable C*algebras is approximately unitarily equivalent to a $\mathcal {D}$ stable embedding. From this, it will follow that there are many $\mathcal {D}$ stable embeddings.
Lemma 4.10 Let $\mathcal {D}$ be strongly selfabsorbing. If $\iota : B \hookrightarrow A$ is a unital, $\mathcal {D}$ stable inclusion of separable C*algebras and $u \in U(A)$ , then $\text {Ad}_u \circ \iota : B \hookrightarrow A$ is $\mathcal {D}$ stable.
Proof Apply Lemma 3.6.
Proposition 4.11 Let $\mathcal {D}$ be strongly selfabsorbing, $A,B$ be unital separable $\mathcal {D}$ stable C*algebras, and let $\iota : B \hookrightarrow A$ be a unital embedding. Then $\iota $ is approximately unitarily equivalent to a unital $\mathcal {D}$ stable embedding $B \hookrightarrow A$ .
Proof As $A,B$ are $\mathcal {D}$ stable, there are isomorphisms
which are approximately unitarily equivalent to the first factor embeddings $b \mapsto b \otimes 1_{\mathcal {D}}, b \in B$ and $a \mapsto a \otimes 1_{\mathcal {D}}, a \in A,$ respectively. As $\iota \otimes \text {id}_{\mathcal {D}}: B \otimes \mathcal {D} \hookrightarrow A \otimes \mathcal {D}$ is $\mathcal {D}$ stable by Lemma 4.3,
is $\mathcal {D}$ stable by Lemma 3.8. Now we show that $\sigma $ is approximately unitarily equivalent to $\iota $ . Let $\mathcal {F} \subseteq B$ be finite and $\varepsilon> 0$ . Let $u \in U(B \otimes \mathcal {D})$ be such that $u^*(b \otimes 1_{\mathcal {D}})u \approx _{\frac {\varepsilon }{2}} \phi (b)$ for $b \in \mathcal {F}$ and $v \in U(A \otimes \mathcal {D})$ be such that $v^*(\iota (b) \otimes 1_{\mathcal {D}})v \approx _{\frac {\varepsilon }{2}} \psi \circ \iota (b)$ for $b \in \mathcal {F}$ . Set $w = \psi ^{1}(\iota \otimes \text {id}_{\mathcal {D}}(u))^*\psi ^{1}(v) \in U(A)$ . Then for $b \in \mathcal {F}$ ,
Corollary 4.12 Let $\mathcal {D}$ be strongly selfabsorbing. The set of unital $\mathcal {D}$ stable embeddings $B \hookrightarrow A$ of unital, separable, $\mathcal {D}$ stable C*algebras is pointnorm dense in the set of unital embeddings $B \hookrightarrow A$ .
Proof Every embedding is approximately unitarily equivalent to a $\mathcal {D}$ stable embedding. As $\mathcal {D}$ stability of an embedding is preserved if one composes with $\text {Ad}_u$ , it follows that every embedding is the pointnorm limit of $\mathcal {D}$ stable embeddings.
Remark 4.13 We note that it is not actually necessary that $\iota $ is an embedding. If $\pi : B \to A$ is any unital *homomorphism between unital, separable, $\mathcal {D}$ stable C*algebras, then $\pi $ is approximately unitarily equivalent to a *homomorphism $\pi ': B \to A$ such that $\pi '(B) \subseteq A$ is $\mathcal {D}$ stable. Consequently, the set of unital *homomorphisms $\pi : B \to A$ with $\pi (B) \subseteq A$ being $\mathcal {D}$ stable is in fact dense in the set of unital *homomorphisms $B \to A$ .
Later on, there will be some examples of non $\mathcal {D}$ stable embeddings between $\mathcal {D}$ stable C*algebras. Consequently, despite the fact $\mathcal {D}$ stable embeddings are pointnorm dense, the set of unital $\mathcal {D}$ stable embeddings need not coincide with the set of all unital embeddings $B \hookrightarrow A$ . Another clear consequence is that despite $\mathcal {D}$ stability of an embedding being closed under conjugation by a unitary, it is not true that it is preserved under approximate unitary equivalence (in fact, the examples in question show that $\mathcal {D}$ stability is not even preserved under asymptotic unitary equivalence). We finish with a corollary about embeddings into the Cuntz algebra $\mathcal {O}_2$ [Reference Cuntz15].
Corollary 4.14 Let B be a unital, separable, exact $\mathcal {D}$ stable C*algebra, where $\mathcal {D}$ is strongly selfabsorbing. Then there is a $\mathcal {D}$ stable embedding $B \hookrightarrow \mathcal {O}_2$ .
Proof As $\mathcal {D}$ is unital, simple, separable, and nuclear by [Reference Toms and Winter66, Section 1.6], $\mathcal {O}_2 \simeq \mathcal {O}_2 \otimes \mathcal {D}$ and $B \hookrightarrow \mathcal {O}_2$ unitally by Theorems 3.7 and 2.8 of [Reference Kirchberg and Phillips36], respectively. The above results then yield a $\mathcal {D}$ stable embedding $B \hookrightarrow \mathcal {O}_2$ .
We include this last result about the classification of morphisms via functors.
Theorem 4.15 Let $\mathcal {D}$ be strongly selfabsorbing, and let F be a functor from a class of unital, separable, $\mathcal {D}$ stable C*algebras satisfying the following.

(E) If there exists a morphism $\Phi : F(B) \to F(A)$ , then there exists a unital *homomorphism $\phi : B \to A$ such that $F(\phi ) = \Phi $ .

(U) If $\phi ,\psi : B \to A$ are unital *homomorphisms which are approximately unitarily equivalent, then
(4.23) $$ \begin{align} F(\phi) = F(\psi). \end{align} $$
Then whenever there is a morphism $\Phi : F(B) \to F(A)$ , there exists a unital *homomorphism $\phi : B \to A$ such that $F(\phi ) = \Phi $ and $\phi (B) \subseteq A$ is $\mathcal {D}$ stable. Moreover, $\phi $ is unique up to approximate unitary equivalence.
Proof By the existence (E), there exists a *homomorphism $\phi : B \to A$ . Now by Proposition 4.11 (Remark 4.13 allows us to work with general *homomorphisms), there exists a *homomorphism $\phi ': B \to A$ which is approximately unitarily equivalent to $\phi $ and $\phi '(B) \subseteq A$ is $\mathcal {D}$ stable. Uniqueness (U) gives that this is unique up to approximate unitary equivalence.
4.4 Permanence properties
We now discuss some permanence properties.
Lemma 4.16 Let $\mathcal {D}$ be strongly selfabsorbing. Suppose that $\iota _j: B_j \hookrightarrow A_j, j=1,2$ are $\mathcal {D}$ stable inclusions. Then $\iota _1 \oplus \iota _2: B_1 \oplus B_2 \hookrightarrow A_1 \oplus A_2$ is $\mathcal {D}$ stable.
Proof Let $\Phi _j: A_j \simeq A_j \otimes \mathcal {D}$ be isomorphisms such that $\Phi _j\circ \iota _j(B_j) = \iota _j(B_j) \otimes \mathcal {D}$ and consider
given by the composition
where the last isomorphism follows from (finite) distributivity of the mintensor. Then we see that
Lemma 4.17 Let $\mathcal {D}$ be strongly selfabsorbing. Suppose that $\iota _j: B_j \hookrightarrow A_j, j=1,2$ are inclusions and that at least one of $\iota _1$ or $\iota _2$ is $\mathcal {D}$ stable. Then $\iota _1 \otimes \iota _2: B_1 \otimes B_2 \hookrightarrow A_1 \otimes A_2$ is $\mathcal {D}$ stable.
Proof We prove this if $\iota _2$ is $\mathcal {D}$ stable, and a symmetric argument will yield the result if $\iota _1$ is. Let $\Phi _2: A_2 \simeq A_2 \otimes \mathcal {D}$ be such that $\Phi _2 \circ \iota _2(B_2) = \iota (B_2) \otimes \mathcal {D}$ . Taking
we have that
Proposition 4.18 Let $\mathcal {D}$ be strongly selfabsorbing. Suppose that we have increasing sequences of unital separable C*algebras $(B_n)_{n \in \mathbb {N}}$ and $(A_n)_{n \in \mathbb {N}}$ such that $B_n \subseteq A_n$ unitally. Let $B = \overline {\cup _nB_n}$ and $A = \overline {\cup _n A_n}$ . If $B_n \subseteq A_n$ is $\mathcal {D}$ stable for all n, then $B \subseteq A$ is $\mathcal {D}$ stable.
Lastly, we discuss unital inclusions $B \subseteq A$ of $C(X)$ algebras, where X is a compact Hausdorff space. We show that if X has finite covering dimension, then such an inclusion is $\mathcal {D}$ stable if and only if the inclusion $B_x \subseteq A_x$ along each fiber is $\mathcal {D}$ stable.
Lemma 4.19 Let $\mathcal {D}$ be strongly selfabsorbing. Suppose that $B_i \subseteq A_i$ are unital inclusions, for $i=1,2$ , and $\psi : A_1 \to A_2$ is a surjective *homomorphism such that $\psi (B_1) = B_2$ . If $B_1 \subseteq A_1$ is $\mathcal {D}$ stable, then so is $B_2 \subseteq A_2$ .
Proof We note that $\psi $ induces a *homomorphism
and consequently if $\xi : \mathcal {D} \hookrightarrow (B_1)_\omega \cap A_1'$ , we have a unital *homomorphism
The homomorphism $\eta $ is automatically injective since $\mathcal {D}$ is simple.
Rephrasing the above in terms of commutative diagrams, it says that if we have a commutative diagram
where the left inclusion is $\mathcal {D}$ stable, then the right inclusion is $\mathcal {D}$ stable as well.
Now we consider many of the results discussed in [Reference Hirshberg, Rørdam and Winter27, Section 4], except for inclusions of C*algebras.
Definition 4.2 Let X be a compact Hausdorff space. A $C(X)$ algebra is a C*algebra A endowed with a unital *homomorphism $C(X) \to \mathcal {Z}(\mathcal {M}(A))$ , where $\mathcal {Z}(\mathcal {M}(A)$ is the center of the multiplier algebra $\mathcal {M}(A)$ of A.
If $Y \subseteq X$ is a closed subset, we set $I_Y := C_0(X \setminus Y)A$ , which is a closed twosided ideal in A. We denote $A_Y := A/I_Y$ and the quotient map $A \to A_Y$ by $\pi _Y$ . For an element $a \in A$ , we write $a_Y := \pi _Y(a)$ and if Y consists of a single point x, we write $A_x,I_x,\pi _x$ and $a_x$ . We say that $A_x$ is the fiber of A at x. We note that $A_X = A$ .
If $B \subseteq A$ is a unital inclusion and $\theta _A: C(X) \to A, \theta _B: C(X) \to B$ are morphisms which witness A and B as $C(X)$ algebras, respectively, we say that $B \subseteq A$ is an inclusion of $C(X)$ algebras if
commutes. Note that $\theta _B(C(X)) \subseteq \mathcal {Z}(A)$ , and when discussion an inclusion of fibers $B_Y \subseteq A_Y$ we are considering $B_Y := \pi ^A_Y(B) \subseteq \pi ^A_Y(A) =: A_Y$ , where $\pi _Y^A: A \to A_Y$ is the associated quotient map.
Remark 4.20 (Upper semicontinuity)
In [Reference Hirshberg, Rørdam and Winter27, Section 1.3], it was pointed out that the norm on a $C(X)$ algebra A is upper semicontinuous. This means that, fixing some $a \in A$ , the function $x \mapsto \a_x\$ from X to $\mathbb {R}$ is upper semicontinuous (as it is the infimum of a family of continuous functions), and consequently the set $\{x \in X \mid \a_x\ < \varepsilon \} \subseteq X$ is open for all $a \in A$ and $\varepsilon> 0$ .
We note that Lemma 4.19 gives that if $B\subseteq A$ is $\mathcal {D}$ stable and $Y \subseteq X$ is closed, then $B_Y \subseteq A_Y$ is automatically $\mathcal {D}$ stable as well since we have the commuting diagram
The converse needs a bit of work. This is the embedding analog of the beginning of [Reference Hirshberg, Rørdam and Winter27, Section 4]. We discuss how the proofs can be adapted and often omit approximations that were otherwise done there. We want a version of [Reference Hirshberg, Rørdam and Winter27, Lemma 4.5], which is a result about gluing c.c.p. maps together along fibers. In our setting, we are only interested in u.c.p. maps, and we want to show that if we glue two u.c.p. maps together whose images are contained in some $C(X)$ subalgebra B, then the glued map also has image contained in B. We borrow their Definition 4.2.
Definition 4.3 Let A be a unital $C(X)$ algebra, for a compact Hausdorff space X, and let D be a unital C*algebra. Let $\phi : D \to A$ be a u.c.p. map and $Y \subseteq X$ a closed subset. If $\mathcal {F} \subseteq D, \mathcal {G} \subseteq A$ are finite and $\varepsilon> 0$ , we say that $\phi $ is $(\mathcal {F},\varepsilon ,\mathcal {G})$ good for Y if:

(1) $([\phi (d),a])_Y \approx _\varepsilon 0$ and

(2) $\phi (dd')_Y \approx _\varepsilon \phi (d)_Y\phi (d')_Y$
whenever $d,d' \in \mathcal {F}$ and $a \in \mathcal {G}$ . If $X = [0,1]$ , $Y \subseteq X$ is a closed interval, $\mathcal {F}' \supseteq \mathcal {F}$ is another finite set and $0 < \varepsilon ' < \varepsilon $ , we say that $\phi $ is $(\mathcal {F},\varepsilon ,\mathcal {G};\mathcal {F}',\varepsilon ')$ good for Y if $\phi $ is $(\mathcal {F},\varepsilon ,\mathcal {G})$ good for Y and there exists some closed neighborhood V of the endpoints of Y such that $\phi $ is $(\mathcal {F}',\varepsilon ',\mathcal {G})$ good for V.
First, we need a lemma that follows as a consequence of $\mathcal {D}$ stability. It is the embedding analog of [Reference Hirshberg, Rørdam and Winter27, Proposition 4.1].
Lemma 4.21 Let $\mathcal {D}$ be strongly selfabsorbing, and $B \subseteq A$ be a unital, $\mathcal {D}$ stable inclusion of separable C*algebras. Then for any $\mathcal {G} \subseteq A$ finite and $\varepsilon> 0$ , there exist unital *homomorphisms $\kappa : A \to A$ and $\mu : \mathcal {D} \to B$ such that:

(1) $\kappa (B) \subseteq B$ ,

(2) $[\kappa (A),\mu (\mathcal {D})] = 0$ ,

(3) $\kappa (a) \approx _\varepsilon a$ for all $a \in \mathcal {G}$ .
Proof The proof is essentially the same as the proof of (a) $\Rightarrow (c)$ in [Reference Hirshberg, Rørdam and Winter27, Proposition 4.1]. As $B \subseteq A$ is $\mathcal {D}$ stable, let us identify $B \subseteq A$ with $B \otimes \mathcal {D} \subseteq A \otimes \mathcal {D}$ . As $\mathcal {D}$ is strongly selfabsorbing, [Reference Toms and Winter66, Theorem 2.3] gives a sequence $(\phi _n)_{n \in \mathbb {N}}$ of *homomorphisms $\phi _n: \mathcal {D} \otimes \mathcal {D} \to \mathcal {D}$ such that
Define $\kappa _n: A \otimes \mathcal {D} \to A \otimes \mathcal {D}$ by
and $\mu _n: \mathcal {D} \to B \otimes \mathcal {D}$ by
Then taking n large enough and letting $\kappa $ and $\mu $ be $\kappa _n$ and $\mu _n$ , respectively, its clear that $\kappa (B \otimes \mathcal {D}) \subseteq B \otimes \mathcal {D}$ , $[\kappa (A),\mu (\mathcal {D})] = 0$ and that $\kappa (a) \approx _\varepsilon a$ whenever a is in some prescribed finite subset $\mathcal {G} \subseteq A$ and $\varepsilon> 0$ is some prescribed error.
Lemma 4.22 Let $\mathcal {D}$ be strongly selfabsorbing and A be a unital, separable $C([0,1])$ algebra. Suppose $\mathcal {F} \subseteq \mathcal {D}, \mathcal {G} \subseteq A$ are finite selfadjoint subsets of contractions with $1_{\mathcal {D}} \in \mathcal {F}$ . Suppose that we have points $0 \leq r < s < t \leq 1$ and two u.c.p. maps $\rho ,\sigma : \mathcal {D} \to A$ which are $(\mathcal {F},\varepsilon ,\mathcal {G})$ good for $[r,s],[s,t]$ , respectively. Suppose that $A_s$ is $\mathcal {D}$ stable.
Then there are u.c.p. maps $\rho ',\sigma ': \mathcal {D} \to A$ which are $(\mathcal {F},\varepsilon ,\mathcal {G})$ good for $[r,s],[s,t]$ , respectively, and u.c.p. maps $\nu _{\rho '},\nu _{\sigma '}: \mathcal {D} \to A,\mu _{\rho '},\mu _{\sigma '}: \mathcal {D} \otimes \mathcal {D} \to A$ such that $\nu _{\rho '},\nu _{\sigma '}$ are $(\mathcal {F},3\varepsilon ,\mathcal {G})$ good for some interval $I \subseteq (r,t)$ containing s in its interior, and such that for any $a \in \mathcal {G}, d,d' \in \mathcal {F}$ , we have:

(1) $([\rho '(d),\nu _{\rho '}(d')])_I \approx _{2\varepsilon } 0,$

(2) $([\sigma '(d),\nu _{\sigma '}(d')])_I \approx _{2\varepsilon } 0,$

(3) $\rho '(d)_I\nu _{\rho '}(d')_I \approx _\varepsilon \mu _{\rho '}(d \otimes d')_I,$

(4) $\sigma '(d)_I\nu _{\sigma '}(d')_I \approx _\varepsilon \mu _{\sigma '}(d \otimes d')_I,$

(5) $\nu _{\rho '}(d)_I \approx _{2\varepsilon } \nu _{\sigma '}(d)_I$ .
If $\rho ,\sigma $ are $(\mathcal {F},\varepsilon ,\mathcal {G};\mathcal {F}',\varepsilon )$ good for $[r,s],[s,t]$ , respectively, for some finite $\mathcal {F}' \supseteq \mathcal {F}$ set of contractions and for some $0 < \varepsilon ' < \varepsilon $ , then we can arrange so that $\rho ',\sigma ',\nu _{\rho '},\nu _{\sigma '}$ are $(\mathcal {F}',3\varepsilon ',\mathcal {G})$ good for the interval I, and that the above five conditions hold with $\varepsilon '$ in place of $\varepsilon $ and $\mathcal {F}'$ in place of $\mathcal {F}$ .
Moreover, if $B \subseteq A$ is a unital inclusion of $C([0,1])$ algebras such that $\rho (\mathcal {D}) \subseteq B, \sigma (\mathcal {D}) \subseteq B$ and $B_s \subseteq A_s$ is $\mathcal {D}$ stable, then the images of all $\rho ',\sigma ',\mu _{\rho '},\mu _{\sigma '}$ are contained in B (as are the images of $\nu _{\rho '}$ and $\nu _{\sigma '}$ ).
Proof This is [Reference Hirshberg, Rørdam and Winter27, Lemma 4.4], except we have replaced c.c.p. maps with u.c.p. maps. One can easily check that the resulting maps are u.c.p. maps.
As for the “moreover” part, which is the only addition besides the unitality, we outline the definitions of these maps to show that the images of $\rho ',\sigma ',\mu _{\rho '},\mu _{\sigma '}$ are contained in B. As $B_s \subseteq A_s$ is $\mathcal {D}$ stable, we can find $\kappa : A_s \to A_s$ and $\mu : \mathcal {D} \to B_s$ as in Lemma 4.21, where $\kappa (a_s) \approx a_s$ for an appropriate error whenever $a \in \mathcal {G}$ . We use Choi–Effros to find u.c.p. lifts $\tilde {\rho },\tilde {\sigma }: \mathcal {D} \to B$ for the maps $\kappa \circ \pi _s \circ \rho $ and $\kappa \circ \pi _s \circ \sigma $ , respectively (note that $\kappa \circ \pi _s \circ \rho $ and $\kappa \circ \pi _s \circ \sigma $ lie in $B_s$ , which is a *homomorphic image of B). One then defines piecewise linear functions $f,g: [0,1] \to [0,1]$ which attain both values 0 and 1 at the end points (their definition is not important to show the “moreover” part). Then $\rho ',\sigma '$ are defined as
Clearly, $\rho ',\sigma '$ take values in B as $\rho ,\tilde {\rho },\sigma ,\tilde {\sigma }$ all do and $(1f),f,(1g),g$ are in B. Now we define u.c.p. maps $\tilde {\mu }_{\rho '},\tilde {\mu }_{\sigma '}: \mathcal {D} \otimes \mathcal {D} \to B_s$ by
Now by Choi–Effros, we can take u.c.p. lifts $\mu _{\rho '}$ and $\mu _{\sigma '}$ of $\tilde {\mu }_{\rho '}$ and $\mu _{\sigma '}$ , respectively. As the images of $\tilde {\mu }_{\rho '}$ and $\mu _{\sigma '}$ lie in $B_s$ , the images of $\mu _{\rho '}$ and $\mu _{\sigma '}$ will lie in B.
Lemma 4.23 Let A be a unital, separable $C([0,1])$ algebra. Suppose $\mathcal {F} \subseteq \mathcal {D}, \mathcal {G} \subseteq A$ are finite selfadjoint subsets with $1_{\mathcal {D}} \in \mathcal {F}$ and $\varepsilon> 0$ . There exists $0 < \varepsilon ' < \varepsilon $ and a finite subset $\mathcal {F}' \supseteq \mathcal {F}$ such that if $\rho ,\sigma : \mathcal {D} \to A$ are u.p.c. maps and $0 \leq r < s < t \leq 1$ are points such that $\rho $ is $(\mathcal {F},\varepsilon ,\mathcal {G};\mathcal {F}',\varepsilon ')$ good for $[r,s]$ , $\sigma $ is $(\mathcal {F},\varepsilon ,\mathcal {G};\mathcal {F}',\varepsilon ')$ good for $[s,t]$ and $A_s$ is $\mathcal {D}$ stable, then there is a u.c.p. map $\psi : \mathcal {D} \to A$ which is $(\mathcal {F},\varepsilon ,\mathcal {G};\mathcal {F}',\varepsilon ')$ good for $[r,t]$ .
Moreover, if $B \subseteq A$ is a unital inclusion of $C([0,1])$ algebras such that $\rho (\mathcal {D}) \subseteq B$ , $\sigma (\mathcal {D}) \subseteq B$ and $B_s \subseteq A_s$ is $\mathcal {D}$ stable, then $\psi (\mathcal {D}) \subseteq B$ .
Proof The first part is [Reference Hirshberg, Rørdam and Winter27, Lemma 4.5], except we have replaced c.c.p. maps with u.c.p. maps. One has to check that the resulting $\psi $ is unital, but this follows easily if $\rho $ and $\sigma $ are.
We outline the construction of $\psi $ to show unitality, as it will also be useful to show the “moreover” part, which is the only real addition. Let $u \in C([0,1],\mathcal {D} \otimes \mathcal {D})$ be a path of unitaries such that $u_0 = 1_{\mathcal {D} \otimes \mathcal {D}}$ and
We replace $\rho ,\sigma $ with $\rho ',\sigma '$ as in the above lemma and this yields u.c.p. maps $\mu _\rho ,\mu _\sigma $ satisfying the hypotheses above for some interval $I \subseteq (r,t)$ with s in its interior. Define
by
Note that these maps are unital. Take nonzero piecewise linear functions
which sum to 1 (their specific form does not matter to show unitality of $\psi $ nor the “moreover” part) and $g_\rho ,g_\sigma : [0,1] \to [0,1]$ which sum to 1 (again, their specific form does not matter to show unitality of $\psi $ nor the “moreover” part). Define unitaries $u_\rho ,u_\sigma \in C([0,1]) \otimes \mathcal {D} \otimes \mathcal {D} \simeq C([0,1],\mathcal {D} \otimes \mathcal {D})$ by
Now define $\zeta _\rho ,\zeta _\sigma : \mathcal {D} \to A$ by
which are clearly unital. Finally, the map $\psi : \mathcal {D} \to A$ is defined by
Clearly, $\psi $ is unital.
Now for the “moreover” part. If $\rho (\mathcal {D}) \subseteq B$ and $\sigma (\mathcal {D}) \subseteq B$ , clearly the first and fourth terms in the definition of $\psi $ will lie in B. So it suffices to show that $\zeta _\rho (\mathcal {D}) \subseteq B$ and $\zeta _\sigma (\mathcal {D}) \subseteq B$ , and for this it suffices to show that $\mu _\rho (\mathcal {D} \otimes \mathcal {D}) \subseteq B$ and $\mu _\sigma (\mathcal {D} \otimes \mathcal {D}) \subseteq B$ (since $h_1,h_2,h_3,h_4$ all lie in B). But this follows from the “moreover” part of the previous lemma.
With this, we get the analog of [Reference Hirshberg and Winter28, Theorem 4.6], the proof being essentially the same as well, except we insist that the our u.c.p. maps commute with a prescribed finite subset of A.
Proposition 4.24 Let $\mathcal {D}$ be strongly selfabsorbing, and X be a compact Hausdorff space with finite covering dimension. Suppose that $B \subseteq A$ is a unital inclusion of $C(X)$ algebras. Then $B_x \subseteq A_x$ is $\mathcal {D}$ stable for all $x \in X$ if and only if $B \subseteq A$ is $\mathcal {D}$ stable.
Proof As previously mentioned, if $B \subseteq A$ is $\mathcal {D}$ stable, then $B_x \subseteq A_x$ is $\mathcal {D}$ stable for all x.
For the converse, the proof is essentially the same as [Reference Hirshberg, Rørdam and Winter27, Theorem 4.6]. Using the arguments there, one can simplify to the case where we can argue this for $C([0,1])$ algebras (by using [Reference Hurewicz and Wallman29, Theorem V.3], which says that a compact space of dimension $\leq n$ is homeomorphic to a subset of $[0,1]^{2n+1}$ , and then working componentwise). Now for $\mathcal {F} \subseteq \mathcal {D}, \mathcal {G} \subseteq A$ and $\varepsilon> 0$ , let $\mathcal {G}_x := \{a_x \mid a \in \mathcal {G}\}$ . Without loss of generality suppose that $\mathcal {F}^*=\mathcal {F},\mathcal {G}^*=\mathcal {G}$ and that $1_{\mathcal {D}} \in \mathcal {F}$ . Let $\mathcal {F}',\varepsilon '$ be as in Lemma 4.23.
By $\mathcal {D}$ stability of the inclusion $B_x \subseteq A_x$ there are u.c.p. $(\mathcal {F}',\varepsilon ',\mathcal {G}_x)$ embeddings $\psi _x: \mathcal {D} \to B_x \subseteq A_x$ which lift by Choi–Effros to u.c.p. maps $\psi _x': \mathcal {D} \to B$ . The norm is upper semicontinuous (Remark 4.20), and this yields intervals $I_x \subseteq [0,1]$ such that $\psi _x'$ is $(\mathcal {F}',\varepsilon ',\mathcal {G})$ good for $\overline {I_x}$ . Note that $\psi _x'$ being $(\mathcal {F}',\varepsilon ',\mathcal {G})$ good for the whole of $I_x$ implies that it is $(\mathcal {F},\varepsilon ,\mathcal {G};\mathcal {F}',\varepsilon ')$ good for $\overline {I_x}$ . Compactness then allows us to split the interval as
and to take $\psi _i: \mathcal {D} \to B$ u.c.p. which are $(\mathcal {F},\varepsilon ,\mathcal {G};\mathcal {F}',\varepsilon ')$ good for $[t_{i1},t_i]$ for $i=1,\dots ,n$ ( $\psi _i = \psi _x'$ for some $x \in [0,1]$ ). Now by repeatedly using the gluing lemma (Lemma 4.23) to glue these maps together, we can find a u.c.p. map $\psi : \mathcal {D} \to B$ which is an $(\mathcal {F},\varepsilon ,\mathcal {G})$ embedding.
5 Crossed products
In this section, we discuss how inclusions coming from noncommutative dynamics fit into the framework of tensorially absorbing inclusions. We will briefly discuss group actions $G \curvearrowright ^\alpha A$ with Rokhlin properties and consider the inclusion of a C*algebra in its crossed product $A \subseteq A \rtimes _\alpha G$ , as well as the inclusion of the fixed point subalgebra of the action in the C*algebra $A^\alpha \subseteq A$ . We then discuss diagonal inclusions associated with certain group actions.
This first result says that if we have an isomorphism $A \simeq A \otimes \mathcal {D}$ which is Gequivariant with respect to an action pointwise fixing the right tensor factor, up to a 1cocycle, then the corresponding inclusion $A \subseteq A \rtimes _{r,\alpha } G$ is $\mathcal {D}$ stable. Recall that if $\beta : G \curvearrowright B$ is an action of a countable discrete group on a unital C*algebra B, then a $\beta $ 1cocycle is a map $u: G \to U(B)$ satisfying the cocycle identify:
If $(A,\alpha ),(B,\beta )$ are GC*algebras, we say that they are cocycle conjugate, denoted $(A,\alpha ) \simeq _{\text {c.c.}} (B,\beta )$ , if there are an isomorphism $\phi : A \simeq B$ and a $\beta $ 1cocycle $u: G \to U(B)$ such that
commutes for all $g \in G$ . Conjugacy is usually too strong a notion of equivalence, whereas cocycle conjugacy has allowed for quite deep classification of automorphisms. For example, this notion has been used for classifying automorphisms of von Neumann factors [Reference Connes11, Reference Connes12, Reference Connes14, Reference Kawahigashi, Sutherland and Takesaki33, Reference Sutherland and Takesaki57].
Proposition 5.1 Let $G \curvearrowright ^\alpha A$ be an action of a countable discrete group on a unital separable C*algebra. Suppose that $\alpha \simeq _{\text {c.c.}} \alpha \otimes \text {id}_{\mathcal {D}}$ . That is, there is an $\alpha \otimes \text {id}_{\mathcal {D}}$ 1cocycle $u: G \to U(A \otimes \mathcal {D})$ and an isomorphism $\Phi : A \simeq A \otimes \mathcal {D}$ such that
commutes for all $g \in G$ . Then $A \subseteq A \rtimes _{r,\alpha } G$ is $\mathcal {D}$ stable.
Proof Let $\psi : \mathcal {D} \simeq \mathcal {D}^{\otimes \infty }$ , and let $\phi _n: \mathcal {D} \to \mathcal {D}^{\otimes \infty }$ be the nth factor embedding:
We claim that $\xi (d) := (\Phi ^{1}(1_A \otimes \psi ^{1} \circ \phi _n(d)))_n: \mathcal {D} \to A_\omega $ is an embedding such that $\xi (\mathcal {D}) \subseteq A_\omega \cap A'$ and $(\alpha _g)_\omega \circ \xi = \xi $ for all $g \in G$ – that is, $\xi $ is an embedding $\mathcal {D} \hookrightarrow A_\omega \cap (A \rtimes _{r,\alpha } G)'$ . The first part of the claim is obvious, so we prove the second. We have
since $(1_A \otimes \psi ^{1}(\phi _n(d)))_n$ is asymptotically central in $A \otimes \mathcal {D}$ .
Actions satisfying the hypotheses of Proposition 5.1 are said to be equivariantly $\mathcal {D}$ absorbing, up to cocycle conjugacy. These actions are fairly common and there are a wide range of positive results (see, for example, [Reference Suzuki58, Reference Szabó59]).
The next lemma of note is the following.
Lemma 5.2 Suppose that $G \curvearrowright ^\alpha A$ is an action of a finite group on a unital separable C*algebra A such that $A \subseteq A \rtimes _\alpha G$ is $\mathcal {D}$ stable. Then $A^\alpha \subseteq A \rtimes _\alpha G$ is $\mathcal {D}$ stable. In particular, if $A \subseteq A\rtimes _\alpha G$ is