A Classification of Completely Positive Maps

Ruofei Wang¹, Shudong Liu², Changguo Wei^3*

¹School of Mathematical Sciences, East China Normal University, Shanghai, China.
²School of Mathematical Sciences, Qufu Normal University, Qufu, China.
³School of Mathematical Sciences, Ocean University of China, Qingdao, China.

DOI: 10.4236/jamp.2022.1012243                

Abstract

This paper concerns classifying completely positive maps between certain C*-algebras. Several invariants for classifying completely positive maps are constructed. It is proved that one of them is isomorphic to the Ext-group of C*-algebra extensions in special circumstances. Furthermore, this invariant induces a functor from C*-algebras to abelian groups which is split-exact.

Keywords

Completely Positive Map, Extension, Ext-Group

1. Introduction

The theory of completely positive maps plays an important part in operator algebras, operator spaces, and extensions of C*-algebras. Many fundamental concepts and theorems are defined and proved via completely positive maps respectively, such as nuclearity, invertible extension, Stinespring’s Theorem ( [1] [2]), Voiculescu’s Theorem ( [3]), etc.

On the other hand, as an effective tool to study the structure of C*-algebras and to classify C*-algebras, the theory extensions of C*-algebras originated from Busby’s work in 1960’s ( [4]). Subsequently, Brown, Douglas and Fillmore established their famous BDF theory ( [5] [6]) to study essentially normal operators on a separable infinite-dimensional Hilbert space and extensions of C*-algebra C(X) by compact operators, where C(X) is the C*-algebra of continuous functions on a compact metric space X. Since then, the theory of extensions of C*-algebras has developed rapidly, and becomes an important invariant for classifying C*-algebras together with K-theory and KK-theory (see [1] [7] [8] [9], etc.).

As we know, an extension of C*-algebras is determined by its Busby invariant with respect to unitary equivalence, so to an extent classifying extensions of C*-algebras is a sort of classifying homomorphisms between C*-algebras. It should be pointed out that the KK-groups were defined via homomorphisms in this way at the beginning ( [8]), and it was already used to classify homomorphisms (see [10] [11] [12], etc.). Completely positive maps can be seen as generalization of homomorphisms and what is particularly important is that Ext-groups were characterized by completely positive maps, so it is natural to consider classifying completely positive maps.

This note is engaging in classifying completely positive maps between certain C*-algebras. Specifically, several invariants for classifying completely positive maps are introduced. As a main result, one of them is isomorphic to the Ext-group of C*-algebra extensions. In addition, this invariant induces a functor from C*-algebras to abelian groups which is split-exact.

2. Preliminaries

In this section, we need to recall some notations and definitions for C*-algebras and extensions. One can also see [1] [7] [13] [14] [15] for more details.

Suppose that D is a C*-algebra. Recall that ${\theta }_n\mathrm{<mo>\; :\; </mo>}{M}_n\left(D\right)\to D$ is an inner isomorphism, if there are isometries $S_1\mathrm{,}\cdots \mathrm{,}{S}_n$ in D with ${\displaystyle \underset{i=1}{\overset{n}{\sum }}}{S}_i{S}_i^{*}=1$ and $S_i^{*}{S}_j=0$ for $i\ne j$, such that ${\theta }_n=Adv$, namely,

${\theta }_n\left(\left[x_{ij}\right]\right)=v\left[x_{ij}\right]v^{*}={\displaystyle \underset{i,j}{\sum }}{S}_i{x}_{ij}{S}_j^{*},$

for $\left[x_{ij}\right]\in M_n\left(D\right)$, where $v=\left(S_1\mathrm{,}\cdots \mathrm{,}{S}_n\right)$. Suppose that $v_1$ and $v_2$ are such elements. Then $v_1{v}_2^{\mathrm{<mo>\; *\; </mo>}}\in D$ and $v_1{v}_2^{*}{v}_2{v}_1^{*}=v_2{v}_1^{*}{v}_1{v}_2^{*}=1$, and hence $v_1{v}_2^{\mathrm{<mo>\; *\; </mo>}}$ is a unitary in D.

Let A and B be C*-algebras. An extension of A by B is a short exact sequence

$e\mathrm{<mo>\; :\; </mo>0}\to B\stackrel{\alpha }{\to }E\stackrel{\beta }{\to }A\to 0.$

Denote this extension by e or $\left(E\mathrm{,}\alpha \mathrm{,}\beta \right)$.

The extension $\left(E\mathrm{,}\alpha \mathrm{,}\beta \right)$ is called trivial, if the above sequence splits, i.e. if there is a homomorphism $\gamma \mathrm{<mo>\; :\; </mo>}A\to E$ such that $\beta \circ \gamma =i{d}_A$.

For an extension $\left(E\mathrm{,}\alpha \mathrm{,}\beta \right)$, there is a unique homomorphism $\sigma \mathrm{<mo>\; :\; </mo>}E\to M\left(B\right)$ such that $\sigma \circ \alpha =\iota$, where $M\left(B\right)$ is the multiplier algebra of B, and $\iota$ is the inclusion map from B into $M\left(B\right)$. The Busby invariant of $\left(E\mathrm{,}\alpha \mathrm{,}\beta \right)$ is a homomorphism $\tau$ from A into the corona algebra $\mathcal{Q}\left(B\right)=M\left(B\right)/B$ defined by $\tau \left(a\right)=\pi \left(\sigma \left(b\right)\right)$ for $a\in A$, where $\pi \mathrm{<mo>\; :\; </mo>}M\left(B\right)\to \mathcal{Q}\left(B\right)$ is the quotient map, and $b\in E$ such that $\beta \left(b\right)=a$.

Two extensions $e_1$ and $e_2$ are called (strongly) unitarily equivalent, denoted by $e_1\stackrel{s}{~}{e}_2$, if there exists a unitary $u\in M\left(B\right)$ such that ${\tau }_2\left(a\right)=\pi \left(u\right){\tau }_1\left(a\right)\pi {\left(u\right)}^{\mathrm{<mo>\; *\; </mo>}}$ for all $a\in A$. Denote by $Ext\left(A\mathrm{,}B\right)$ or $Ex{t}_s\left(A\mathrm{,}B\right)$ the set of (strong) unitary equivalence classes of extensions of A by B.

Let H be a separable infinite-dimensional Hilbert space and $\mathcal{K}$ the ideal of compact operators in $B\left(H\right)$. If B is a stable C*-algebra (i.e. $B\otimes \mathcal{K}\cong B$, where $\otimes$ is the tensor product operation), then the sum of two extensions ${\tau }_1$ and ${\tau }_2$ is defined to be the homomorphism ${\tau }_1\oplus {\tau }_2$, where

${\tau }_1\oplus {\tau }_2:A\to \mathcal{Q}\left(B\right)\oplus \mathcal{Q}\left(B\right)\subseteq M_2\left(\mathcal{Q}\left(B\right)\right)\cong \mathcal{Q}(\; B\; )$

and the isomorphism $M_2\left(\mathcal{Q}\left(B\right)\right)\cong \mathcal{Q}\left(B\right)$ is induced by an inner isomorphism from $M_2\left(M\left(B\right)\right)$ onto $M\left(B\right)$, where $\oplus$ is the direct sum of C*-algebras.

The above sets of equivalence classes of extensions are commutative semigroups with respect to this addition when B is stable. One can similarly define these semigroups replacing B by $B\otimes \mathcal{K}$ if B is not stable. Denote by $Ext\left(A,B\right)$ the quotient of $Ex{t}_s\left(A\mathrm{,}B\right)$ by the subsemigroup of trivial extensions.

3. Main Result

Suppose that D is a unital properly infinite C*-algebra, namely, there are two elements $S_1\mathrm{,}{S}_2\in D$ such that

$S_i^{*}{S}_i=1\left(i=1,2\right),S_i^{*}{S}_j=0\left(i\ne j\right),{\displaystyle \underset{i=1}{\overset{2}{\sum }}}{S}_i{S}_i^{*}=1.$

For every C*-algebra A, we denote by $CP\left(A\mathrm{,}D\right)$ the set of all completely positive maps from A into D.

Definition 3.1. Two elements $\phi \mathrm{,}\psi \in CP\left(A\mathrm{,}D\right)$ are called (unitarily) equivalent, denoted by $\phi \approx \psi$, if there is a unitary $u\in D$ such that $Adu\circ \phi =\psi$.

It is easy to check that $\approx$ is an equivalence relation on $CP\left(A\mathrm{,}D\right)$. Denote by $\left\{\phi \right\}$ the equivalence class of $\phi$.

Definition 3.2. $C{P}_1\left(A\mathrm{,}D\right)$ is the equivalence classes in $CP\left(A\mathrm{,}D\right)$ under the equivalence relation $\approx$, i.e. $C{P}_1\left(A\mathrm{,}D\right)=CP\left(A\mathrm{,}D\right)/\approx$.

Now we can define a diagonal addition in $C{P}_1\left(A\mathrm{,}D\right)$ as follows:

$\left\{\phi \right\}+\left\{\psi \right\}=\left\{Adv\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\right\}=\left\{\left(\begin{array}{cc}{S}_1& S_2\end{array}\right)\left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\left(\begin{array}{c}{S}_1^{\mathrm{<mo>\; *\; </mo>}}\\ S_2^{\mathrm{<mo>\; *\; </mo>}}\end{array}\right)\right\}\mathrm{,}$

where $Adv\mathrm{<mo>\; :\; </mo>}{M}_2\left(D\right)\to D$ is the inner isomorphism with $v=\left(S_1,S_2\right)$.

Proposition 3.3. Equipped with the above addition, $C{P}_1\left(A\mathrm{,}D\right)$ is an abelian semigroup.

Proof. The following is similar to the proof of ( [7], 3.2.3), and we give it here for the sake of completeness.

Suppose that $\phi \mathrm{,}{\phi }^{\prime }\mathrm{,}\psi$ and ${\psi }^{\prime }$ are in $CP\left(A\mathrm{,}D\right)$ such that $\phi \approx {\phi }^{\prime }$ and $\psi \approx {\psi }^{\prime }$. Then there are unitary elements $u_1\mathrm{,}{u}_2\in D$ such that ${\phi }^{\prime }=Ad{u}_1\circ \phi$ and ${\psi }^{\prime }=Ad{u}_2\circ \psi$. Thus

