Free Products of Generalized RFD C*-algebras

Abstract: If $k$ is an infinite cardinal, we say a C*-algebra $\mathcal{A}$ is residually less than $k$ dimensional, $R_{<k}D,$ if the family of representations of $\mathcal{A}$ on Hilbert spaces of dimension less than $k$ separates the points of $\mathcal{A}.$ We give characterizations of this property, and we show that if ${\mathcal{A}{i}:i\in I} $ is a family of $R{<k}D$ algebras, then the free product $\underset{i\in I}{\ast}\mathcal{A}{i}$ is $R{<k}D$. If each $\mathcal{A}{i}$ is unital, we give sufficient conditions, depending on the cardinal $k$, for the free product $\underset{i\in I}{\ast{\mathbb{C}}}\mathcal{A}{i}$ in the category of unital C*-algebras to be $R{<k}D$. We also give a new characterization of RFD, in terms of a lifting property, for separable C*-algebras.