English

The Calkin algebra is $\aleph_1$-universal

Operator Algebras 2018-10-17 v4 Logic

Abstract

We discuss the existence of (injectively) universal C*-algebras and prove that all C*-algebras of density character 1\aleph_1 embed into the Calkin algebra, Q(H)Q(H). Together with other results, this shows that each of the following assertions is relatively consistent with ZFC: (i) Q(H)Q(H) is a 202^{\aleph_0}-universal C*-algebra. (ii) There exists a 202^{\aleph_0}-universal C*-algebra, but Q(H)Q(H) is not 202^{\aleph_0}-universal. (iii) A 202^{\aleph_0}-universal C*-algebra does not exist. We also prove that it is relatively consistent with ZFC that (iv) there is no 1\aleph_1-universal nuclear C*-algebra, and that (v) there is no 1\aleph_1-universal simple nuclear C*-algebra.

Keywords

Cite

@article{arxiv.1707.01782,
  title  = {The Calkin algebra is $\aleph_1$-universal},
  author = {Ilijas Farah and Ilan Hirshberg and Alessandro Vignati},
  journal= {arXiv preprint arXiv:1707.01782},
  year   = {2018}
}

Comments

18 pages. Some undefined LaTeX macros were removed from the abstract. This version is otherwise identical to v3. (The latter was a radically new version, with new coauthors, revised and updated)

R2 v1 2026-06-22T20:39:39.549Z