Abstract:We study the Haagerup property for C*-algebras. We first give new examples of C*-algebras with the Haagerup property. A nuclear C*-algebra with a faithful tracial state always has the Haagerup property, and the permanence of the Haagerup property for C*-algebras is established. As a consequence, the class of all C*-algebras with the Haagerup property turns out to be quite large. We then apply Popa's results and show the C*-algebras with property (T) have a certain rigidity property. Unlike the case of von Neumann algebras, for the reduced group C*-algebras of groups with relative property (T), the rigidity property strongly fails in general. Nevertheless, for some groups without nontrivial property (T) subgroups, we show a rigidity property in some cases. As examples, we prove the reduced group C*-algebras of the (non-amenable) affine groups of the affine planes have a rigidity property.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Research on the Haagerup property**:
- Firstly, the paper studies the Haagerup property of C\(^*\)-algebras and gives new examples of C\(^*\)-algebras with the Haagerup property. Specifically, it is proved that every single - nuclear C\(^*\)-algebra with a faithful trace state has the Haagerup property (Theorem A). In addition, the permanence of the Haagerup property is established, that is, under certain constructions, if the components have the Haagerup property, then the whole also has the Haagerup property (Theorem B).
- For example, for a family of C\(^*\)-algebras with the Haagerup property, their direct products, tensor products and free products still have the Haagerup property.
2. **Research on the rigidity property**:
- Using Popa's results, the paper explores the rigidity properties of C\(^*\)-algebras with property (T). Specifically, if a C\(^*\)-algebra has a faithful trace state and the Haagerup property, then its sub - algebras must be residually finite - dimensional in the case of relative property (T) (Theorem C).
- Further, the paper proves that for a group Γ with property (T) and a C\(^*\)-algebra A with the Haagerup property, any unitary representation of Γ on A is weakly equivalent to the direct sum of finite - dimensional representations (Theorem D). In particular, if Γ is an infinite property (T) group, then there is no non - zero \(*\)-homomorphism from the reduced group C\(^*\)-algebra C\(_r^*(Γ)\) to A.
- The paper also discusses the rigidity properties in some special cases. For example, for groups without infinite property (T) subgroups, it is proved that the reduced group C\(^*\)-algebra of the affine group of some affine planes cannot be embedded into a C\(^*\)-algebra with the Haagerup property (Theorem F).
In general, by studying the Haagerup property and the rigidity property of C\(^*\)-algebras, the paper reveals the manifestations and interrelationships of these properties in different algebraic structures, providing a new perspective for understanding the structure and properties of C\(^*\)-algebras.