Beyond Diophantine Wannier diagrams: Gap labelling for Bloch-Landau Hamiltonians

Abstract

It is well known that, given a $2d$ purely magnetic Landau Hamiltonian with a constant magnetic field $b$ which generates a magnetic flux $\phi$ per unit area, then any spectral island ${\sigma }_b$ consisting of $M$ infinitely degenerate Landau levels carries an integrated density of states ${\mathcal{I}}_b=M\phi$. Wannier later discovered a similar Diophantine relation expressing the integrated density of states of a gapped group of bands of the Hofstadter Hamiltonian as a linear function of the magnetic field flux with integer slope. We extend this result to a gap labelling theorem for any $2d$ Bloch-Landau operator $H_b$ which also has a bounded ${\mathbb{Z}}^2$-periodic electric potential. Assume that $H_b$ has a spectral island ${\sigma }_b$ which remains isolated from the rest of the spectrum as long as $\phi$ lies in a compact interval $[{\phi }_1,{\phi }_2]$. Then ${\mathcal{I}}_b=c_0+c_1\phi$ on such intervals, where the constant $c_0\in \mathbb{Q}$ while $c_1\in \mathbb{Z}$. The integer $c_1$ is the Chern marker of the spectral projection onto the spectral island ${\sigma }_b$. This result also implies that the Fermi projection on ${\sigma }_b$, albeit continuous in $b$ in the strong topology, is nowhere continuous in the norm topology if either $c_1\ne 0$ or $c_1=0$ and $\phi$ is rational. Our proofs, otherwise elementary, do not use non-commutative geometry but are based on gauge covariant magnetic perturbation theory which we briefly review for the sake of the reader. Moreover, our method allows us to extend the analysis to certain non-covariant systems having slowly varying magnetic fields.

arXiv comment20 pages, no figures. Appendix C added. Final version accepted for publication in Journal of the European Mathematical Society

References in corpus (6)

• Mapping topological order in coordinate space
• Hofstadter butterfly as Quantum phase diagram
• The Faraday effect revisited: Thermodynamic limit
• The Haldane model and its localization dichotomy
• Gap-labelling conjecture with nonzero magnetic field
• Proof of the magnetic gap-labelling conjecture for principal solenoidal tori

Cited by in corpus (7)

• Justifying Kubo's formula for gapped systems at zero temperature: a brief review and some new results
• Localization of generalized Wannier bases implies Chern triviality in non-periodic insulators
• Bulk-edge correspondence for unbounded Dirac-Landau operators
• Algebraic localization implies exponential localization in non-periodic insulators
• Středa formula for charge and spin currents
• From orbital magnetism to bulk-edge correspondence
• Algebraic localization of Wannier functions implies Chern triviality in non-periodic insulators