A non-trivial index difference on surfaces of genus at least $3$

Abstract

For any closed surface of genus at least $3$, equipped with any bounding spin structure, we show that the index difference, viewed as a map from the fundamental group of the space of Dirac-invertible Riemannian metrics to $\KO^{-4}(*)$, is non-trivial. For products of two such surfaces, equipped with any spin structure, we prove that the corresponding space of Dirac-invertible Riemannian metrics is not contractible. We discuss the relationship of this result to the existence of metrics with harmonic spinors in dimension $4$.