Almost Commuting Matrices, Localized Wannier Functions, and the Quantum Hall Effect

For models of non-interacting fermions moving within sites arranged on a surface in three dimensional space, there can be obstructions to finding localized Wannier functions. We show that such obstructions are $K$-theoretic obstructions to approximating almost commuting, complex-valued matrices by commuting matrices, and we demonstrate numerically the presence of this obstruction for a lattice model of the quantum Hall effect in a spherical geometry. The numerical calculation of the obstruction is straightforward, and does not require translational invariance or introducing a flux torus. We further show that there is a $Z_2$ index obstruction to approximating almost commuting self-dual matrices by exactly commuting self-dual matrices, and present additional conjectures regarding the approximation of almost commuting real and self-dual matrices by exactly commuting real and self-dual matrices. The motivation for considering this problem is the case of physical systems with additional antiunitary symmetries such as time reversal or particle-hole conjugation. Finally, in the case of the sphere–mathematically speaking three almost commuting Hermitians whose sum of square is near the identity–we give the first quantitative result showing this index is the only obstruction to finding commuting approximations. We review the known non-quantitative results for the torus.