A spectral sequence for spaces of maps between operads
Let \(P,Q\) be topological or simplicial operads. This article build tools to compute the derived mapping space \(\mathrm{RHom}(P,Q)\), which can be seen as the space of operad morphisms \(P \to Q\) ``up to homotopy. The computation of these spaces is crucial in e.g., embedding calculus. To attack this problem, operads are modeled by dendroidal spaces (introduced by \textit{I. Moerdijk} and \textit{I. Weiss} [Algebr. Geom. Topol. 7, 1441--1470 (2007; Zbl 1133.55004)]) via the dendroidal nerve and thus the authors study derived mapping spaces \(\mathrm{RHom}(X,Y)\) between dendroidal spaces.\N\NA dendroidal space \(X\) can be truncated to operations of arity \(\leq k\) to obtain a truncated dendroidal space \(U_k X\). Such restrictions produce a tower of derived mapping spaces: \N\[\N\mathrm{RHom}(X,Y) \to \dots \to \mathrm{RHom}(U_k X, U_k Y) \to \mathrm{RHom}(U_{k-1} X, U_{k-1} Y) \to \dots \to \mathrm{RHom}(U_0 X, U_0 Y).\N\]\NSuch a construction is reminiscent of common constructions in embedding calculus. While spectral sequences do not appear, per se, outside of the title of this article, the reviewer presumes that the title refers to the spectral sequence that could be built out of this tower.\N\NThe first result of this article is that this tower ``converges, i.e., \(\mathrm{RHom}(X,Y)\) is weakly equivalent to the homotopy limit of the tower. The main result of the article is that \(\mathrm{RHom}(U_k X, U_k Y)\) can be expressed in terms of \(\mathrm{RHom}(U_{k-1} X, U_{k-1} Y)\) and a kind of latching-matching construction of \(X\) and \(Y\), for 1-reduced Segal dendroidal spaces.\N\NThis main result allows the study of the homotopy fiber of the restriction map \(\mathrm{RHom}(U_k X, U_k Y) \to \mathrm{RHom}(U_{k-1} X, U_{k-1} Y)\), which is thus equivalent to the homotopy fiber of the map between latching/matching constructions. As an application, for the little disks operads \(E_n\) and \(E_{n+d}\) (which are crucial in embedding calculus), the authors prove that the homotopy fiber of \(\mathrm{RHom}(U_k E_n, U_k E_{n+d}) \to \mathrm{RHom}(U_{k-1} E_n, U_{k-1} E_{n+d})\) is \(((k-1)(d-2)+1)\)-connected. Therefore, when \(d \geq 3\), the connectivity goes to infinity as \(k\) increases, which implies that the homotopy groups of \(\mathrm{RHom}(E_n, E_{n+d})\) -- which are connected to spaces of long knots -- can be computed from a finite stage of the tower. This is, again, reminiscent of other results in embedding calculus (see e.g., [\textit{B. Fresse} et al., ``The rational homotopy of mapping spaces of E${}_n$ operads, Preprint, \url{arXiv:1703.06123}]).
- On mapping spaces of differential graded operads with the commutative operad as target
- Computational aspects of the homotopy theory of topological operads
- An operadic model for a mapping space and its associated spectral sequence
- Homotopy theories of algebras over operads
- The homotopy theory of operad subcategories
- A compactification of configuration spaces
- A model for the homotopy theory of homotopy theory
- Axiomatic homotopy theory for operads
- Chern-Simons perturbation theory. II
- Cubical homotopy theory
- Dendroidal Segal spaces and ∞-operads
- Dendroidal sets
- Dendroidal sets and simplicial operads
- Dendroidal sets as models for homotopy operads
- Goodwillie approximations to higher categories
- Homotopy Associativity of H-Spaces. I
- Homotopy invariant algebraic structures on topological spaces
- Homotopy-everything 𝐻-spaces
- scientific article; zbMATH DE number 3149603 (Why is no real title available?)
- scientific article; zbMATH DE number 4078263 (Why is no real title available?)
- Infinite Loop Spaces (AM-90)
- Manifold-theoretic compactifications of configuration spaces
- On axiomatic homology theory
- On the homotopy theory of enriched categories
- Operad groups and their finiteness properties
- Operads of genus zero curves and the Grothendieck-Teichmüller group
- Rational Pontryagin classes of Euclidean fiber bundles
- Resolution of coloured operads and rectification of homotopy algebras
- Simplicial homotopy theory
- Simplicial localizations of categories
- Spaces of smooth embeddings and configuration categories
- The Boardman-Vogt resolution of operads in monoidal model categories
- The geometry of iterated loop spaces
This page was built for publication: A spectral sequence for spaces of maps between operads
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6593008)
