Homogeneity of the pure state space of the Cuntz algebra (Q1975483): Difference between revisions

Let \({\mathcal O}_d\) be the Cuntz algebra, i.e., the \(C^\ast\)-algebra generated by operators \(S_1, S_2,\ldots, S_d\) satisfying \(S_j^\ast S_i=\delta_{ij}1\) and \(\sum_{i=1}^n S_iS^\ast_i=1\). The gauge action \(\tau: z\to \tau_z\), \(z\in T=\{z\in\mathbb{C}\); \(|z|=1\}\), on \({\mathcal O}_d\) is defined by \[ \tau_z(S_i)=zS_i,\quad i=1,\ldots, d. \] The main result of the paper says that if \(\omega_1\), \(\omega_2\) are two pure gauge invariant states on \({\mathcal O}_d\) then there is an automorphism \(\alpha\) of \({\mathcal O}_d\) such that \[ \omega_1=\omega_2\circ \alpha. \] In the course of the proof interesting results on pure states of UHF algebras as well as characterization of gauge-invariant pure states are obtained. Let \(\mu=(\mu_1,\ldots, \mu_d)\) be a complex unit vector. The Cuntz state \(\varphi_\mu\) on \({\mathcal O}_d\) is defined by putting \[ \varphi_\mu(S_{i_1}\cdots S_{i_k}S^\ast_{j_l}\cdots S^\ast_{j_1})= \mu_{i_1}\cdots \mu_{i_k} \overline{\mu}_{j_l} \cdots \overline{\mu}_{j_1} . \] In the second part of the paper it is proved that for general pure state \(\omega\) on \({\mathcal O}_d\) and for any Cuntz state \(\varphi_\mu\) there is a unital endomorphism \(\alpha\) of \({\mathcal O}_d\) such that \(\varphi_\mu=\omega\circ \alpha\). For proving this a correspondence between unital endomorphisms and unitary elements is used.