pith. sign in

arxiv: 1703.06123 · v1 · pith:44KKJFOZnew · submitted 2017-03-17 · 🧮 math.QA · math.AT

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

classification 🧮 math.QA math.AT
keywords mathsfspaceshomotopymathrmrationalmappingmathbboperads
0
0 comments X
read the original abstract

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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Homotopy Frobenius structures on the cohomology of a manifold

    math.AT 2026-06 unverdicted novelty 8.0

    Cohomology of parallelized n-manifolds carries a natural homotopy involutive n-Frobenius structure extending the rational homotopy type, via Quillen equivalence to n-Poisson cooperad comodules.

  2. Infinite-dimensionality of the rational homotopy groups of the space of long embeddings of codimension 2

    math.AT 2026-06 unverdicted novelty 7.0

    Hairy graph construction yields nontrivial rational homotopy classes proving infinite-dimensionality of π_•(Emb_c(R^{n-2}, R^n)) ⊗ Q for odd n ≥ 5.