$\begin{array}{c}Adv\circ \left(\begin{array}{cc}{\phi }^{\prime }& \\ & {\psi }^{\prime }\end{array}\right)=v\left(\begin{array}{cc}{u}_1& \\ & u_2\end{array}\right)\left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\left(\begin{array}{cc}{u}_1^{*}& \\ & u_2^{*}\end{array}\right)v^{*}\\ =v\left(\begin{array}{cc}{u}_1& \\ & u_2\end{array}\right)v^{*}v\left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)v^{*}v\left(\begin{array}{cc}{u}_1^{*}& \\ & u_2^{*}\end{array}\right)v^{*}.\end{array}$

Since

$v\left(\begin{array}{cc}{u}_1& \\ & u_2\end{array}\right)v^{\mathrm{<mo>\; *\; </mo>}}$

is a unitary in D, we have

$\left\{Adv\circ \left(\begin{array}{cc}{\phi }^{\prime }& \\ & {\psi }^{\prime }\end{array}\right)\right\}=\left\{Adv\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\right\}\mathrm{.}$

It follows that the addition is well-defined.

Let ${\theta }_1$ and ${\theta }_2$ be two inner isomorphisms from $M_2\left(D\right)$ onto D with ${\theta }_1=Ad{v}_1$ and ${\theta }_2=Ad{v}_2$. Then

$\begin{array}{c}Ad{v}_1\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)=v_1{v}_2^{*}{v}_2\left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)v_2^{*}{v}_2{v}_1^{*}\\ =Ad\left(v_1{v}_2^{*}\right)\circ Ad{v}_2\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right),\end{array}$

and hence,

$\left\{Ad{v}_1\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\right\}=\left\{Ad{v}_2\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\right\}\mathrm{.}$

Therefore, the addition is independent of the choices of inner isomorphisms.

Suppose that $\phi \mathrm{,}\psi \in CP\left(A\mathrm{,}D\right)$. Then

$\begin{array}{c}Adv\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)=v\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)v^{*}\\ =v\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)\left(\begin{array}{cc}\psi & \\ & \phi \end{array}\right)\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right)v^{*}.\end{array}$

Let

$v^{\prime }=v\left(\begin{array}{cc}0& 1\\ 1& 0\end{array}\right).$

Then $Ad{v}^{\prime }$ is an inner isomorphism from $M_2\left(D\right)$ onto D and hence

$\left\{\phi \right\}+\left\{\psi \right\}=\left\{\psi \right\}+\left\{\phi \right\}.$

Suppose that ${\phi }_1\mathrm{,}{\phi }_2\mathrm{,}{\phi }_3\in CP\left(A\mathrm{,}D\right)$ and let $S_1\mathrm{,}{S}_2$ be isometries with $S_1^{*}{S}_2=0$ and $S_1{S}_1^{*}+S_2{S}_2^{*}=1$. One can check the following computation:

$\begin{array}{c}\left(\left\{{\phi }_1\right\}+\left\{{\phi }_2\right\}\right)+\left\{{\phi }_3\right\}=\left\{S_1^2{\phi }_1{S}_1^{\mathrm{<mo>\; *\; </mo>2}}+S_1{S}_2{\phi }_2{S}_2^{\mathrm{<mo>\; *\; </mo>}}{S}_1^{\mathrm{<mo>\; *\; </mo>}}+S_2{\phi }_3{S}_2^{\mathrm{<mo>\; *\; </mo>}}\right\}\\ =\left\{\left(S_1^2\mathrm{,}{S}_1{S}_2\mathrm{,}{S}_2\right)\left(\begin{array}{ccc}{\phi }_1& & \\ & {\phi }_2& \\ & & {\phi }_3\end{array}\right)\left(\begin{array}{c}{S}_1^{\mathrm{<mo>\; *\; </mo>2}}\\ S_2^{\mathrm{<mo>\; *\; </mo>}}{S}_1^{\mathrm{<mo>\; *\; </mo>}}\\ S_2^{\mathrm{<mo>\; *\; </mo>}}\end{array}\right)\right\}\end{array}$

and

$\begin{array}{c}\left\{{\phi }_1\right\}+\left\{\left\{{\phi }_2\right\}+\left\{{\phi }_3\right\}\right\}=\left\{S_1{\phi }_1{S}_1^{\mathrm{<mo>\; *\; </mo>}}+S_2{S}_1{\phi }_2{S}_1^{\mathrm{<mo>\; *\; </mo>}}{S}_2^{\mathrm{<mo>\; *\; </mo>}}+S_2^2{\phi }_3{S}_2^{\mathrm{<mo>\; *\; </mo>2}}\right\}\\ =\left\{\left(S_1\mathrm{,}{S}_2{S}_1\mathrm{,}{S}_2^2\right)\left(\begin{array}{ccc}{\phi }_1& & \\ & {\phi }_2& \\ & & {\phi }_3\end{array}\right)\left(\begin{array}{c}{S}_1^{\mathrm{<mo>\; *\; </mo>}}\\ S_1^{\mathrm{<mo>\; *\; </mo>}}{S}_2^{\mathrm{<mo>\; *\; </mo>}}\\ S_2^{\mathrm{<mo>\; *\; </mo>2}}\end{array}\right)\right\}\mathrm{.}\end{array}$

Put $v_1=\left(S_1^2\mathrm{,}{S}_1{S}_2\mathrm{,}{S}_2\right)$ and $v_2=\left(S_1\mathrm{,}{S}_2{S}_1\mathrm{,}{S}_2^2\right)$. Then $Ad{v}_1$ and $Ad{v}_2$ are two inner isomorphisms from $M_3\left(D\right)$ onto D. Note that

$Ad{v}_1\circ \left(\begin{array}{ccc}{\phi }_1& & \\ & {\phi }_2& \\ & & {\phi }_3\end{array}\right)=Ad\left(v_1{v}_2^{\mathrm{<mo>\; *\; </mo>}}\right)\circ Ad{v}_2\circ \left(\begin{array}{ccc}{\phi }_1& & \\ & {\phi }_2& \\ & & {\phi }_3\end{array}\right)\mathrm{.}$

Since $v_1{v}_2^{\mathrm{<mo>\; *\; </mo>}}$ is a unitary in D, it follows that

$\left(\left\{{\phi }_1\right\}+\left\{{\phi }_2\right\}\right)+\left\{{\phi }_3\right\}=\left\{{\phi }_1\right\}+\left(\left\{{\phi }_2\right\}+\left\{{\phi }_3\right\}\right).$

This completes the proof of associativity.

Therefore, $C{P}_1\left(A\mathrm{,}D\right)$ is an abelian semigroup.

Remark 3.4. Suppose that $\phi \mathrm{,}\psi \in CP\left(A\mathrm{,}D\right)$. We write

$\phi \oplus \psi =\left(\begin{array}{cc}{S}_1& S_2\end{array}\right)\left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\left(\begin{array}{c}{S}_1^{*}\\ S_2^{*}\end{array}\right),$

or

${\theta }_2\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)=\left(\begin{array}{cc}{S}_1& S_2\end{array}\right)\left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\left(\begin{array}{c}{S}_1^{*}\\ S_2^{*}\end{array}\right).$

Definition 3.5. Let $Hom\left(A\mathrm{,}D\right)$ be the set of homomorphisms from A into D. An element is called degenerate in $CP\left(A\mathrm{,}D\right)$ if it is also in $Hom\left(A\mathrm{,}D\right)$.

Definition 3.6. Two elements $\left\{\phi \right\}\mathrm{,}\left\{\psi \right\}\in C{P}_1\left(A\mathrm{,}D\right)$ are called equivalent, denoted by $\left\{\phi \right\}{~}_0\left\{\psi \right\}$, if there are ${\phi }^{\prime }\mathrm{,}{\psi }^{\prime }\in Hom\left(A\mathrm{,}D\right)$ such that $\left\{\phi \right\}+\left\{{\phi }^{\prime }\right\}=\left\{\psi \right\}+\left\{{\psi }^{\prime }\right\}$.

Then ${~}_0$ is an equivalence relation. The equivalence class of $\left\{\phi \right\}$ is denoted by ${\left[\left\{\phi \right\}\right]}_0$, or by ${\left[\phi \right]}_0$ simply.

Definition 3.7. $C{P}_2\left(A\mathrm{,}D\right)$ is the equivalence classes in $C{P}_1\left(A\mathrm{,}D\right)$ under the equivalence relation ${~}_0$, i.e. $C{P}_2\left(A\mathrm{,}D\right)=C{P}_1\left(A\mathrm{,}D\right)/{~}_0$.

We define an addition + in $C{P}_2\left(A\mathrm{,}D\right)$ by

${\left[\phi \right]}_0+{\left[\psi \right]}_0={\left[\left\{\phi \right\}+\left\{\psi \right\}\right]}_0\mathrm{,}\phi \mathrm{,}\psi \in CP\left(A\mathrm{,}D\right)\mathrm{.}$

To see the addition is well-defined, suppose that $\left\{{\phi }^{\prime }\right\}{~}_0\left\{\phi \right\}$ and $\left\{{\psi }^{\prime }\right\}{~}_0\left\{\psi \right\}$. Then there exist ${\phi }_1\mathrm{,}{{\phi }^{\prime }}_1\mathrm{,}{\psi }_1\mathrm{,}{{\psi }^{\prime }}_1\in Hom\left(A\mathrm{,}D\right)$ such that

$\left\{\phi \right\}+\left\{{\phi }_1\right\}=\left\{{\phi }^{\prime }\right\}+\left\{{{\phi }^{\prime }}_1\right\},\left\{\psi \right\}+\left\{{\psi }_1\right\}=\left\{{\psi }^{\prime }\right\}+\left\{{{\psi }^{\prime }}_1\right\},$

and hence

$\left\{\phi \right\}+\left\{\psi \right\}+\left\{{\phi }_1\right\}+\left\{{\psi }_1\right\}=\left\{{\phi }^{\prime }\right\}+\left\{{\psi }^{\prime }\right\}+\left\{{{\phi }^{\prime }}_1\right\}+\left\{{{\psi }^{\prime }}_1\right\}.$

