Abstract:We classify $^*$-homomorphisms from nuclear $C^*$-algebras into uniform tracial sequence algebras of nuclear $\mathcal Z$-stable $C^*$-algebras via tracial data.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to classify the *-homomorphisms from nuclear \(C^*\)-algebras to uniform trace sequence algebras with unique traces. Specifically, the main objective of the paper is to classify these *-homomorphisms by trace data, which is similar to the application of Connes' theorem in the ultrapower \(R^\omega\).
### Background and Motivation of the Paper
1. **Connes' Theorem**:
- Connes' theorem states that the maps from a separable nuclear \(C^*\)-algebra \(A\) to the ultrapower \(R^\omega\) (i.e., the ultrapower of the hyperfinite II_1 factor) can be classified by the traces they induce on \(A\) (see, for example, [CGNN13, Proposition 2.1]).
- This result has played a crucial role in Schafhauser's classification of monotone trace - separable nuclear \(C^*\)-algebras ([Sch18]).
2. **Multi - trace Case**:
- When \(B\) has multiple traces, different reduced product constructions need to be used to handle all the traces. This has led to the introduction of the uniform trace ultrapower \(B^\omega\) ([CET+]).
- The uniform trace ultrapower \(B^\omega\) and its predecessors (such as the ultrapower of the \(W^*\)-bundle [BBS+15, Oza13]) have played important roles in recent developments.
### Main Contributions
1. **Main Theorem (Theorem A)**:
- Let \(A\) be a separable nuclear \(C^*\)-algebra, \(B\) be a separable nuclear \(Z\)-stable \(C^*\)-algebra, and \(T(B)\) be compact and non - empty.
- For any continuous affine function \(\alpha: T(B^\infty)\to T(A)\), there exists a *-homomorphism \(\varphi: A\to B^\infty\) such that \(\varphi\) induces \(\alpha\). Moreover, \(\varphi\) is unique up to unitary equivalence.
2. **Technical Tools**:
- The author uses the Complemented Partition of Unity (CPoU) technique to study these ultrapowers and proves the equivalence of \(Z\)-stability and finite nuclear dimension in the Toms - Winter conjecture ([CET+, Theorem A]).
- The main consequence of CPoU is a local - to - global trace - type satisfaction process, which makes \(B^\infty\) have certain characteristics of von Neumann algebras.
### Application Prospects
- **Future Work**:
- This theorem will serve as the basis for the upcoming collaborative research by Carrión, Gabe, Schafhauser and the last two authors, which will provide an abstract method to classify simple separable unital Jiang - Su - stable \(C^*\)-algebras satisfying UCT ([CGS+]).
### Conclusion
This paper successfully solves the problem of classifying *-homomorphisms from nuclear \(C^*\)-algebras to uniform trace sequence algebras by introducing new technical tools (such as CPoU). This result not only extends the scope of application of Connes' theorem but also provides an important theoretical basis for future research.