“…Topological insulators [3] for non-interacting fermions are completely classified according to the "periodic table" [4,5], and are characterized by the indices that are written as an integral over the Brillouin zone when the model has translation invariance (see, e.g., [3,6]), or, in more general, by the indices for projections defined by methods of noncommutative geometry (see, e.g., [7,8]). Although similar classification and characterization of interacting topological insulators have been investigated intensively (see, e.g, [9][10][11][12][13][14][15][16][17][18][19][20][21][22][23]), mathematically rigorous results are still limited [24][25][26][27][28][29][30]. See [31][32][33][34][35][36][37] for closely related rigorous index theorems for bosonic (or quantum spin) systems.…”