Since

$\left\{{\phi }_1\right\}+\left\{{\psi }_1\right\}=\left\{{\theta }_2\circ \left(\begin{array}{cc}{\phi }_1& \\ & {\psi }_1\end{array}\right)\right\},$

${\theta }_2\circ \left(\begin{array}{cc}{\phi }_1& \\ & {\psi }_1\end{array}\right)\in Hom\left(A\mathrm{,}D\right)\mathrm{.}$

Similarly,

${\theta }_2\circ \left(\begin{array}{cc}{{\phi }^{\prime }}_1& \\ & {{\psi }^{\prime }}_1\end{array}\right)\in Hom\left(A\mathrm{,}D\right)\mathrm{.}$

It follows that the addition is well-defined.

Remark 3.8. 1) Suppose that ${\phi }_1\mathrm{,}{\phi }_2\in CP\left(A\mathrm{,}D\right)$. Then ${\left[{\phi }_1\right]}_0={\left[{\phi }_2\right]}_0\in C{P}_2\left(A,D\right)$ if and only if there exist ${\sigma }_1\mathrm{,}{\sigma }_2\in Hom\left(A\mathrm{,}D\right)$ such that ${\phi }_1\oplus {\sigma }_1$ is unitarily equivalent to ${\phi }_2\oplus {\sigma }_2$.

2) Suppose that $\eta \in CP\left(A\mathrm{,}D\right)$. Then ${\left[\eta \right]}_0$ is the neutral element in $C{P}_2\left(A,D\right)$ if and only if for each $\phi \in CP\left(A\mathrm{,}D\right)$ there exist ${\sigma }_1\mathrm{,}{\sigma }_2\in Hom\left(A\mathrm{,}D\right)$ such that $\phi \oplus \eta \oplus {\sigma }_1$ is unitarily equivalent to $\phi \oplus {\sigma }_2$.

Theorem 3.9. $C{P}_2\left(A,D\right)$ is a unital abelian semigroup. An element ${\left[\phi \right]}_0$ is the unit of $C{P}_2\left(A,D\right)$ if and only if $\phi \in Hom\left(A\mathrm{,}D\right)$.

Proof. Suppose that ${\phi }_1\mathrm{,}{\phi }_2\mathrm{,}{\phi }_3\in CP\left(A\mathrm{,}D\right)$. Then

$\begin{array}{c}{\left[{\phi }_1\right]}_0+\left({\left[{\phi }_2\right]}_0+{\left[{\phi }_3\right]}_0\right)={\left[{\phi }_1\right]}_0+{\left[\left\{{\phi }_2\right\}+\left\{{\phi }_3\right\}\right]}_0\\ ={\left[\left\{{\phi }_1\right\}+\left(\left\{{\phi }_2\right\}+\left\{{\phi }_3\right\}\right)\right]}_0\\ ={\left[\left(\left\{{\phi }_1\right\}+\left\{{\phi }_2\right\}\right)+\left\{{\phi }_3\right\}\right]}_0\\ =\left({\left[{\phi }_1\right]}_0+{\left[{\phi }_2\right]}_0\right)+{\left[{\phi }_3\right]}_0.\end{array}$

It follows that $C{P}_2\left(A,D\right)$ is a semigroup. It is clear that $C{P}_2\left(A,D\right)$ is abelian.

Let $\eta \in Hom\left(A\mathrm{,}D\right)$. For any $\phi \in CP\left(A\mathrm{,}D\right)$, take ${\sigma }_1\in Hom\left(A\mathrm{,}D\right)$ and set ${\sigma }_2=\eta \oplus {\sigma }_1$. Then

$\left(\phi \oplus \eta \right)\oplus {\sigma }_1\approx \phi \oplus \left(\eta \oplus {\sigma }_1\right)\mathrm{,}$

that is, $\left(\phi \oplus \eta \right)\oplus {\sigma }_1\approx \phi \oplus {\sigma }_2$. Since ${\sigma }_1\mathrm{,}\eta \oplus {\sigma }_1\in Hom\left(A\mathrm{,}D\right)$ and $\phi \oplus \eta {~}_0\phi$, we have ${\left[\phi \right]}_0+{\left[\eta \right]}_0={\left[\phi \right]}_0$ by Remark 3.8. Hence ${\left[\eta \right]}_0$ is the unit of $C{P}_2\left(A,D\right)$.

Suppose that $\psi \in CP\left(A,D\right)$ such that ${\left[\psi \right]}_0$ is the unit of $C{P}_2\left(A,D\right)$. For $\phi \in Hom\left(A\mathrm{,}D\right)$, ${\left[\phi \right]}_0$ is also the unit of $C{P}_2\left(A,D\right)$, and hence ${\left[\psi \right]}_0={\left[\phi \right]}_0$. Thus there exist ${\phi }_1\mathrm{,}{\psi }_1\in Hom\left(A\mathrm{,}D\right)$ such that $\left\{\psi \right\}+\left\{{\psi }_1\right\}=\left\{\phi \right\}+\left\{{\phi }_1\right\}$. Note that $\psi \oplus {\psi }_1$ is unitarily equivalent to $\phi \oplus {\phi }_1$. Since $\phi$ and ${\phi }_1$ are both homomorphisms,

${\theta }_2\circ \left(\begin{array}{cc}\phi & \\ & {\phi }_1\end{array}\right)$

is a homomorphism. Furthermore,

$\left(\begin{array}{cc}\psi & \\ & {\psi }_1\end{array}\right)$

is in $Hom\left(A\mathrm{,}{M}_2\left(D\right)\right)$, and hence $\psi$ is in $Hom\left(A\mathrm{,}D\right)$.

Remark 3.10. The only invertible element in $C{P}_2\left(A,D\right)$ is the unit. In fact, suppose that ${\left[\phi \right]}_0$ is an invertible element in $C{P}_2\left(A,D\right)$ with the inverse ${\left[\psi \right]}_0$. Then ${\left[\phi \right]}_0+{\left[\psi \right]}_0$ is the unit and

${\theta }_2\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)$

is a homomorphism by Theorem 3.9. Thus,

$\left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)$

is also a homomorphism. Therefore $\phi$ is in $Hom\left(A,D\right)$. It follows that ${\left[\phi \right]}_0$ is the unit.

Definition 3.11. Let B be a closed ideal of D and $\pi \mathrm{<mo>\; :\; </mo>}D\to D/B$ the quotient map. We define a relation $~$ on $C{P}_2\left(A,D\right)$ as follows: for $\phi \mathrm{,}\psi \in CP\left(A\mathrm{,}D\right)$, we write ${\left[\phi \right]}_0~{\left[\psi \right]}_0$ if there exist ${\phi }_1\mathrm{,}{\psi }_1\in CP\left(A\mathrm{,}D\right)$ such that ${\left[{\phi }_1\right]}_0={\left[\phi \right]}_0$, ${\left[{\psi }_1\right]}_0={\left[\psi \right]}_0$, and $\pi \circ {\phi }_1=\pi \circ {\psi }_1$.

Suppose that $\phi ~\psi$, $\psi ~\eta$. Then there exist ${\phi }_1\mathrm{,}{\psi }_1\mathrm{,}{\psi }_2\mathrm{,}{\eta }_2$ such that

${\left[{\phi }_1\right]}_0={\left[\phi \right]}_0,{\left[{\psi }_1\right]}_0={\left[\psi \right]}_0,\pi \circ {\phi }_1=\pi \circ {\psi }_1,$

${\left[{\psi }_2\right]}_0={\left[\psi \right]}_0,{\left[{\eta }_2\right]}_0={\left[\eta \right]}_0,\pi \circ {\psi }_2=\pi \circ {\eta }_2.$

Since ${\left[{\psi }_1\right]}_0={\left[{\psi }_2\right]}_0$, there exist ${\varphi }_1\mathrm{,}{\varphi }_2\in Hom\left(A,D\right)$ such that $\left\{{\psi }_1\right\}+\left\{{\varphi }_1\right\}=\left\{{\psi }_2\right\}+\left\{{\varphi }_2\right\}$. Thus there is a unitary $u\in D$ such that

${\theta }_2\circ \left(\begin{array}{cc}{\psi }_1& \\ & {\varphi }_1\end{array}\right)=Adu\circ {\theta }_2\circ \left(\begin{array}{cc}{\phi }_2& \\ & {\varphi }_2\end{array}\right).$

Put

${{\phi }^{\prime }}_1={\theta }_2\circ \left(\begin{array}{cc}{\phi }_1& \\ & {\varphi }_1\end{array}\right),{{\eta }^{\prime }}_2=Adu\circ {\theta }_2\circ \left(\begin{array}{cc}{\eta }_2& \\ & {\varphi }_2\end{array}\right).$

Then we have

${\left[{{\phi }^{\prime }}_1\right]}_0={\left[{\phi }_1\right]}_0+{\left[{\varphi }_1\right]}_0={\left[{\phi }_1\right]}_0={\left[\phi \right]}_0,$

${\left[{{\eta }^{\prime }}_2\right]}_0={\left[{\eta }_2\right]}_0+{\left[{\varphi }_2\right]}_0={\left[{\eta }_2\right]}_0={\left[\eta \right]}_0,$

and

$\begin{array}{c}\pi \circ {{\phi }^{\prime }}_1=\pi \circ {\theta }_2\circ \left(\begin{array}{cc}{\phi }_1& \\ & {\varphi }_1\end{array}\right)={{\theta }^{\prime }}_2\circ \left(\begin{array}{cc}\pi \circ {\phi }_1& \\ & \pi \circ {\varphi }_1\end{array}\right)\\ ={{\theta }^{\prime }}_2\circ \left(\begin{array}{cc}\pi \circ {\psi }_1& \\ & \pi \circ {\varphi }_1\end{array}\right)=\pi \circ {\theta }_2\circ \left(\begin{array}{cc}{\psi }_1& \\ & {\varphi }_1\end{array}\right)\\ =\pi \circ Adu\circ {\theta }_2\circ \left(\begin{array}{cc}{\psi }_2& \\ & {\varphi }_2\end{array}\right)=Ad\pi \left(u\right)\circ {{\theta }^{\prime }}_2\circ \left(\begin{array}{cc}\pi \circ {\psi }_2& \\ & \pi \circ {\varphi }_2\end{array}\right)\\ =Ad\pi \left(u\right)\circ {{\theta }^{\prime }}_2\circ \left(\begin{array}{cc}\pi \circ {\eta }_2& \\ & \pi \circ {\varphi }_2\end{array}\right)=\pi \circ Adu\circ {\theta }_2\circ \left(\begin{array}{cc}{\eta }_2& \\ & {\varphi }_2\end{array}\right)\\ =\pi \circ {{\eta }^{\prime }}_2,\end{array}$

