1
$\begingroup$

Let $f_i$, $i=1,\dotsc,n$, be mutually orthogonal Abelian projections in a von Numann algebra, and let $e\leq\sum f_i$. Is it true that there exist mutually orthogonal Abelian projections $e_j$, $j=1,\dotsc,m$ such that $e=\sum e_j$?

$\endgroup$

1 Answer 1

3
$\begingroup$

This is true, more generally, in a C*-algebra of real rank zero (i.e., such that the selfadjoint elements with finite spectrum are dense in the set of selfadjoints). Zhang proves in "A Riesz decomposition property and ideal structure of multiplier algebras" that the monoid of Murray-von Neumann equivalence classes of projections of a real rank zero C*-algebra has the Riesz decomposition property. This means that if $e\leq \sum_{i=1}^n f_i$, where $e$ is a projection and the $f_i$s are pairwise orthogonal projections, then there exist partial isometries $v_1,\ldots,v_n$ such that $e=\sum v_i^*v_i$ and $v_iv_i^*\leq f_i$ for all $i$. Now, if $f$ is an abelian projection then so is any projection Murray-von Neumann subequivalent to it. So $e_i=v_i^*v_i$ is abelian for all $i$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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