Polynomial representations of $C^*$-algebras and their applications

TL;DR

This paper explores polynomial representations of $C^*$-algebras, relating them to symmetric powers and crossed products, and characterizes their irreducible representations, extending Schur--Weyl theory to these algebras.

Contribution

It provides a detailed analysis of the correspondence between representations of $C^*$-algebras and their symmetric powers, including classification results for type I algebras and insights into type II and III factors.

Findings

Complete description of irreducible representations for type I $C^*$-algebras.

Relation of symmetric power representations to Schur--Weyl theory.

Type II and III factors preserve their type in multiplicative representations.

Abstract

This is a sequel to our paper on nonlinear completely positive maps and dilation theory for real involutive algebras, where we have reduced all representation classification problems to the passage from a $C^*$-algebra ${\mathcal A}$ to its symmetric powers $S^n({\mathcal A})$, resp., to holomorphic representations of the multiplicative $*$-semigroup $({\mathcal A},\cdot)$. Here we study the correspondence between representations of ${\mathcal A}$ and of $S^n({\mathcal A})$ in detail. As $S^n({\mathcal A})$ is the fixed point algebra for the natural action of the symmetric group $S_n$ on ${\mathcal A}^{\otimes n}$, this is done by relating representations of $S^n({\mathcal A})$ to those of the crossed product ${\mathcal A}^{\otimes n} \rtimes S_n$ in which it is a hereditary subalgebra. For $C^*$-algebras of type I, we obtain a rather complete description of the equivalence classes of the irreducible representations of $S^n({\mathcal A})$ and we relate this to the Schur--Weyl theory for $C^*$-algebras. Finally we show that if ${\mathcal A}\subseteq B({\mathcal H})$ is a factor of type II or III, then its corresponding multiplicative representation on ${\mathcal H}^{\otimes n}$ is a factor representation of the same type, unlike the classical case ${\mathcal A}=B({\mathcal H})$.