Skip to main content
Figured out the full question
Source Link
Chris Ramsey
  • 4k
  • 3
  • 18
  • 41

One can view $A$ and $B$ as sitting completely isometrically inside their injective envelopes $I(A)$ and $I(B)$. Then by injectivity a unital *-homomorphism (or more generally a unital completely positive map) $f:A\rightarrow B\subseteq I(B)$ extends to a unital completely positive map $\overline f:I(A) \rightarrow I(B)$.

I've been digging around but I am not convinced that[Edit: this should work]

Paulsen in this paper, Proposition 3.5, points out that any C$^*$-algebra containing $K(H)$ has injective envelope $B(H)$. Then $A = K(H) + \mathbb C I$ has $I(A) = B(H)$.

Consider the $*$-homomorphism $f:A\rightarrow \mathbb C$ given by $f(k+\alpha I) = \alpha$. Note that $I(\mathbb C) = \mathbb C$ and that any state of the Calkin algebra $B(H)/K(H)$ precomposed with the quotient map $q:B(H)\rightarrow B(H)/K(H)$ extends the map $f$. Therefore, $\overline f$ will necessarilyneed not be a homomorphism$*$-homomorphism or unique. Hopefully this spurs on the great brains to more fully answer your question.

One can view $A$ and $B$ as sitting completely isometrically inside their injective envelopes $I(A)$ and $I(B)$. Then by injectivity a unital *-homomorphism (or more generally a unital completely positive map) $f:A\rightarrow B\subseteq I(B)$ extends to a unital completely positive map $\overline f:I(A) \rightarrow I(B)$.

I've been digging around but I am not convinced that this $\overline f$ will necessarily be a homomorphism or unique. Hopefully this spurs on the great brains to more fully answer your question.

One can view $A$ and $B$ as sitting completely isometrically inside their injective envelopes $I(A)$ and $I(B)$. Then by injectivity a unital *-homomorphism (or more generally a unital completely positive map) $f:A\rightarrow B\subseteq I(B)$ extends to a unital completely positive map $\overline f:I(A) \rightarrow I(B)$.

[Edit: this should work]

Paulsen in this paper, Proposition 3.5, points out that any C$^*$-algebra containing $K(H)$ has injective envelope $B(H)$. Then $A = K(H) + \mathbb C I$ has $I(A) = B(H)$.

Consider the $*$-homomorphism $f:A\rightarrow \mathbb C$ given by $f(k+\alpha I) = \alpha$. Note that $I(\mathbb C) = \mathbb C$ and that any state of the Calkin algebra $B(H)/K(H)$ precomposed with the quotient map $q:B(H)\rightarrow B(H)/K(H)$ extends the map $f$. Therefore, $\overline f$ need not be a $*$-homomorphism or unique.

Source Link
Chris Ramsey
  • 4k
  • 3
  • 18
  • 41

One can view $A$ and $B$ as sitting completely isometrically inside their injective envelopes $I(A)$ and $I(B)$. Then by injectivity a unital *-homomorphism (or more generally a unital completely positive map) $f:A\rightarrow B\subseteq I(B)$ extends to a unital completely positive map $\overline f:I(A) \rightarrow I(B)$.

I've been digging around but I am not convinced that this $\overline f$ will necessarily be a homomorphism or unique. Hopefully this spurs on the great brains to more fully answer your question.