Hostname: page-component-74656f9884-npj9w Total loading time: 0 Render date: 2026-11-08T21:16:34.631Z Has data issue: false hasContentIssue false

The Disc-structure space

Published online by Cambridge University Press:  13 December 2024

Manuel Krannich*
Affiliation:
Department of Mathematics, Karlsruhe Institute of Technology, 76131 Karlsruhe, Germany;
Alexander Kupers
Affiliation:
Department of Computer and Mathematical Sciences, University of Toronto Scarborough, 1265 Military Trail, Toronto, ON M1C 1A4, Canada; E-mail: a.kupers@utoronto.ca
*
E-mail: krannich@kit.edu (corresponding author)

Abstract

We study the $\mathscr {D}\mathrm {isc}$-structure space $S^{\mathscr {D}\mathrm {isc}}_\partial (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 $\mathscr {D}\mathrm {isc}$-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)\rightarrow \mathrm {BAut}(E_d)$ is an equivalence if and only if d is at most $2$.

Information

Type
Topology
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives licence (https://creativecommons.org/licenses/by/4.0/), which permits non-commercial re-use, distribution, and reproduction in any medium, provided the original work is unaltered and is properly cited. The written permission of Cambridge University Press must be obtained for commercial re-use or in order to create a derivative work.
Copyright
© The Author(s), 2024. Published by Cambridge University Press
Figure 0

Figure 1 The isomorphism (13) between $\Delta ^{\mathrm {op}}$ (on the left) and $\mathsf {Gap}$ (on the right, but we omitted the elements that map to L or R). The morphism indicated is not active, cellular, inert or Segal.

Figure 1

Figure 2 A $[3]$-walled $1$-manifold. The vertical projection is $\mu $ and the intervals in $\mathbf {R}$ are the $[\mu (i)-\epsilon ,\mu (i)+\epsilon ]$’s, which are disjoint in accordance with (i). The dashed lines indicate the hyperplanes $\{\mu (i)\} \times \mathbf {R}^\infty $. Note that W is transverse to these and a product near them, as imposed in (ii) and (iii).

Figure 2

Figure 3 A $[1]$-walled $1$-manifold. Its walls $\mathrm {wall}(W,\mu )$ are the $0$-manifold indicated by the squares, its chambers $\mathrm {ch}(W,\mu )$ are the thick region, its collars $\mathrm {coll}(W,\mu )$ are the dotted regions, and its thickened chambers $\mathrm {tch}(W,\mu )$ are the union of the chambers and the collars.

Figure 3

Figure 4 Given the $[3]$-walled $1$-manifold $(W,\mu )$ of Figure 2 and the indicated morphism , this shows the resulting $\mathrm {lab}_\alpha (W,\mu )$. The following informal description may help: $\alpha $ tells which ‘parts’ of to put in which ‘box’ of , and if a box is not hit by $\alpha $, it contains a ‘connecting part’.

Figure 4

Figure 5 The submanifold $\mathrm {wlab}_\alpha (W,\mu )$ for $\mathrm {lab}_\alpha (W,\mu )$ as in Figure 4.

Figure 5

Figure 6 The pullback decomposition (39) for one of the part of $\mathrm {wlab}_\alpha (W,\mu )$ from Figure 5. Note that $\mathrm {wall}(W,\mu )$ and $[3]$ are larger than pictured; we only included the parts relevant for this pullback.

Figure 6

Figure 7 An example of an element of $\mathrm {wall}_2^V$. We suppressed the framings at the points in the configuration indicated by the black points.

Figure 7

Figure 8 A $5$-ary operation in the $\infty $-operad $\mathscr {W}$.