Infinity-operadic foundations for embedding calculus

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Krannich, Manuel, Kupers, Alexander
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911504882728960
author Krannich, Manuel
Kupers, Alexander
author_facet Krannich, Manuel
Kupers, Alexander
contents Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of $\infty$-categories of truncated right-modules over a unital $\infty$-operad $\mathcal{O}$. We study monoidality and naturality properties of this tower, identify its layers, describe the difference between the towers as $\mathcal{O}$ varies, and generalise these results to the level of Morita $(\infty,2)$-categories. Applied to the ${\rm BO}(d)$-framed $E_d$-operad, this extends Goodwillie-Weiss' embedding calculus and its layer identification to the level of bordism categories. Applied to other variants of the $E_d$-operad, it yields new versions of embedding calculus, such as one for topological embeddings, based on ${\rm BTop}(d)$, or one similar to Boavida de Brito-Weiss' configuration categories, based on ${\rm BAut}(E_d)$. In addition, we prove a delooping result in the context of embedding calculus, establish a convergence result for topological embedding calculus, improve upon the smooth convergence result of Goodwillie, Klein, and Weiss, and deduce an Alexander trick for homology 4-spheres.
format Preprint
id arxiv_https___arxiv_org_abs_2409_10991
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Infinity-operadic foundations for embedding calculus
Krannich, Manuel
Kupers, Alexander
Algebraic Topology
Category Theory
Geometric Topology
18N70, 58D10, 57S05, 18F50
Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of $\infty$-categories of truncated right-modules over a unital $\infty$-operad $\mathcal{O}$. We study monoidality and naturality properties of this tower, identify its layers, describe the difference between the towers as $\mathcal{O}$ varies, and generalise these results to the level of Morita $(\infty,2)$-categories. Applied to the ${\rm BO}(d)$-framed $E_d$-operad, this extends Goodwillie-Weiss' embedding calculus and its layer identification to the level of bordism categories. Applied to other variants of the $E_d$-operad, it yields new versions of embedding calculus, such as one for topological embeddings, based on ${\rm BTop}(d)$, or one similar to Boavida de Brito-Weiss' configuration categories, based on ${\rm BAut}(E_d)$. In addition, we prove a delooping result in the context of embedding calculus, establish a convergence result for topological embedding calculus, improve upon the smooth convergence result of Goodwillie, Klein, and Weiss, and deduce an Alexander trick for homology 4-spheres.
title Infinity-operadic foundations for embedding calculus
topic Algebraic Topology
Category Theory
Geometric Topology
18N70, 58D10, 57S05, 18F50
url https://arxiv.org/abs/2409.10991