MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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$)?

share|cite|improve this question
Ah, I think that I can deduce this from exercise 2.M in Wegge-Olsen. Or does that fail? – Ulrich Pennig Mar 17 '11 at 14:17
up vote 4 down vote accepted

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)$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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