Microlocal Analysis of the Bulk-Edge Correspondence

The bulk-edge correspondence predicts that interfaces between topological insulators support robust currents. We prove this principle for PDEs that are periodic away from an interface. Our approach relies on semiclassical methods. It suggests novel perspectives for the analysis of topologically protected transport.