On the rational homology of high-dimensional analogues of spaces of long knots (Q2509850): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1105.1576 / rank | |||
Normal rank |
Revision as of 07:00, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the rational homology of high-dimensional analogues of spaces of long knots |
scientific article |
Statements
On the rational homology of high-dimensional analogues of spaces of long knots (English)
0 references
31 July 2014
0 references
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.
0 references
embedding spaces
0 references
Goodwillie-Weiss calculus
0 references
bimodules over operads
0 references