where ${{\theta }^{\prime }}_2$ is the inner isomorphism from $M_2\left(D/B\right)$ onto $D/B$ induced by $\theta$.

It follows that $~$ is transitive, and hence $~$ is an equivalence relation on $C{P}_2\left(A,D\right)$. Denote the equivalence class of ${\left[\phi \right]}_0$ by $\left[{\left[\phi \right]}_0\right]$, or by $\left[\phi \right]$ simply.

Let $C{P}_B\left(A\mathrm{,}D\right)=C{P}_2\left(A,D\right)/~$. It is natural that we define an addition in $C{P}_B\left(A\mathrm{,}D\right)$ as follows:

$\left[\phi \right]+\left[\psi \right]=\left[{\left[\phi \right]}_0+{\left[\psi \right]}_0\right]\mathrm{.}$

Remark 3.12. The addition defined in Definition 3.11 is well-defined: for $\left[\phi \right]=\left[{\phi }^{\prime }\right]$ and $\left[\psi \right]=\left[{\psi }^{\prime }\right]$, there exist ${\phi }_1$, ${{\phi }^{\prime }}_1$, ${\psi }_1$, ${{\psi }^{\prime }}_1$ such that ${\left[{\phi }_1\right]}_0={\left[\phi \right]}_0$, ${\left[{{\phi }^{\prime }}_1\right]}_0={\left[{\phi }^{\prime }\right]}_0$, ${\left[{\psi }_1\right]}_0={\left[\psi \right]}_0$, ${\left[{{\psi }^{\prime }}_1\right]}_0={\left[{\psi }^{\prime }\right]}_0$, $\pi \circ {{\phi }^{\prime }}_1=\pi \circ {\phi }_1$, and $\pi \circ {{\psi }^{\prime }}_1=\pi \circ {\psi }_1$. Then

$\pi \left(S_1{{\phi }^{\prime }}_1{S}_1^{*}+S_2{{\psi }^{\prime }}_1{S}_2^{*}\right)=\pi \left(S_1{\phi }_1{S}_1^{*}+S_2{\psi }_1{S}_2^{*}\right),$

and hence

$\left[{\left[\phi \right]}_0+{\left[\psi \right]}_0\right]=\left[{\left[{\phi }_1\right]}_0+{\left[{\psi }_1\right]}_0\right]=\left[{\left[{{\phi }^{\prime }}_1\right]}_0+{\left[{{\psi }^{\prime }}_1\right]}_0\right]=\left[{\left[{\phi }^{\prime }\right]}_0+{\left[{\psi }^{\prime }\right]}_0\right].$

It is easy to see that $\left[0\right]$ is the unit of $C{P}_B\left(A\mathrm{,}D\right)$. Thus $\left(C{P}_B\left(A\mathrm{,}D\right)\mathrm{,}+\right)$ is a unital abelian semigroup. In particular, for $B=\left\{0\right\}$, we have $\left(C{P}_B\left(A\mathrm{,}D\right)\mathrm{,}+\right)=\left(C{P}_2\left(A\mathrm{,}D\right)\mathrm{,}+\right)$ ; and for $B=D$, we have $C{P}_D\left(A,D\right)=\left\{0\right\}$.

Definition 3.13. Let $C{P}_B^{-1}\left(A,D\right)$ be the set of invertible elements in $C{P}_B\left(A\mathrm{,}D\right)$. Then $C{P}_B^{-1}\left(A,D\right)$ is an abelian group.

Theorem 3.14. Let $\phi$ be in $CP\left(A\mathrm{,}D\right)$. Then $\left[\phi \right]=0$ in $C{P}_B^{-1}\left(A,D\right)$ if and only if there exist ${\phi }^{\prime }\mathrm{,}{\varphi }_1\mathrm{,}{\varphi }_2\in Hom\left(A,D\right)$ and a unitary $u\in M_2\left(D\right)$ such that

$\left(\begin{array}{cc}\phi & \\ & {\varphi }_1\end{array}\right)=Adu\circ \left(\begin{array}{cc}{\phi }^{\prime }& \\ & {\varphi }_2\end{array}\right).$

Proof. Suppose that $\left[\phi \right]=0$ in $C{P}_B^{-1}\left(A,D\right)$. Since $\left[\phi \right]=\left[0\right]=0$, there exist ${\phi }^{\prime }\mathrm{,}{\varphi }^{\prime }\in CP\left(A,D\right)$ such that ${\left[{\phi }^{\prime }\right]}_0={\left[\phi \right]}_0$, ${\left[{\varphi }^{\prime }\right]}_0=0$ and $\pi \circ {\phi }^{\prime }=\pi \circ {\varphi }^{\prime }$. Hence, by Theorem 3.9, we have ${\varphi }^{\prime }\in Hom\left(A\mathrm{,}D\right)$. Since ${\left[{\phi }^{\prime }\right]}_0={\left[\phi \right]}_0$, there exist ${\varphi }_1\mathrm{,}{\varphi }_2\in Hom\left(A\mathrm{,}D\right)$ such that $\left\{\phi \right\}+\left\{{\varphi }_1\right\}=\left\{{\phi }^{\prime }\right\}+\left\{{\varphi }_2\right\}$. Then there is a unitary $u\in M_2\left(D\right)$ such that

$\left(\begin{array}{cc}\phi & \\ & {\varphi }_1\end{array}\right)=Adu\circ \left(\begin{array}{cc}{\phi }^{\prime }& \\ & {\varphi }_2\end{array}\right).$

Conversely, suppose that there exist ${\phi }^{\prime }\mathrm{,}{\varphi }_1\mathrm{,}{\varphi }_2\in Hom\left(A,D\right)$ and a unitary $u\in M_2\left(D\right)$ such that

$\left(\begin{array}{cc}\phi & \\ & {\varphi }_1\end{array}\right)=Adu\circ \left(\begin{array}{cc}{\phi }^{\prime }& \\ & {\varphi }_2\end{array}\right).$

Set $v_1=\left(S_1\mathrm{,}{S}_2\right)$ and $v_2=vu$. Then $Ad{v}_1\mathrm{,}Ad{v}_2$ are both inner isomorphisms from $M_2\left(D\right)$ onto D. Therefore

$Ad{v}_1\circ \left(\begin{array}{cc}\phi & \\ & {\varphi }_1\end{array}\right)=Ad{v}_2\circ \left(\begin{array}{cc}{\phi }^{\prime }& \\ & {\varphi }_2\end{array}\right).$

Note that $\left[{\phi }^{\prime }\right]=\left[{\varphi }_1\right]=\left[{\varphi }_2\right]=0$. Thus $\left[\phi \right]=\left[\phi \right]+\left[{\varphi }_1\right]=\left[{\phi }^{\prime }\right]+\left[{\varphi }_2\right]=0$.

Remark 3.15. Suppose that $\left[\phi \right]=0$ in $C{P}_B^{-1}\left(A\mathrm{,}D\right)$. By Theorem 3.14, we have

$\begin{array}{c}\pi \circ \left(\begin{array}{cc}\phi & \\ & {\varphi }_1\end{array}\right)=\pi \circ Adu\circ \left(\begin{array}{cc}{\phi }^{\prime }& \\ & {\varphi }_2\end{array}\right)\\ =Ad\pi \left(u\right)\circ \left(\begin{array}{cc}\pi \circ {\phi }^{\prime }& \\ & \pi \circ {\varphi }_2\end{array}\right)\\ =Ad\pi \left(u\right)\circ \left(\begin{array}{cc}\pi \circ {\varphi }^{\prime }& \\ & \pi \circ {\varphi }_2\end{array}\right)\\ =\pi \circ Adu\circ \left(\begin{array}{cc}{\varphi }^{\prime }& \\ & {\varphi }_2\end{array}\right)\\ =\pi \circ \varphi ,\end{array}$

where

$\varphi =Adu\circ \left(\begin{array}{cc}{\varphi }^{\prime }& \\ & {\varphi }_2\end{array}\right)\in Hom\left(A\mathrm{,}{M}_2\left(D\right)\right)\mathrm{,}$

and $\pi \mathrm{<mo>\; :\; </mo>}{M}_2\left(D\right)\to M_2\left(D/B\right)$ is induced by the quotient map $\pi \mathrm{<mo>\; :\; </mo>}D\to D/B$.

Set $\varphi =\left({\varphi }_{i,j}\right)$, we have $\pi \circ {\varphi }_{i,j}=0\left(i\ne j\right)$ and $\pi \circ \phi =\pi \circ {\varphi }_{1,1}$.

Theorem 3.16. Let $\phi \in CP\left(A\mathrm{,}D\right)$. Then $\left[\phi \right]\in C{P}_B^{-1}\left(A\mathrm{,}D\right)$ if and only if there is $\varphi =\left({\varphi }_{i\mathrm{,}j}\right)\in Hom\left(A\mathrm{,}{M}_2\left(D\right)\right)$ and $\psi \in CP\left(A\mathrm{,}D\right)$ such that

$\pi \circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)=\pi \circ \varphi .$

Proof. Suppose that $\left[\phi \right]\in C{P}_B^{-1}\left(A\mathrm{,}D\right)$ with the inverse $\left[{\phi }^{\prime }\right]$. Let $v=\left(S_1\mathrm{,}{S}_2\right)$. Since $\left[\phi \right]+\left[{\phi }^{\prime }\right]=0$, there exist ${\varphi }^{\prime }=\left({{\varphi }^{\prime }}_{i\mathrm{,}j}\right)$ in $Hom\left(A\mathrm{,}{M}_2\left(D\right)\right)$ and a unitary $u=\left(u_{i\mathrm{,}j}\right)$ in $M_2\left(D\right)$ such that

