On the rational homology of high-dimensional analogues of spaces of long knots (Q2509850): Difference between revisions

The authors study the space, denoted by \(\mathrm{Emb}_c(\mathbb R^m,\mathbb R^n)\), formed by the embeddings \(\mathbb R^m\hookrightarrow\mathbb R^n\) that agree with the standard inclusion \(\mathbb R^m\times\{0\}\hookrightarrow\mathbb R^n\) outside a bounded domain. This space embeds into a space of immersions \(\mathrm{Imm}_c(\mathbb R^m,\mathbb R^n)\), defined analogously, and whose homotopy type is well known. The authors therefore consider the homotopy fiber of the inclusion \(\mathrm{Emb}_c(\mathbb R^m,\mathbb R^n)\rightarrow\mathrm{Imm}_c(\mathbb R^m,\mathbb R^n)\), and focus on the study of the homotopy of this space, which they denote by \(\overline{\mathrm{Emb}}_c(\mathbb R^m,\mathbb R^n)\). They regard \(\overline{\mathrm{Emb}}_c(\mathbb R^m,\mathbb R^n)\) as the value of a contravariant functor \(U\mapsto\overline{\mathrm{Emb}}_c(U,\mathbb R^n)\) on a certain category of open subsets \(U\subset\mathbb R^m\). They prove that the limit of the Goodwillie-Weiss-Taylor tower of this functor, denoted by \(T_{\infty}\overline{\mathrm{Emb}}_c(\mathbb R^m,\mathbb R^n)\), admits a description in terms of maps of (infinitesimal) bimodules over operads. To be explicit, they prove that we have a weak-equivalence \(T_{\infty}\overline{\mathrm{Emb}}_c(\mathbb R^m,\mathbb R^n)\sim\mathrm{hInfBim}_{B_m}(B_m,B_n)\), where \(B_m\) is the operad of little \(m\)-disks, and \(\mathrm{hInfBim}_{B_m}(B_m,B_n)\) denotes the (derived) space of maps of \(B_m\)-bimodules \(\phi: B_m\rightarrow B_n\) from the operad \(B_m\), regarded as a bimodule over itself, towards the operad \(B_n\), regarded as a bimodule over \(B_m\) by restriction of structure through the operad embedding \(B_m\hookrightarrow B_n\). In the case \(n-m\geq 3\) where the Goodwillie-Weiss tower converges, this result implies that the space \(\overline{\mathrm{Emb}}_c(\mathbb R^m,\mathbb R^n)\) is weakly-equivalent to this operadic function space \(\mathrm{hInfBim}_{B_m}(B_m,B_n)\) itself. The authors prove that an analogous result holds for the chain complex of the space \(\overline{\mathrm{Emb}}_c(\mathbb R^m,\mathbb R^n)\). They also use the formality of the chain operads of little disks to give a purely algebraic definition of a complex which is quasi-isomorphic to this object \(\mathbb{C}(\overline{\mathrm{Emb}}_c(\mathbb R^m,\mathbb R^n))\) in the rational setting.