Hall conductance and the statistics of flux insertions in gapped interacting lattice systems

We study charge transport for zero-temperature infinite-volume gapped lattice systems in two dimensions with short-range interactions. We show that the Hall conductance is locally computable and is the same for all systems which are in the same gapped phase. We provide a rigoro