Explicit path in the unitary group of a $C^*$-algebra For $G$ a discrete group, there is a canonical inclusion $g\mapsto u_g$ of $G$ into the unitary group of the reduced $C^*$-algebra $C^*_r(G)$. Denote by $[u_g]$ the class of $u_g$ in the (topological) $K$-theory group $K_1(C^*_r(G))$. It is well-known that, if $g$ is a commutator in $G$, then $[u_g]=0$ in $K_1(C^*_r(G))$: indeed the $2\times 2$ matrix $u_g\oplus 1$ is connected to the identity in the unitary group of $M_2(C^*_r(G))$. 
Now, let $G$ be the free group on two generators $a,b$, and let $g$ be the commutator of $a$ and $b$. I recently bumped into this nice paper by Haagerup, Dykema and Rordam:
http://arxiv.org/pdf/funct-an/9608001.pdf
At the top of page 3, they mention as a consequence of their main result, that $u_g$ is connected to $1$ already in the unitary group of $C^*_r(G)$. Partly out of curiosity, I was wondering whether an explicit path of unitaries between $u_g$ and $1$ had been written down somewhere.
 A: Here are some thoughts about a construction of an explicit path. Unfortunately, I could not carry it over, so take it as a long comment. I'd be glad if somebody is able to complete it, or maybe to get some useful hint!
Any skew-symmetric unitary element $J$ of a $C^*$  algebra $A$  can be connected to the identity in the unitary group of $A$ by the path $\exp(tJ)=\cos(t)I+\sin(t)J$, for $0\le t\le \pi/4$. This suggests to consider a factorization of $U:=u_g$ as a product of two  skew-symmetric unitary operators $J$ and $K$ on $\ell_2(G) $ (this can be done in many ways, indeed):
$$J\in B(\ell_2(G)),\quad K\in B(\ell_2(G))\, ,$$ 
$$J^*=J^{-1}=-J,\quad K^*=K^{-1}=-K\, ,$$ 
$$U=JK\,\quad  (\,\mathit{so\, that}\quad K=-JU)\, .$$
Then $u(t):=\exp(tJ)\exp(tK)=\cos(t)^2I+\sin(t)\cos(t)J(I-U)+\sin(t)^2U$ for $0\le t\le \pi/4$ is a path in the unitary group of $B(\ell_2(G))$ connecting $I$ to $U$. So, if we can choose the above factorization in such a way that we also have $J(I-U)\in C^*_{\mathrm {r}}(G)$, the whole path $u(t)$ would be in the reduced algebra for all $t$. Of course, $J \in C^*_{\mathrm {r}}(G)$ would do it, but this doesn't quite seem to be needed, as $I-U$ is not invertible. 
I've thus tried the simplest Ansatz for $J$, namely $Jf(x):=\alpha(x)f(\sigma(x))$, for all $f\in \ell_2(G)$ and $x\in G$, with  a convenient $\alpha\in\ell_\infty(G)$ and a  $\sigma:G\to G$ bijective. However, it seems the last requirement, $J(I-U)\in C^*_{\mathrm {r}}(G)$ can't be fulfilled in this case. A slightly more general form, $Jf(x):=\alpha(x)f(\sigma(x))+\beta(x)f(\tau(x))$ seems more promising (yet there could be some good reason why the whole approach is hopeless, though).
