Noncommutative topological $\mathbb{Z}_2$ invariant

We generalize the $\mathbb{Z}_2$ invariant of topological insulators using noncommutative differential geometry in two different ways. First, we model Majorana zero modes by KQ-cycles in the framework of analytic K-homology, and we define the noncommutative $\mathbb{Z}_2$ invariant as a topological index in noncommutative topology. Second, we look at the geometric picture of the Pfaffian formalism of the $\mathbb{Z}_2$ invariant, i.e., the Kane--Mele invariant, and we define the noncommutative Kane--Mele invariant over the fixed point algebra of the time reversal symmetry in the noncommutative 2-torus. Finally, we are able to prove the equivalence between the noncommutative topological $\mathbb{Z}_2$ index and the noncommutative Kane--Mele invariant.