Reference needed for: every idempotent in a C*-algebra is similar to a hermitian one - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T07:46:49Z http://mathoverflow.net/feeds/question/16943 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/16943/reference-needed-for-every-idempotent-in-a-c-algebra-is-similar-to-a-hermitian Reference needed for: every idempotent in a C*-algebra is similar to a hermitian one Yemon Choi 2010-03-03T02:11:50Z 2010-03-09T22:16:43Z <p>The result stated in the title is thoroughly standard - or that's the impression I got. I seem to remember seeing it stated somewhere in a book I was reading in the library, and then reverse-engineering a proof from the hints given.</p> <p>For a preprint I'm working on, it would be preferable to give a precise citation from a "standard text", rather than spend time giving the proof "for the reader's convenience". Any suggestions?</p> <hr> <p>If anyone's interested, an outline of a proof is as follows: consider an idempotent P in B(H), with H a Hilbert space, and note that we can always decompose H as an orthogonal sum with respect to which P has the block matrix form</p> <p>$$P= \left(\begin{matrix} I &amp; R \\ 0 &amp; 0 \end{matrix}\right)$$</p> <p>Then it's not hard to see that conjugating $P$ by the invertible operator</p> <p>$$S= \left( \begin{matrix} I &amp; R \\ 0 &amp; I \end{matrix} \right)$$</p> <p>will give</p> <p>$$E = \left(\begin{matrix} I &amp; 0 \\\ 0 &amp; 0 \end{matrix} \right)$$</p> <p>Since $S= I+P-E$, it suffices to show that $E$ is in the C*-algebra generated by I and P (for then S will also lie in that algebra, and then we're done). This follows by messing around with various combinations of P, its adjoint, and their products.</p> http://mathoverflow.net/questions/16943/reference-needed-for-every-idempotent-in-a-c-algebra-is-similar-to-a-hermitian/16944#16944 Answer by Jonas Meyer for Reference needed for: every idempotent in a C*-algebra is similar to a hermitian one Jonas Meyer 2010-03-03T02:26:52Z 2010-03-09T22:16:43Z <p>Blackadar's <em><a href="http://books.google.com/books?id=214a1Wri63QC&amp;dq=idempotent+projection+similar&amp;client=firefox-a&amp;source=gbs_navlinks_s" rel="nofollow">K-Theory for operator algebras</a></em> has it, although the way it is done there is perhaps overkill if this is all you need. The result is generalized to local $C^*$-algebras, and he shows similarity by showing the stronger property of homotopy equivalence. It is <a href="http://books.google.com/books?id=214a1Wri63QC&amp;lpg=PA23&amp;dq=idempotent%2520projection%2520similar&amp;client=firefox-a&amp;pg=PA23#v=onepage&amp;q=&amp;f=false" rel="nofollow">Proposition 4.6.2</a> on page 23 of the 2nd edition (1998). (<a href="http://books.google.com/books?id=214a1Wri63QC&amp;lpg=PA23&amp;dq=idempotent%2520projection%2520similar&amp;client=firefox-a&amp;pg=PA21#v=onepage&amp;q=idempotent%2520projection%2520similar&amp;f=false" rel="nofollow">Proposition 4.3.3</a> shows that homotopy equivalence is stronger.)</p> <p>The stronger equivalence (but just for $C^*$-algebras) is also shown in the K-theory book by Rørdam et al., <a href="http://books.google.com/books?id=SMiB8VIB5UIC&amp;lpg=PA192&amp;dq=idempotent%2520projection%2520k-theory&amp;client=firefox-a&amp;pg=PA192#v=onepage&amp;q=&amp;f=false" rel="nofollow">Lemma 11.2.7</a>, with a very similar proof.</p> <hr> <p>Added after the first two comments:</p> <p>Kaplansky's <em><a href="http://books.google.com/books?id=hRaoAAAAIAAJ&amp;client=firefox-a&amp;source=gbs_navlinks_s" rel="nofollow">Rings of operators</a></em> has another approach. Since there is no Google preview, I'll outline what is done. Theorem 26 shows that if $A$ is a unital ring with involution $*$ such that $1+x^*x$ is invertible for all $x\in A$, then for each idempotent $f\in A$ there is a projection $e\in A$ such that $fA=eA$. (The projection is obtained just as in the previous two sources, <code>$e=ff^*(1+(f-f^*)(f^*-f))^{-1}$</code>.) A previous exercise (4 on page 24) shows that if $f$ and $e$ are idempotents in a unital ring $A$ and $fA=eA$, then $f$ and $e$ are similar.</p> <p>Here is yet another reference, older and with a different approach, but this time not from a standard text. It is Lemma 16 on page 856 of Kaplansky's "<a href="http://www.jstor.org/stable/2372552" rel="nofollow">Modules over operator algebras</a>", American Journal of Mathematics, Vol. 75, No. 4 (Oct., 1953), pp. 839-858. Of the references I have provided, this is the only one that sets out to prove precisely the result in question as opposed to something stronger or more general. The approach is to invoke the theory of polynomial identities to reduce to the case of 2-by-2 scalar matrices. This paper is famous among operator algebraists because of its introduction of what are now called Hilbert <code>$C^*$</code>-modules (but only over commutative <code>$C^*$</code>-algebras).</p>