A look at the inner structure of the $2$-adic ring $C^{\ast }$-algebra and its automorphism groups

Abstract

We undertake a systematic study of the so-called $2$-adic ring $C^{\ast }$-algebra ${\mathcal{Q}}_2$. This is the universal $C^{\ast }$-algebra generated by a unitary $U$ and an isometry $S_2$ such that $S_{2}U=U^2{S}_2$ and $S_2{S}_2^{\ast }+U{S}_2{S}_2^{\ast }{U}^{\ast }=1$. Notably, it contains a copy of the Cuntz algebra ${\mathcal{O}}_2=C^{\ast }(S_1,S_2)$ through the injective homomorphism mapping $S_1$ to $U{S}_2$. Among the main results, the relative commutant $C^{\ast }(S_2{)}^{\prime }\cap {\mathcal{Q}}_2$ is shown to be trivial. This in turn leads to a rigidity property enjoyed by the inclusion ${\mathcal{O}}_2\subset {\mathcal{Q}}_2$, namely the endomorphisms of ${\mathcal{Q}}_2$ that restrict to the identity on ${\mathcal{O}}_2$ are actually the identity on the whole ${\mathcal{Q}}_2$. Moreover, there is no conditional expectation from ${\mathcal{Q}}_2$ onto ${\mathcal{O}}_2$. As for the inner structure of ${\mathcal{Q}}_2$, the diagonal subalgebra ${\mathcal{D}}_2$ and $C^{\ast }(U)$ are both proved to be maximal abelian in ${\mathcal{Q}}_2$. The maximality of the latter allows a thorough investigation of several classes of endomorphisms and automorphisms of ${\mathcal{Q}}_2$. In particular, the semigroup of the endomorphisms fixing $U$ turns out to be a maximal abelian subgroup of $\mathrm{Aut}({\mathcal{Q}}_2)$ topologically isomorphic with $C(\mathbb{T},\mathbb{T})$. Finally, it is shown by an explicit construction that $\mathrm{Out}({\mathcal{Q}}_2)$ is uncountable and non-abelian.

To appear in Publications of the Research Institute for Mathematical Sciences

References in corpus (1)

• On the K-theory of C*-algebras arising from integral dynamics

Cited by in corpus (6)

• The inner structure of boundary quotients of right LCM semigroups
• Normalizers and permutative endomorphisms of the $2$-adic ring $C^{\ast }$-algebra
• Permutative representations of the $2$-adic ring $C^{\ast }$-algebra
• Irreducible Pythagorean representations of R. Thompson's groups and of the Cuntz algebra
• On the cyclic automorphism of the Cuntz algebra and its fixed-point algebra
• On the entropy and index of the winding endomorphisms of p-adic ring C${}^{\ast }$-algebras