$\begin{array}{c}\pi \circ \left(\begin{array}{cc}\phi & \\ & {\phi }^{\prime }\end{array}\right)=Ad\pi \left(v^{*}\right)\circ Ad\pi \left(v\right)\circ \left(\begin{array}{cc}\phi & \\ & {\phi }^{\prime }\end{array}\right)\\ =Ad\pi \left(v^{*}\right)\circ {{\varphi }^{\prime }}_{1,1}\\ =\pi \circ \left(\begin{array}{cc}{S}_1^{*}{{\varphi }^{\prime }}_{1,1}{S}_1& S_1^{*}{{\varphi }^{\prime }}_{1,1}{S}_2\\ S_2^{*}{{\varphi }^{\prime }}_{1,1}{S}_1& S_2^{*}{{\varphi }^{\prime }}_{1,1}{S}_2\end{array}\right).\end{array}$

Set

$v_1=\left(\begin{array}{cc}{S}_1^{*}& 0\\ S_2^{*}& 0\\ 0& I\end{array}\right)\text{and}{v}_2=\left(\begin{array}{ccc}I& 0& 0\\ 0& S_1& S_2\end{array}\right).$

Then $Ad{v}_1$ is an inner isomorphism from $M_2\left(D\right)$ onto $M_3\left(D\right)$ and $Ad{v}_2$ is an inner isomorphism from $M_3\left(D\right)$ onto $M_2\left(D\right)$. It follows that

$\pi \circ Ad{v}_1\circ {\varphi }^{\prime }=\pi \circ \left(\begin{array}{ccc}{S}_1^{*}{{\varphi }^{\prime }}_{1,1}{S}_1& S_1^{*}{{\varphi }^{\prime }}_{1,1}{S}_2& S_1^{*}{{\varphi }^{\prime }}_{1,2}\\ S_2^{*}{{\varphi }^{\prime }}_{1,1}{S}_1& S_2^{*}{{\varphi }^{\prime }}_{1,1}{S}_2& S_2^{*}{{\varphi }^{\prime }}_{1,2}\\ {{\varphi }^{\prime }}_{2,1}{S}_1& {{\varphi }^{\prime }}_{2,1}{S}_2& {{\varphi }^{\prime }}_{2,2}\end{array}\right)=\pi \circ \left(\begin{array}{ccc}\phi & & \\ & {\phi }^{\prime }& \\ & & {{\varphi }^{\prime }}_{2,2}\end{array}\right).$

Set

$\psi =\left(\begin{array}{cc}{S}_1& S_2\end{array}\right)\left(\begin{array}{cc}{\phi }^{\prime }& \\ & {{\varphi }^{\prime }}_{2,2}\end{array}\right)\left(\begin{array}{c}{S}_1^{*}\\ S_2^{*}\end{array}\right)$

and

$\varphi =Ad{v}_2\circ Ad{v}_1\circ {\varphi }^{\prime }\in Hom\left(A,M_2\right)\left(D\right).$

Then we have

$\pi \circ \varphi =\pi \circ Ad{v}_2\circ \left(\begin{array}{ccc}\phi & & \\ & {\phi }^{\prime }& \\ & & {{\varphi }^{\prime }}_{2,2}\end{array}\right)=\pi \circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right).$

Conversely, since

$\pi \circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)=\pi \circ \varphi ,$

$Adv\circ \pi \circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)=Adv\circ \pi \circ \varphi .$

Then

$\pi \circ {\theta }_2\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)=\pi \circ {\theta }_2\circ \varphi .$

Thus

$\left[\phi \right]+\left[\psi \right]=\left[{\theta }_2\circ \left(\begin{array}{cc}\phi & \\ & \psi \end{array}\right)\right]=\left[{\theta }_2\circ \varphi \right]=0.$

Proposition 3.17. Suppose that $\phi \in CP\left(A\mathrm{,}D\right)$ such that $\left[\phi \right]\in C{P}_B^{-1}\left(A\mathrm{,}D\right)$. Then $\pi \circ \phi$ is a homomorphism.

Proof. Suppose that ${\phi }_1\in C{P}_B^{-1}\left(A\mathrm{,}D\right)$ and $\left[{\phi }_2\right]$ is the inverse of $\left[{\phi }_1\right]$. Set

$\psi ={\theta }_2\circ \left(\begin{array}{cc}{\phi }_1& \\ & {\phi }_2\end{array}\right)=s_1{\phi }_1{s}_1^{*}+s_2{\phi }_2{s}_2^{*}.$

By Theorem 3.14, there exist $\varphi \in Hom\left(A\mathrm{,}{M}_2\left(D\right)\right)$ and ${\varphi }_1\in Hom\left(A\mathrm{,}D\right)$ such that

$\pi \circ \left(\begin{array}{cc}\psi & \\ & {\varphi }_1\end{array}\right)=\pi \circ \varphi .$

Hence $\pi \circ \psi$ is a homomorphism, and thus

$\begin{array}{l}\pi \left(S_1\right)\left(\pi \circ {\phi }_1\left(ab\right)-\pi \left({\phi }_1\left(a\right){\phi }_1\left(b\right)\right)\right)\pi \left(S_1^{*}\right)\\ +\pi \left(S_2\right)\left(\pi \circ {\phi }_2\left(ab\right)-\pi \left({\phi }_2\left(a\right){\phi }_2\left(b\right)\right)\right)\pi \left(S_2^{*}\right)=0.\end{array}$

Set $x=\pi \circ {\phi }_1\left(ab\right)-\pi \left({\phi }_1\left(a\right){\phi }_1\left(b\right)\right)$ and $y=\pi \circ {\phi }_2\left(ab\right)-\pi \left({\phi }_2\left(a\right){\phi }_2\left(b\right)\right)$. Then

$\pi \left(S_1\right)x\pi \left(S_1^{\mathrm{<mo>\; *\; </mo>}}\right)+\pi \left(S_2\right)y\pi \left(S_2^{\mathrm{<mo>\; *\; </mo>}}\right)=\mathrm{0,}$

that is,

$\left(\pi \left(S_1\right)\mathrm{,}\pi \left(S_2\right)\right)\left(\begin{array}{cc}x& \\ & y\end{array}\right)\left(\begin{array}{c}\pi \left(S_1^{\mathrm{<mo>\; *\; </mo>}}\right)\\ \pi \left(S_2^{\mathrm{<mo>\; *\; </mo>}}\right)\end{array}\right)=0.$

Put $v^{\prime }=\left(\pi \left(S_1\right),\pi \left(S_2\right)\right)$. Then ${v^{\prime }}^{*}{v}^{\prime }=I\in M_2\left(D\right)$. Hence

$\left(\begin{array}{cc}x& \\ & y\end{array}\right)=0.$

This implies that $x=y=0$, and furthermore $\pi \circ {\phi }_1\left(ab\right)=\pi \left({\phi }_1\left(a\right){\phi }_1\left(b\right)\right)$. It follows that $\pi \circ {\phi }_1$ is a homomorphism.

Lemma 3.18. ( [7], 3.2.9) Suppose that A is a separable C*-algebra and B is a stable C*-algebra. Let $\varphi \in Hom\left(A\mathrm{,}\mathcal{Q}\left(B\right)\right)$. Then the following three statements are equivalent:

1) $\left[\varphi \right]$ is invertible in $Ext\left(A\mathrm{,}B\right)$.

2) There exists $\psi \in CP\left(A\mathrm{,}M\left(B\right)\right)$ such that $\varphi =\pi \circ \psi$.

3) There exists $\phi \in Hom\left(A\mathrm{,}{M}_2\left(M\left(B\right)\right)\right)$ such that

$\left(\begin{array}{cc}\varphi & 0\\ 0& 0\end{array}\right)=\pi \left(\left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right)\phi \left(\begin{array}{cc}1& 0\\ 0& 0\end{array}\right)\right).$

It is well known that $M_2\left(M\left(B\right)\right)$ and $M\left(B\right)$ are innerly isomorphic if B is a stable C*-algebra. Then we have the following result.

Theorem 3.19. Let A and B be C*-algebras with B stable. Then

$C{P}_B^{-1}\left(A\mathrm{,}M\left(B\right)\right)\cong Ex{t}^{-1}\left(A\mathrm{,}B\right)\mathrm{.}$

Proof. Note that the condition that A is separable is not necessary in the proof of (1) $\Rightarrow$ (2) in Lemma 3.18 ( [7], 3.2.9). Suppose that $\varphi \in Hom\left(A\mathrm{,}\mathcal{Q}\left(B\right)\right)$ such that $\left[\varphi \right]$ is invertible in $Ext\left(A\mathrm{,}B\right)$. Then there exists $\phi \in CP\left(A\mathrm{,}M\left(B\right)\right)$ such that $\varphi =\pi \circ \phi$. We define a map

$\Phi \mathrm{<mo>\; :\; </mo>}Ex{t}^{-1}\left(A\mathrm{,}B\right)\to C{P}_B(A\mathrm{,}M(\; B\; ))$

by $\left[\varphi \right]\mapsto \left[\phi \right]$, where $\pi \circ \phi =\varphi$.

1) Prove that $\Phi$ is well-defined.

Suppose that ${\varphi }_1\mathrm{,}{\varphi }_2\in Hom\left(A\mathrm{,}M\left(B\right)/B\right)$ such that $\left[{\varphi }_1\right]\mathrm{,}\left[{\varphi }_2\right]\in Ex{t}^{-1}\left(A\mathrm{,}B\right)$. Then there exist ${\phi }_1\mathrm{,}{\phi }_2\in C{P}_B\left(A\mathrm{,}M\left(B\right)\right)$ such that ${\varphi }_1=\pi \circ {\phi }_1$ and ${\varphi }_2=\pi \circ {\phi }_2$. If $\left[{\varphi }_1\right]=\left[{\varphi }_2\right]$, there exist ${{\phi }^{\prime }}_1\mathrm{,}{{\phi }^{\prime }}_2\in Hom\left(A\mathrm{,}M\left(B\right)\right)$ and $u\in M_2\left(M\left(B\right)\right)$ such that

