Delooping the functor calculus tower

TL;DR

This paper establishes a new explicit delooping of the manifold calculus tower for smooth maps between disks, connecting bimodule and infinitesimal bimodule mapping spaces, and extends previous results to more general mapping spaces.

Contribution

It introduces a novel explicit delooping method for the manifold calculus tower using operad bimodule techniques, applicable to a broader class of mapping spaces.

Findings

Provides an explicit delooping of the manifold calculus tower

Offers a new proof of delooping for disc embeddings

Extends applicability to more general mapping spaces

Abstract

We study a connection between mapping spaces of bimodules and of infinitesimal bimodules over an operad. As main application and motivation of our work, we produce an explicit delooping of the manifold calculus tower associated to the space of smooth maps $D^{m}\rightarrow D^{n}$ of discs, $n\geq m$, avoiding any given multisingularity and coinciding with the standard inclusion near $\partial D^{m}$. In particular, we give a new proof of the delooping of the space of disc embeddings in terms of little discs operads maps with the advantage that it can be applied to more general mapping spaces.