The Disc-structure space

Abstract

We study the Disc-structure space $S_{\partial }^{\mathrm{Disc}}(M)$ of a compact smooth manifold $M$. Informally speaking, this space measures the difference between $M$, together with its diffeomorphisms, and the diagram of ordered framed configuration spaces of $M$ with point-forgetting and point-splitting maps between them, together with its derived automorphisms. As the main results, we show that in high dimensions, the Disc-structure space a) only depends on the tangential 2-type of $M$, b) is an infinite loop space, and c) is nontrivial as long as $M$ is spin. The proofs involve intermediate results that may be of independent interest, including an enhancement of embedding calculus to the level of bordism categories, results on the behaviour of derived mapping spaces between operads under rationalisation, and an answer to a question of Dwyer and Hess in that we show that the map $\mathrm{BTop}(d)\to \mathrm{BAut}(E_d)$ is an equivalence if and only if $d$ is at most $2$.

arXiv comment89 pages, 8 figures, to appear in Forum of Mathematics Pi

References in corpus (21)

• Embeddings from the point of view of immersion theory: Part I
• Factorization homology of topological manifolds
• Embeddings from the point of view of immersion theory: Part II
• The tangent complex and Hochschild cohomology of E_n-rings
• Iterated spans and classical topological field theories
• Admissibility and rectification of colored symmetric operads
• Spaces of smooth embeddings and configuration categories
• The higher Morita category of $E_n$-algebras
• Multiple disjunction for spaces of smooth embeddings
• The rational homotopy of mapping spaces of E${}_n$ operads
• Two models for the homotopy theory of $\infty$-operads
• The positive scalar curvature cobordism category
• Twisted Spin cobordism and positive scalar curvature
• Dalian notes on rational Pontryagin classes
• An Additivity theorem for cobordism categories
• The homotopy theory of operad subcategories
• Embedding calculus and smooth structures
• On the homotopy type of the space of metrics of positive scalar curvature
• A spectral sequence for spaces of maps between operads
• How different can h-cobordant manifolds be?
• Embedding calculus for surfaces