arXiv Analytics

Sign in

arXiv:1703.06123 [math.QA]AbstractReferencesReviewsResources

The rational homotopy of mapping spaces of E${}_n$ operads

Benoit Fresse, Victor Turchin, Thomas Willwacher

Published 2017-03-17Version 1

We express the rational homotopy type of the mapping spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ of the little discs operads in terms of graph complexes. Using known facts about the graph homology this allows us to compute the rational homotopy groups in low degrees, and construct infinite series of non-trivial homotopy classes in higher degrees. Furthermore we show that for $n-m>2$, the spaces $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$ and $\mathrm{Map}^h(\mathsf D_m,\mathsf D_n)$ are simply connected and rationally equivalent. As application we determine the rational homotopy type of the deloopings of spaces of long embeddings. Some of the results hold also for mapping spaces $\mathrm{Map}_{\leq k}^h(\mathsf D_m,\mathsf D_n^{\mathbb Q})$, $\mathrm{Map}_{\leq k}^h(\mathsf D_m,\mathsf D_n)$, $n-m\geq 2$, of the truncated little discs operads, which allows one to determine rationally the delooping of the Goodwillie-Weiss tower for the spaces of long embeddings.

Related articles:
arXiv:1211.1647 [math.QA] (Published 2012-11-07)
Deformation theory and rational homotopy type
arXiv:1706.02945 [math.QA] (Published 2017-06-09)
(Non-)formality of the extended Swiss Cheese operads
arXiv:1606.04775 [math.QA] (Published 2016-06-15)
Mapping spaces and automorphism groups of toric noncommutative spaces