Canonical actions on \({\mathcal O}_ \infty\) (Q1185739)

For \(n=2,\dots,\infty\), a set \(\{\psi_ 1,\dots,\psi_ n\}\) of isometries on a separable infinite dimensional Hilbert space satisfying the properties \(\sum \psi_ i\psi_ i^*=I\) and \(\psi_ i^*\psi_ j=\delta_{ij}I\) for all \(i\), \(j\) generate a unique \(C^*\)-algebra \({\mathcal O}_ n\) known as the Cuntz algebra. The isometries themselves can be identified with an orthonormal basis of an \(n\)-dimensional Hilbert space called the canonical Hilbert space of \({\mathcal O}_ n\). The authors construct an action of a strongly compact group of unitaries on \({\mathcal O}_ \infty\) by an inductive process. For this let be \({\mathcal H}\) a separable infinite dimensional Hilbert space, let \(G\) be a strongly compact group of unitary operators on \({\mathcal H}\), and let \(\{H_ n\}\) be an increasing sequence of finite dimensional \(G\)-invariant subspaces of \({\mathcal H}\) whose union is dense in \({\mathcal H}\). The authors identify an orthonormal basis \(\{\psi_ 1,\dots\psi_{d_ n}\}\) of the \(H_ n\) with the canonical Hilbert space of the Cuntz algebra and through an inductive process find a homomorphism \(\alpha\) of \(G\) into the group \(\Aut{\mathcal O}_ \infty\) of automorphisms of \({\mathcal O}_ \infty\). Then the authors say that \({\mathcal H}\) admits sufficiently many special Hilbert \(G\)-modules if the restriction of each unitary \(g\) in \(G\) to each invariant subspace \(H_ n\) is a unitary operator of determinant 1. If \({\mathcal H}\) admits sufficiently many special Hilbert \(G\)-modules, the authors show that the fixed point algebra subalgebra \({\mathcal O}_ G\) of \({\mathcal O}_ \infty\) is a simple \(C^*\)-algebra. Now let \(G\) be an arbitrary strongly closed subgroup of the unitary group \(U({\mathcal H})\) of the canonical Hilbert space \({\mathcal H}\) of \({\mathcal O}_ \infty\). Since every unitary \(g\in G\) induces an automorphism of \({\mathcal O}_ \infty\), one can define a strongly continuous homomorphism \(\alpha\) of \(G\) into \(\Aut{\mathcal O}_ \infty\). Here \(\Aut{\mathcal O}_ \infty\) has the pointwise norm topology. The authors show that \({\mathcal O}_ G=\mathbb{C} I\) if and only if \(G\) has no finite dimensional subrepresentations. They also show that if \(G\) is strongly compact, then \({\mathcal O}_ G'\cap{\mathcal O}_ \infty=\mathbb{C} I\) and \(\alpha(G)\) is the stabilizer of \({\mathcal O}_ G\) in \(\Aut{\mathcal O}_ \infty\).