Convex Sets Associated to C*-Algebras
Abstract
For A a separable unital C*-algebra and M a separable McDuff II_1-factor, we show that the space Hom_w(A,M) of weak approximate unitary equivalence classes of unital *-homomorphisms A \rightarrow M may be considered as a closed, bounded, convex subset of a separable Banach space -- a variation on N. Brown's convex structure Hom(N,R^U). When A is nuclear, Hom_w(A,M) is affinely homeomorphic to the trace space of A, but in general Hom_w(A,M) and the trace space of A do not share the same data (several examples are provided). We characterize extreme points of Hom_w(A,M) in the case where either A or M is amenable; and we give two different conditions -- one necessary and the other sufficient -- for extremality in general. The universality of C*(F_\infty) is reflected in the fact that for any unital separable A, Hom_w(A,M) may be embedded as a face in Hom_w(C*(F_\infty),M). We also extend Brown's construction to apply more generally to Hom(A,M^U).
Keywords
Cite
@article{arxiv.1509.00822,
title = {Convex Sets Associated to C*-Algebras},
author = {Scott Atkinson},
journal= {arXiv preprint arXiv:1509.00822},
year = {2015}
}
Comments
39 pages. Section 5 has stronger results (in particular Theorems 5.7 and 5.8). Results on stabilization with examples are included (Section 6). Open problems are recorded (Section 7). Minor errors/typos have been corrected. Submitted version