${\tilde{\theta }}_B\circ \left(\begin{array}{cc}{\varphi }_1& \\ & \pi \circ {{\phi }^{\prime }}_1\end{array}\right)=Ad\pi \left(u\right)\circ {\tilde{\theta }}_B\circ \left(\begin{array}{cc}{\varphi }_2& \\ & \pi \circ {{\phi }^{\prime }}_2\end{array}\right).$

Hence,

$\pi \left({\theta }_B\circ \left(\begin{array}{cc}{\phi }_1& \\ & {{\phi }^{\prime }}_1\end{array}\right)\right)=\pi \left(Adu\circ {\theta }_B\circ \left(\begin{array}{cc}{\phi }_2& \\ & {{\phi }^{\prime }}_2\end{array}\right)\right).$

Since ${\theta }_B$ is an inner isomorphism,

${\left[{\phi }_1\right]}_0={\left[{\theta }_B\circ \left(\begin{array}{cc}{\phi }_1& \\ & {{\phi }^{\prime }}_1\end{array}\right)\right]}_0\text{and}{\left[{\phi }_2\right]}_0={\left[Adu\circ {\theta }_B\circ \left(\begin{array}{cc}{\phi }_2& \\ & {{\phi }^{\prime }}_2\end{array}\right)\right]}_0\mathrm{.}$

Then $\left[{\phi }_1\right]=\left[{\phi }_2\right]$, and hence $\Phi$ is well-defined.

2) Prove that $\Phi$ is a homomorphism.

Note that

$\Phi \left(\left[{\varphi }_1\right]\right)+\Phi \left(\left[{\varphi }_2\right]\right)=\left[{\phi }_1\right]+\left[{\phi }_2\right]=\left[{\left[{\phi }_1\right]}_0+{\left[{\phi }_2\right]}_0\right].$

Since

$\pi \circ {\theta }_B\circ \left(\begin{array}{cc}{\phi }_1& \\ & {\phi }_2\end{array}\right)={\tilde{\theta }}_B\circ \left(\begin{array}{cc}\pi \circ {\phi }_1& \\ & \pi \circ {\phi }_2\end{array}\right)={\tilde{\theta }}_B\circ \left(\begin{array}{cc}{\varphi }_1& \\ & {\varphi }_2\end{array}\right),$

we have

$\Phi \left(\left[{\varphi }_1\right]+\left[{\varphi }_2\right]\right)=\Phi \left(\left[{\varphi }_1\right]\right)+\Phi \left(\left[{\varphi }_2\right]\right).$

It follows that $\Phi$ is a homomorphism.

3) Prove that $\Phi \left(Ex{t}^{-1}\left(A\mathrm{,}B\right)\right)\subseteq C{P}_B^{-1}\left(A\mathrm{,}M\left(B\right)\right)$.

Suppose that $\left[{\varphi }_1\right]$ is an invertible element with the inverse $\left[{\varphi }_2\right]$. Then we have

$\Phi \left(\left[{\varphi }_1\right]\right)+\Phi \left(\left[{\varphi }_2\right]\right)=\Phi \left(\left[{\varphi }_1\right]+\left[{\varphi }_2\right]\right)=\Phi \left(0\right).$

Therefore, $\Phi \left(\left[{\varphi }_1\right]\right)$ is invertible.

4) Prove that $\Phi \mathrm{<mo>\; :\; </mo>}Ex{t}^{-1}\left(A\mathrm{,}B\right)\to C{P}_B^{-1}\left(A\mathrm{,}M\left(B\right)\right)$ is injective.

Suppose that $\Phi \left(\left[{\varphi }_1\right]\right)=\left[{\phi }_1\right]$ and $\Phi \left(\left[{\varphi }_2\right]\right)=\left[{\phi }_2\right]$, where ${\varphi }_1=\pi \circ {\phi }_1$ and ${\varphi }_2=\pi \circ {\phi }_2$.

If $\left[{\phi }_1\right]=\left[{\phi }_2\right]$ in $C{P}_B^{-1}\left(A\mathrm{,}M\left(B\right)\right)$, then there exist ${{\phi }^{\prime }}_1\mathrm{,}{{\phi }^{\prime }}_2\in CP\left(A\mathrm{,}M\left(B\right)\right)$ such that ${\left[{\phi }_1\right]}_0={\left[{{\phi }^{\prime }}_1\right]}_0$, ${\left[{\phi }_2\right]}_0={\left[{{\phi }^{\prime }}_2\right]}_0$ and $\pi \circ {{\phi }^{\prime }}_1=\pi \circ {{\phi }^{\prime }}_2$. Therefore there exist ${\sigma }_1\mathrm{,}{\sigma }_2\mathrm{,}{\tau }_1\mathrm{,}{\tau }_2\in Hom\left(A\mathrm{,}M\left(B\right)\right)$ and unitary elements $u_1\mathrm{,}{u}_2\in M_2\left(M\left(B\right)\right)$ such that

$\left(\begin{array}{cc}{\phi }_1& \\ & {\sigma }_1\end{array}\right)=Ad{u}_1\circ \left(\begin{array}{cc}{{\phi }^{\prime }}_1& \\ & {\sigma }_2\end{array}\right),\left(\begin{array}{cc}{\phi }_2& \\ & {\tau }_1\end{array}\right)=Ad{u}_2\circ \left(\begin{array}{cc}{{\phi }^{\prime }}_2& \\ & {\tau }_2\end{array}\right).$

Put

$X=\left(\begin{array}{cc}{{\phi }^{\prime }}_1& \\ & {\sigma }_2\end{array}\right),Y=\left(\begin{array}{cc}{{\phi }^{\prime }}_2& \\ & {\tau }_2\end{array}\right),E=\left(\begin{array}{ccc}1& 0& 0\\ 0& 0& 1\\ 0& 1& 0\end{array}\right).$

Then we have

$\left(\begin{array}{ccc}{\phi }_1& & \\ & {\sigma }_1& \\ & & {\tau }_2\end{array}\right)=\left(\begin{array}{cc}{u}_{1}X{u}_1^{*}& 0\\ 0& {\tau }_2\end{array}\right)=\left(\begin{array}{cc}{u}_1& \\ & 1\end{array}\right)\left(\begin{array}{cc}X& 0\\ 0& {\tau }_2\end{array}\right)\left(\begin{array}{cc}{u}_1^{*}& \\ & 1\end{array}\right),$

$\left(\begin{array}{ccc}{\phi }_2& & \\ & {\tau }_1& \\ & & {\sigma }_2\end{array}\right)=\left(\begin{array}{cc}{u}_{2}Y{u}_2^{*}& 0\\ 0& {\sigma }_2\end{array}\right)=\left(\begin{array}{cc}{u}_2& \\ & 1\end{array}\right)\left(\begin{array}{cc}Y& 0\\ 0& {\tau }_2\end{array}\right)\left(\begin{array}{cc}{u}_2^{*}& \\ & 1\end{array}\right),$

and

$\begin{array}{l}\pi \left(\left(\begin{array}{cc}{u}_1& \\ & 1\end{array}\right)\left(\begin{array}{cc}X& 0\\ 0& {\tau }_2\end{array}\right)\left(\begin{array}{cc}{u}_1^{*}& \\ & 1\end{array}\right)\right)\\ =\left(\begin{array}{cc}\pi \left(u_1\right)& \\ & \pi \left(1\right)\end{array}\right)\left(\begin{array}{cc}\pi \circ X& 0\\ 0& \pi \circ {\tau }_2\end{array}\right)\left(\begin{array}{cc}\pi \left(u_1^{*}\right)& \\ & \pi \left(1\right)\end{array}\right)\\ =\left(\begin{array}{cc}\pi \left(u_1\right)& \\ & \pi \left(1\right)\end{array}\right)\pi \left(E\right)\left(\begin{array}{cc}\pi \circ Y& 0\\ 0& \pi \circ {\sigma }_2\end{array}\right)\pi \left(E\right)\left(\begin{array}{cc}\pi \left(u_1^{*}\right)& \\ & \pi \left(1\right)\end{array}\right)\\ =\pi \left(\left(\begin{array}{cc}{u}_1& \\ & 1\end{array}\right)E\left(\begin{array}{cc}Y& 0\\ 0& {\sigma }_2\end{array}\right)E\left(\begin{array}{cc}{u}_1^{*}& \\ & 1\end{array}\right)\right).\end{array}$

Thus,

$\pi \left(\left(\begin{array}{ccc}{\phi }_1& & \\ & {\sigma }_1& \\ & & {\tau }_2\end{array}\right)\right)=\pi \left(\left(\begin{array}{cc}{u}_1& \\ & 1\end{array}\right)E\left(\begin{array}{cc}{u}_2^{*}& \\ & 1\end{array}\right)\left(\begin{array}{ccc}{\phi }_2& & \\ & {\tau }_1& \\ & & {\sigma }_2\end{array}\right)\left(\begin{array}{cc}{u}_2& \\ & 1\end{array}\right)E\left(\begin{array}{cc}{u}_1^{*}& \\ & 1\end{array}\right)\right).$

Set

$u_3=\left(\begin{array}{cc}{u}_1& \\ & 1\end{array}\right)E\left(\begin{array}{cc}{u}_2^{*}& \\ & 1\end{array}\right).$

One can check that $u_3$ is a unitary in $M_3\left(M\left(B\right)\right)$. Then we have

$\left(\begin{array}{ccc}{\varphi }_1& & \\ & \pi \circ {\sigma }_1& \\ & & \pi \circ {\tau }_2\end{array}\right)=Ad\pi \left(u_3\right)\circ \left(\begin{array}{ccc}{\varphi }_2& & \\ & \pi \circ {\tau }_1& \\ & & \pi \circ {\sigma }_2\end{array}\right)\mathrm{.}$

It follows that

$\left[{\varphi }_1\right]=\left[{\varphi }_1\right]+\left[\pi \circ {\sigma }_1\right]+\left[\pi \circ {\tau }_2\right]=\left[{\varphi }_2\right]+\left[\pi \circ {\tau }_1\right]+\left[\pi \circ {\sigma }_2\right]=\left[{\varphi }_2\right].$

Therefore, $\Phi$ is injective.

5) Prove that $\Phi \mathrm{<mo>\; :\; </mo>}Ex{t}^{-1}\left(A\mathrm{,}B\right)\to C{P}_B^{-1}\left(A\mathrm{,}M\left(B\right)\right)$ is surjective.

