Abstract:Given a closed ideal $I$ in a C*-algebra $A$, we develop techniques to bound the real rank of $A$ in terms of the real ranks of $I$ and $A/I$. Building on work of Brown, Lin and Zhang, we obtain complete solutions if $I$ belongs to any of the following classes:
(1) C*-algebras with real rank zero, stable rank one and vanishing $K_1$-group; (2) simple, purely infinite C*-algebras; (3) simple, $\mathcal{Z}$-stable C*-algebras with real rank zero; (4) separable, stable C*-algebras with an approximate unit of projections and the Corona Factorization Property.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the calculation method of the real rank of C* - algebra extensions. Specifically, the paper focuses on how to estimate the real rank of a C* - algebra \(E\) based on the real ranks of the ideal \(A\) and the quotient algebra \(E/A\). This problem is of great significance in non - commutative geometry, because the real rank can be regarded as an analogy of the local covering dimension of non - commutative spaces, and the covering dimension is a very well - established concept in the theory of topological spaces with abundant calculation tools. However, in terms of the real rank of C* - algebras, there are fewer known methods, and in some cases, the behavior of the real rank is significantly different from that of the covering dimension.
The main contribution of the paper lies in developing a new invariant - the extension real rank, denoted as \(\text{xrr}(A)\), and providing a more accurate upper - bound estimate through this new concept. Specifically, for a C* - algebra extension \(0 \to A \to E \to B \to 0\), the paper proves that:
\[ \max\{\text{rr}(A), \text{rr}(B)\} \leq \text{rr}(E) \leq \max\{\text{xrr}(A), \text{rr}(B)\} \]
where \(\text{rr}\) represents the real rank and \(\text{xrr}\) represents the extension real rank. In addition, the paper also explores some permanence properties of the extension real rank, such as its performance when dealing with non - separable C* - algebras, and shows how to simplify the calculation by considering appropriate separable sub - algebras.
These results not only provide new tools for calculating the real rank of specific C* - algebras, but also deepen the understanding of the structure of C* - algebras, especially in the case of a lower real rank.