Year: 2026
Type: preprint
Abstract: Strong topological insulators are classified by integer invariants which admit different real-space expressions. Inspired by recent work studying these invariants for spaces with curved boundaries, we revisit the problem of equivalence of the various expressions, including Fredholm index pairings and Kubo formulas involving half-space projections. Using Roe algebras and a variant of KK-theory suitable for non-separable $C^*$-algebras, we prove a general form of bulk-edge correspondence for the index pairing with a general position-space Dirac operator in the presence of arbitrary boundaries. For spaces coarsely equivalent to $\mathbb{R}^d$, we show that up to multiplicity, these pairings are equal to those obtained with the standard dual Dirac operator, with the multiplicity explicitly given as the topological degree of the symbol function. In addition, we prove a generalized Kubo formula which computes the general index pairing by a real-space formula.
Source: arXiv (Cornell University)
Authors: Martinian, Aren, Stoiber, Tom
Language: English
Subfield: Condensed Matter Physics
Field: Physics and Astronomy
Domain: Physical Sciences
Open Access status: green
Funder: National Science Foundation
OpenAlex ID: W7204921323