Operads and embeddings
thesisposted on 2022-03-29, 03:12 authored by Florian De Leger
In this thesis, our objective is to present a strategy of a new proof of the weak equivalence Emb(R1, Rm) ∼ Ω2MapOp(D1,Dm), where Emb(R1, Rm) is the space of tangentially straightened long knots in Rm (see ) and MapOp(D1,Dm) is the space of operadic morphisms from the little 1-disk operad to the little m-disk operad. The existing proofs of Turchin  and Dwyer-Hess  are based on homotomy theory. We develop a more categorical proof which uses the theory of internal algebra classifiers  and explains conceptually the 'raison d'etre' of such a delooping. It also allows us to employ powerfu categorical/combinatorial techniques developed in  for proving and generalising of this sort of results. Our proof should admit a generalisation to higher dimensions, known as Dwyer-Hess conjecture.