The Z_2-valued spectral flow of a symmetric family of Toeplitz operators
Maxim Braverman, Ahmad Reza Haj Saeedi Sadegh
TL;DR
The paper develops a $oldsymbol{Z}_2$-valued spectral flow theory for $ au$-invariant, odd-symmetric operator families and proves the fundamental equality $sf_{ au}A = ext{ind}_{ au}D_A$ for suspension-type constructions. It then applies this framework to Toeplitz operators on complete manifolds via Callias-type operators, yielding a generalized bulk-edge correspondence and a $oldsymbol{Z}_2$-valued bulk-edge theorem. In even dimensions, the correspondence reduces to a boundary Dirac index on a hypersurface, including pseudo-convex domains where degeneracy is controlled; this recovers the Graf-Porta model for 2D topological insulators with time-reversal symmetry. The results connect half-spectral flow on Toeplitz families to $ au$-indices of Callias-type operators and provide a robust analytical tool for bulk-edge phenomena in topological phases. Overall, the work extends classical index/spectral-flow correspondences to a $oldsymbol{Z}_2$-valued setting with substantial implications for topological insulators and related geometric-analytic frameworks.
Abstract
We consider families $A(t)$ of self-adjoint operators with symmetry that causes the spectral flow of the family to vanish. We study the secondary $\mathbb{Z}_2$-valued spectral flow of such families. We prove an analog of the Atiyah-Singer-Robbin-Salamon theorem, showing that this secondary spectral flow of $A(t)$ is equal to the secondary $\mathbb{Z}_2$-valued index of the suspension operator $\frac{d}{dt}+A(t)$. Applying this result, we show that the graded secondary spectral flow of a symmetric family of Toeplitz operators on a complete Riemannian manifold equals the secondary index of a certain Callias-type operator. In the case of a pseudo-convex domain, this leads to an odd version of the secondary Boutet de Monvel's index theorem for Toeplitz operators. When this domain is simply a unit disc in the complex plane, we recover the bulk-edge correspondence for the Graf-Porta module for 2D topological insulators of type AII.