Suppose that $\left[{\phi }_1\right]\in C{P}_B^{-1}\left(A\mathrm{,}M\left(B\right)\right)$. Then by Theorem 3.16 there exist $\left[{\phi }_2\right]$ and an inner isomorphism $\varphi \in Hom\left(A\mathrm{,}{M}_2\left(M\left(B\right)\right)\right)$ with $\varphi =Adv$ and $v=\left(S_1\mathrm{,}{S}_2\right)$, such that $\left[{\phi }_1\right]+\left[{\phi }_2\right]=\left[Adv\circ \varphi \right]$. Since $\pi \circ {\phi }_1={\varphi }_1$ and $\pi \circ {\phi }_2={\varphi }_2$, by Theorem 3.17, ${\varphi }_1$ and ${\varphi }_2$ are homomorphisms and

$\left[{\varphi }_1\right]+\left[{\varphi }_2\right]=\left[\pi \circ Adv\circ \varphi \right]=\left[0\right].$

Thus $\left[{\varphi }_1\right]\in Ex{t}^{-1}\left(A\mathrm{,}B\right)$ and $\Phi \left(\left[{\varphi }_1\right]\right)=\left[\phi \right]$. This implies that $\Phi$ is surjective.

Similar to Lemma 3.18, we have the following result.

Corollary 3.20. Let A and B be C*-algebras with B stable and let $\varphi \in Hom\left(A\mathrm{,}\mathcal{Q}\left(B\right)\right)$. Consider the following three statements:

1) $\left[\varphi \right]$ is invertible in $Ext\left(A\mathrm{,}B\right)$.

2) There exists $\psi \in CP\left(A\mathrm{,}M\left(B\right)\right)$ such that $\varphi \mathrm{<mo>\; =\; </mo>}\pi \circ \psi$.

3) There exist $\phi \in Hom\left(A\mathrm{,}{M}_2\left(M\left(B\right)\right)\right)$ and ${\varphi }^{\prime }\in Hom\left(A\mathrm{,}M\left(B\right)\right)$ such that

$\left(\begin{array}{cc}\varphi & \\ & {\varphi }^{\prime }\end{array}\right)=\pi \circ \phi .$

Then (1) $\iff$ (3) $\Rightarrow$ (2).

Proposition 3.21. Let A and C be C*-algebras and $h\mathrm{,}\varphi \in Hom\left(A\mathrm{,}C\right)$. Then

1) The map $h_{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; :\; </mo>}C{P}_2\left(C\mathrm{,}D\right)\to C{P}_2\left(A\mathrm{,}D\right)$ defined by ${\left[\phi \right]}_0\mapsto {\left[\phi \circ h\right]}_0$ is a semigroup homomorphism.

2) The map ${\varphi }_{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; :\; </mo>}C{P}_B\left(C\mathrm{,}D\right)\to C{P}_B\left(A\mathrm{,}D\right)$ defined by $\left[\phi \right]\mapsto \left[\phi \circ \varphi \right]$ is a unital semigroup homomorphism. Furthermore, it is a group homomorphism from $C{P}_B^{-1}\left(C\mathrm{,}D\right)$ into $C{P}_B^{-1}\left(A\mathrm{,}D\right)$.

Theorem 3.22. Let $\mathcal{C}$ be the category of C*-algebras and $\mathcal{S}\mathcal{G}$ the category of abelian semigroups. Define $C{P}_B\left(\cdot \mathrm{,}D\right)\mathrm{<mo>\; :\; </mo>}\mathcal{C}\to \mathcal{S}\mathcal{G}$ by $A\mapsto C{P}_B\left(A\mathrm{,}D\right)$ and $\varphi \mapsto {\varphi }_{\mathrm{<mo>\; *\; </mo>}}$ for any $A\in \mathcal{C}$ and $\varphi \in Hom\left(A\mathrm{,}C\right)$. Then $C{P}_B\left(\cdot \mathrm{,}D\right)$ is a contravariant functor from $\mathcal{C}$ to $\mathcal{S}\mathcal{G}$.

Proof. 1) For a C*-algebra A and $\left[\phi \right]\in C{P}_B\left(A\mathrm{,}D\right)$, we have $I_{*}\left(\left[\phi \right]\right)=\left[\phi \circ I\right]=\left[\phi \right]$. Then $I_{\mathrm{<mo>\; *\; </mo>}}$ is the unit of $C{P}_B\left(A\mathrm{,}D\right)$.

2) Let ${\phi }_1\in Hom\left(A\mathrm{,}E\right)$ and ${\phi }_2\in Hom\left(E\mathrm{,}C\right)$. Set $F=C{P}_B\left(\cdot \mathrm{,}D\right)$. Then

$F\left({\phi }_2\circ {\phi }_1\right)\left[\phi \right]=\left[\phi \circ {\phi }_2\circ {\phi }_1\right]=F\left({\phi }_1\right)\left[\phi \circ {\phi }_2\right]=F\left({\phi }_1\right)\circ F\left({\phi }_2\right)\left[\phi \right].$

Thus $C{P}_B\left(\cdot \mathrm{,}D\right)$ is a contravariant functor.

Corollary 3.23. Let $\mathcal{G}$ be the category of abelian groups. Then $C{P}_B\left(\cdot \mathrm{,}D\right)$ induces a contravariant functor $C{P}_B^{-1}\left(\cdot \mathrm{,}D\right)$ from $\mathcal{C}$ into $\mathcal{G}$ by $A\mapsto C{P}_B^{-1}\left(A\mathrm{,}D\right)$, and from $Hom\left(A\mathrm{,}C\right)$ into $Hom\left(C{P}_B^{-1}\left(C\mathrm{,}D\right)\mathrm{,}C{P}_B^{-1}\left(A\mathrm{,}D\right)\right)$ by $\varphi \mapsto {\varphi }_{\mathrm{<mo>\; *\; </mo>}}$.

For a short exact sequence of C*-algebras $0\to C\stackrel{{\phi }_1}{\to }E\stackrel{{\phi }_2}{\to }A\to 0$, the functor $C{P}_B\left(\cdot \mathrm{,}D\right)$ from $\mathcal{C}$ to $\mathcal{S}\mathcal{G}$ is not exact, and it is even not split-exact. The following is a counterexample.

Example 3.24. Suppose that H is an infinite dimensional separable Hilbert space. Let $A=C=K\left(H\right)$, $E=A\oplus C$, $D=B\left(H\right)$ and $B=0$. Then $C{P}_B\left(A,D\right)=C{P}_2\left(A,D\right)$. Let $f_1\mathrm{<mo>\; :\; </mo>}C\to E$ be the inclusion map and let $f_2\mathrm{<mo>\; :\; </mo>}E\to A$ be the quotient map. Then the exact sequence

$0\to C\stackrel{f_1}{\to }E\stackrel{f_2}{\to }A\to 0$

is split.

Take a nonzero element $\eta \in CP\left(A\mathrm{,}ℂI_D\right)$. We define a map $\phi \mathrm{<mo>\; :\; </mo>}E\to D$ by ${\phi |}_C=I_C$ and ${\phi |}_A=\eta$. Then $\phi \in CP\left(E\mathrm{,}D\right)$ and $\left[\phi \circ f_1\right]=0$. If ${\left[\psi \circ f_2\right]}_0={\left[\phi \right]}_0$ for some $\psi \in C{P}_2\left(A\mathrm{,}D\right)$, then there exist ${\varphi }_1\mathrm{,}{\varphi }_2\in Hom\left(E\mathrm{,}D\right)$ and a unitary $u\in U\left(M_2\left(D\right)\right)$ such that

$\left(\begin{array}{cc}\psi \circ f_2& \\ & {\varphi }_1\end{array}\right)=u\left(\begin{array}{cc}\phi & \\ & {\varphi }_2\end{array}\right)u^{*}.$

Put

$u=\left(\begin{array}{cc}{u}_1& u_2\\ u_3& u_4\end{array}\right).$

Since $\left(\psi \circ f_2\right)\left(E\right)=0$, $u_1\phi \left(E\right)u_1^{*}+u_2{\varphi }_2\left(E\right)u_2^{*}=0$. Note that $u_1\phi \left(e\right)u_1^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}{u}_2{\varphi }_2\left(e\right)u_2^{\mathrm{<mo>\; *\; </mo>}}$ are positive if e is positive in E. It follows that

$u_1\phi \left(e\right)u_1^{*}=u_2{\varphi }_2\left(e\right)u_2^{*}=0.$

Therefore $u_{1}K\left(H\right)u_1^{\mathrm{<mo>\; *\; </mo>}}=0$. Furthermore, $u_1{u}_1^{*}=0$ since there is a sequence in $K\left(H\right)$ which is convergent to I in the strong operator topology on $B\left(H\right)$. Then $u_1=0$. Hence $u_4=0$ and $u_2\mathrm{,}{u}_3\in U\left(D\right)$. Therefore,

$u\left(\begin{array}{cc}\phi & \\ & {\varphi }_2\end{array}\right)u^{*}=\left(\begin{array}{cc}{u}_2{\varphi }_2{u}_2^{*}& \\ & u_3\phi u_3^{*}\end{array}\right).$

Since $u_3\phi u_3^{*}={\varphi }_1$ is a homomorphism, $\phi$ is also a homomorphism. However, ${\phi |}_A$ is not a homomorphism by the definition of $\phi$. Otherwise, if ${\phi |}_A$ is a homomorphism from $K\left(H\right)$ to $ℂ$, then it follows that ${\phi |}_A=0$ since a completely positive map preserves self-adjoint elements. This is in contradiction to the fact that ${\phi |}_A\ne 0$.

Theorem 3.25. Suppose that

$0\to C\stackrel{f_1}{\to }E\stackrel{f_2}{\to }A\to 0$

is a split short exact sequence, then

$0\to C{P}_B^{-1}\left(A\mathrm{,}D\right)\stackrel{{\left(f_2\right)}_{\mathrm{<mo>\; *\; </mo>}}}{\to }C{P}_B^{-1}\left(E\mathrm{,}D\right)\stackrel{{\left(f_1\right)}_{\mathrm{<mo>\; *\; </mo>}}}{\to }C{P}_B^{-1}\left(C\mathrm{,}D\right)\to 0$

