Kirchberg's factorization property for locally compact groups (Q2067047)

Let \(G\) be a locally compact group and let \(\mathrm{C}^\ast(G)\) and \(\mathrm{C}_r^\ast(G)\) be the full group \(\mathrm{C}^\ast\)-algebra and the reduced group \(\mathrm{C}^\ast\)-algebra of \(G\). Let also \(\lambda\) and \(\rho\) be respectively the left and right regular representations of \(G\). The factorization property \((\mathcal F)\) was first introduced by Kirchberg in 1978. He defined \(G\) to have the factorization property if the biregular representation \(\lambda.\rho: G\times G\rightarrow \mathcal{B}(L^2(G))\) extends to a \(*\)-representation of \(\mathrm{C}^\ast(G)\otimes_{\min} \mathrm{C}^\ast(G),\) the completion of the algebraic tensor product \(\mathrm{C}^\ast*(G)\odot \mathrm{C}^\ast(G)\) equipped with the minimal tensor norm. In the case of discrete groups he proved that every residually finite group has property (\(\mathcal F\)) and the converse is true for groups having the Kazhdan property (T). In the paper under review the author initiate a deep investigation of factorization property for locally compact groups, which is a rather difficult case. He addresses inner amenable locally compact groups and proves that if \(G\) is an inner amenable group admitting the factorization property and \(J\) is the kernel of the canonical map from \(\mathrm{C}^\ast(G)\) onto \(\mathrm{C}_r^\ast(G)\), then the sequence \[0 \to \mathrm{C}^\ast(G) \otimes J \to \mathrm{C}^\ast(G)\otimes_{\min} \mathrm{C}^\ast(G) \to \mathrm{C}^\ast(G)\otimes_{\min} \mathrm{C}_r^\ast(G) \to 0 \] is exact if and only if \(G\) is amenable. It is shown that if \(G\) is a quasi-SIN group with the factorization property (\(\mathcal F\)) and \(H\) is a locally compact group embedding continuously in \(G\), then \(H\) has the factorization property (\(\mathcal F\)). The author also proves that every residually amenably embeddable group must necessarily have the factorization property. Analogous to the Kirchberg result for discrete groups, it is proved that if \(G\) is a locally compact SIN group, then \(G\) admits the factorization property if and only if \(G\) is maximally almost periodic.