A space-adiabatic approach for bulk-defect correspondences in lattice models of topological insulators

In space-adiabatic approaches one can approximate Hamiltonians that are modulated slowly in space by phase-space functions that depend on position and momentum. In this paper, we establish a rigorous relation between this approach and the operator-theoretic approach for topological insulators with defects, which employs $C^*$-algebras and operator K-theory. Using such tools, we show that by quantizing phase-space functions one can construct lattice Hamiltonians which are gapped at certain spatial limits and carry protected states at defects such as boundaries, hinges, and corners. Moreover, we show that the topological invariants that protect the latter can be computed in terms of the symbol functions. This enables us to compute boundary maps in K-theory that are relevant for bulk-defect correspondences.