Hunting colored (quantum) butterflies A geometric derivation of the TKNN-equations

Overview & Synopsis

I consider the Hofstadter and the Harper operators, regarded as e ective models for a Bloch electron in a uniform magnetic eld, in the limit of weak and strong eld respectively. For each value of the Fermi energy in a spectral gap, I prove that the corresponding Fermi projectors exhibit a geometric duality, expressed in terms of some vector bundles canonically associated to the projectors. As a corollary, I get a rigorous geometric derivation of the TKNN equations. More generally, I prove that analogous equations hold true for any orthogonal projector in the rational rotation C -algebra, alias the algebra of the (rational) noncommutative torus.