5
$\begingroup$

Let $A$ be a $C^*$-algebra with countable approximate unit. Let $\mathbb{K}$ denote the compact operators on a separable Hilbert space. Mingo and later Cuntz and Higson have shown that the unitary group in the multiplier algebra $M(A \otimes \mathbb{K})$ is contractible in the norm topology. It was then shown by Troitsky in a paper with the title

Geometry and Topology of operators on Hilbert $C^*$-modules

that $U(M(A \otimes \mathbb{K}))$ is also contractible, if it is equipped with the left strict topology, i.e. the topology generated by the semi-norms $\lVert xa \rVert$ for $x \in M(A \otimes \mathbb{K})$ and $a \in A \otimes \mathbb{K}$. Is the theorem still true, if we change from left strict to strict (which is the topology that includes the semi-norms $\lVert ax \rVert$)?

$\endgroup$
  • $\begingroup$ Ah, I think that I can deduce this from exercise 2.M in Wegge-Olsen. Or does that fail? $\endgroup$ – Ulrich Pennig Mar 17 '11 at 14:17
4
$\begingroup$

I would post this as a comment but as it just happens I can't do that. I do think that the exercise that you mention proves strict contractibility. The same formula for the homotopy, $$ (u,t)\mapsto w_tuw_t^*+(1-w_tw_t^*), $$ is given in Proposition 12.2.2 of Blackadar's book on K-theory, although the statement only says that the unitary group of $M(A\otimes K)$ is path connected. This formula goes back to Dixmier and Douady's paper on fields of Hilbert spaces, applied to $B(H)$.

$\endgroup$

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.