Algebra bundles, projective flatness and rationally-deformed tori
Abstract
We show that isomorphism classes $[\mathcal{A}]$ of flat $q\times q$ matrix bundles $\mathcal{A}$ (or projectively flat rank-$q$ complex vector bundles $\mathcal{E}$) on a pro-torus $\mathbb{T}$ are in bijective correspondence with the \v{C}ech cohomology group $H^2(\mathbb{T},\mu_q:=\text{$q^{th}$ roots of unity})$ (respectively $H^2(\mathbb{Z})$) via the image of $[A]\in H^1(\mathbb{T},PGL(q,\mathcal{C}_{\mathbb{T}}))$ through $H^1(\mathbb{T},PGL(q,\mathcal{C}_{\mathbb{T}}))\xrightarrow{\quad}H^2(\mathbb{T},\mu(q,\mathcal{C}_{\mathbb{T}}))$ (respectively the first Chern class $c_1(\mathcal{E})$). This is in the spirit of Auslander-Szczarba's result identifying real flat bundles on the torus with their first two Stiefel-Whitney classes, and contrasts with classifying spaces $B\Gamma$ of compact Lie groups $\Gamma$ (as opposed to $\mathbb{T}^n\cong B\mathbb{Z}^n$), on which flat non-trivial vector bundles abound. The discussion both recovers the Disney-Elliott-Kumjian-Raeburn classification of rational non-commutative tori $\mathbb{T}^n_{\theta}$ with a different, bundle-theoretic proof, and sheds some light on the connection between topological invariants associated to $\mathbb{T}^2_{\theta}$, $\theta\in\mathbb{Q}$ by Rieffel and respectively H{\o}egh-Krohn-Skjelbred.