2
$\begingroup$

Let $A$ and $B$ be $C^{\ast}-$ algebras and $A \otimes B$ denotes minimal(spatial) tensor product.

Is there any classification of primitive ideals of $A \otimes B$? (I'm mainly interested in the case when either $A$ or $B$ is commutative.)

$\endgroup$
1
  • $\begingroup$ If $A$ and $B$ are commutative, then $A = C_0(X)$ and $B= C_0(Y)$ for locally compact Hausdorff spaces, and $A \otimes B = C_0(X \times Y)$. $\endgroup$ Commented Aug 12, 2021 at 18:14

1 Answer 1

5
$\begingroup$

I expect that this answer is satisfactory, although it isn't a complete answer. This is really the best result one can hope for.

For a $C^\ast$-algebra $A$ let $Prime(A)$ be the prime ideal space (defined exactly as the primitive ideal space, but with prime (two-sided closed) ideals instead). It is well-known that $Prime(A) = Prim(A)$ when $A$ is separable or when $A$ is Type I.

The following result is due to Proposition 2.16 and 2.17 in [Blanchard, Etienne; Kirchberg, Eberhard Non-simple purely infinite C∗-algebras: the Hausdorff case. J. Funct. Anal. 207 (2004), no. 2, 461–513.] and builds on Kirchberg's deep work on exact $C^\ast$-algebras:

Theorem: If $A$ and $B$ are $C^\ast$-algebra and at least one of them is exact, then $Prime(A\otimes_{\textrm{min}} B)$ is homeomorphic to $Prime(A) \times Prime(B)$.

There is a canonical map $Prime(A) \times Prime(B) \to Prime(A\otimes_{\mathrm{min}} B)$ given by $(I,J) \mapsto I\otimes_{\mathrm{min}} B + A \otimes_{\mathrm{min}} J$, and this is the homeomorphism in the theorem above.

If $I$ and $J$ are primitive ideals in $A$ and $B$ respectively, then $I\otimes_{\mathrm{min}} B + A\otimes_{\mathrm{min}} J$ is also primitive. Hence we get the following corollary for primitive ideal spaces instead of prime ideal spaces.

Corollary: Let $A$ and $B$ be $C^\ast$-algebras for which all prime ideals are primitive (e.g. separable/Type I/simple), and such that at least one of $A$ and $B$ is exact. Then $Prim(A\otimes_{\textrm{min}} B)$ is homeomorphic to $Prim(A) \times Prim(B)$.

The results fail in general (even when $A$ is simple, non-exact, and $B=\mathcal B(\ell^2(\mathbb N))$), so you can't really hope for anything better.

As commutative $C^\ast$-algebras are exact, the above theorem is applicable if one of the $C^\ast$-algebras is commutative.

Note that one gets $Prim(A\otimes_{\mathrm{min}} B) \cong Prim(A) \times Prim(B)$ (with primitive ideal spaces), if, for instance, $A$ is commutative (hence Type I) and $B$ is separable.

$\endgroup$
2
  • $\begingroup$ Thanks Jamie. Do we get the isomorphism mentioned in last paragraph in the case when $A$ is commutative and $B$ is simple? $\endgroup$ Commented Aug 13, 2021 at 7:22
  • $\begingroup$ Yes, it is true when $A$ is commutative and $B$ is simple since $Prim(B) = Prime(B)$ (is a one-point space). I forgot to add that when the theorem applies and all prime ideals of A and B are primitive, then all prime ideals of $A\otimes_{\mathrm{min}} B$ are also primitive. I'll modify my answer to include this, since this is how one obtains results on the primitive ideal space instead of the prime ideal space. $\endgroup$ Commented Aug 13, 2021 at 9:54

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.