Universality of the Hall conductivity in interacting electron systems

We prove the quantization of the Hall conductivity for general weakly interacting gapped fermionic systems on two-dimensional periodic lattices. The proof is based on fermionic cluster expansion techniques combined with lattice Ward identities, and on a reconstruction theorem that allows us to compute the Kubo conductivity as the analytic continuation of its imaginary time counterpart.