$M_2(\mathcal{K}(\mathbb{H})) \cong \mathcal{K}(\mathbb{H} \oplus \mathbb{H} )$?

63 Views Asked by At

Can anybody tell whether the C*-algebras $M_2(\mathcal{K}(\mathbb{H}))$ and $\mathcal{K}(\mathbb{H} \oplus \mathbb{H} )$ are isomorphic? If so, what is the isomorphism exactly?

$\mathcal{K}(\mathbb{H})$ denotes the ideal of compact operators on an infinite-dimensional Hilbert space $\mathbb{H}$.

1

There are 1 best solutions below

2
On BEST ANSWER

Since $K(H)$ is the unique (or smallest, if $H$ is uncountably-dimensional) proper ideal, it is enough to consider the isomorphism between $M_2(B(H))$ and $B(H\oplus H)$. Let $V:H\to H\oplus H$ given by $Vx=(x,0)$; $W:H\to H\oplus H$ given by $Wy=(0,y)$. It is easy to check that $V^*(x,y)=x$, $W^*(x,y)=y$.

Define $\gamma:B(H\oplus H)\to M_2(B(H))$ by $$ \gamma(T)=\begin{bmatrix}V^*TV&V^*TW\\ W^*TV&W^*TW\end{bmatrix}. $$ It is straightforward to check that $\gamma$ is a $*$-monormorphism. So it only remains to check that $\gamma$ is onto. If $$X=\begin{bmatrix}A&B\\ C&D\end{bmatrix}\in M_2(B(H)),$$ define $T\in B(H\oplus H)$ by $$\tag{*} T(x,y)=(Ax+By,Cx+Dy). $$ Then, for all $x\in H$, $$ V^*TVx=V^*T(x,0)=V^*(Ax,Cx)=Ax, $$ so $V^*TV=A$. Similarly, $V^*TW=B$, $W^*TV=C$, $W^*TW=D$, and thus $\gamma(T)=X$. That is, $\gamma$ is onto.