The Disc-structure space
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 sp...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Cambridge University Press
2024-01-01
|
| Series: | Forum of Mathematics, Pi |
| Subjects: | |
| Online Access: | https://www.cambridge.org/core/product/identifier/S2050508624000258/type/journal_article |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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$
. |
|---|---|
| ISSN: | 2050-5086 |