is also a split short exact sequence.

Proof. Since ${\left(f_1\right)}_{\mathrm{<mo>\; *\; </mo>}}\circ {\left(f_2\right)}_{\mathrm{<mo>\; *\; </mo>}}\left(\left[{\phi }_A\right]\right)=\left[{\phi }_A\circ f_2\circ f_1\right]=0$, we have $Im{\left(f_2\right)}_{\mathrm{<mo>\; *\; </mo>}}\subset Ker{\left(f_1\right)}_{\mathrm{<mo>\; *\; </mo>}}$.

Assume that $E=A\oplus C$. For any $\left[\phi \right]\in Ker\left({\left(f_1\right)}_{\mathrm{<mo>\; *\; </mo>}}\right)$, let ${\phi }_A={\phi |}_A$ and ${\phi }_C={\phi |}_C$. Then $\phi ={\phi }_A\oplus {\phi }_C$. Note that $\left[\phi \right]$ is invertible and

$\left[{\phi }_C\right]=\left[\phi \circ f_1\right]={\left(f_1\right)}_{*}\left(\left[\phi \right]\right).$

Hence, $\left[{\phi }_C\right]\in C{P}_B^{-1}\left(C\mathrm{,}D\right)$. Similarly, $\left[{\phi }_A\right]$ is also invertible.

Suppose that the inverses of $\left[{\phi }_A\right]$ and $\left[{\phi }_C\right]$ are $\left[{{\phi }^{\prime }}_A\right]$ and $\left[{{\phi }^{\prime }}_C\right]$ respectively. Let $\left[{\phi }^{\prime }\right]=\left[{{\phi }^{\prime }}_A\oplus {{\phi }^{\prime }}_C\right]$. Now we show that $\left[\phi \right]+\left[{\phi }^{\prime }\right]$ is the unit. Suppose that ${\left[{{\phi }^{″}}_A\right]}_0={\left[{\phi }_A\right]}_0+{\left[{{\phi }^{\prime }}_A\right]}_0$ and ${\left[{{\phi }^{″}}_C\right]}_0={\left[{\phi }_C\right]}_0+{\left[{{\phi }^{\prime }}_C\right]}_0$ such that $\pi \circ {{\phi }^{″}}_A=\pi \circ {\varphi }_A$ and $\pi \circ {{\phi }^{″}}_C=\pi \circ {\varphi }_C$, where ${\varphi }_A$ and ${\varphi }_C$ are homomorphisms. Then

${\left[\phi \right]}_0+{\left[{\phi }^{\prime }\right]}_0={\left[{{\phi }^{″}}_A\oplus {{\phi }^{″}}_C\right]}_0\mathrm{.}$

Since $\pi \left({{\phi }^{″}}_A\oplus {{\phi }^{″}}_C\right)$ is a homomorphism, $\left[\phi \right]+\left[{\phi }^{\prime }\right]$ is the unit of $C{P}_B^{-1}\left(E\mathrm{,}D\right)$. Since $\left[\phi \right]\in Ker\left({\left(f_1\right)}_{\mathrm{<mo>\; *\; </mo>}}\right)$, $\left[\phi \circ f_1\right]=0$. Then $\pi \circ {\phi }_C=\pi \circ {\varphi }_C$ and hence $\left[{{\phi }^{\prime }}_C\right]$ is the inverse of $\left[{\phi }_C\right]$. Therefore, $\left[{\phi }^{\prime }\right]=\left[{{\phi }^{\prime }}_A\oplus 0\right]$ is the inverse of $\left[\phi \right]$. Since ${\left(f_2\right)}_{\mathrm{<mo>\; *\; </mo>}}\left(\left[{{\phi }^{\prime }}_A\right]\right)=\left[{\phi }^{\prime }\right]$, $\left[\phi \right]\in Im\left({\left(f_2\right)}_{\mathrm{<mo>\; *\; </mo>}}\right)$. Thus,

$Im\left({\left(f_2\right)}_{\mathrm{<mo>\; *\; </mo>}}\right)=Ker\left({\left(f_1\right)}_{\mathrm{<mo>\; *\; </mo>}}\right)\mathrm{.}$

Suppose that ${\left(f_2\right)}_{\mathrm{<mo>\; *\; </mo>}}\left(\left[{\phi }_A\right]\right)=0$. Then $\left[{\phi }_A\oplus 0\right]=0$, and there exist $\psi \in CP\left(E\mathrm{,}D\right)$ and $\varphi \in Hom\left(E\mathrm{,}D\right)$ such that ${\left[\psi \right]}_0={\left[{\phi }_A+0\right]}_0$ and $\pi \circ \psi =\pi \circ \varphi$. Hence, $\pi \circ {\psi |}_A=\pi \circ {\varphi |}_A$. Note that ${\varphi |}_A\in Hom\left(A\mathrm{,}D\right)$ and ${\left[{\varphi |}_A\right]}_0={\left[{\phi }_A\right]}_0$. It follows that $\left[{\phi }_A\right]=0$ and ${\left(f_2\right)}_{\mathrm{<mo>\; *\; </mo>}}$ is an injective homomorphism.

Suppose that $\left[{\phi }_C\right]\in C{P}_B^{-1}\left(C\mathrm{,}D\right)$. Then we have

${\left(f_1\right)}_{\mathrm{<mo>\; *\; </mo>}}\left(\left[0\oplus {\phi }_C\right]\right)=\left[\left(0\oplus {\phi }_C\right)\circ f_1\right]=\left[{\phi }_C\right]\mathrm{.}$

Therefore, ${\left(f_1\right)}_{\mathrm{<mo>\; *\; </mo>}}$ is surjective.

Define

$f_{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; :\; </mo>}C{P}_B^{-1}\left(C\mathrm{,}D\right)\to C{P}_B^{-1}\left(E\mathrm{,}D\right)\mathrm{,}\left[{\phi }_C\right]\mapsto \left[0\oplus {\phi }_C\right]\mathrm{.}$

Then ${\left(f_1\right)}_{*}\circ f_{*}=I$. Finally,

$0\to C{P}_B^{-1}\left(A\mathrm{,}D\right)\stackrel{{\left(f_2\right)}_{\mathrm{<mo>\; *\; </mo>}}}{\to }C{P}_B^{-1}\left(E\mathrm{,}D\right)\stackrel{{\left(f_1\right)}_{\mathrm{<mo>\; *\; </mo>}}}{\to }C{P}_B^{-1}\left(C\mathrm{,}D\right)\to 0$

is a split short exact sequence.

Remark 3.26. For any C*-algebra B, we can define $C{P}_2\left(A\mathrm{,}B\right)$, $C{P}_I^{-1}\left(A\mathrm{,}B\right)$, etc., to be $C{P}_2\left(A\mathrm{,}M\left(\mathcal{K}\otimes B\right)\right)$, $C{P}_I^{-1}\left(A\mathrm{,}M\left(\mathcal{K}\otimes B\right)\right)$, respectively. Since for any stable C*-algebra its multiplier algebra is properly infinite, these invariants are well-defined.

Acknowledgements

This work was supported by the Shandong Provincial Natural Science Foundation (Grant No. ZR2020MA009).

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Blackadar, B. (1998) K-Theory for Operator Algebras. 2nd Edition, Mathematical Sciences Research Institute Publications 5, Cambridge University Press, Cambridge. https://doi.org/10.1112/S0025579300007713
[2]	Christopher Lance, E. (1995) Hilbert C*-Module. Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511526206
[3]	Voiculescu, D. (1976) A Non-Commutative Weyl-Von Neumann Theorem. Revue Roumaine de Mathématiques Pures et Appliquées, 21, 97-113.
[4]	Busby, R.C. (1968) Double Centralizers and Extensions of C*-Algebras. Transactions of the American Mathematical Society, 132, 79-99. https://doi.org/10.2307/1994883
[5]	Brown, L.G., Douglas, R.G. and Fillmore, P.A. (1973) Extensions of C*-Algebras, Operators with Compact Self-Commutators, and K-Homology. Bulletin of the American Mathematical Society, 79, 973-978. https://doi.org/10.1090/S0002-9904-1973-13284-7
[6]	Brown, L.G., Douglas, R.G. and Fillmore, P.A. (1977) Extensions of C*-Algebras and K-Homology. Annals of Mathematics, 105, 265-324. https://doi.org/10.2307/1970999
[7]	Jensen, K. and Thomsen, K. (1991) Elements of KK-Theory. Birkhäuser, Basel.
[8]	Kasparov, G.G. (1981) The Operator K-Functor and Extensions of C*-Algebras. Mathematics of the USSR-Izvestiya, 16, 513-572. https://doi.org/10.1070/IM1981v016n03ABEH001320
[9]	Wegge-Olsen, N. (1993) K-Theory and C*-Algebras. Oxford University Press, Oxford, New York, Tokyo.
[10]	Lin, H. (2007) Classification of Homomorphisms and Dynamical Systems. Transactions of the American Mathematical Society, 359, 859-895. https://doi.org/10.1090/S0002-9947-06-03932-8
[11]	Lin, H. (2010) Approximate Homotopy of Homomorphisms from C(X) into a Simple C*-Algebra. Memoirs of the American Mathematical Society, 205, Article No. 963. https://doi.org/10.1090/S0065-9266-09-00611-5
[12]	Lin, H. and Niu, Z. (2014) Homomorphisms into Simple Z-Stable C*-Algebras. Journal of Operator Theory, 71, 517-569. https://doi.org/10.7900/jot.2012jul10.1975
[13]	Wang, R., Wei, C. and Liu, S. (2019) On the Ideal of Compact Operators on a Hilbert C*-Module. Journal of Mathematical Analysis and Applications, 474, 441-451. https://doi.org/10.1016/j.jmaa.2019.01.053
[14]	Wei, C. (2015) On the Classification of Certain Unital Extensions of C*-Algebras. Houston Journal of Mathematics, 41, 965-991.
[15]	Zhang, H. and Si, H. (2016) Fixed Points Associated to Power of Normal Completely Positive Maps. Journal of Applied Mathematics and Physics, 4, 925-929. https://doi.org/10.4236/jamp.2016.45101