Researchers proved a precise geometric rule that links the interior topology of two-dimensional, time‑reversal‑invariant insulators to the presence or absence of protected edge behavior at a curved interface. When two such insulators sit on opposite sides of a curved boundary, the paper shows the Z2 edge index — a number that tells you whether an odd or even number of protected edge modes appear — equals, modulo two, the difference of the two bulk Z2 indices times a simple geometric intersection number that depends on the shape of the boundary and where the edge is measured.

The work is aimed at lattice models of electrons with fermionic time‑reversal symmetry (a mathematical condition called Θ with Θ^2 = −1). The authors use a rigorous, operator‑theory definition of the Fu–Kane–Mele Z2 bulk index and a matching Z2 edge index for an interface Hamiltonian. They introduce a mild geometric condition, called transversality, that ensures the boundary and the measurement region meet in a well‑behaved way, and they define an intersection number that counts (with orientation) how the boundary crosses that region at large distances. The main theorem shows that the parity of edge modes equals the parity of the bulk index difference times that intersection number. The proof reduces the edge problem to a pair of geometric bulk indices and then extracts the intersection number by controlled deformations and index theory techniques.

This result matters because it extends the bulk–edge correspondence beyond straight or translation‑invariant edges to arbitrary curved interfaces. It shows that geometry — not just the two bulk topological phases — can determine whether protected edge behavior is observed in a given measurement region. As a concrete spectral consequence, the authors derive conditions under which the interface must support absolutely continuous spectrum filling the bulk gap, meaning extended edge states will appear rather than only localized states, when the two bulks lie in different Z2 phases and the regions have certain unbounded geometric shapes.