Title:The positive scalar curvature cobordism category

Abstract:We prove that many spaces of positive scalar curvature metrics have the homotopy type of infinite loop spaces. Our result in particular applies to the path component of the round metric inside $\mathcal{R}^+ (S^d)$ if $d \geq 6$.
To achieve that goal, we study the cobordism category of manifolds with positive scalar curvature. Under suitable connectivity conditions, we can identify the homotopy fibre of the forgetful map from the psc cobordism category to the ordinary cobordism category with a delooping of spaces of psc metrics. This uses a version of Quillen's Theorem B and instances of the Gromov--Lawson surgery theorem.
We extend some of the surgery arguments by Galatius and the second named author to the psc setting to pass between different connectivity conditions. Segal's theory of $\Gamma$-spaces is then used to construct the claimed infinite loop space structures.
This perspective clarifies and generalises a result on the action of the diffeomorphism group on spaces of psc metrics, which was a crucial step in our previous work with Botvinnik.
A delooped version of the Atiyah--Singer index theorem proved by the first named author is used to moreover show that the secondary index invariant to real $K$-theory is an infinite loop map and to give a new proof of the main result of our previous work with Botvinnik.