Computing the Z 2 invariant in two-dimensional strongly correlated systems

We show that the two-dimensional ${\mathbb{Z}}₂$ invariant for time-reversal invariant insulators can be formulated in terms of the boundary-condition dependence of the ground state wave function for both noninteracting and strongly correlated insulators. By introducing a family of quasi-single-particle states associated to the many-body ground state of an insulator, we show that the ${\mathbb{Z}}₂$ invariant can be expressed as the integral of a certain Berry connection over half the space of boundary conditions, providing an alternative expression to the formulations that appear in S.-S. Lee and S. Ryu [Phys. Rev. Lett. 100, 186807 (2008)]. We show the equivalence of the different many-body formulations of the invariant and show how they reduce to known band-theoretic results for Slater determinant ground states. Finally, we apply our results to analytically calculate the invariant for the Kane-Mele model with nonlocal (orbital) Hatsugai-Kohmoto (HK) interactions. This rigorously establishes the topological nontriviality of the Kane-Mele model with HK interactions and represents one of the few exact calculations of the ${\mathbb{Z}}₂$ invariant for a strongly interacting system.