Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userDelooping the functor calculus tower
118
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic 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, $ngeq 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.
rate research
Read More
In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
It is known that the bimodule derived mapping spaces between two operads have a delooping in terms of the operadic mapping space. We show a relative version of that statement. The result has applications to the spaces of disc embeddings fixed near the boundary and framed disc embeddings.
We extend some classical results - such as Quillens Theorem A, the Grothendieck construction, Thomasons Theorem and the characterisation of homotopically cofinal functors - from the homotopy theory of small categories to polynomial monads and their algebras. As an application we give a categorical proof of the Dwyer-Hess and Turchin results concerning the explicit double delooping of spaces of long knots.
In the world of chain complexes E_n-algebras are the analogues of based n-fold loop spaces in the category of topological spaces. Fresse showed that operadic E_n-homology of an E_n-algebra computes the homology of an n-fold algebraic delooping. The aim of this paper is to construct two spectral sequences for calculating these homology groups and to treat some concrete classes of examples such as Hochschild cochains, graded polynomial algebras and chains on iterated loop spaces. In characteristic zero we gain an identification of the summands in Pirashvilis Hodge decomposition of higher order Hochschild homology in terms of derived functors of indecomposables of Gerstenhaber algebras and as the homology of exterior and symmetric powers of derived Kahler differentials.
From a map of operads $eta : Orightarrow O$, we introduce a cofibrant replacement of the operad $O$ in the category of bimodules over itself such that the corresponding model of the derived mapping space of bimodules $Bimod_{O}^{h}(O;O)$ is an algebra over the one dimensional little cubes operad $mathcal{C}_{1}$. In the present work, we also build an explicit weak equivalence of $mathcal{C}_{1}$-algebras from the loop space $Omega Operad^{h}(O;O)$ to $Bimod_{O}^{h}(O;O)$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
