Pairwise orthogonal projections in C*-algebras - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T14:44:04Z http://mathoverflow.net/feeds/question/71153 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/71153/pairwise-orthogonal-projections-in-c-algebras Pairwise orthogonal projections in C*-algebras Joachim Gryn 2011-07-24T21:19:46Z 2011-07-25T07:02:29Z <p>Is every non-zero projection in a C*-algebra $A$ a supremum or infimum (at least majorized by / majorizes) a family of pairwise orthogonal non-zero projections in $A$? </p> <p>PS. Are there any cheap ways to generate abelian sub C*-algebras of a given C*-algebra (of course, having in mind Akemann's example of a non-separable C*-algebra with each abelian sub-C*-algebra separable)?</p> http://mathoverflow.net/questions/71153/pairwise-orthogonal-projections-in-c-algebras/71159#71159 Answer by MTS for Pairwise orthogonal projections in C*-algebras MTS 2011-07-24T22:57:34Z 2011-07-25T07:02:29Z <p>I don't know if this is exactly what you're looking for, but the answer to your first question, as I understand it, is no. There are unital C$^*$-algebras that contain no projections other than 0 and 1, e.g. $C(X)$ for any connected (compact Hausdorff) space $X$.</p> <p>If you want projections, then you generally want to work in von Neumann algebras, where they are plentiful. In von Neumann algebras you have good results about suprema and infima of projections, and about splitting projections, etc.</p> <p>Edit: One way to produce projections is to use the continuous functional calculus. Suppose you have a normal element $x$ whose spectrum is disconnected, say $$\mathrm{sp}(x)= K_1 \bigsqcup K_2.$$ Let $p$ be the function which is $1$ on $K_1$ and $0$ on $K_2$; then $p(x)$ and $(1-p)(x)$ are mutually orthogonal projections.</p> <p>Of course it depends highly on the nature of your C$^*$-algebra whether you can produce such elements with disconnected spectrum.</p> <p>When you say that you want orthogonal projections to generate abelian subalgebras, what exactly do you have in mind for these? Algebras generated by mutually orthogonal projections aren't that interesting in and of themselves. If you have finitely many of them, say $N$, then the algebra you get is just isomorphic to functions on the discrete space with $N$ points.</p>