Long knots and maps between operads (Q441107): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: William G. Dwyer / rank | |||
Property / author | |||
Property / author: Kathryn P. Hess / rank | |||
Property / review text | |||
This paper is concerned with understanding the homotopy type of the space of long knots in \(\mathbb R^m\), for \(m \geq 4\), in terms of mapping spaces of certain operads. The main result gives a positive answer to a conjecture of Kontsevich. (A reformulation of this conjecture, as well as a related result, has been given by Lambrechts and Turchin.) A long knot in \(\mathbb R^m\) is a smooth embedding \(\mathbb R \rightarrow \mathbb R^m\) which is given by inclusion into the first coordinate axis outside of a compact set in \(\mathbb R\); the authors additionally assume that such knots be tangentially straightened. The space of all such long knots is known to be the homotopy limit of a certain cosimplicial space as given by Sinha. The construction of this cosimplicial space is defined via an operad map \(\omega\) from the associative operad \(\mathcal A\) to the \(m\)th Kontsevich operad \(\mathcal K_m\), an alternate model for the little \(m\)-disks operad. The authors prove that this homotopy limit is weakly equivalent to the double loop space of the derived space of maps \(\mathcal A \rightarrow \mathcal K_m\), with basepoint \(\omega\). The proof of this result is given by much more general arguments involving bimodules over a monoid object in a monoidal category. A very general theorem proved here gives a fibration sequence of various mapping spaces in this context. The application to long knots arises since, in the category of graded spaces, the monoid objects are precisely the operads. One application of the general theorem gives that the (single) loop space of the derived mapping space of interest is equivalent to a derived mapping space between the same operads but in the category of bimodules over the associative operad. A second application of the general theorem gives an equivalence of the loop space of this second derived mapping space with a third derived mapping space which turns out to live in the category of cosimplicial spaces. | |||
Property / review text: This paper is concerned with understanding the homotopy type of the space of long knots in \(\mathbb R^m\), for \(m \geq 4\), in terms of mapping spaces of certain operads. The main result gives a positive answer to a conjecture of Kontsevich. (A reformulation of this conjecture, as well as a related result, has been given by Lambrechts and Turchin.) A long knot in \(\mathbb R^m\) is a smooth embedding \(\mathbb R \rightarrow \mathbb R^m\) which is given by inclusion into the first coordinate axis outside of a compact set in \(\mathbb R\); the authors additionally assume that such knots be tangentially straightened. The space of all such long knots is known to be the homotopy limit of a certain cosimplicial space as given by Sinha. The construction of this cosimplicial space is defined via an operad map \(\omega\) from the associative operad \(\mathcal A\) to the \(m\)th Kontsevich operad \(\mathcal K_m\), an alternate model for the little \(m\)-disks operad. The authors prove that this homotopy limit is weakly equivalent to the double loop space of the derived space of maps \(\mathcal A \rightarrow \mathcal K_m\), with basepoint \(\omega\). The proof of this result is given by much more general arguments involving bimodules over a monoid object in a monoidal category. A very general theorem proved here gives a fibration sequence of various mapping spaces in this context. The application to long knots arises since, in the category of graded spaces, the monoid objects are precisely the operads. One application of the general theorem gives that the (single) loop space of the derived mapping space of interest is equivalent to a derived mapping space between the same operads but in the category of bimodules over the associative operad. A second application of the general theorem gives an equivalence of the loop space of this second derived mapping space with a third derived mapping space which turns out to live in the category of cosimplicial spaces. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18D50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P48 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18G55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57Q45 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6068618 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
long knots | |||
Property / zbMATH Keywords: long knots / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
operads | |||
Property / zbMATH Keywords: operads / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
mapping spaces | |||
Property / zbMATH Keywords: mapping spaces / rank | |||
Normal rank | |||
Property / author | |||
Property / author: William G. Dwyer / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Kathryn P. Hess / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Julia E. Bergner / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2056435248 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1006.0874 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3164468 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy limits, completions and localizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral enrichments of model categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3160254 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calculating simplicial localizations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Function complexes in homotopical algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial localizations of categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simplicial homotopy theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiple disjunction for spaces of Poincaré embeddings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embeddings from the point of view of immersion theory. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4790109 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220599 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operads and motives in deformation quantization / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4811764 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4215784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of iterated loop spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4693740 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3147710 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopical algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every homotopy theory of simplicial algebras admits a proper model / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Operads and knot spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Embeddings from the point of view of immersion theory. I / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:35, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Long knots and maps between operads |
scientific article |
Statements
Long knots and maps between operads (English)
0 references
20 August 2012
0 references
This paper is concerned with understanding the homotopy type of the space of long knots in \(\mathbb R^m\), for \(m \geq 4\), in terms of mapping spaces of certain operads. The main result gives a positive answer to a conjecture of Kontsevich. (A reformulation of this conjecture, as well as a related result, has been given by Lambrechts and Turchin.) A long knot in \(\mathbb R^m\) is a smooth embedding \(\mathbb R \rightarrow \mathbb R^m\) which is given by inclusion into the first coordinate axis outside of a compact set in \(\mathbb R\); the authors additionally assume that such knots be tangentially straightened. The space of all such long knots is known to be the homotopy limit of a certain cosimplicial space as given by Sinha. The construction of this cosimplicial space is defined via an operad map \(\omega\) from the associative operad \(\mathcal A\) to the \(m\)th Kontsevich operad \(\mathcal K_m\), an alternate model for the little \(m\)-disks operad. The authors prove that this homotopy limit is weakly equivalent to the double loop space of the derived space of maps \(\mathcal A \rightarrow \mathcal K_m\), with basepoint \(\omega\). The proof of this result is given by much more general arguments involving bimodules over a monoid object in a monoidal category. A very general theorem proved here gives a fibration sequence of various mapping spaces in this context. The application to long knots arises since, in the category of graded spaces, the monoid objects are precisely the operads. One application of the general theorem gives that the (single) loop space of the derived mapping space of interest is equivalent to a derived mapping space between the same operads but in the category of bimodules over the associative operad. A second application of the general theorem gives an equivalence of the loop space of this second derived mapping space with a third derived mapping space which turns out to live in the category of cosimplicial spaces.
0 references
long knots
0 references
operads
0 references
mapping spaces
0 references