Question: Is the minimal tensor product
of two C*-algebras pure whenever one of them is?
Background: Following Winter [1], a C*-algebra is said to be pure if it has very good comparison and divisibility properties, specifically its Cuntz semigroup is almost unperforated and almost divisible. This notion is closely related to that of
-stability, where
denotes the Jiang-Su algebra, and a C*-algebra
is said to be
-stable if
. Rørdam [2] showed that every
-stable C*-algebra is pure, and the Toms-Winter conjecture predicts that a separable, unital, simple, nuclear C*-algebra is
-stable if (and only if) it is pure. Moreover, it was shown in [4] that a C*-algebra
is pure if and only if
, that is, its Cuntz semigroup tensorially absorbs the Cuntz semigroup of
. One may therefore think of pureness as
-stability at the level of the Cuntz semigroup.
Using that is tensorially self-absorbing (even strongly self-absorbing in the sense of [3]), one sees that the minimal tensor product
is
-stable whenever
is
-stable. Indeed, one has
This raises the question above, which is largely unexplored. For the special case that and
is pure, this was asked by Chris Phillips after my talk on pure C*-algebras in Shanghai 2024. For the case
and
a simple, pure C*-algebra with stable rank one and vanishing
-group, a positive answer to the question can likely be deduced from Corollary 2.7 in [5].
[1] W. Winter. Nuclear dimension and Z-stability of pure C*-algebras. Invent. Math. 187 (2012), 259-342.
[2] M. Rørdam. The stable and the real rank of Z-absorbing C*-algebras. Internat. J. Math. 15 (2004), 1065-1084.
[3] A. Toms, W. Winter. Strongly self-absorbing C*-algebras. Trans. Amer. Math. Soc. 359 (2007), 3999-4029.
[4] R. Antoine, F. Perera, H. Thiel. Tensor products and regularity properties of Cuntz semigroups. Mem. Amer. Math. Soc. 251 (2018).
[5] R. Antoine, F. Perera, L. Santiago. Pullbacks, C(X)-algebras, and their Cuntz semigroup. J. Funct. Anal. 260 (2011), 2844-2880.