Tutorial on Rational Rotation $C^*$--Algebras (2111.02932v1)

Abstract: The rotation algebra $\mathcal A_{\theta}$ is the universal $C^*$--algebra generated by unitary operators $U, V$ satisfying the commutation relation $UV = \omega V U$ where $\omega= e^{2\pi i \theta}.$ They are rational if $\theta = p/q$ with $1 \leq p \leq q-1,$ othewise irrational. Operators in these algebras relate to the quantum Hall effect \cite{boca,rammal,simon}, kicked quantum systems \cite{lawton1, wang}, and the spectacular solution of the Ten Martini problem \cite{avila}. Brabanter \cite{brabanter} and Yin \cite{yin} classified rational rotation $C^*$--algebras up to $$-isomorphism. Stacey \cite{stacey} constructed their automorphism groups. They used methods known to experts: cocycles, crossed products, Dixmier-Douady classes, ergodic actions, K--theory, and Morita equivalence. This expository paper defines $\mathcal A_{p/q}$ as a $C^$--algebra generated by two operators on a Hilbert space and uses linear algebra, Fourier series and the Gelfand-Naimark-Segal construction \cite{gelfand} to prove its universality. It then represents it as the algebra of sections of a matrix algebra bundle over a torus to compute its isomorphism class. The remarks section relates these concepts to general operator algebra theory. We write for mathematicians who are not $C^*$--algebra experts.