Infinite loop spaces and positive scalar curvature

Abstract

We study the homotopy type of the space of metrics of positive scalar curvature on high-dimensional compact spin manifolds. Hitchin used the fact that there are no harmonic spinors on a manifold with positive scalar curvature to construct a secondary index map from the space of positive scalar metrics to a suitable space from the real $K$-theory spectrum. Our main results concern the nontriviality of this map. We prove that for $2n\ge 6$, the natural $KO$-orientation from the infinite loop space of the Madsen--Tillmann--Weiss spectrum factors (up to homotopy) through the space of metrics of positive scalar curvature on any $2n$-dimensional spin manifold. For manifolds of odd dimension $2n+1\ge 7$, we prove the existence of a similar factorisation. When combined with computational methods from homotopy theory, these results have strong implications. For example, the secondary index map is surjective on all rational homotopy groups. We also present more refined calculations concerning integral homotopy groups. To prove our results we use three major sets of technical tools and results. The first set of tools comes from Riemannian geometry: we use a parameterised version of the Gromov--Lawson surgery technique which allows us to apply homotopy-theoretic techniques to spaces of metrics of positive scalar curvature. Secondly, we relate Hitchin's secondary index to several other index-theoretical results, such as the Atiyah--Singer family index theorem, the additivity theorem for indices on noncompact manifolds and the spectral-flow index theorem. Finally, we use the results and tools developed recently in the study of moduli spaces of manifolds and cobordism categories. The key new ingredient we use in this paper is the high-dimensional analogue of the Madsen--Weiss theorem, proven by Galatius and the third named author.

Final version, to appear in Inventiones Mathematicae

References in corpus (5)

• Homological stability for moduli spaces of high dimensional manifolds. I
• The topology of positive scalar curvature
• Homological stability for moduli spaces of high dimensional manifolds
• On the homotopy type of the space ${\mathcal{R}}^{+}(M)$
• The Space of Positive Scalar Curvature Metrics on a Manifold with Boundary

Cited by in corpus (27)

• The Gromov-Lawson-Chernysh surgery theorem
• The positive scalar curvature cobordism category
• Infinite loop spaces and positive scalar curvature in the presence of a fundamental group
• Scalar and mean curvature comparison via the Dirac operator
• Nonconnected Moduli Spaces of Nonnegative Sectional Curvature Metrics on Simply Connected Manifolds
• The action of the mapping class group on metrics of positive scalar curvature
• On the topology of moduli spaces of non-negatively curved Riemannian metrics
• The Space of Positive Scalar Curvature Metrics on a Manifold with Boundary
• Bundles with non-multiplicative $\hat{A}$-genus and spaces of metrics with lower curvature bounds
• On the homotopy type of the space of metrics of positive scalar curvature
• Non-negative versus positive scalar curvature
• Concordance and isotopy of metrics with positive scalar curvature, II
• Spaces of positive intermediate curvature metrics
• Positive scalar curvature on manifolds with boundary and their doubles
• On moduli spaces of positive scalar curvature metrics on highly connected manifolds
• Desingularizing positive scalar curvature 4-manifolds
• Positive Scalar Curvature on Spin Pseudomanifolds: the Fundamental Group and Secondary Invariants
• Homotopy invariance of the space of metrics with positive scalar curvature on manifolds with singularities
• Contractibility results for certain spaces of Riemannian metrics on the disc
• On the space of initial values strictly satisfying the dominant energy condition
• Moduli spaces of invariant metrics of positive scalar curvature on quasitoric manifolds
• Path-component invariants for spaces of positive scalar curvature metrics
• Generalized positive scalar curvature on spin${}^c$ manifolds
• Positive $(p,n)$-intermediate scalar curvature and cobordism
• Homotopy equivalence of spaces of metrics with invertible Dirac operator
• Spaces of Positive Scalar Curvature metrics on totally nonspin Manifolds with spin boundary
• Relative eta invariant and uniformly positive scalar curvature on non-compact manifolds