Topological Insulators and the Kane-Mele Invariant: Obstruction and Localisation Theory

Abstract

We present homotopy theoretic and geometric interpretations of the Kane-Mele invariant for gapped fermionic quantum systems in three dimensions with time-reversal symmetry. We show that the invariant is related to a certain 4-equivalence which lends it an interpretation as an obstruction to a block decomposition of the sewing matrix up to nonequivariant homotopy. We prove a Mayer-Vietoris Theorem for manifolds with ${\mathbb{Z}}_2$-actions which intertwines Real and ${\mathbb{Z}}_2$-equivariant de Rham cohomology groups, and apply it to derive a new localisation formula for the Kane-Mele invariant. This provides a unified cohomological explanation for the equivalence between the discrete Pfaffian formula and the known local geometric computations of the index for periodic lattice systems. We build on the relation between the Kane-Mele invariant and the theory of bundle gerbes with ${\mathbb{Z}}_2$-actions to obtain geometric refinements of this obstruction and localisation technique. In the preliminary part we review the Freed-Moore theory of band insulators on Galilean spacetimes with emphasis on geometric constructions, and present a bottom-up approach to time-reversal symmetric topological phases.

81 pages; v2: references added; v3: many improvements, corrections and clarifying comments added, references added and updated; v4: Final version to appear in Reviews in Mathematical Physics

References in corpus (12)

• Time Reversal Polarization and a Z_2 Adiabatic Spin Pump
• Braided fusion categories, gravitational anomalies, and the mathematical framework for topological orders in any dimensions
• More Morphisms between Bundle Gerbes
• The basic bundle gerbe on unitary groups
• Polyakov-Wiegmann Formula and Multiplicative Gerbes
• Fu-Kane-Mele monopoles in semimetals
• Fluxes, bundle gerbes and 2-Hilbert spaces
• Square root of gerbe holonomy and invariants of time-reversal-symmetric topological insulators
• The FKMM-invariant in low dimension
• The Stiefel--Whitney theory of topological insulators
• Bott--Kitaev periodic table and index theory
• Differential geometric invariants for time-reversal symmetric Bloch-bundles II: The low dimensional "Quaternionic" case

Cited by in corpus (1)

• Gerbes in Geometry, Field Theory, and Quantisation