Stable and real rank for crossed products by finite groups

Parisa Elyasi,Nasser Golestani
DOI: https://doi.org/10.48550/arXiv.2311.11746
2023-11-20
Abstract:A long-standing open question in the theory of group actions on C*-algebras is the stable rank of the crossed product. Specifically, N. C. Phillips asked that if a finite group $G$ acts on a simple unital C*-algebra $A$ with stable rank one, does the crossed product have stable rank one? A similar question can be asked about the real rank. Most of the existing partial answers contain a reasonable restriction (mainly, a Rokhlin-type property) on the action and assumptions on $A$. We remove all extra assumptions on $A$ (for instance, stable finiteness and that the order on projections over $A$ is determined by traces) and we prove that if the action has the tracial Rokhlin property and $A$ is simple and $\sigma$-unital with stable rank one or real rank zero, then so do the crossed product and the fixed point algebra. Moreover, we show that if the Kirchberg's central sequence algebra $\mathrm{F}(A)$ has real rank zero, then the weak tracial Rokhlin property is equivalent to the tracial Rokhlin property for actions on simple unital separable C*-algebras $A$.
Operator Algebras
What problem does this paper attempt to address?
### Problems the paper attempts to solve This paper aims to solve the problems of stable rank and real rank of crossed products of \(C^*\)-algebras by finite - group actions. Specifically, the paper focuses on the following two long - unsolved problems: 1. **Stable rank problem**: - If a finite group \(G\) acts on a simple unital \(C^*\)-algebra \(A\) with stable rank one, does the crossed product \(A\rtimes_{\alpha}G\) also have stable rank one? - This problem was first proposed by N.C. Phillips and is an important open problem. Even in the case of \(G = \mathbb{Z}_2\), the answer to this problem is unknown. 2. **Real rank problem**: - Similarly, if a finite group \(G\) acts on a simple unital \(C^*\)-algebra \(A\) with real rank zero, does the crossed product \(A\rtimes_{\alpha}G\) also have real rank zero? - This problem is also an important open problem, and known examples show that pointwise outer actions are not sufficient to ensure that the crossed product has the same structural properties. ### Research background In the study of \(C^*\)-algebras, the structure of group actions and their crossed products has always been an important research area. Stable rank and real rank are important invariants for describing the structure of \(C^*\)-algebras. For finite - group actions, these problems are particularly important because they involve whether the structural properties of the crossed product can preserve the properties of the original algebra. ### Main contributions The main contributions of the paper are: 1. **Removing additional assumptions**: - The author removes the additional assumptions in previous studies, such as stable finiteness, the order relation of projections being determined by traces, etc. - By using the tool of Cuntz subequivalence, the author proves that without these additional assumptions, if the action has the tracial Rokhlin property and \(A\) is a simple \(\sigma\)-unital \(C^*\)-algebra, then the crossed product \(A\rtimes_{\alpha}G\) and the fixed - point algebra \(A^{\alpha}\) both have the same stable rank or real rank. 2. **The relationship between the weak tracial Rokhlin property and the tracial Rokhlin property**: - The author explores the relationship between the weak tracial Rokhlin property and the tracial Rokhlin property and gives the conditions for their equivalence in some cases. - Specifically, if the central sequence algebra \(F(A)\) of \(A\) has real rank zero, then the weak tracial Rokhlin property is equivalent to the tracial Rokhlin property. ### Conclusion Through these results, the paper provides new insights into the problems of stable rank and real rank of crossed products of \(C^*\)-algebras and removes many of the limiting conditions in previous studies. This not only extends the scope of application of existing theories but also provides new tools and methods for further studying the structural properties of \(C^*\)-algebras.