EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

DANICA KOSANOVIĆ

Abstract. We show that the invariants 4E= of long knots in a 3-, produced from embedding calculus, are surjective for all = 1. On one hand, this solves some of the remaining ≥ open cases of the connectivity estimates of Goodwillie and Klein, and on the other hand, it confirms one half of the conjecture by Budney, Conant, Scannell and Sinha that for classical

knots 4E= are universal additive Vassiliev invariants over the integers. We actually study long knots in any manifold of dimension at least 3 and develop a geometric understanding of the layers in the embedding calculus tower and their first non-trivial groups, given as certain groups of decorated trees. Moreover, in dimension 3 we give an explicit

interpretation of 4E= using capped grope cobordisms and our joint work with Shi and Teichner. The main theorem of the present paper says that the first possibly non-vanishing embedding

calculus invariant 4E= of a knot which is grope cobordant to the unknot is precisely the equivalence class of the underlying decorated tree of the grope in the homotopy group of the layer. As a corollary, we give a sufficient condition for the mentioned conjecture to hold over a coefficient group. By recent results of Boavida de Brito and Horel this is fulfilled for the rationals, and for the ?-adic integers in a range, confirming that the embedding calculus invariants are universal rational additive Vassiliev invariants, factoring configuration space integrals.

In contrast to the study of spaces Map %," of maps between topological spaces, which gave rise to ( ) numerous techniques of homotopy theory, spaces Emb %," of smooth embeddings of ( ) seem less tractable from the homotopy viewpoint. Already at the level of components (isotopy classes of embeddings), often purely geometric arguments are used. In this paper we relate two well-known attempts to reconcile these viewpoints in the case of long knots in a compact oriented 3-manifold " with boundary. Namely, let 1 : 0, & 1 &, 1 ↩ " be [ )t( − ] → a fixed neat embedding, i.e. satisfying 1 1 %" = 0, 1 , and consider the space of neat embeddings − ( ) { } K " := Emb , " :=  5 :  = 0, 1 ↩ " 5 1 near % . (0.1) ( ) %( ) [ ] → | ≡ The first approach, Vassiliev’s theory of finite type knot invariants [Vas90; Vas98], starts from the observation that having understood the space of smooth maps, we can try to describe its subspace of embeddings by studying homotopy types of the strata of the complement Map , " K " . %( )\ ( ) In its more geometric version [Gus00; Hab00; CT04b] this theory gives a sequence of equivalence

relations = for = 1 on the set K " := 0K " , defined in terms of either claspers or gropes. ∼ ≥ ( ) ( ) The second approach, the embedding calculus of Goodwillie and Weiss [Wei99; GW99], builds on the arXiv:2010.05120v1 [math.GT] 10 Oct 2020 idea – having its roots in Hirsch–Smale immersion theory – that, since we understand embeddings of disjoint unions of disks, we could use them to approximate the space Emb %," . The outcome ( ) is a certain tower of spaces P= " and maps ev= : K " P= " , for = 1. See Introduction1 ( ) ( ) → ( ) ≥ for a brief survey of both approaches, and Sections 2.2 and5 for more details.

It was suggested early on [GW99; GKW01] that these theories should be closely related for " = 3, 3 1 3 in which case K   0Emb S , R is precisely the abelian monoid of classical knots. The study ( ) ( ) of the relationship was initiated in [BCSS05], where the following conjecture was stated, and proven in the first non-trivial degree = = 3 (see Example 2.25 below for another proof).

Max-Planck-Institut für Mathematik, Bonn E-mail address: [email protected]. 1 2 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

3 3 Conjecture 0.1 ([BCSS05]). For each = 1 the map 0ev= : K  0P=  is a universal ≥ ( ) → ( ) additive Vassiliev invariant of type = 1 over Z, that is, it is a monoid homomorphism which ≤ − factors as 3 0ev= 3 K  0P=  ( ) ( )  K 3 ( ) = ∼ and the induced map on the right is an isomorphism of groups.

3 In other words, the paths in the space P=  should precisely encode the =-equivalence relation. ( ) The work of [Vol06; Tou07; Con08] showed that, roughly speaking, graph complexes appearing in the two theories agree, while more recently a part of the conjecture was confirmed in [BCKS17]. 3 They show that each 0ev= is an additive invariant of type = 1, namely, 0P=  has a group ≤ − ( ) structure so that 0ev= is homomorphism of monoids, and the mentioned factorisation exists. Our joint work [KST] reproves the latter claim from the perspective of gropes, see also TheoremC. One of the main results of the present paper is the proof of the ‘surjectivity part’ of Conjecture 0.1.

3 3 Theorem 0.2. For each = 1 the homomorphism 0ev= : K  0P=  is surjective. ≥ ( ) → ( ) This is just a special case of Theorem 0.5 which says that the same holds for an arbitrary 3-manifold. Starting from a geometric viewpoint, we use different models than the mentioned thread of work: capped gropes for finite type theory [CT04b] and Goodwillie’s punctured knots model for embedding calculus (see [Sin09]). Moreover, in [Vol06] Volić asks ‘Can one in general understand the geometry of finite type invariants using the evaluation map?’, and we make a step forward in that direction.

3 Namely, there is a graph complex which computes the homotopy groups of P=  and our main ( ) TheoremA implies that (see Corollary 2.19 for the precise statement) the evaluation map detects the underlying tree of a grope/clasper in the graph complex. Analogous results hold for universal rational Vassiliev knot invariants of Kontsevich [Kon93] and Bott–Taubes [BT94; AF97], as well as for similar invariants of families of diffeomorphisms of S4, shown by Watanabe [Wat18] to detect the underlying graph of a family constructed using similar claspers. However, a crucial difference is that while all these invariants use integrals over configuration spaces – and so can provide results only in characteristic zero – embedding calculus is a purely topological technique for studying homotopy types of embedding spaces themselves. Indeed, TheoremA can be used both to confirm Conjecture 0.1 rationally and show that Kontsevich and Bott–Taubes integrals factor through the tower (see Remark 2.20), and also more generally:

Corollary 0.3. Let  be a torsion-free abelian group. If the homotopy spectral sequence 3 3 2 ∗   for the Taylor tower of K  collapses at the  -page along the diagonal, then 0ev= =,C( ) ⊗ ( ) is− a universal additive Vassiliev invariant of type = 1 over , meaning that ≤ − 3 K   3 0ev= : ( ) =  0P=  . ⊗ ∼ ⊗ ( ) ⊗ 3 Here ∗ =,C  is the usual spectral sequence for the homotopy groups of the tower of fibrations − ( 3) 3 2 ?= 1 : P= 1  P=  and can be related to graph complexes: its  -page along the diagonal was + + ( ) → ( ) ) identified by Conant [Con08] as the group of Jacobi trees A= (see Definition 2.7 and Theorem 2.17). Thus, the above collapse condition is equivalent to the claim that the canonical projection from the group 2 A) of Jacobi trees to = ker is an isomorphism over .  = 1 ,= 1  = ∞= 1 ,= 1 0?= 1  −( + ) + −( + ) + ( + ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 3

This has already been confirmed in some cases.

Corollary 0.4. The following holds.

(1) 0ev= is a universal additive Vassiliev invariant of type = 1 over Q. ≤ − (2) For any prime ?, the evaluation map 0ev= is a universal additive Vassiliev invariant of type = 1 over the ?-adic integers Z? if = ? 2. ≤ − ≤ + (3) 0ev= is a universal additive Vassiliev invariant of type = 1 over Z if = 7. ≤ − ≤ Namely, Boavida de Brito and Horel [BH20] show vanishing of higher differentials in a range for this 3 spectral sequence in positive characteristic, implying (2). Their results also imply that ∗  Q =,C( )⊗ collapses at the whole 2-page (this could also be deduced from [FTW17]). Moreover, some− existing ) low-degree computations show that the group A= is torsion-free, giving (3). For proofs of both corollaries and further details see Section 2.3.2.

Theorem 0.5. For a compact oriented 3-manifold " the map of sets 0ev= : K " 0P= " ( ) → ( ) is surjective for any = 1. ≥ This was expected to hold by analogy to the famous Goodwillie–Klein connectivity formula (see Theorem 1.1), which predicts that for a 1-dimensional source manifold and a 3-dimensional target the map ev= is 0-connected. For a connected source this is precisely Theorem 0.5, and in future work we plan to investigate if our method can be extended to links.

Remark 0.6. The corollaries of TheoremA stated above apply to some extent also for knots in a general 3-manifold ", using analogous groups A) " as studied in [Kos20]; see also Remark 1.8. = ( ) Let us now introduce some notation, so that we can state TheoremA and deduce Theorem 0.5.

We will actually study the punctured knots model P= " even more generally: for " any connected ( ) compact smooth manifold of dimension 3 3 with non-empty boundary. It is defined as a homotopy ≥ limit over a certain finite category and we will develop its properties in detail in Sections3 and4. We only restrict to oriented 3-manifolds when we later consider gropes.

Let us pick an arbitrary knot U K " as our basepoint and call it the unknot, and let ev= U be ∈ ( ) ( ) the basepoint of P= " . There is a natural map ?= 1 : P= 1 " P= " which is a surjective fi- ( ) + + ( ) → ( ) bration and satisfies ?= 1 ev= 1 = ev=, so preserves basepoints. The fibres F= 1 " := fibev= U ?= 1 + ◦ + + ( ) ( + ) are called the layers of the Taylor tower. Moreover, we also consider the homotopy fibre

H= " := hofibev U ev= ( ) = ( )  := ,  K " Map 0, 1 , P= "  0 = ev= ,  1 = ev= U . ( ) ∈ ( ) × ([ ] ( )) | ( ) ( ) ( ) ( ) and in Section 3.2 we construct a map e= 1 making the following diagram commute: + e= 1 H= " + F= 1 " ( ) + ( )

ev= 1 (0.2) K " + P= 1 " ( ) + ( ) ev= ?= 1 + P= " P= " ( ) ) Remarkably, both F= 1 " and H= " are related – for a priori different reasons – to the set + ( ) ( ) 6= Tree 1 " = of 1"-decorated trees, where Γ Tree 1 " = consists of a rooted planar binary tree  ( ) ∈  ( ) Γ with enumerated leaves which are also decorated by elements 68 1 " , for 8 = := 1, . . . , = . ∈ ( ) ∈ { } See Section 2.1 for all definitions related to trees. 4 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

1 3 2

61 63 62

63 For example, Γ := Tree 1 " 3 . ∈  ( )

Indeed, on one hand, the set 0F= 1 " is isomorphic to the group of Lie trees Lie1 " = , defined as + ( ) ( ) the quotient of the Z-span of Tree 1 " = by the antisymmetry ( and Jacobi relations - . On  ( ) ( ) ( ) the other hand, from the data of a capped grope cobordism G in a 3-manifold " we will construct a point # G H= " , with the underlying combinatorics of G also described by t G Tree 1 " = . ( ) ∈ ( ) ( ) ∈  ( ) Let B = be a Hall basis for the free Lie algebra L G8 : 8 = , and NB = B = the subset of words ( ) 8 ( ∈ ) ( ) ⊆ ( ) in which each letter G for 8 = appears at least once. Let ;F be the word length of F NB = . ∈ ∈ ( ) Further, for : 1 denote by " : the :-fold product of " with itself and by Ω" : the space of ≥ × × based loops in it; for a space - let - := - and Σ: - its :-fold reduced suspension. + t {∗} ( +) Theorem A. For any 3 3 there is an explicit homotopy equivalence1 ≥ Ö = ◦ 1 ;F 3 2 ;F F= 1 " Ω ΩΣ + ( − ) Ω"× . + ( )' ( )+ F NB = ∈ ( )

It follows that F= 1 " is = 3 3 1 -connected and = 3 3 F= 1 "  Lie1 " = . Moreover, for + ( ) ( ( − ) − ) ( − ) + ( ) ( ) 3 = 3 capped grope cobordisms give a map of sets

= : Z Tree1 " = = 3 3 H= " [ ( )] → ( − ) ( ) such that = 3 3 e= 1 = is the canonical quotient map by ( and -. ( − ) + ◦

In other words, the two roles of trees, homotopy theoretic for F= 1 " and geometric for H= " , + 6= ( ) 6( ) are mutually compatible: we will define = Γ := # G for some grope G with t G = Γ and ( ) [ ( )] ( ) show that e= 1# G 0F= 1 "  Lie1 " = is precisely the class of t G modulo ( and -. [ + ( )] ∈ + ( ) ( ) ( ) =  = 1 ! Remark 0.7. There is an isomorphism Lie 1 " =  Z 1" ( − ) . If " is simply connected,  ( ) [ ] we obtain Lie =  Z = 1 !, the arity = of the Lie operad. Interestingly, in Goodwillie’s homotopy ( ) ( − ) calculus the =-th Taylor layer for a functor  : Top Top is computed in terms of a spectrum ∗ → ∗ %= Id , and these turn out to form an operad % Id whose homology is precisely the Lie operad. ( ) ∗( ) The following is an immediate corollary of TheoremA, and implies Theorem 0.5.

Corollary 0.8. For 3 = 3 and = 1 0e= 1 : 0H= " 0F= 1 " is a surjection of sets. ≥ + ( ) → + ( )

Proof of Theorem 0.5 assuming TheoremA. It is a standard fact (see (3.0.1) below) that P1 " ( ) is homotopy equivalent to the loop space Ω S" on the unit tangent bundle S" of ". Thus, ( ) 0P1 "  1", and since each class here can be represented by an embedded loop (as 3 = 3), ( ) the map 0ev1 is surjective. Assume by induction that 0ev= is surjective for some = 1. ≥ Let us pick G P= 1 " and show it is in the image of 0ev= 1. Denote H := ?= 1 G P= " ∈ + ( ) H H + + ( ) ∈ ( ) and the corresponding fibres F= 1 " := fibH ?= 1 and H= " := hofibH ev= . Since by definition H H H + ( H ) ( + ) ( ) ( ) H G F= 1 " and e= 1 : H= " F= 1 " similarly to (0.2), it suffices to prove 0e= 1 is surjective. ∈ + ( ) + ( ) → + ( ) + ev= However, it is instead enough to check that 0e= 1 is surjective, where K " is any knot + ∈ ( ) such that there is a path  in P= " from ev= to H (this exists by the induction hypothesis). ( ) ( ) Indeed, e= 1 is equivalent to the map induced on the homotopy fibres, and changing the basepoint + on both sides using  induces homotopy equivalences which commute with e= 1. As our choice of ev= + U was arbitrary, we can take U:= , so e= 1 = e= 1. Now apply Corollary 0.8.  + + 1 The weak product Î◦ is defined as the filtered colimit of products over finite subsets. EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 5

In the next section, after giving a brief survey of the literature, we rephrase TheoremA as several intermediate results. Namely, TheoremB provides for any 3 3 an explicit description of the ≥ homotopy groups of F= 1 " , and TheoremC constructs points # G H= " for 3 = 3. The + ( ) ( ) ∈ ( ) compatibility of the two roles of decorated trees is shown in TheoremD and TheoremE. On the way, we point out crucial proof ingredients, which may be of independent interest, and give some corollaries. We end Section1 with a proof of TheoremA and a detailed outline of the paper.

Finally, let us remark that similar results should hold more generally: invariants ev= are defined for any space of embeddings or diffeomorphisms and should detect analogous geometric constructions; see Remark 1.10 for = for 3 4. Moreover, we show in [KT] that the space of certain neatly ≥ embedded 2-disks in a 4-manifold is described by ΩK " , so that such disks are classified up to ( ) isotopy by ev2. This fully answers questions posed by Gabai in [Gab20a] (who used a map similar to 1 : Z 1" H1 " ), and reproves the main result of [Gab20b] by completely new methods. [ ] → ( ) Acknowledgements. My deepest thanks go to my thesis advisor Peter Teichner for his guidance, most inspiring conversations and selfless sharing of time, knowledge, support and advice. I benefited greatly from our joint work with Yuqing Shi and I thank her for interesting discussions. Thanks also to Geoffroy Horel and Greg Arone for useful remarks, and Pedro Boavida de Brito, Thomas Goodwillie, Gijs Heuts, Dev Sinha, Victor Turchin and Tadayuki Watanabe for showing interest in this work. I also wish to acknowledge the generous support of the Max Planck Institute for Mathematics in Bonn throughout my doctoral studies, during which these results were obtained.

Contents

1 Introduction ...... 6 1.1 Intermediate results 7 2 Preliminaries ...... 13 2.1 Trees 13 2.2 Geometric finite type theory 16 2.3 Proofs of corollaries 20 2.4 Homotopy limits and the notation 23 3 The punctured knots model ...... 25 3.1 The projection maps 27 3.2 The layers and homotopy fibres of evaluation maps 29 3.3 Delooping the layers 31 4 Homotopy type of the layers ...... 37 4.1 The first non-trivial homotopy group 39 4.2 The generating maps 41 5 Gropes and punctured knots ...... 46 5.1 Grope cobordisms, thick gropes and grope forests 46 5.2 Gropes give paths in the Taylor tower 51 5.3 Grope forests give points in the layers 54 6 Proofs of main theorems ...... 57 A On left homotopy inverses ...... 64 B Samelson products ...... 69 References ...... 73 6 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

1 Introduction

Finite type theory. Vassiliev’s study of the strata of the discriminant Map , 3 K 3 gave %( )\ ( ) rise to the filtration V  by type = 1 of the group 0 K 3 ;  of knot invariants with values =∗( ) ≥ ( ( ) ) in an abelian group , as formulated by [BL93]. A new, very active field emerged: it was shown that quantum invariants give rise to invariants of finite type [Lin91] (for example, for the Jones polynomial @ the coefficient next to ℎ= in 4 ℎ is of type =); that for  = Q there is a ( ) ( ) ≤ universal such invariant – the Kontsevich integral [Kon93; LM96]; and a comprehensive treatment of its target, the rational Hopf algebra of chord diagrams, was given in [Bar95]. A geometric approach to the field was introduced by Gusarov [Gus00] and Habiro [Hab00] inde- pendently, as a sequence of knot operations called surgeries on claspers (or variations) of degree 3 3 = 1. This gives a sequence of equivalence relations = on the monoid K  := 0K  and a ≥ 3 3 ∼ ( ) ( ) decreasing filtration K=  := K  : = U by submonoids. The work of Stanford [Sta98] ( ) { ∈ ( ) ∼ } exhibits a close connection of this filtration with the lower central series of the pure braid group. By the work of Conant and Teichner [CT04b; CT04a] one can instead of claspers equivalently use capped grope cobordisms, and this is the approach we take. Gropes first appeared in the theory of topological 4-manifolds, and can be viewed as a tool for detecting ‘embedded commutators’ [Tei04]. See Section 5.1 for a background on gropes, and Remark 5.11 for an advantage of using them.

3 3 3 Notably, it has been shown that the map K  Z K  = 0 K  ; Z defined by U, 3 ( ) → [ ( )] ( ( ) ) 7→ − takes K=  into V= Z , the dual of the Vassiliev filtration for  = Z. Hence, this indeed gives a ( ) ( ) geometric version of the theory (or its primitive/additive part), since one works with knots instead of their linear combinations or invariants; see Section 2.2 for the comparison.

3 Additionally, the quotient of K  by = is actually an abelian group and the projection ( ) ∼ 3 3 K  = : K  ( ) = ( ) ∼ is a universal additive invariant of type = 1 [Hab00, Thm. 6.17] – meaning that any additive 3 ≤ − invariant E : K   of type = 1 factors through =. However, the target here is a mysterious ( ) → ≤ − group and one would ideally have something combinatorially defined instead, perhaps the primitive part of the mentioned algebra of chord diagrams or the group of Jacobi trees (see Section 2.1.2).

Embedding calculus. The pioneering approach of Goodwillie and Weiss [Wei99; GW99] for studying embedding spaces2 Emb %," produces a tower of spaces, called the Taylor tower, %( ) T= 1Emb% %," T=Emb% %," T1Emb% %," · · · → + ( ) → ( ) → · · · → ( ) and the evaluation maps ev= : Emb %," T=Emb %," , starting from the space of immer- %( ) → %( ) sions T1Emb %," Imm %," . Since the definition of these objects is homotopy theoretic – %( )' %( ) analogously to the description of immersions due to Hirsch and Smale – we obtain an inductive way for studying the homotopy type of Emb %," , using a variety of tools. Indeed, a fundamental %( ) result in the field is the following theorem of Goodwillie and Klein (announced in [GW99]).

 3 Theorem 1.1 ([GK15]). The map ev= is 1 dim % = dim " dim % 2 -connected , except − + ( − − ) if dim % = 1 and dim " = 3. Hence, the induced map ev : Emb% %," lim T=Emb% %," is a ∞ ( ) → ( ) weak homotopy equivalence if dim " dim % > 2 (‘the tower converges to the embedding space’). − This result inspired a great deal of research on Taylor towers for various pairs %," . ( )

2 One can take compact manifolds with a fixed boundary condition for all embeddings, or closed manifolds. 3 A map is :-connected if it induces an isomorphism on homotopy groups below degree : and a surjection on : . EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 7

To mention just a few, in [LTV10; AT14] the rational homology of spaces Emb D: , D: 2 of disks %( + ) of codimension 2 > 2 was expressed as the homology of certain graph complexes, and similarly : : 2 for the rational homotopy groups [ALTV08; AT15; FTW17]. The spaces T=Emb D , D were %( + ) shown to be iterated loop spaces in [DH12; Tur14; BW18; DT19]. A different (cosimplicial) model 3 for T=Emb , " was constructed in [Sin09] and studied in [Sin06; SS02; LT09] for " =  , 3 4. %( ) ≥ Note that the excluded case in Theorem 1.1 is precisely the setting of . Moreover, by an argument of Goodwillie the tower for classical long knots K 3 := Emb , 3 does not converge ( ) %( ) (see Proposition 2.22). Nevertheless, it still remains a source of interesting knot invariants: taking path components gives a tower of sets to which the monoid K 3 maps. ( ) Furthermore, the delooping results of [Tur14; BW18] apply in this case as well: for = 2 each 3 3 ≥ T=K  is weakly equivalent to a double loop space, so each 0T=K  is actually an abelian group ( ) 3 2 ( ) , 3 3 (for = = 1 trivial as T1K  ΩS ). Moreover, [Gri19] showed that ev= : K  T=K  , the ( )' , ( ) → ( ) model from [BW18], is a map of -spaces. Thus, 0ev= is a monoid map (an additive invariant).

3 Relating the two theories. A different approach by [BCKS17] uses the model "= for T=K  3 ( ) from [Sin09] to equip 0T=K  directly with an abelian group structure, so that the corresponding ( ) 04E= is also a monoid map, as predicted by Conjecture 0.1 of [BCSS05]. It has been an open 3 problem whether the group structures of [BW18] and [BCKS17] on 0T=K  agree. We confirm ( ) this is indeed the case, see Corollary 2.23.

The authors of [BCKS17] also show that 04E= is of Vassiliev type = 1, and we reprove this ≤ − below for any 3-manifold ". See Remark 1.8.

1.1 Intermediate results

1.1.1 A careful study of the layers in the Taylor tower

In the homotopy theoretic part we study the space F= " for " any smooth manifold with non- ( ) empty boundary and dimension dim " = 3 3. The upshot is the following theorem, which ( ) ≥ reformulates the first part of TheoremA.

1 2 Ω= Î◦ ΩΣ ;F 3 Ω ;F Theorem B. For = 1 there is a weak equivalence F= 1 " F NB = + ( − ) "× . ≥ + ( )' ∈ ( ) ( )+ Moreover, this space is = 3 3 1 -connected and there are explicit isomorphisms ( ( − ) − ) retr D " 1 ,  ◦ ◦ − Lie1 " = = 3 2 tofib Ω " S , Ωcol ( )∗ = 3 3 F= 1 " . ( )  ( − ) ( ∨ •)  ( − ) + ( )

Let us give more details. Firstly, F= 1 " in Section 3.2 is described as the total homotopy fibre + ( ) = 1  F= 1 " = tofib F + ,A + ( ) ( = ( ⊆ of the cube 4 of spaces 5 = 1 := mb 0 1 , where is obtained by removing F( + E % , ,"0( "0( " ([ ]: ) ⊆ : ( 1 3-dimensional balls from ". The map A is induced from the inclusion  : "0( ↩ "0 , | |+ ( ( → (: which adds the material between two balls (see Figure8).

Secondly, in Section 3.3 we show that this is an = 1 -fold loop space. Namely, F1 " ΩS" ( + ) ( )' and for = 1: ≥ " = = 1  D =  retr =   F= 1 " Ω tofib F + ,; Ω tofib Ω" , Ω Ω tofib Ω " S , Ωcol . + ( ) ∼ • ∼ • ∼ ∨ •

4 : An =-cube - consists of a space -( for each ( = and a compatible collection of maps G : -( -(: for : ∉ (. • ⊆ ( → The total homotopy fibre tofib - ,G generalises the notion of a homotopy fibre of a 1-cube, see Section 2.4. • 5 Of course, = 1 depends on ( , but) we omit it from the notation. F( + " 8 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

These homotopy equivalences arise as follows. For and its inverse see Theorem 3.11: the map : is defined using the left homotopy inverse " ;( − : :  : "0 "0( for  which adds back the :-th ball and then rescales (see Figure9). ( (: → ( In Theorem 3.19 taking unit derivatives is shown to give a homotopy equivalence of contravari- − = 1 ant cubes D : F + ,; ΩS" , ΩS , where "( "0( are obtained by gluing in a ball. • ( • ) → ( • ) ⊇ In the total fibre of the latter cube the unit tangent data can be omitted, giving D as above. Finally, for S := Ô S3 1 there are deformation retractions retr : ∼ S , such that ( 8 ( 8 − ( "( " ( − : ∈ : −→ ∨  commutes with the collapse map col : " S( " S( :. Hence, retr gives an equivalence ( ( ∨ → ∨ \ of (contravariant) cubes retr: Ω" , Ω Ω" S , Ωcol . ( • → ( ∨ • ) Thirdly, in Section4 we describe the homotopy type of tofib Ω " S , Ωcol, using a generali- ( ∨ •) sation of the Hilton–Milnor theorem due to Gray [Gra71] and Spencer [Spe71]. Namely, we find a weak equivalence (see Theorem 4.4): Ö  ℎ<   ◦ 1 ;F 3 2 ;F ◦ ΩΣ + ( − ) Ω"× tofib Ω " S , Ωcol . (1.1) ( )+ ( ∨ •) F NB = ∼ ∈ ( ) This formula differs slightly from the one we gave in [Kos20], but that one can be recovered using Σ: - . S: Σ: - . S: Σ: - Σ:. Σ: - . , and once again applying the ( × )+ ' ∨ ( × )' ∨ ∨ ∨ ( ∧ ) Hilton–Milnor theorem. This proves the first statement of TheoremB.

Remark 1.2. If " Σ. is homotopy equivalent to a suspension, the homotopy type of F= 1 " ' Ô + ( 8) was calculated in [GW99]; we can recover their result using the James splitting ΣΩΣ. ∞ Σ. . ' 8=1 ∧ See also [Wei99] for other description of the layers, and [BCKS17] for " = 3. However, in neither of those approaches could we understand the comparison map, which is crucial for the proof of TheoremD; we hope that our equivalence " might be of independent interest.

For the second statement, in Section 4.1 we easily find that tofib " S is = 3 2 1 -connected, ( ∨ •) ( ( − )− ) and then construct an isomorphism ,: it takes a decorated tree Γ6= to a certain Samelson product 68 = 3 2 = Γ G : S Ω " S= , according to the word described by Γ, and using classes 6= 1" . ( 8 ) ( − ) → ( ∨ ) ∈ ( )

However, to now find maps which generate = 3 3 F= 1 "  Lie1 " = we would need to invert ( − ) + ( ) (3 2) 3 the isomorphism retrD" . For retr there is an obvious map <8 : S − Ω " B Ω"= ( )∗ → ( \ 8 ) → satisfying retr <8 G8, which simply ‘swings a lasso’ around the missing 3-ball, see Figure 12. In ◦ ' Section 4.2 we discuss the following corollary and why it will be enough for our purposes.

Corollary 1.3. The generators of = 3 2 tofib Ω" , Ω are given by the canonical extensions ( − ) ( • ) to the total homotopy fibre of the Samelson products Γ 8 8 : S= 3 2 Ω of the maps <8 ( − ) "= 8 8 3 2  1 ( ) → < : S Ω"= given by C 8 <8 C 8 − , where 8 1 and 8 Ω". 8 − → ì 7→ · (ì) · 8 ∈ {± } ∈ About the convergence. Let us point out that we obtain our results from scratch, starting with the definition of the punctured knot model and assuming only the Hilton–Milnor–Gray–Spencer theorem (whose proof is briefly recalled in AppendixB). In particular, independently of the rest of the literature we have reproved the following.

Corollary 1.4. The Taylor tower for the space K " of long knots in a 3-manifold " converges ( ) if 3 4, i.e. the connectivity of ?= 1 : P= 1 " P= " increases with = 1. ≥ + + ( ) → ( ) ≥ Actually, by Goodwillie–Klein Theorem 1.1 the tower converges precisely to K " for 3 4: the ( ) ≥ homotopy groups of H= " in degrees below = 1 3 3 agree with those of F= 1 " . We believe ( ) ( + )( − ) + ( ) that our map = will provide a geometric inverse to the isomorphism = 3 3 ev=, see Remark 1.10. ( − ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 9

For a tower of (surjective) pointed fibrations there is an associated (non-‘fringed’) spectral sequence built out of long exact sequences for the homotopy groups of a fibration [BK72]. The first page is 1 = given by  =,C : C =F= " and the differential is the composite − − ( ) 1 1  1 : = F P ∗ F = 3 =,C  =,C " C = = " C = = " C = 1 = 1 "  = 1 ,C " . − − ( ) − ( ) − ( ) − − + ( ) −( + ) ( ) of the fibre inclusion and the connecting map for ?= 1. A vanishing slope for this spectral sequence + was determined in [Sin09, Thm. 7.1]; see also [SS02] for " = 3. By Theorem 4.4 we have Ê 1 := F Σ1 ;F 3 2 Ω ;F  = 1 ,C C = 1 = 1 "  C + ( − ) "× −( + ) − − + ( ) ( )+ F NB = ∈ ( ) Corollary 1.5. The group 1 vanishes for C = 3 2 , and for each ; = =, = 1,... all = 1 ,C ≤ ( − ) + entries in the strip 1 ; 3 2 C−( + ;) 1 3 2 are generated by Samelson products using words + ( − ) ≤ ≤ ( + )( − ) of length at most ; in which all letters appear. In particular, the first non-vanishing slope is 1 Lie  = 1 ,1 = 3 2 "  1 " = . −( + ) + ( − )( ) ( )

About configuration spaces. Taylor towers for embedding spaces are closely related to config- uration spaces of manifolds Conf( " := Emb (," for a finite set (. See [Sin09; BW18; FTW17] ( ) ( ) to mention just a few. They are behind the scenes in our approach as well, and we record related corollaries. As usual, let " be a 3-dimensional compact manifold with non-empty boundary.

Corollary 1.6. There is an additive isomorphism = 1 Ê− Ê   = 1 ;F 3 2 ;F  Conf= "   "  1 Σ + ( − ) Ω"× . ∗ ( ) ( ∗ ) ⊕ ∗+ ( )+ 8=0 F B 8 ∈ ( )

É= 1 Proof. Since %" ≠ there is an isomorphism  Conf= "  =−0  " 8 , where 8 := 1, . . . , 8 ∅ ∗ ( ) 8 ∗( \ ) { } is a set of 8 distinct points in " [Lev95]. By Lemma 4.1 there is a retraction retr: " ( " S( for \ → ∨ Ô 3 1 Î◦ 1 ;F 3 2 ;F any finite set ( (recall that S( := ( S − ), and Ω " S( Ω" B ΩΣ + ( − ) Ω"× ( ∨ )' × F ( ( )+ by (4.2) and (4.4) from Section4. ∈ ( ) 

Corollary 1.7. If Conf " , s is the contravariant =-cube with the maps for : ( = given • : ( ) ∈ ⊆ by s : Conf( " Conf( : " forgetting the :-th point in the configuration, then ( ( ) → \ ( ) Ö  ◦ 1 ;F 3 2 ;F Ω tofib Conf " , s ΩΣ + ( − ) Ω"× . •( ) ' ( )+ F NB = 1 ∈ ( − ) 6  Hence, the first non-trivial homotopy group is  = 1 3 2 1 tofib Conf " , s  Lie1 " = 1 . ( − )( − )+ •( ) ( − )

= Proof. Each map s for ( = 1 is a fibre bundle whose fibre is homeomorphic to " ( " S(. ( = ⊆ − \ ' ∨ By taking fibres first∪ in the direction of s=-maps, the total fibre of the =-cube ΩConf " , Ωs is •( ) equivalent to that of the = 1 -cube tofib Ω " S , Ωcol, and this was computed in (1.1).  ( − ) ( ∨ •) Sinha [Sin09] uses certain compactifications of configuration spaces to construct the mentioned model "= " for T=K " , then employed in [BCKS17]. See Remark 3.21 for a comparison to ( ) ( ) our approach. Configuration spaces were also used by Koschorke [Kos97] to construct invariants of link maps in arbitrary dimensions. His results are very similar in spirit to ours, showing that certain invariants related to Samelson products agree with Milnor invariants for classical links.

6 That this cube is = 1 3 2 1-cartesian can also be calculated using the Blakers–Massey theorem, but we could not find a computation( − )( − of the) + homotopy type in the literature. 10 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

1.1.2 Gropes give points in the layers of the Taylor tower

In this geometric part we specialise to 3 = 3 (but this restriction is not essential, see Remark 1.10). 3 We build on our joint work [KST], where we constructed points in H=  from (simple capped genus ( ) one) grope cobordisms of degree = of [CT04b]; here we extend this to any oriented 3-manifold ".

Gropes. In Section 5.1 we discuss grope cobordisms, which are certain 2-complexes in " modelled on trees, that ‘witness’ =-equivalence of the two knots on ‘the boundary of a cobordism’.

More precisely, one first defines (see Definition 5.1) the abstract (capped) grope Γ modelled on an undecorated tree Γ Tree = as a 2-complex with circle boundary built by inductively attaching ∈ ( ) surface stages according to Γ as on the left7 of Figure1: each leaf contributes a disk (called a cap), and each trivalent vertex a torus with one boundary component; we also fix an oriented subarc 1 00 %Γ = S . There is a canonical embedding Γ ↩ Γ of the tree into this 2-complex. ⊆ → A (capped) grope cobordism (of genus one) on a knot K " modelled on Γ is a map G: Γ " ∈ ( ) → which embeds all stages mutually disjointly and disjointly from except that G 00 and for ( ) ⊆ 8 = the 8-th cap intersects transversely in a point ?8, so that G 00 < ?1 < < ?= in . The ∈ ( ) ··· degree of G is =, the number of its caps. See Definition 5.2 for details and orientation conventions. A simple example of a grope cobordism of degree 2 is shown on the right of Figure1. Note how the two caps or ‘arms’ could instead be twisted and tied into knots, producing non-isotopic grope cobordisms on which are all modelled on the same tree Γ.

G 0⊥ ( 0 )

?1 ?2 G 00 ( ) 2 1

Figure 1. Left: The abstract grope Γ modelled on Γ = is the union of the yellow torus and the 3 two disks. Right: A grope cobordism G: Γ  on = U, the horizontal line. The knot % G is the → ⊥ union of U G 00 and the long black arc G 0 , and is isotopic to the trefoil. \ ( ) ( 0⊥)

Moreover, we denote 0⊥ := %Γ 00 and define the output knot of G by 0 \ %⊥G := G 00 G 0⊥ . ( \ ( )) ∪ ( 0 ) Thus, a grope describes a modification of the knot by replacing its arc G 00 by G 0⊥ . We ( ) ⊆ ( 0 ) say that = % G are =-equivalent. More generally, two knots are =-equivalent if there is a finite ∼ ⊥ sequence of grope cobordisms of degree = from one knot to the other. This gives the variant due to [CT04b] of the Gusarov–Habiro filtration K= ";U := K " : = U mentioned above. ( ) { ∈ ( ) ∼ } Another important notion related to a grope cobordism G modelled on Γ Tree = is its signed ∈ ( ) decoration 8 , 8 8 =, where 8 1 is the sign of the intersection point ?8 of and the 8-th ( ) ∈ ∈ {± } ∈ cap of G, and 8 Ω" is the loop from 0 to ?0 first following the unique path in the tree G Γ , ∈ ( ) ( ) then going back along (see Definition 5.4).

Finally, let ε := 8 8 and 68 = 8 1" and define the underlying decorated tree u [ ] ∈ 6= t G := εΓ 1 Tree 1 " = . ( ) ∈ {± } ×  ( ) 7 Although our pictures sometimes seem not smooth, the corners are present only for convenience. EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 11

By appropriately framing the edges of t G one obtains the clasper corresponding to G, see [CT04b]. 6= ( ) Note that each Γ Z Tree 1 " = can be realised by many mutually non-isotopic gropes. ± ∈ [  ( )] Thick gropes. For the relation to the Taylor tower it is convenient to consider thickenings (tubular neighbourhoods) of grope cobordisms which we call thick gropes. These are embeddings

G: BΓ ↩ " → 3 of a certain model ball BΓ  B which contains Γ, so that G Γ is a grope cobordism on . ( ) See Definition 5.5 for details. Finally, in Definition 5.7 we define the space Grop1 "; of thick =( ) gropes of genus 1 and degree = in " on , so that taking the output knot gives a continuous map % : Grop1 "; K " . This is extended below to any genus. ⊥ =( ) → ( ) Theorem C. 8 If G is a thick grope of degree = 1 in " on a knot , then there is a path G ≥ Ψ :  P= " from ev= % G to ev= . Moreover, for = U this gives a continuous map → ( ) ( ⊥ ) ( ) 1 G # : Grop ";U H= " , # G := %⊥G, Ψ . =( ) → ( ) ( ) ( ) We give the proof in Section 5.2, using the crucial isotopy between the two surgeries on a capped torus (Lemma 5.10). Namely, combining these isotopies for each stage of Γ gives an = 1 - ( − ) parameter family of disks DD contained in the model ball BΓ and with %DD = %Γ. Moreover, the interior of each disk G DD intersects the knot only inside of certain subarcs of , and so that ( ) the homotopy of G 0⊥ back to G 00 across G DD precisely defines a path in P= " . ( 0 ) ( ) ( ) ( ) The theorem immediately implies that there is a factorisation

0ev= K " 0P= " ( ) ( ) (1.2) K " ( ) = ∼ Indeed, if = , there is a sequence of thick gropes witnessing it, so concatenation of the ∼ 0 corresponding paths in P= " is a path from ev= to ev= 0. In particular, as mentioned in the ( ) 3 discussion after Conjecture 0.1, for " =  this is equivalent to the claim that 0ev= is a Vassiliev invariant of type = 1 (this was first shown by [BCKS17]). ≤ − Remark 1.8. This equivalence to Vassiliev’s theory is discussed in Section 2.2. In contrast, it is an open problem (see Remark 2.16) if such an equivalence holds for any oriented 3-manifold ": the factorisation (1.2) just says that 0ev= is an invariant of =-equivalence of knots in ".

Remark 1.9. The remaining part of Conjecture 0.1 says that if ev= is in the path component of ev=U, then there exists a path between them induced from a grope forest. 3 3 In [KST] we reformulate this in terms of a map K=  P=  extending ev=, where we construct 3 3 (3 ) → ( ) the simplicial space K=  using K  and Grop=  for spaces of 0- and 1-simplices, respectively. ( ) ( ) ( ) 3 We hope to prove it is a homotopy equivalence, giving a very geometric description of P=  . ( ) Grope forests. We will also need to realise arbitrary linear combinations of decorated trees. The corresponding geometric notion which is standardly used is a grope cobordism of ‘higher genus’, but we instead define a slightly different notion, called a grope forest. This is an embedding Ä F: BΓ ↩ " ; → 1 ; # ≤ ≤ such that F B for 1 ; # are mutually disjoint thick gropes on whose arcs F B 00 | Γ; ≤ ≤ | Γ; ( ) ⊆ appear in the order of their label ; (see Definition 5.6).

8 The first statement for " = 3 is part of the joint work [KST], and appeared first in [Shi19]. 12 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

à # Let Grop= ";U := # 1 Grop= ";U denote the space of grope forests of any cardinality (the ( ) ≥ ( ) component # = 1 is exactly the space of thick gropes). Taking underlying trees of all the thick gropes in a grope forest gives the underlying decorated tree map

t: 0Grop ";U Z Tree 1 " = . =( ) [  ( )] This is a surjection of sets: any linear combination of 1"-decorated trees is realised by a grope forest on U (see Proposition 5.8). Furthermore, in Proposition 5.13 we extend the map # from TheoremC to grope forests # : Grop ";U H= " . =( ) → ( ) Remark 1.10. One can generalise gropes to any 3 3 by simply replacing the model 3-ball BΓ by ≥ a 3-dimensional ball obtained as a 3 2 -thickening of the 2-complex Γ. Then a thick grope in ( − ) " is again an embedding BΓ ↩ " so that for each 1 8 = the neighbourhood of the 8-th cap 2 3 2 → ≤ ≤ ( D D ) intersects in a neighbourhood of a single point ?8 . × − ∈ = 3 3 One can similarly construct maps # G : S ( − ) H= " , using that 3 1 -dimensional normal ( ) → ( ) ( − ) = 3 3 disks to at ?8’s give an = 3 2 -family of arcs. This gives points e= 1# G Ω ( − )F= 1 " and ( − ) + ( ) ∈ + ( ) we believe the proofs of our main theorems below readily extend to show that e= 1 is a surjection + onto the first non-trivial group = 3 3 F= 1 " for any 3 3. We will explore this in future work. ( − ) + ( ) ≥

1.1.3 The underlying tree is detected in the Taylor tower

The first step on the journey relating the homotopy theory of punctured knots and the geometry of gropes was to connect them both to the language of decorated trees: they generate the group of components of the layers and also underlie gropes. It remains to show their compatibility via

# e= 1 Grop= ";U H= " + F= 1 " . ( ) ( ) + ( ) Theorem D (Main Theorem). For G Grop1 ";U the connected component of the point ∈ =( ) e= 1# G F= 1 " is given by the class of its underlying tree t G Lie1 " = . + ( ) ∈ + ( ) [ ( )] ∈ ( ) 6 More explicitly, for a thick grope G: BΓ " on U with the underlying tree εΓ = , we claim →    6=  e= 1# G = εΓ 0F= 1 "  Lie1 " = . + ( ) ∈ + ( ) ( ) We prove this in Section6 using the above Corollary 1.3: it is enough to show that the Samelson 8 68 =  product Γ < : S Ω"= is homotopic to the map (the initial coordinate of D "e=# G ): ( 8 ) → ( )  = = D "e=# G : S Ω"= . ( ) → The maps D and " were constructed in TheoremB. The idea of the proof is to use inductive descriptions of both Samelson products (see Lemma B.5) and thick gropes, to reduce to checking  = that D e=# G is homotopic to a certain pointwise commutator map. ( ) A crucial step for this reduction is our description of the map " in AppendixA as = ( " 5  = 5 = ℎ . ( ) ( = ⊆ ( This is a map on S= obtained by gluing together along faces 2= different maps 5 = ℎ , each defined ( ) on = as a certain ‘ℎ(-reflection’ of the original map 5 = across a face of =.

Hence, every generator of 0F= 1 " is in the image of 0e= 1. However, to prove that this map + ( ) + of sets is surjective we must also realise linear combinations. Recall that they arise as underlying trees of grope forests, so the following is all we need (for a proof see the end of Section6).

Theorem E. We have e= 1# F = t F Lie1 " = for any grope forest F Grop= ";U . [ + ( )] [ ( )] ∈ ( ) ∈ ( ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 13

Proof of TheoremA. The statements about F= 1 are contained in TheoremB. + It remains to construct the map = making the lower triangle in the following diagram commute: t 0Grop ";U Z Tree 1 " = =( ) [  ( )] = 0# mod (, - (1.3) ( ) 0e= 1 0H= " + 0F= 1 " ( ) + ( ) Observe that TheoremE is equivalent to the commutativity of the outer square. Thus, it is enough to pick any set-theoretic section of t, or in other words, let = 5 := # F for any grope forest ( ) [ ( )] F Grop ";U with the underlying tree t F = 5 .  ∈ =( ) ( ) 1.1.4 The outline

In the preliminary Section2 we define several variants of trees and survey finite type theory, and in Section 2.3 prove the corollaries of TheoremA announced at the beginning.

In Section3 we study the punctured knots model P= " for " any 3-manifold with boundary, ( ) 3 3. In Section 3.3 we show the layers are iterated loop spaces, while in Section4 we determine ≥ their homotopy type, and describe geometrically the generators of the first non-trivial homotopy group, proving TheoremB. In Section 4.2 we outline the proof strategy for TheoremD. In Section5 we are concerned with 3-manifolds. Firstly, Section 5.1 presents a self-contained account of gropes. Then in Section 5.2 we prove TheoremC and its extension for grope forests, and in Section 5.3 describe points e= 1# G and e= 1# F explicitly. Finally, main TheoremsD + ( ) + ( ) andE are proven in Section6; the proof of TheoremD is by induction, using two auxiliary lemmas.

The construction of an explicit homotopy equivalences " (from total fibres of certain cubes to iter- ated loop spaces) is deferred to AppendixA, while AppendixB provides background on Samelson products and contains two important lemmas about their inductive behaviour. Throughout the paper we aim to make both homotopy theory and geometry accessible without assuming much background. The mutually related Examples 3.1, 4.7, 4.8, 5.15, and Figure 27 all describe the lowest degree computation for a 3-manifold ", which is also the induction base in the proof of TheoremD. The induction step is outlined in Example 4.9.

2 Preliminaries

2.1 Trees

Fix a finite nonempty set ( and an integer 3 2. ≥ Definition 2.1. A (vertex-oriented uni-trivalent) tree is a connected simply connected graph with vertices of valence three or one and with cyclic order of the edges incident to each trivalent vertex, called the vertex orientation. In the pictures this is specified by the positive orientation of the plane.

A rooted tree Γ Tree ( is a tree with one distinguished univalent vertex (the root) and all other ∈ ( ) univalent vertices (the leaves) labelled in bijective manner by the set (. The grafting of two rooted trees Γj Tree (j for j = 1, 2 is the rooted tree ∈ ( ) Γ2 Γ1

Tree (1 (2 ∈ ( t ) obtained by gluing the two roots together and ‘sprouting’ a new edge with a new root. 14 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Z Tree ( Define the group of Lie trees Lie ( :=  as the quotient of the free abelian group ( ) [ ( )] (, - on the set of rooted trees by the following relations (dots represent the remaining unchanged part of an arbitrary tree):

Γ2 Γ1 Γ1 Γ2 Γ3 Γ2 Γ1 Γ3 Γ2 Γ1 Γ1 Γ3 Γ2

: = 0 : = 0 (2.1) ( . . , - . . . . . + . . − . + .

We now relate Lie trees to words (Lie monomials) in the free Lie algebra.

: : Definition 2.2. Let L3 ( = L G : : ( be the free N0-graded Lie algebra over Z, with each G : ( ) ( ∈ ) having degree G = 3 2. Thus, the degree of a word F L ( is F = ;F 3 2 where ;F is the | | − ∈ 3( ) | | ( − ) length of F, that is, the total number of letters in F. The normalised Lie algebra NL ( is the Lie subalgebra of L ( generated by the words in which 3( ) 3( ) every letter appears at least once.9 Let Lie ( NL ( be its subgroup generated by the words in 3( ) ⊆ 3( ) which each letter appears exactly once. This is precisely the part of degree ( 3 2 of NL ( . | |( − ) 3( )

If 3 = 2 one can assign to a tree Γ Lie ( a Lie word $2 Γ Lie2 ( using vertex orientations, ∈ ( ) ( ) ∈ ( ) so that the grafting of trees precisely corresponds to the Lie bracket. This gives an isomorphism Lie (  Lie2 ( since relations (2.1) correspond to the antisymmetry and Jacobi relations in Lie2 ( . ( ) ( ) ( ) However, Lie words for a general 3 2 satisfy the graded antisymmetry and Jacobi relations: ≥ F1 F2 F1,F2 1 | || | F2,F1 = 0, [ ] + (− ) [ ] F1 F2 F1, F2,F3 F1,F2 ,F3 1 | || | F2, F1,F3 = 0, (2.2) [ [ ]] − [[ ] ] − (− ) [ [ ]] while the relations (2.1), which are inspired by applications in geometric (see [CST07] for example), never involve graded signs. Nevertheless, as we learned from [Con08] and [Rob04] a cor-  respondence can be obtained as follows. Let us denote 1 2 3 := 3 2 81, 82 (1 (2 : 81 > 82 . ( | ) ( − )· ( ) ∈ ×  Lemma 2.3. If ( is ordered, there is an isomorphism of abelian groups $3 : Lie ( Lie3 ( 8 ( ) −→ ( ) 8 defined inductively on ( by G and for ( = (1 (2 and Γj Tree (j by | | 7→ t ∈ ( ) Γ2 Γ1 1 2   1 ( | )3 $ Γ1 , $ Γ2 . 7→ (− ) 3( ) 3( ) Hence, one can think of graded Lie words also as Lie trees, but keeping in mind that for odd 3 the isomorphism $3 introduces a sign. For the proof of the lemma see the end of AppendixB. For = := 1, . . . , = we write Tree = := Tree = and Lie = := Lie = . Their elements can alterna- { } ( ) ( ) ( ) ( ) tively be drawn in the plane as in Figure2: the root and leaves are attached to a fixed horizontal line according to their increasing label, with the root labelled by 0 (the edges might intersecting, but this is not part of the data). The vertex orientation is still induced from the plane.

0 1 0 1 2 0 1 2 3

1 3 2 2 1 8 Figure 2. Trees $ : G8 , G1,G2 , 1 3 2 G2, 1 3 2 G3,G1 drawn in the plane. 7→ 7→ [ ] 7→ (− ) − [ (− ) − [ ]]

9 Ñ : : : That is, NL3 ( := : ( ker s : L3 ( L3 ( : , where s replaces each appearance of G by zero. ( ) ∈ ( ( ) → ( \ )) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 15

Using the ( and - relations repeatedly one can show that Lie =  Z = 1 !, with a basis ( ) ( − ) given by trees from Figure3 (ignoring red decorations for now) for various permutations  S= 1, ∈ − corresponding to left-normed Lie words G 1 , G 2 , ... G = 1 ,G= ... . However, Lie = is also [ ( ) [ ( ) [ [ ( − ) ] ]]] ( ) an interesting S=-representation, by permuting the leaf labels, giving the arity = of the Lie operad.

... 

61 62 ... 6= 1 6= − 0 1 2 = 1 = − 6= = Figure 3. A left-normed tree Γ Tree1 " = , with 6= := 61, . . . , 6= 1 " and  S= 1. ∈ ( ) ( ) ∈ ( ) ∈ −

2.1.1 Decorated trees

For manifolds with non-trivial fundamental group we need more general trees. Let (, 3 be as above, and  be a set. We write ( := Map (,  (so = = = is the cartesian product), and if ( )  = 1", then we assume 3 := dim " by convention.

Definition 2.4. Define the abelian group Lie ( of -decorated Lie trees by Lie ( Z ( . ( ) ( ) ⊗ [ ] If we let Tree ( := Tree ( (, then Lie ( is the quotient of Z Tree ( by the relations ( ) ( ) × ( ) [ ( )] analogous to (, - from (2.1), which respect decorations in the natural way. We denote elements 6 ( of Tree ( by Γ ( , where Γ Tree ( and 6( := 68 8 (  , and call them -decorated trees. ( ) ∈ ( ) ( ) ∈ ∈ Namely, these are rooted trees whose leaves are labelled bijectively by (, and additionally for each 8 ( the edge incident to the leaf 8 is assigned an element 68 , called a decoration. ∈ ∈ 6 When  = 1" we view a 1"-decorated tree Γ ( as a homotopy class of a map G : Γ " which → takes the root and leaves to some fixed arc in " (a knot in practice). The decoration 68 1" ∈ for the 8-th leaf is the homotopy class of the loop 8, which goes from G 0 (the basepoint) to the ( ) leaf G 8 along the unique path in the tree connecting the 8-th leaf and the root, then back from ( ) G 8 to G 0 along . More precisely, the basepoint of " is fixed in some ?0 and the described ( ) ( ) ∈ loop 8 should be conjugated by the piece of between ?0 and G 8 . ( ) Remark 2.5. The group Lie = is equal to Λ= 1 , = 1 from the work of Schneiderman and ( ) − ( + ) Teichner [ST14], where the more general groups Λ= , < were used as targets for obstruction ( ) invariants for pulling apart < surfaces in "; see [ST14, Lem. 2.1] for this identification.

2.1.2 Jacobi diagrams and Jacobi trees

In the theory of finite type invariants for " = 3 one considers more general uni-trivalent graphs, with univalent vertices 0,..., D 1 (the leaves) and vertex-oriented trivalent vertices (as in Defi- | | − nition 2.1). The degree of such a graph is half of the total number of vertices.

Definition 2.6. For = 0 define the abelian group A= of Jacobi diagrams as the quotient of the ≥ Z-linear span of the set of degree = graphs by the linear combinations which locally look like

()* : = 0, 1) : = 0. (2.3) − + 8 8 8 1 8 8 1 8 8 1 Here we use the convention from+ Figure2 to+ draw graphs in the plane (now+ without roots). However, in geometric finite type theory one can reduce to considering trees only, see Section 2.2. 16 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Definition 2.7 ([Con08]). Define the abelian group of Jacobi trees by

) 3 Lie 1 1 ) 3 Lie = A1  :=  = 0 and for = 2 by A=  :=  2 ( ) ( ) 1 ≥ ( ) ( ) ()* where the ()*2 relation is given by applying ()* in two different ways: 2 ()* : ()* , E = ()* , E0 . (2.4) ( :) ( ) Here a Jacobi diagram  has degree = and exactly one loop (i.e. the first Betti number 1  = 1) ( ) and E0 and E: lie on the loop of  and are neighbours of the leaf 0 or : respectively (see Figure4).

E3 0 1 2 3 4 5 6 0 1 2 3 4 5 6 E0

0 1 4 3 2 5

0 1 2 3 4 5 6 0 1 2 3 4 5 6

Figure 4. Left:A 1-loop graph  with = = 6 and : = 3. Right: The corresponding ()*2 relation.

Remark 2.8. Actually, Conant more generally has ()* , E = ()* , E9 for vertices E9 ,E ( :) ( ) : which lie on the loop of  and are neighbours of the leaves 9, : 0, 1, . . . , = respectively. ∈ { } But this follows from (2.4) via ()* , E9 = ()* , E0 = ()* , E , since we can assume that ( ) ( ) ( :) the distance of the root to the unique loop of  is one. Indeed, in the - relation (2.1) let E0 be the vertex joining Γ2 and Γ3, with the root 0 in Γ1. Then two of the terms have distance from 0 to the loop smaller than the third, so we can proceed by induction.

) The natural inclusion A ↩ A= sends a Jacobi tree to itself viewed as a Jacobi diagram modulo = → ()*, and lands in the primitives of the Hopf algebra A := = 0A=, see [Con08; Kos20]. ⊕ ≥

2.2 Geometric finite type theory

Let us briefly review classical and geometric approaches to finite type theory; for book treatments 3 3 see [Oht02; CDM12]. We restrict to the case of classical (long) knots K  := 0K  (monoid ( ) ( ) under the connected sum #, with unit the unknot U); for general 3-manifolds, see [Kos20].

3 A singular knot is an immersion  :  #  with finitely many transverse double points, which agrees with U near boundary. Each double point can be resolved by pushing the two strands off each other in two different ways, and all possible resolutions of  give Z K 3 , a linear  ∈ [ ( )] combination of knots. Now depending on the minimal number = 1 of double points this defines 3 ≥ a decreasing filtration V= Z K  of the monoid ring, with V1 precisely the augmentation ideal. ⊆ [ ( )] The associated graded of this filtration is related to the Hopf algebra of chord diagrams: those Jacobi diagrams from Definition 2.6 in Section 2.1.2 which have no trivalent vertices. Namely, for a singular knot  with = double points one has = pairs of points on the source interval  which are identified by ; we record each pair by a chord to get a chord diagram  on  of deg  = =.  ( ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 17

This assignment is surjective, but far from being injective. However, there is a well-defined map R which takes a chord diagram  to the class V= , where   is any singular =   V= 1 [ ( )] ∈ + ( ) knot with the chord diagram   = . One can check that this is well-defined and vanishes on ( ) diagrams which have an ‘isolated chord’, as 1) from (2.3) (since our knots are not framed) and on the 4) relations, certain linear combinations of four chord diagrams (coming from triple points). Actually, 4) is a consequence of the relation ()* from Definition 2.6, so there is a linear map Z chord diagrams of deg = Z Jacobi diagrams of deg =   =: A= (2.5) [ ] 4), 1) → [ ] ()*, 1) Moreover, by Bar-Natan this is an isomorphism [Bar95] (the proof was given over Q, but it actually applies integrally). Combining this with the previous paragraph gives a surjection of finitely generated abelian groups

R : A V=  . (2.6) = = V= 1   + 7→ [ ( )] called the realisation map. It is an open problem if its kernel is non-trivial, and a potential inverse is classically called a universal Vassiliev knot invariant of type = over Z. ≤ Namely, a knot invariant E : K 3 ) is of type = if its linear extension E : Z K 3 ) ( ) → ≤ [ ( )] → vanishes on V= 1. Here ) is an abelian group and E is just a map of sets. + Î Definition 2.9. Let ' be a ring,  a graded '-module and b := = 1 = its completion. A map ≥  : K 3 b is a universal Vassiliev invariant over ' if the linear extension  : ' K 3 b is a ( ) → [ ( )] → filtered '-linear map inducing an isomorphism of the associated graded '-modules. Equivalently, Î (1)  = = 1 = and for each = 1 the map = is an invariant of type =, ≥ ≥ ≤ V (2) the restriction  V : = '  is an isomorphism. = = V= 1 = | + ⊗ → We say that  is classical if the composite  V R= ' is the identity (so A= ' = =). = | = ◦ ( ⊗ ) ⊗ Lemma 2.10 (justifying the ‘universality’). If  is a universal Vassiliev invariant over ', then any invariant E : K 3 ) of type = with values in an '-module ) can be written as a sum Í= ( ) → ≤ 1 E  , where E := E V  V :  ), called the :-th symbol of E. :=1 : ◦ : : | : ◦ ( : | : )− : →

Proof. Indeed, E E=  vanishes on V=, so it is an invariant of type = 1 whose = 1 -st − ◦ = ≤ − ( − ) symbol is equal to E= 1, so we can proceed by induction.  −

The Kontsevich integral, as well as the Bott–Taubes configuration space integrals [BT94; AF97], are classical universal Vassiliev invariant over Q. It is an open problem if they agree, but some progress was made in [Les02] (note that there may be several universal invariants over the same coefficient ring since only the ‘bottom part’  V is determined). As a consequence, = | = R Q: A Q  V= Q. (2.7) = = V= 1 ⊗ ⊗ + ⊗ Therefore, the kernel of R= consists of torsion elements, but it is unknown if A= has any. The Bar-Natan’s isomorphism (2.5) gives more power to the theory as it is relatively easy to construct interesting invariants of Jacobi diagrams, called weight systems. For example, invariants are obtained by interpreting each trivalent vertex as the Lie bracket in a fixed semisimple Lie algebra and the horizontal line as its representation. Actually, symbols of quantum invariants of knots are precisely these weight systems, but by [Vog11] this is a strict subset of all of them. However, introducing trivalent vertices raises the question of their geometric interpretation, as we had for chords. Several different answers are summarised in the following theorem. 18 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Theorem 2.11. For , K 3 and = 1 the following are equivalent: 0 ∈ ( ) ≥ (1) V= or, equivalently, and are not distinguished by any invariant of type = 1; − 0 ∈ 0 ≤ − (2) 0 can be obtained from by a finite sequence of infections by pure braids lying in the =-th lower central series subgroup;

(3) 0 can be obtained from by a surgery on a simple strict forest clasper of degree =;

(4) 0 can be related to by a finite sequence of simple capped genus one grope cobordisms of degree =. In this case we say that and are =-equivalent and write = . 0 ∼ 0 The equivalence 1 2 is due to [Sta98], 1 3 are independently by [Gus00] and [Hab00, ( ) ⇔ ( ) ( ) ⇔ ( ) Thm. 3.17 & 6.18] and 3 4 by [CT04b, Thm. 4]. ( ) ⇔ ( ) The idea behind all these descriptions is to view a crossing change as the simplest move, of degree one, in a whole family of moves. Namely, a chord guides a crossing change (a homotopy passing through the corresponding singular knot), while moves of higher degrees are certain iterations of the ‘trivalent’ move: grab three strands of the knot and tie them into the Borromean rings. We make this precise in Section 5.1 using the last approach of the theorem (see Remark 5.3).

3 3 3 Let us define the Gusarov–Habiro filtration by sumbonoids K=  := K  : = U K  . ( ) { ∈ ( ) ∼ } ⊆ ( ) Then the theorem implies that it maps to the Vassiliev–Gusarov filtration:

3 K=  V= ( ) (2.8)

3 3 U 3 3 0K  = K  7→ − Z K  = 0 K  ; Z ( ) ( ) [ ( )] ( ( ) ) This is what we call the geometric approach, as we are back to working with knots, instead of their linear combinations – or dually, their invariants 0 K 3 ; ) . In terms of invariants of finite type, ( ( ) ) the next lemma shows that we are restricting to the study of those which are additive, that is, monoid maps from K 3 to abelian groups. ( ) 3 Lemma 2.12. An additive invariant has type = if and only if it vanishes on K= 1  . That 3 ≤ 3 + ( ) is, E : K   is a monoid map vanishing on K= 1  if and only if the linear extension (3 ) → + ( ) E : Z K   vanishes on V1 V1 V= 1. [ ( )] → · + +  Proof. Since E 1# 2 E 1 E 2 = bE 1 U # 2 U , E is a monoid map if and only ( ) − ( ) − ( ) ( − 3) ( − ) if its linear extension bE vanishes on V1 V1 Z K  . On one hand, by Theorem 2.11 we have 3 · ⊆ [ ( )] 3 U: K= 1  V= 1 and on the other, V= 1 V1 V1 U: K= 1  by a result { − ∈ + ( )} ⊆ + + ⊆ · + { − ∈ + ( )} of Habiro [Hab00, Thm. 6.17]. Since E = E U , the claim follows.  ( ) b( − )

) In this setting we pass from Jacobi diagrams A= to its subgroup A= A= of Jacobi trees, and from ) ⊆ the realisation map R= to its ‘tree part’ R= , defined as the unique map completing the diagram 3 t 0Grop  ;U Z Tree = =( ) [ ( )] R) %⊥ = mod 3 3 = 1 K=  K=  ∼ + ( ) = 1 ( ) ∼ + Recall from Section 1.1.2 that Grop 3;U is the space of degree = grope forests, % is the output =( ) ⊥ knot map and t the underlying tree map. The following describes the exact relation between the two realisation maps. EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 19

Theorem 2.13 ([Hab00; CT04a; Oht02], see also [Kos20]). There is a structure of an abelian 3 group on the set K=  so that ) is map of abelian groups. ( ) = 1 R= ∼ + ) 2 Moreover, R= vanishes on relations (, - and ()* , and fits into the commutative diagram of abelian groups ) A= A= ) R= R= 3 K=  U V= ( ) = 1 7→ − V= 1 ∼ + + There is also a similar notion of a universal additive invariant.  Definition 2.14. Let  = 0 1 be a filtered '-module and b := lim  .A universal ⊇ ⊇ · · · = additive Vassiliev knot invariant over ' is a map of filtered monoids  : K 3 b which induces ( ) → an isomorphism on the associated graded '-modules, that is

3 K=    K 3 ' : ' = = 0. = =  ( ) = 1 = 1 | ( ) ⊗ ∼ + ⊗ + ∀ ≥ ) )  We say that  is classical if  K 3 ' R ' is the identity (so A ' = = ). = =  ◦ = = = 1 ( | ( ) ⊗ ) ( ⊗ ) ⊗ + Remark 2.15. Here we of course consider K 3 is a filtered monoid with the Gusarov–Habiro 3 ( ) filtration K  = K0 K1 . We can define the completion of K over ' with respect to the ( ) ⊇ ⊇ · · · Gusarov–Habiro filtration as the inverse limit 3 3 = K   Kš ' : lim ( ) = ' . ( ) ∼ ⊗ Then for  a universal additive Vassiliev knot invariant over ', the induced map b : Kš3 b ( )' → is an isomorphism of complete filtered '-modules.

Similarly as before, a universal additive invariant  indeed satisfies a universality property: any additive invariant E : K 3 ) of type = with values in an '-module ) is a sum Í= E  . ( ) → ≤ :=1 : ◦ : Note however that this definition is more flexible than Definition 2.9, since the completion on b is with respect to a filtration instead of a grading. For example, we could take ' = Z and 3 3 3 K   = K  , so the obvious map K  lim  satisfies the conditions. This is precisely ( ) ( ) → ( ) = universal additive invariant  of Habiro [Hab00, Thm.∼ 6.17]. A universal additive Vassiliev invariant over Q can be constructed as the logarithm either of the Kontsevich or the Bott-Taubes integral / from (2.7), which are both grouplike [Kon93; AF97]: I := log / : K 3 pr A›Q  Aœ) Q. ( ) ( ) → ( ⊗ ) ⊗ Recall that Conjecture 0.1 asserts that the evaluation map 0ev= factors through an isomorphism 3 K  3 0ev= : ( ) = 0P=  , = 1. ∼ → ( ) ∀ ≥ This is equivalent to the claim that 3 3 lim 0ev= : K  lim 0P=  ( ) → ( ) is a universal additive Vassiliev invariant over Z in the sense of Definition 2.14, where the filtration 3 3  on the target is by abelian groups : := ker lim 0P=   0P:  . See also (2.12). ( ( )) ( ) Remark 2.16. The previous discussion largely generalises to long knots in any oriented 3-manifold ". In particular, the equivalence of the definitions of the =-equivalence relation analogous to (2, 3, 4) of Theorem 2.11 still hold. However, their equivalence to (1) remains open, see [Hab00, Sec. 6]. 20 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

2.3 Proofs of corollaries

As mentioned in the introduction, an important result is the identification due to Conant of the diagonal of the second page of spectral sequence for the tower P= " . ( ) 2 3 Lie 2.17 ([Con08]) There is an isomorphism   A) := = 2. Theorem . = 1 ,= 1  = ( )()* −( + ) + ( ) We saw in Corollary 1.5 that the first page has Lie = on the diagonal, so Conant identifies the ( ) image of the first differential as ()*2 Lie = . See also [Shi19]. ⊆ ( ) 2.3.1 The diagram

We now summarise the preceding discussion in the diagram

3 t 0Grop  ;U Z Tree = =( ) [ ( )] = 0# mod (, - ( ) 3 0e= 1 3 0H=  + Lie = = 0F= 1  + % ( ) 2 ( ) ( ) ⊥ ()* (2.9) A) mod ) = mod im 0  R >1 = 3∗

3 K=  4= 1 3 ( ) = 1 + ker 0?= 1 0P= 1  ∼ + ( + ) ⊆ + ( ) 3 3 All objects here are abelian groups except that 0Grop  ;U and 0H=  are only sets. The =( ) ( ) vertical dashed map on the right takes the quotient by the image on 0 of the connecting map 3 3 ) 2  : ΩP=  F= 1  for fibration ?= 1. This factors through A=   by Theorem 2.17, ( ) → + ( ) + = 1 ,= 1 since Lie 1 and the quotient by higher differentials is ker−( + ) + = 3 . =   = 1 ,= 1 0?= 1 ∞= 1 ,= 1  ( ) −( + ) + ( + ) −( + ) + ( ) The bottom horizontal map 4= 1 is defined as as the map induced on the (set-theoretic) kernels + 3 3 3 K=  K  K  ( ) = 1 ( ) = 1 ( ) = ∼ + ∼ + ∼ (2.10) 4= 1 0ev= 1 0ev= + + 3 3 ker 0?= 1 0P= 1  0P=  ( + ) + ( ) ( ) using that 0ev= factors though the quotient by =, which is a corollary of TheoremC, see (1.2). ∼ 3 3 3 3  Remark 2.18. By Corollary (1.2) 0ev= vanishes on K=  , so K=  im 0H=  K  , ( ) ( ) ⊆ ( ) → ( ) and Conjecture 0.1 precisely claims that this inclusion is an equality. Thus, on the left side of (2.9) there is a priori no vertical map.

Corollary 2.19. The diagram (2.9) commutes.

Proof. The subdiagram comprised of solid arrows commutes by Theorem 2.13. The upper rectangle commutes by TheoremE, see (1.3). It remains to check that the triangle on the right commutes.

To this end, let  Z Tree = and  A) its class. By the surjectivity of t we can find ∈ [ ( )] [ ] ∈ = F Grop 3;U with t F = . Let = % F and note that = R)  by the solid diagram. ∈ =( ) ( ) ⊥( ) [ ] = [ ] Then )  4= 1 R=  = ev= 1 = e= 1# F =  mod im  . + [ ] [ + ( )] [ + ( )] [ ]( ∗) 3 3 Here the second equality holds since ev= 1 = 8 e= 1 # F , where 8 : F= 1  P= 1  , by + ( ) ◦ + ◦ ( ) + ( ) → + ( ) definition, see (0.2). The last equality follows from the commutativity of the upper rectangle.  EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 21

2.3.2 The spectral sequence and the universality

From the bottom triangle in the diagram (2.9) we deduce Corollary 0.3: if for some = 1 the map >1 ≥ mod 3∗ is an isomorphism, then the other two maps are isomorphisms as well. More generally, ( ) >1 ) if  is a torsion-free abelian group and the map mod 3∗ : A=  ker 0?= 1  is an ) ( ) ⊗ → ( + ) ⊗ isomorphism, then both R=  and 4= 1  are isomorphisms. ⊗ + ⊗ If for some  this is the case for all degrees below a fixed degree =, then 0ev= is a universal additive Vassiliev invariant of type = 1 over , meaning that there is an isomorphism ≤ − 3 K   3 0ev= : ( ) =  0P=  . (2.11) ⊗ ∼ ⊗ ( ) ⊗ Indeed, this follows by induction by tensoring the sequences in (2.10) by  and using its flatness. From this we concluded in Corollary 0.4 that the isomorphism (2.11) holds for  = Q for all = 1, ≥ and the ?-adics  = Z? in the range = ? 2, using the results of [BH20] (see also Remark 2.21). ≤ + Furthermore, they also show that for = ? 2 there is a splitting ≤ + 3 Ê ) 0P=  Z?  A Z? . ( ) ⊗ : ⊗ 1 : = 1 ≤ ≤ − ) To deduce the integral result, we use that the kernels of both R= and 4= 1 must consist of torsion + elements, and by [Gus94] and [Man16, Sec. 3.5] the group A) is torsion-free for = 6. = ≤ Note that conversely, if there is a non-trivial higher differential hitting the diagonal, then not both ) R=  and 4= 1  can be injective. ⊗ + ⊗ ) Remark 2.20. There exists an inverse I= to R Q obtained as the logarithm of either the = ⊗ Kontsevich integral [Kon93] or the Bott–Taubes integrals [BT94; AF97] (see the end of Section 2.2).

Hence, 4= Q agrees with these invariants, implying that the configuration space integrals factor ⊗ through the embedding calculus tower: Ê A) Q I = 1 : ⊗ ≤ − 1 : = 1 ≤ ≤ − ) R = 1 3 ≤ − K  3 ( ) = Q 0P=  Q ⊗ 0ev= Q ( ) ⊗ ∼ ⊗ where the map on the right is given by some splittings over Q, making the diagram commute.

3 Remark 2.21. Let us remark that the collapse of the spectral sequence ∗ =,C  Q which converges − ( )⊗ to the rational homotopy groups of K 3 was shown earlier by [ALTV08] but only for 3 4. ( ) ≥ The collapse of the corresponding homology spectral sequences for the Taylor tower of K 3 for ( ) any 3 3 was shown by [LTV10; Son13; Mor15]. However, it is not clear if those arguments ≥ can be extended to show that the homotopy collapse for 3 = 3. This follows from the results of [FTW17], and more directly from [BH20].

2.3.3 Further consequences and examples

Non-convergence. The rational collapse along the diagonal is also used in the following argument of Goodwillie, which we include for completeness.

3 Proposition 2.22 (Goodwillie). The set 0P  is uncountable, so the Taylor tower does not 3 3 ∞( 3) 3 converge to K  , i.e. the map ev : K  P  := lim 0P=  is not a weak equivalence. ( ) ∞ ( ) → ∞( ) ( ) 22 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

3 3 Proof. We claim that 0P  is uncountable, while 0K  is countable. We have a surjection 3 ∞( 3) ( ) 3 of sets 0P   lim 0P=  , so it is enough to show that lim 0P=  is uncountable. ∞( ) ( ) ( ) 3 3 Indeed, 0?= 1 : 0P= 1   0P=  is surjective for every = 1, but not injective since we + + ( ) ) ( ) ≥ saw that ker 0?= 1 Q  A= Q, and these groups are non-trivial for all = 2.  ( + ) ⊗ ⊗ ≥ 3 3 K  Nevertheless, recalling that we denote the Gusarov-Habiro completion by Kš Z := lim  , ( ) ( ) = we have an exact sequence ∼

 3 ev 3 1  lim ker 0ev= Kš ∞ lim 0P=  lim ker 0ev= (2.12) ( )Z ( ) 3 This is obtained by taking limits in (2.10), using Milnor’s lim1-sequence and lim1 K   = 0, as ( ) = the maps in that tower are surjective. Thus, if Conjecture 0.1 is true then ev is an isomorphism.∼ ∞

Group structures.

Corollary 2.23. Two group structures on the set of components of Taylor stages constructed , by [BW18] and [BCKS17] are equivalent, i.e. 0T=  0"= as abelian groups. More generally, 3 any two group structures on 0T=K  respecting the connected sum of knots must agree. ( )

, Proof. The models are weakly equivalent, so there is a bijection of sets 5 : 0"= 0T → = so that = ev, . Since is a surjective monoid map, for we find 5 ◦ 04E= 0 = 04E= G8 0"= 3 ∈ , 8 K  with 04E= 8 = G8; then G1 G2 = 04E= 1# 2 . Using that 0ev is also a ∈ ( ) ( ) + ( ) = monoid homomorphism we have , , , 5 G1 G2 = 0ev 1# 1 = 0ev 1 0ev 2 = 5 G1 5 G2 .  ( + ) = ( ) = ( ) + = ( ) ( ) + ( ) Examples.

Example 2.24. Let = = 2. The grope cobordism G on the unknot U from Figure1 is modelled on the unique tree of degree 2, and has = % G the right handed trefoil ') : ⊥ ( )

'

Thus, ') 2 U. Actually, every knot is 2-equivalent to the unknot (see e.g. [MN89]), so ∼ 3 K  =  ( ) 2 U . ∼ [ ] 3 Moreover, [BCSS05] show that P2  , confirming Conjecture 0.1 in degree = = 2. ( ) ' ∗ Example 2.25. Therefore, the first non-trivial knot invariant from embedding calculus is 3 3 3 0ev3 : K  0P3   0F3   Lie 2  Z. ( ) → ( ) ( ) ( ) Using the linking of certain ‘colinearity submanifolds’ of configuration spaces, [BCSS05] show that

0ev3 agrees with the unique Vassiliev invariant E2 of type 2 taking value 1 on '). Classically, ≤ E2 is given as the second coefficient of the Conway polynomial (lifting the Arf invariant) and induces K 3  E2 : ( ) 3 Z. ∼ −→ Our approach not only recovers 0ev3 = E2 but also lifts this computation to the fibres via the 3 3 3 map e3 : H2  F3  . Namely, by the previous example for any K  there exists a grope ( ) → ( ) ∈ ( ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 23 forest F of degree 2 from to U. By the extension of TheoremC for grope forests we get a point 3 # F H2  and by definition 0ev3 = e3# F Lie 2 . Now, our main TheoremE says ( ) ∈ ( ) ( ) [ ( )] ∈ ( ) that this element is the class of the underlying trees of F. Actually, in Example 4.8 we do this computation for the case = '), as a warm-up problem for the proof of that theorem. 2 1 2 1

We get precisely 0ev3 ') = , implying 0ev3 = E2 by the uniqueness of E2. If we ( ) ( ) ( )· 2 2 then for computing the coefficient E2 use the Hopf invariant Lie 2 3 S S Z given as 1 1 ( ) ( ) ⊆ 3 ( 2∨ 2) → the linking number lk 5 ?1 , 5 ?2 for a suitable representative 5 : S S S of the desired ( − ( ) − ( )) → ∨ homotopy class, then we are in the colinearity story of [BCSS05].

2.4 Homotopy limits and the notation

A diagram over a small category C is a functor - : C Top to the category of topological spaces. • → Let TopC denote the category of diagrams over C. The categories we will be using are the cube C = P = , which is the poset of all subsets of = := 1, 2, . . . , = , and the punctured cube category ( ) { } C = P = , the poset of all non-empty subsets of = = 0, 1, 2, . . . , = . ∅[ ] [ ] { } We will need the notion of a homotopy limit of a diagram - TopC; for an introduction see [BK72] • ∈ or [MV15]. This is the space holim - Top, also written holim -2, defined as the mapping space ( •) ∈ 2 C ∈  holim - := MapTopC C ,- . ( •) | ↓ •| • Firstly, C TopC is the diagram which sends 2 C to the classifying space of the category | ↓ •| ∈ ∈ C 2 , called the overcategory, whose objects are morphisms 2 2 in C, and arrows are triangles ( ↓ ) 0 → over 2 in C. Recall that the classifying space D of a category D is the geometric realisation of | | the nerve of D – the simplicial set whose :-simplices are sets of :-composable arrows in D. Finally, the mapping space between two objects in TopC is defined as the set of natural transfor- Î  mations between the two diagrams and is seen as a subspace of 2 C Map C 2 ,-2 from which ∈ | ↓ | it inherits the topology. In other words, a point 5 holim - consists of a collection of maps • 2 ∈ ( ) 5 : C 2 -2 which are compatible with respect to the morphisms in C. | ↓ | → The crucial property of a homotopy limit is its homotopy invariance: if - . is a map of • → • diagrams such that each -2 .2 is a weak equivalence, then the induced map holim - holim . → • → • is a weak equivalence as well.

2 23 3

2 23 3 12 123 13

1

Figure 5. Examples of Δ( for ( = 2, 3 and ( = 3. { }

In particular, a punctured = 1 -cube - : P = Top consists of spaces - for ≠ ( = and • ( ( :+ ) ∅[ ] → ( ∅ ⊆ [ ] mutually compatible maps G : -( -( : for : = (. If Δ denotes the simplex on the vertex ( → ∪ ∈ [ ]\ set (, observe that there is a levelwise homeomorphism of punctured cubes

P =  Δ• | ∅[ ] ↓ •| Namely, P = ( is the simplicial set obtained by barycentric subdivision of the standard | ∅[ ] ↓ | ( ' ( 1 -simplex, see Figure5. The maps precisely correspond to inclusions  \ : Δ' ↩ Δ( for (| | − ) ' → ' ( of the face whose barycentric coordinates in ( ' are zero. Therefore, in this case we have ⊆ \ •  holim - = MapTopP = Δ ,- . ( •) ∅[ ] • 24 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

( ( and a point 5 holim - consists of maps 5 : Δ -( such that for all : ∌ ( = the following ∈ ( •) → ⊆ [ ] diagram commutes : ( ( ( : Δ Δ ∪ ( ( : 5 : 5 ∪ G( -( -( : ∪ ( Similarly, there is a levelwise homeomorphism of cubes P •, since P is a cube = •   = (   ( ' | ↓ | | ↓ | whose coordinates are indexed by (, and the map  \ : ' ↩ ( for ' ( = is the inclusion ' → ⊆ ⊆ of the face whose coordinates in ( ' are zero. But now for . TopP= we have holim . . , \ • ∈ ( •)' ∅ since P= is the initial object. ∅ ∈ However, we can instead take the homotopy limit of the punctured =-cube with . omitted, and ∅ compare it to . . More precisely, for . TopP= define the total homotopy fibre by ∅ • ∈  tofib . := hofib 2 : . holim .( , ( •) ∅ ( P = ( ) ∈ ∅[ ] the homotopy fibre of the natural map 2 (see Definition 3.5). We will show in Lemma 3.6 that ( ( 5 tofib . can also be given as a suitable collection 5 :  .(, using the following lemma. ∈ ( •) → Lemma 2.26. There is a levelwise homeomorphism of cubes 10A h• : • C Δ • , (2.13) → ( ) where C10AΔ ( is the cone on the barycentric subdivision of Δ(. ( )

Sketch of the proof. Each h( should map the initial vertex of the cube ( (i.e. the one with coordi- nates 0() to the cone point of Δ(, and the 1-faces to the barycentrically subdivided simplex. This will clearly respect maps in the diagrams. We omit writing out explicit formulae. 

Notation 1 (Spaces). Let  := 0, 1 denote the unit interval, P- the space of free paths 0, 1 [ ] [ ] → - in a space -, and P - the subspace of paths that start at the basepoint -. Further, Σ- is ∗ ∗ ∈ the reduced suspension of - and Ω- is its based loop space.

1 For  P- we write  :  0  1 -. The use − or 1 C to denote the inverse path. The ∈ ( ) ( ) ⊆ − concatenation of loops will be denoted by  , and the commutator by ,  :=    1  1. All · [ ] · · − · − manifolds " have non-empty boundary and S" )" is the unit tangent bundle. ⊆ Notation 2 (Main objects).

K " – the space of knots in ", see (0.1) A) – the group of Jacobi trees, Def. 2.7 ( ) = U – an arbitrarily chosen basepoint in K " Γ – an abstract grope modelled on Γ, Def. 5.1 ( ) P= " , also F= " , H= " and maps ?= , ev= , e= G – a grope cobordism, Def. 5.2 ( ) ( ) ( ) – the punctured knots model, see (0.2) G, F – a thick grope, grope forest, Def. 5.5, 5.6 , = 1 – Def. 3.9 F( F( + Grop ";U – the space of gropes forests, Def. 5.7 =( ) "0( ,"( – Cor. 3.10 8 , 8 8 = – the underlying decoration, Def. 5.4; ( ) ∈ B, S, D – a 3-ball, a 3 1 -sphere, a 2-disk ( − ) t – the underlying tree map, Prop. 5.8 6 Γ, Γ = – a tree, a -decorated tree, Sec. 2.1 ) R= – the realisation map, Thm. 2.13

See also Notation3 for the notation related to the punctured knots model, Notation4 for manifolds

"0(, and the beginning of Section4 for " S(. ∨ EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 25

3 The punctured knots model

Throughout this section " is a connected compact smooth manifold of dimension 3 3 with ≥ non-empty boundary. Recall that we fix 1 : 0, & 1 &, 1 ↩ " and consider the space [ ) t ( − ] → K " := Emb , " :=  5 :  ↩ " 5 1 near % ( ) %( ) → | ≡ whose elements we simply call knots. We equip it with the Whitney ∞ topology, and choose an arbitrary knot U K " for the basepoint. The =-th Taylor approximation of K " , for = 0, ∈ ( ) ( ) ≥ is defined as the homotopy limit

T=K " := holim Emb *," . >? % ( ) * O=  ( ) ∈ ( ) Here the category O=  is the poset of those open subsets * of  which are homeomorphic to the ( ) union of at most = open intervals and the collar of %. Equivalently, * is of the shape  +, where \ +  % consists of at most = 1 closed subintervals. The space Emb *," similarly consists ⊆ \ + %( ) of embeddings * ↩ ", which near % agree with 1, and the maps in the diagram are restrictions → of embeddings to submanifolds. Now, as observed by Goodwillie, computing this homotopy limit over a certain finite subposet gives a homotopy equivalent space P= " which we define next; see [MV15, Example 10.2.18] for ( ) a proof. Namely, the desired subposet contains only sets  ( for ≠ ( = := 0, 1, . . . , = , Ã \ ∅ ⊆ [ ] { } where ( := 8 ( 8 for a fixed collection of disjoint closed subintervals 8 = !8 ,'8  increasingly ∈ [ ] ⊆ converging to a fixed point ' < 1. ∞ Note that this poset (and its opposite) is equivalent to the punctured cube category P = . Thus, ∅[ ] we have a punctured cubical diagram Emb  ," ,A, where for : ∉ ( = the restriction % • : ( \ ) ⊆ [ ] map A : Emb%  ( ," Emb%  ( : ," introduces a ‘puncture’ at :. The space ( ( \ ) → ( \ ∪{ } ) P= " := holim Emb%  ( ," (3.1) ( ) ( P = ( \ ) ∈ ∅[ ] is called the punctured knots model for T=K " . Indeed, by the definition of homotopy limits ( ( ) from Section 2.4, a point 5 := 5 ≠( = P= " consists of a compatible collection of maps ( ( { }∅ ⊆[ ]( ∈ ( ( ) 5 : Δ Emb  ( ," . That is, each 5 is a Δ -family of knots punctured at 8, for 8 (. → %( \ ) ∈ Example 3.1. In degree = = 2 the space P2 " is the homotopy limit of the punctured 3-cube ( ) Emb  12," Emb  012," %( \ ) %( \ )

Emb  2," Emb  02," %( \ ) %( \ )

Emb  1," Emb  01," %( \ ) %( \ )

Emb  0," %( \ ) Thus, 5 P2 " consists of three once-punctured knots, for each two of them an isotopy between ∈ ( ) their restrictions to twice-punctured knots, and three two-parameter isotopies of thrice-punctured knots connecting restrictions of respective isotopies of twice-punctured knots.

Remark 3.2. The condition 5 1 near % for 5 Emb  ( ," (also for K " ) can be ≡ ∈ %( \ ) ( ) replaced by the requirement that 5 is ‘flat’ outside of !0,' , that is, it agrees with U K " on [ ∞] ∈ ( )  !0,' . This clearly gives equivalent spaces. \[ ∞] = Notation 3. To save space we shall denote Emb%  ( ," by E( and write E = E( ( P = , ( \ ) • { } ∈ ∅[ ] where the ambient manifold " will be clear from the context. We also simply write E(: := E( : : ∪{ } and equip each E( with the basepoint U , so A : E( E with : ∉ ( = is a based map. (b ( → (: ⊆ [ ] 26 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Using = = 1 we consider two inclusions P = ↩ P = 1 given by Id: ( ( and [ ] ⊆ [ + ] ∅[ ]= →1 ∅[ + ] = 7→ 10 Id = 1: ( ( = 1 . The punctured = 1 -cube E + Id is precisely E . Let us denote the • ◦ • ∪ + 7→= 1 ∪ { + } ( + ) other cube E + Id = 1 : ( Emb%  (= 1," by E = 1. Hence, the punctured = 2 -cube • ◦ • = 1 ( ∪ + ) 7→ ( \ + ) ∪ + ( + ) E + decomposes as • A= 1 E= 1 + E = 1 + •∪ + E= 1 = = 1 (3.2) + A + • • E= • The upper row forms an = 1 -cube also denoted by E = 1, but with the index now in P = . ( + ) •∪ + [ ] For K " and ( P = we denote by :=  E( the knot punctured at 8, 8 (. ∈ ( ) ∈ ∅[ ] (b | \ ( ∈ ∈ For two indices 8, 9 = we define ,89 := '8 ,!9 1 , so that for ≠ ( = 81 < 82 < < 83 = ∈ [ ] ( + ) ∅ { ··· } ⊆ [ ] we have U = , ,081 ,81 82 ,8 = , . Here by abuse of notation ,89 is both in the (b −∞ t t t · · · t 3 t ∞ source  and in the image U ". By Remark 3.2 we assume 5 , = , for any 5 E(. ⊆ ( ±∞) ±∞ ∈ Lastly, denote by F8 the midpoint of the interval ,8,8 1. +

U = , ,02 ,23 , 023d −∞ ∞ −∞ 0 2 3 ∞ 1 A023 U = , ,01 ,12 ,23 , 0123š −∞ ∞ F0 F1 F2 −∞ 0 1 2 3 ∞

9 Figure 6. Examples of U and the restriction map A for = = 3,( = 0, 2, 3 , 9 = 1. (b ( { }

Given K " various restrictions are mutually compatible, so assemble to give a map ∈ ( ) (b K " lim E . Composing it with the canonical map from the limit to the homotopy limit gives ( ) → • the evaluation map

ev=

 = const = K " lim E holim E = P= " . ( ) • • ( ) More explicitly, for ( P = this is given as the constant family ∈ ∅[ ] ( ( ev= : Δ E( , C . ( ) → ì 7→ (b Actually, for = 2 there is a homeomorphism K "  lim E=. This follows since having at least • ≥ ( ( ) three different punctures ensures that all 5 E( are pairwise disjoint, apart from agreeing on ∈ 0 1 intersections. However, for = = 1 this does not hold, since 5 { } 1 and 5 { } 0 potentially intersect. 1 | | Instead, we shall see below that lim E P1 " . • ' ( ) Remark 3.3. By a family version of the isotopy extension theorem, : is a locally trivial fibre A( bundle [Pal60]. In particular, it is a Serre fibration, whose fibre is the space of embeddings of : into " which miss the punctured unknot U , namely fib A : = Emb ," U . (:c ( () %( : \ (:c) 3.0.1 The zeroth and first Taylor stages

Given E8 for some 8 0 we can start ‘shortening’ its both ends until only the flat parts , ∈ ≥ −∞ and , remain. In other words, there is a deformation retraction of E8 = Emb%  8 ," onto the ∞ ( \ ) point U E8. Hence, P0 " = E0 is contractible as well. b8 ∈ ( ) 10 In [BCKS17] this is denoted as restriction to subdiagram P= P = . + ⊆ ∅[ ] EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 27

Next, as we mentioned above, the limit of the diagram

Emb%  1," Emb%  01," E1 = ( \ ) ( \ ) (3.3) •

Emb  0," %( \ ) is not homeomorphic to the space of knots. Instead, it is given as lim E1 = 5 0, 5 1 5 0 = 5 1 = Imm , " , are embeddings  01  01 % b0 b1 • {( ) | \ \ } { ∈ ( ) | } – the space of those immersions which are embeddings when restricted to  0 or  1. Actually, \ \ since both maps in the diagram E1 are fibrations (see Remark 3.3), the limit is equivalent to the • homotopy limit.11 Hence we have the upper row in the commutative diagram

ev1

1 const 1 K " lim E holim E =: P1 " ( ) • • ( ) ' '   Ω S" (3.4) ' ( ) 1 1 Imm% , " lim I ' holim I ( ) • (<0;4 • Let us now explain the rest of the diagram. As mentioned in the preliminaries, the homotopy limit can be computed from any levelwise homotopy equivalent diagram:

,01 Imm%  1," Imm%  01," P S" | P S" ( \ ) ( \ ) ∗( ) ( ) E1 • ' ' |,01 Imm%  0," P S" ( \ ) ∗( ) The first equivalence is induced from the weak equivalences Emb +, " Imm +, " for + a ( ) → ( ) disjoint union of disks, see for example [Cer61]. The second equivalence is induced from the unit derivative maps, giving paths in the unit tangent bundle S", with PS" S" (both endpoints ' free) and P S" (one endpoint fixed). One can check that the homotopy limit of the rightmost ∗ ' ∗ diagram is Ω S" , so one has the triangle in (3.4). ( ) 1 On the other hand, the strict limit in the middle diagram is clearly lim I  Imm% , " . The fact • ( ) that this is also its homotopy limit is non-trivial: by a theorem of Smale [Sma58] the restriction maps for immersions are also fibrations. This also implies that immersions form a polynomial functor of degree at most 1, that is, T=Imm% , " Imm% , " for all = 1. Here we similarly = ( )' ( ) ≥ define T=Imm% , " := holim I , using I( := Imm%  ( ," . See [Wei05; GW99]. ( ) • ( \ ) However, to obtain P1 " Ω S" we did not need Smale’s result. Finally, observe that as a ( )' ( ) consequence of this discussion the inclusion  : lim E1 ↩ lim I1 of ‘special’ immersions into all • → • immersions is – maybe surprisingly – a weak equivalence.

3.1 The projection maps

Fix = 1. Let ?= 1 : P= 1 " P= " be the map induced by forgetting the last puncture = 1, ≥ + + ( ) → ( ) = = 1 + i.e. the map induced on homotopy limits from the inclusion of diagrams E E + (see Notation3). • ⊆ • We clearly have ?= 1 ev= 1 = ev=, so ?= 1 respects the basepoints ?= 1 ev= 1U = ev=U. + ◦ + + + ( + )

Proposition 3.4. The map ?= 1 : P= 1 " P= " is a fibration. Furthermore, its fibre + + ( ) → ( ) F= 1 " := fibev= U ?= 1 is homeomorphic to the total homotopy fibre of the = 1 -cube E = 1. + ( ) ( + ) ( + ) •∪ + 11 Warning: although all maps in cubes for higher = are also fibrations, one cannot conclude that holim E= lim E= , • ' • as is the case for = = 1. Namely, for = 2 this is not enough to make an =-cube ‘fibrant’. ≥ 28 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Before proving this, we recall the notion of a total homotopy fibre and its properties.

Definition 3.5. The total homotopy fibre of an = 1 -cube  ,A : P = Top is the space ( + ) ( • ) [ ] → ∗  2  tofib  := hofib2 U  holim  P = . ( •) ( ∅) ∅ −→ ( | ∅[ ])

Here U( ( are the basepoints and 2 is the natural map sending G  to the collection of ∈ ( ( ∈ ∅ constant maps 2 G , each equal to the image of G under A :  (. This factors as ( ) ∅ ∅ → 2  = lim  holim  P = ∅ ( | ∅[ ]) const ' 2 holim  where 2 is the restriction map to the homotopy limit of a subdiagram and const is the canonical map from the limit to the homotopy limit. Since  has the initial object, const is a weak equivalence. Hence, hofib 2 and hofib 2 are weakly equivalent. ( ) ( ) Even something stronger is true.

Lemma 3.6. The map 2 is a fibration and its fibre fib2 U 2 is homeomorphic to tofib  . ( ∅)( ) ( •) Proof. See [Goo92] for several descriptions of total homotopy fibres and inspiration for this proof. 12 Consider the mapping path space 2 of 2. The natural projection ? : 2 holim  P = is a → ( | ∅[ ]) fibration and fib2 U ? = hofib2 U 2 , and the latter is our definition of tofib  . ( ∅)( ) ( ∅)( ) ( •) We will construct a homeomorphism @ : 2 holim  and a commutative diagram: →  ∅ 2 ' ? 2 holim  P = ( | ∅[ ]) @ holim  2 It will immediately follow that 2 is a fibration as well (as the composition of a fibration and a homeomorphism) with the fibre homeomorphic to tofib  . ( •) Let G,  2, so G  and  :  holim  P = with  0 = 2 G . Equivalently,  is a collection ( ) ∈ ( ∈( ∅ → | ∅[ ] ( () ( ) ( of maps  :  Δ ( for ( ≠ , which is on 0 Δ constantly equal to A G . (−) × → ∅ { } × ∅ ( ) Hence,  ( factors through the quotient by 0 Δ(, so is a map on the cone CΔ(. Let us define 0(−) { } × CΔ∅ :=  and  ∅ = G : CΔ∅  . Then our point gives a map of cubical diagrams (−) → ∅ 10A  • : C Δ •  (−) ( ) → • where C10AΔ ( is defined as the simplicial complex obtained from CΔ( by the barycentric subdi- ( ) vision13 of its face 1 Δ(, and the maps in the cube are face inclusions. { } × 10A Recall the homeomorphism h• : • C Δ • of cubes from Section 2.4 and define @ : 2 holim  → ( ) → by @ G,  :=  • h•. ( ) (−) ◦ This is also a homeomorphism, and makes the diagram above commute. 

( ( Therefore, a point 5 tofib 2  fib2 U 2 consists of maps 5 :  ( for ( = compatible : ( ∈ (: ( ) ( ∅)( ) ( ( → ⊆ [ ] on the 0-faces A 5 = 5 C =0, and sending the 1-faces %1  to the basepoint U( (. B ◦ | : ⊆ ∈ 12 Aka mapping cocylinder: for a map 5 : - . this is  := holim - . P. = G,  - P.  0 = 5 G , → 5 ( → ← ) {( ) ∈ × | ( ) ( )} and is a usual way of turning 5 into a fibration ? :  .. Actually hofibU 5 is precisely defined as fibU ? . 5 → ( ) ( ) 13 If we do not subdivide, we get CΔ (  Δ( = 1, where = 1 is a new index labelling the cone point. ( ) ∪ + + EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 29

constU01 U1 A0 1 01 1 0 1 01 © ª 5 A 5 5 constU01 ­ ® = 1 For = 1 we present 5 tofib ­ A1 A ® pictorially by . ∈ ­ 0 ® A1 5 ­ A 0 ® ( ∅) 1 0   AA 5 ∅ A 5 « ∅ ¬ 5 ∅ 0 0 U A 5 ∅ 5 0 ( ) = 1 Proof of Proposition 3.4. Using the decomposition of E + into subcubes from (3.2) and the fact • that the homotopy limits can be computed ‘iteratively’, we obtain14 a homeomorphism:

A• 1 2 = E= 1 holim E = 1 E 1 + E 1 © • ª © = • = ª + P = ( ∪ + ) ­ + ∪ + ® ­ ∅[ ] ® P = holim = 1 holim ­ ® (3.5) = 1 " ­ A + ®  ­ = 1 ® + ( ) ­ • ® A + ­ ® ­ ∗ ® E= ­ ® • P= " « ¬ « ( ) ¬

Thus, P= 1 " is the homotopy limit of the diagram on the right which has only two maps – + ( ) so a homotopy pullback. The map 2 is an analogue of ev= but for = 1-punctured knots E= 1 := = 1 + + Emb  1," , while A : P " holim E 1 is the induced map on the homotopy % = + = P = • = ( \ + ) = 1 ∗ ( ) → ∅[ ]( ∪ + ) limits from the maps A + , so it punctures at = 1 every punctured knot in the family. ( + The homotopy pullback is homeomorphic to the pullback of the same diagram with 2 replaced by a fibration. By the proof of Lemma 3.6, the path fibration 2 holimP = E = 1 is equivalent → ∅[ ]( •∪ + ) to the fibration 2, so we have a (strict) pullback square: 2 holim E = 1 holim E = 1 P = ( •∪ + ) P = ( •∪ + ) [ ] ∅[ ] = 1 (3.6) A + ∗ ?= 1 P= 1 " + P= " + ( ) ( ) Since 2 is a fibration, ?= 1 is also (‘pullbacks preserve fibrations’) and the fibres are homeomorphic: + F 1 " := fibev U ? 1 fib U 2 tofib E 1 .  = = =  2 = 1  • = + ( ) ( + ) ( d+ )( ) ( ∪ + ) The diagram (3.5) from the proof can be seen as an inductive definition of the Taylor tower.

Moreover, if we denote BF= 1 " := holimP = E = 1 , and use E= 1 from Section 3.0.1, we + ( ) ∅[ ]( •∪ + ) + ' ∗ get P= 1 " holim BF= 1 " P= " and F= 1 " hofib BF= 1 " . Thus, + ( )' (∗ → + ( ) ← ( )) + ( )' (∗ → + ( )) BF= 1 " is indeed a delooping of F= 1 " , explaining the notation. Moreover, BF= 1 " is + ( ) + ( ) + ( ) connected, so ?= 1 is surjective, see [Kos20]. + 3 Remark 3.7. In Section 3.3 we will see that BF= 1  is an =-fold loop space, so one can try to 3 3 3 + ( ) show that P= 1  = hofib P=  BF= 1  is a double loop space by induction on = 1 and + =( 1 ) ( ( ) → + ( )) ≥ showing that A + is a map of double loop spaces. Such deloopings were shown in other models by [Tur14] and [BW18∗ ], but in this approach one could check if they also exist for some other ".

3.2 The layers and homotopy fibres of evaluation maps

Recall that H= " was defined in (0.2) as the homotopy fibre of the map ev= : K " P= " over ( ) ( = ) → ( ) the basepoint ev=U. Since K " = Emb% , " = E and P= " := holimP = E , the homotopy • ( ) ( ) ∅ ( ) ∅=[ ]( ) fibre hofib ev= is by definition the total homotopy fibre H= "  tofibP = E (see Definition 3.5). ( ) ( ) [ ]( • ) 14 ( = 1 ( To prove this one uses homeomorphisms Δ ∪ +  CΔ which assemble into a map CΔ • Δ• (see Footnote 13); for details see [Goo92] or [MV15, Lemma 5.3.6]. ( ) → 30 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Since in Proposition 3.4 we found F= 1 "  tofibP = E = 1 , let us define + ( ) [ ]( •∪ + ) e= 1 : H= " F= 1 " + ( ) → + ( ) = 1 = as the map induced on total homotopy fibres from the map A + : E E = 1 of = 1 -cubes. • • → •∪ + ( + ) This again ‘punctures at = 1 every punctured knot in the family’. Using different descriptions of + total homotopy fibres from the proof of Lemma 3.6 we immediately have the following.

e= 1 Lemma 3.8. The composition H= " + F= 1 " ↩ hofib ?= 1 agrees with the canonically ( ) −−−→ + ( ) → ( + ) induced map ;= 1 : H= " := hofib ev= hofib ?= 1 given by ;= 1 ,  = ev= 1 ,  . + ( ) ( ) → ( + ) + ( ) ( + ) This completes the diagram (0.2) from the introduction.

The total homotopy fibre of an = 1 -cube can also be computed ‘iteratively’, by first taking ( + ) homotopy fibres in one arbitrary direction and then finding the total fibre of the resulting =-cube. This is similar to Footnote 14, and uses = 1 =  =; see [Goo92] or [MV15] for a proof. For the + × first direction we choose the one which ‘punctures at zero’, that is, we take homotopy fibres of 0. A( Since by Remark 3.3 these maps are fibrations, we can instead take the actual fibres.

Definition 3.9. For each ( = := 1, 2, . . . , = define ⊆ { } = 0  = 1 = 0  F( : fib A( : E( E0( and F( + : fib A(= 1 : E(= 1 E0(= 1 . → + + → + = 1 = 1 The map A + : F( F + gives the right vertival map in the commutative diagram ( → (  0    H= "  tofib E(  tofib hofib A( tofib F( ( ) ( = ( ) ( = ( ) ( = ⊆[ ] ⊆ ' ⊆ (3.7) e= 1 + 0  = 1 F= 1 "  tofib E(= 1  tofib hofib A(= 1 tofib F( + + ( ) ( = ( + ) ( = ( + ) ( = ⊆[ ] ⊆ ' ⊆

The basepoint of E( is U := U , so writing the first fibre out, we get (b \ (  0  F( = fibU A : Emb%  ( ," Emb%  0( ," 0c( ( ( \ ) → ( \ ) = 0 1 =  = A( − U0 :  ( ↩ "  U0  Emb% 0," U0 . ( ) ( c() \ → | \ 0c( c( ( \ c() Thus, F( is the space of embeddings of the arc 0 into the complement in " of the punctured unknot U with condition that they agree near the boundary % 0 with U (see Figure7). The 0c( 0 : maps in the =-cube F ,A are restriction maps as before A : F( F(:, with : ∉ ( =. ( • ) ( → ⊆

,081 ,81 82 ,82 83

−∞ 0 81 82 83 ∞

,081 ,81 82 ,82 83 ,83= 1 +

0 81 82 83 = 1 −∞ + ∞ Figure 7. Points in and = 1 respectively, for = . The small square on denotes F( F( + ( 81, 82, 83 = 0 that there some knotting, as well as linking with the rest{ of the black} ⊆ open intervals, can occur.

= 1 = 1 Similarly, the =-cube F + ,A can be given by F +  Emb% 0," U0 1 with the restriction ( • ) ( ( \ ›(= ) maps : : = 1 = 1. However, note that one of the vertices of the cube+ computing H A(= 1 F( + F(:+ = " + → ( ) is the space of knots itself. This is in contrast to the cube for F= 1 " , in which the piece = 1 is + ( ) + always absent – precisely this will allow us to compute its homotopy type in the next two sections. EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 31

Namely, the space = 1 can equivalently be described as the space of embeddings of the arc F( + 0 in the complement in " of the 3-dimensional balls B8? 8? 1 " obtained as neighbourhoods of + ⊆ the pieces , of the punctured unknot U (recalling Notation3). For example, the lower 8? 8? 1 0›(= 1 + + = 1 picture in Figure8 corresponds to the point in F + from the bottom of Figure7 for = 1 = 6 ( + and ( = 2, 3, 5 . Let us introduce notation for these complements. { } Notation 4. Write ( = 81 < < 8< for < 1 and by convention 80 := 0, 8< 1 := = 1. Firstly, 3 1 { ··· } ≥ + + let S8 := S − " be the sphere with the diameter ,8,8 1 for 0 8 = and centre F8 ,8,8 1. 8 ⊆ + ≤ ≤ ∈ + 3 2 Then for 1 ? < let S8? 8? 1 " be the ellipsoid consisting of the cylinder F8? ,F8? 1 1 S − ≤ ≤ + ⊆ [ + − ] × together with the west hemisphere of S8? and the east of S8? 1 1. Let B8? 8? 1 to be the region interior + − + to this ellipsoid (so it contains ,8? 8? 1 ). Finally, remove from " small neighbourhoods of , + ±∞ (shrunk to a collar of %") to get "0  " and define  "0( := "0 B081 B81 82 B8< ,= 1 . \ t t · · · t +

F0 F2 F3 F4 F5 0 3 5 6

B03 B35 B56

F0 F1 F2 F3 F4 F5 0 2 3 5 6

B02 B23 B45 B56

Figure 8. For = 1 = 6 the manifold "035 (resp. "0235) is the complement of the three (four) balls. 2 + The map  : "035 "0235 adds the material B13 B12 B23 = B03 B02 B23 . 04 → \( ∪ ) \( ∪ ) = 1 : Thus, for ( = there is a homeomorphism F +  Emb 0,"0( and A is the composition with ⊆ ( %( ) ( :   : "0( "0(: = "0( B: 1,: 1 B: 1,: B:,: 1 . ( ∪ − + \( − t + ) 3.10 The -cube = 1 : is levelwise homeomorphic to the one obtained from Corollary . = F( + , ( : ( ) the =-cube "0( ,  by applying the functor Emb 0, . ( () %( −) 3.3 Delooping the layers

In this section we make a crucial step for the description of the homotopy type of F= 1 " by + ( ) constructing a homotopy equivalence " from F= 1 " to an =-fold loop space (Section 3.3.1), and + ( ) then deloop once more (Section 3.3.2).

3.3.1 The initial delooping

= 1 Theorem 3.11. For the = 1 -st layer F= 1 " tofib F + ,A of the Taylor tower for K " , • ( + ) = 1+ ( )' ( ) ( ) = 0, there is a contravariant =-cube F + ,; and an explicit homotopy equivalence ≥ ( • ) = 1  = = 1  " : tofib F + ,A ∼ Ω tofib F + ,; . P = • P = op • ( ) ( )

We prove this using Proposition 3.16, which says that such a homotopy equivalence exists for any cube which has an =-fold left homotopy inverse. After we define this notion and state that : = 1 = 1 proposition, we proceed to construct maps ; giving such an inverse F + ,; for our cube F + ,A . ( ( • ) ( • ) All proofs about left homotopy inverses are deferred to SectionA. 32 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

A left homotopy inverse (a retraction up to homotopy) for a map A : - . is a map ; : . - → → such that ; A Id- . For our purposes it is crucial to specify a homotopy ℎ from Id to ; A: ◦ ' ◦ - Id (3.8) ℎ ;

- A .

Moreover, we have  1 hofib A   hofib ;  ker ; and split short exact sequences ∗− ( ) ∗ ( ) ( ∗) A 0  - ∗  .  1 hofib A 0 (3.9) ∗ ; ∗ ∗− ( ) ∗ since ; is a section in the long exact sequence of homotopy groups for A. Actually, more is true. ∗ Lemma 3.12. Given the data of (3.8) there are explicit inverse homotopy equivalences

1 " : hofib A Ω hofib ; : "− ( ) ∼ ( ) One can generalise this from 1-cubes (maps), to diagrams over P< for < 1 as follows. ≥ A< Definition 3.13. Let ' =  ∌<  < be an <-cube with < 1, seen as a 1-cube of < 1 - • • −−→ •3 ≥ ( − ) cubes. A left homotopy inverse for ' is the data of a diagram: •

 ∌ • < Id < (3.10) ℎ< ;

 ∌< <  < • A •3 In more detail, it consists of ;< (1) an <-cube ! =  <  ∌< and • •3 −→ • (2) for each 1 a homotopy < : Id < <, that are mutually compatible in the ( < ℎ( ( ;( ◦ A( ⊆< − sense that ℎ C :  ∌<  ∌< is an <-cube for each fixed 0 C 1. • ( ) • → • ≤ ≤ Lemma 3.14. Given the data of (3.10), there are inverse homotopy equivalences

1 "< : tofib ' Ω tofib ! : "< − ( •) ∼ ( •) ( ) To repeat this procedure and get a homotopy equivalence from the total fibre of an <-cube to an -fold loop space, we need a left homotopy inverse : for each :. We also need suitable conditions < ;( A( for homotopies : , in order to avoid obtaining cubes which are commutative only up to homotopy. ℎ( Definition 3.15. An <-fold left homotopy inverse for an <-cube < :=  ,A is given as follows. ( • ) : (1) For each ( < and : < ( a map ; :  ( is given such that ⊆ ∈ \ ( (: → ;: ;8 = ;8 ;: , 8 ∉ (, 8 ≠ : (3.11) ( ◦ (: ( ◦ (8 ∀ ;: A8 = A8 ;: , 8 ∉ (,: > (8 := ( 8 . (3.12) (8 ◦ (: ( ◦ ( ∀ ∪ { } These equations ensure that for 0 : < there is a well-defined <-cube : obtained from ≤ ≤ < by replacing the arrows A8 by ;8 for : 1 8 <.15 In particular, 0 =  ,; . ( ( + ≤ ≤ ( • ) (2) For each 0 : < and C 0, 1 a map of diagrams ≤ ≤ ∈ [ ] : : : : (3.13) ℎ C  ∌:  ∌: • ( ) • → • is given, such that ℎ: 0 = Id and ℎ: 1 = ;: A :. • ( ) • ( ) • ◦ •

15 We see : as an < : -cube of :-cubes; maps in :-cubes are A-maps, while maps between them are ;-maps. ( − ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 33

A: ;: For = 0 we can write the cube : as : • : and then define : 1 := : • : . : <, . . . ,   ∌:  :  −  :  ∌: • −→ • • −→ • Hence : is a diagram over P < : P>? < < : ; in3 particular, 0 is a contravariant3 cube. ( − ) × ( \ − ) However, all these categories are isomorphic to P < if we appropriately rename the vertices. Thus, ( ) an <-fold left homotopy inverse for < is given by the following data for each 0 : <: ≤ ≤ :  ∌ • : Id ℎ: ;: (3.14) • • : :  ∌ :  • : A • : • 3

Proposition 3.16. Given the data of (3.14) there is a sequence of homotopy equivalences

< "< < 1 "< 1 2 < 2 "< 2 "1 < 0 " : tofib  Ω tofib  − − Ω tofib  − − Ω tofib  . ( ) ∼ ( ) ∼ ( ) ∼ ··· ∼ ( ) Ω< forg 1 < 0 < < Moreover, the homotopy inverse is given by " : Ω tofib  Ω < ↩ tofib  , where − ( ) −−−−−→ → ( ) 0  < ( ( < forg: tofib  < , 5 \ :  < ( 5 . ( ) −→ → \ 7→ The entrywise homotopy groups of such 0 =  ,; form a contravariant <-cube  0 =   ,  ; ( • ) ∗ ( ∗ • ∗ ) in graded groups (with > 0), which has a right <-fold inverse. Thus, there is an injection ∗  0  Ù :  forg  tofib   ker  ;  < . (3.15) ∗ ( ) ∗ < : ∗ : < \ ∈ analogously to (3.9). For proofs of all these results see SectionA. Let us now turn to applying them in our situation: Theorem 3.11 will follow from Proposition 3.16 once we construct an -fold left homotopy inverse = 1 : for = 1 : . Recall that by Corol- = F( + ,;( F( + ,A( ( ) ( ) : lary 3.10 the latter is obtained by applying Emb 0, to the =-cube "0( ,  . %( −) ( () : : Theorem 3.17. The =-cube "0( ,  has an =-fold left homotopy inverse "0( ,  . ( () ( () = 1 : : : : From this we get the desired F + ,; by applying Emb 0, to "0( ,  , i.e. letting ; =  ( ( () %( −) ( () ( ( ◦− and ℎ: gives a cube satisfying conditions of Definition 3.15, and proving Theorem 3.11. • ◦ − Now to prove Theorem 3.17 we first define a left homotopy inverse : for each : in the sense ( ( of (3.8), and then revisit the construction to ensure that all mentioned conditions are satisfied.

: : Lemma 3.18. For : ∉ ( = the map  has a left homotopy inverse  : "0 "0(. ⊆ ( ( (: →

Proof. Let ( > : := 9 ( : 9 > : and let 8? 1 := min ( > : = 1 (this is the smallest { ∈ } + {( ) ∪ { + }} index in ( which is bigger than :, or = 1 if that set is empty). Consider the inclusion map +

4:8? 1 : "0(: ↩ "0(: B:8? 1 + → ∪ + which adds back the ball B:8? 1 . We visualise this by erasing B:8? 1 as in Figure9. + +

Observe that "0(: B:8? 1 and "0( are isotopic as submanifolds of " by an ambient isotopy ∪ + drag: : drag: 0 = Id drag: 1 B = (>: C " ", (>: " , (>: "0(: :8? 1 "0( , ( ) → ( ) ( )( ∪ + ) which, loosely speaking, elongates B8? : by gradually dragging the right hemisphere of S: 1 to the − right, until it equals the right hemisphere of S8? 1 1. We will define a specific parametrisation in + − the proof of Theorem 3.17 below (it will indeed depend on ( > : and not only on 8? 1). + : : : : Now let 3 C := drag C B and  := 3 1 4 : "0 "0 . ( (>: "0(: :8? 1 ( ( ◦ :8? 1 (: ( ( ) ( )| ∪ + ( ) + → 34 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

F0 F1 F2 F3 F4 0 1 2 4 5

B01 B12 B24 B45

F0 F1 F4 0 1 2 4 5

B01 B12 B45

F0 F1 F2 F3 F4 0 1 4 5

B01 B14 B45

Figure 9. The map : for = 5 = 1 4 = 2 = 1 = 4 takes top to the bottom . ( = ,( , ,: , 8? , 8? 1 "0124 "014 { } + 2 From the top to the middle apply 424, and from the middle to the bottom the diffeomorphism 3 1 . 1,4( )

It remains to provide a homotopy : between Id and the composite ℎ( "0( : 4 : 1 ( :8? 1 3( : : : + B ( ) ( ( "0( "0(: "0(: :8? 1 "0( ◦ ∪ + B :8? 1 ∪ +  "0( B8? 8? 1 B8? : B:8? 1 "0( B8? 8? 1 B8? : ∪ + \( ∪ + ∪ + \

The composition of the first two maps adds to "0( the material B8? 8? 1 B8? :, which is diffeomorphic + \ to a ball (note that B: 1,: 1 B: 1 B: = B8? 8? 1 B8? : B:8? 1 ). Now adding this material − + \( − ∪ ) + \( ∪ + ) gradually gives an isotopy addC : "0( ↩ " such that im add0 = "0( and im add1 = "0(: B:8? 1 . → : ( ) ( ) ∪ + We can parametrise this so that im addC = im 3 C for each C 0, 1 , so the two isotopies can ( ) ( (( )) ∈ [ ] be composed into the desired homotopy

: add 3 C : C (( ) ℎ C : "0( im addC "0(.  (( ) ( )

Proof of Theorem 3.17. We now ensure that the maps : and : constructed in the previous proof ( ℎ( satisfy conditions of Definition 3.15. We are still free to specify a particular parametrisation of the ambient isotopy drag: C : " ", which we roughly described as a ‘dragging move’, acting (>:( ) → non-trivially only in a tubular neighbourhood of ,8? 8? 1 . + Firstly, for ( = 8, : the conditions (3.12) and (3.11) are respectively equivalent to having that ⊆ \{ } the following left diagram commute for : > (8 and the right diagram for, say, 8 < ::

: : (8 (8 "0(8 "0(8: "0(8 "0(8: 8 8 8 8 ( : (: ( : (: ( ( "0( "0(: "0( "0(:

8 8 For the left diagram this is clear. Indeed,  and  both add the same material B8 1,8 1 B8 1 B8 ( (: − + \( − ∪ ) independently of the location of the other punctures, and as , both : and : erase the ball : > (8 ( (8 B and then use the same flow drag: = drag: = drag:. On the other hand, the commutativity := (>: (8>: of the right diagram will follow if we ensure that ∅ drag8 1 drag: 1 = drag: 1 drag8 1 . (3.16) (>8( ) ◦ (8>:( ) (>:( ) ◦ (:>8( ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 35

Lastly, the condition (3.13) is equivalent to having that for each C 0, 1 the following left square ∈ [ ] commute if 8 > : and the right square if 8 < ::

: : ( ( "0( "0(: "0( "0(: ℎ8 C ℎ8 C ℎ8 C ℎ8 C (( ) : (:( ) (( ) : (:( ) ( ( "0( "0(: "0( "0(: Again, the case on the left is clear since drag8 C = drag8 C ), and for the right one we should (:>8( ) (>8( ) ensure that drag8 C drag: 1 = drag: 1 drag8 C C 0, 1 . (3.17) (>8( ) ◦ (>:( ) (>:( ) ◦ (:>8( ) ∀ ∈ [ ] Note that (3.16) follows from (3.17) by putting C = 1 and using 8(> : = (> : , since 8 < :. { } { } We now define parametrisations of drag8 inductively on ( > 8 0 for 8 = and ( = 8 . (>8 | | ≥ ∈ ⊆ \{ } Pick each drag8 freely and assume for some B 0 we chose drag8 for all ( > 8 < B. Let now ≥ (>8 | | ( > 8 = B for∅ some ( = (: with : := min ( > 8 = . Then let | 0 | 0 {( 0 ) ∪ { }} 8 : 1 8 : drag C := drag 1 − drag C drag 1 . (3.18) (0>8( ) (>:( ) ◦ (>8( ) ◦ (>:( ) This finishes the definition. Let us check that (3.17) holds for any fixed 8 < : and ( = 8, : ⊆ \{ } by induction on 8 < ( < : 0. Firstly, if there is no 8? ( with 8 < 8? < :, then (3.18) | | ≥ ∈ becomes precisely (3.17). Otherwise, take the smallest such 8?; write ( = '8?. Applying (3.18) for 8 ( = ': 8? and the induction hypothesis for drag C gives 0 ( ) ':>8( ) 8 8? 1  : 1 8 :  8? drag C = drag 1 − drag 1 − drag C drag 1 drag 1 (:>8( ) ':>8? ( ) ◦ '>:( ) ◦ '>8( ) ◦ '>:( ) ◦ ':>8? ( ) : 1  8? 1 8 8?  : = drag 1 − drag 1 − drag C drag 1 drag 1 . '8? >:( ) ◦ '>8? ( ) ◦ '>8( ) ◦ '>8? ( ) ◦ '8? >:( ) For the second equality we used that drag: 1 drag8? 1 = drag8? 1 drag: 1 again by '>:( ) ◦ ':>8? ( ) '>8? ( ) ◦ '>:( ) the induction hypothesis (3.17). Now observe that '8? > : = ' > : , so the last expression { } { } equals drag: 1 1 drag8 C drag: 1 , finishing the induction step.  (>:( )− ◦ (>8( ) ◦ (>:( )

3.3.2 The final delooping

Our approach is motivated by the following observation about the diagram as in Section 3.0.1:

0 A1 Emb  1," Emb  01," %( \ ) %( \ ) 1 A0 1 ? P1 " := lim E P0 " ( ) ( ) We can use the weak equivalences of fibrations given there to find the homotopy type of the layer F " := fib ? = fib A0 Emb ," U =: 1, namely: 1 1  % 0 01c F ( ) ( ) ( ) ( \ ) ∅ 0 A1 F1 " Emb  1," Emb  01," ( ) %( \ ) %( \ ) ' 0 ' A1 (3.19) Imm 0," Imm  1," Imm  01," %( ) %( \ ) %( \ )

D !0 ,F01 DF01 ' [ ] ' ΩS" P S" S" ∗ Note how the disjointness condition with U is lost in fib A0 in the case of immersions. The 01c ( 1 ) equivalence F1 " Imm 0," ΩS" takes the unit derivative D 5 :  S" of 5 : 0 ↩ " ( )' %( )' → → 36 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS and makes it into a closed loop based at '0, 4 , by concatenating it with the unit derivative of ( ì) any arc Ug 0 , which agrees with U 0 except near endpoints, at which its derivative is 4 instead. −ì Namely, the endpoints of D 5 are !0, 4 and '0, 4 (see Figure 10). ( ì) ( ì) 5

,081 ?0 81 82 = 1 +

B81 82 B82= 1 +  Figure 10. The manifold "81 82 := " B81 82 B82= 1 . An example of Ue 0 is in orange. \ t + = 1 0 We now analogously determine the homotopy type of each F + := fib A = Emb% 0,"0( for ( ( () ( )  possibly empty ( = 81, . . . , 8< =. Namely, recall that "0( := "0 B081 B81 82 B8< = 1 { } ⊆ \ t t · · · t + from Notation4, and consider the space  "( := "0 B81 82 B8< = 1 = "0( B081 . (3.20) \ t · · · t + ∪ We analogously have the composite

= 1  D( : F + = Emb 0,"0( Imm 0,"0( Imm 0,"( Ω S"( (3.21) ( %( ) %( ) %( ) of the inclusions which forget embeddedness and the disjointness between and U , and a 0 0š= 1 + similar derivative map 5 DUg 0 D 5 1 C. To see that D( is a weak equivalence we can simply 7→ ( )·( ) − replace " by "( in the diagram (3.19). This is actually a homotopy equivalence since the spaces are of the homotopy type of , complexes; for an alternative proof see [Kos20], where D( is shown to arise also as a homotopy equivalence for a certain left homotopy inverse of 0. " A( Now observe that we also have maps : : for ∉ as in the proof of Lemma 3.18, ( "(: "( : ( → : since the presence of the index 0 was irrelevant there (note that  : "0 B:= 1 "0 not only ∅ \ + → adds the ball B:= 1, but also deforms "0 by dragging). Similarly as before, this forms an =-cube + " ,  and we let ΩS" , ΩS be the corresponding cube of loops on the unit tangent bundles. ( • ) ( • ) Furthermore, the maps D are clearly compatible with the -maps, D : = : D . (  :( ◦ ;( ( ◦ (

= 1   Theorem 3.19. The map D : F + ,; ∼ ΩS" , ΩS is a homotopy equivalence of cubes. • • −→ • Moreover, this gives a homotopy equivalence

= 1   D : tofib F + ,; ∼ tofib Ω" , Ω . • •

Proof. It remains to show that for any = 1 the map of cubes S " " forgetting the tangent ≥ ( •) → • data is a homotopy equivalence on total homotopy fibres. The rows in the commutative diagram

3 1 S − S " " ( (:) (: S : : ( ( 3 1 S − S "( "( ( ) are fibre bundles, so comparing the vertical homotopy fibres gives hofib S: hofib : .  ( ()' ( () = 1 Remark 3.20. With tangent data now gone, define D( : F + Ω"( using simply Ue 0 := U 0 . ( → Remark 3.21. As mentioned in the introduction, the authors of [BCKS17] use Sinha’s cosimplicial 3 3 3 model "=  := holim Conf0  , % , where Conf0=  is a compactified configuration space of = 3( ) • h i h i 3 points in  together with tangent vectors [Sin09]. To compute F=  they use the cosimplicial ( ) identity s: d: = Id, which precisely says that the codegeneracy s: (forgetting the -th point in the ◦ : configuration) is a strict left inverse for d: (doubling the :-th point). EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 37

Remark 3.22. Actually, the maps D( factor through spaces Ω"0(, giving the following diagram D 0 = 1 (: Ω Ω F(:+ "0(: "(: : : Ω : Ω : Ω : A( ;( ( ( ( D 0 = 1 ( Ω Ω F( + "0( "( in which if either all upward or all downward arrows are omitted, the resulting diagram commutes. By Theorem 3.19 the first and last dashed maps form cubes with homotopy equivalent total fibres.

By Theorem 3.17 there are the cubes Ω"0 , Ω and its =-fold left homotopy inverse Ω"0 , Ω . ( • ) ( • ) However, it is important to point out that there are no -maps between spaces Ω"( which would = 1 : form a cube equivalent to our original cube F + ,A . The reason lies in the fact that the infor- ( ( () mation about the disjointness of 0 with B081 is lost when we pass from "0( to "(. More precisely, there are no maps "( ":( when : is smaller than all indices in (, but otherwise we do have : → :  (and the ℎ C do restrict to "( and also commute with D( by construction). ( (( )

4 Homotopy type of the layers

We now express the homotopy type of F= 1 " in terms of suspensions of the space of loops on + ( ) the iterated product of " with itself. Such computations go back to [GW99, Section 5] for the case when " has the homotopy type of a suspension, and also [BCKS17] for " = 3. However, as mentioned in the introduction, even then, those results do not suffice for our purposes as we need a geometric interpretation of the homotopy classes (see Section 4.2 below): for the discussion in

Section6 it will be crucial to determine the class in 0F= 1 " of a geometrically described point + ( ) G F= 1 " , for 3 = 3. ∈ + ( )

For ( = 81, . . . , 8< = let us denote the wedge of 3 1 -dimensional spheres S8? 8? 1 := %B8? 8? 1 { } ⊆ ( − ) + + (cf. Notation4 and Figure8) by S( := S81 82 S8< = 1. Futher, let " S be the =-cube with ∨ · · · ∨ + ∨ • spaces " S( and maps ∨ : col : " S " S( ( ∨ (: −→ ∨ given by the identity on all wedge factors except on the sphere labelled by :8? 1 which is collapsed + onto the wedge point. Here 8? < : < 8? 1 are the closest neighbouring indices. + Lemma 4.1. For = 1 there is a homotopy equivalence retr : " ,  " S , col. ≥ • • → ∨ •

Proof. Recall that "( := " B( for B( := B81 82 B8< = 1. Take a thin enough neighbourhood = 3 1 \ t · · · t + 3 + : U !1 ,1 D&− " of U containing all balls B89. Then + B( is diffeomorphic to  (, |[ ] × ⊆ \ ( ) and this clearly retracts onto S(: first project vertically onto the ‘collection of beads’ on U (see Figure 10) and then contract U and some arcs on the spheres to get one wedge point at ! . (b 0 Observe that " = " + where " := " + %" %+ is diffeomorphic to ". Thus, we 0 ∪ 0 ( \ ) ∪ ( ∩ ) can define a retraction retr( : "( = " + B( " S( by applying the above retraction on 0 ∪ ( \ ) → 0 ∨ + B( while also gradually contracting %+ %" onto the point !0 %" . \ ∩ 0 ∈ 0 Finally, it is not hard to see that contractions can be chosen so that : commutes with col: . ( ( 

The assumption %" ≠ is essential as the lemma does not hold for closed manifolds. For another ∅ proof see [GW99, Cor. 5.3]. Together with Theorems 3.11 and 3.19 we obtain the following.

Corollary 4.2. There are homotopy equivalences F1 " Ω S" and for = 1 x ( )' ( ) ≥ " = = 1 D = 1 retr = 1 F= 1 " Ω tofib F + ,; Ω + tofib " ,  Ω + tofib " S , col . + ( ) ∼ ( • ) ∼ ( • ) ∼ ( ∨ • ) 38 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Assume = 1 and let us determine the homotopy type of tofib " S , col using some classical ≥ ( ∨ • ) results which we now recall, referring the reader to AppendixB for more details.

1 2 Figure 11. Several values  1 C of the canonical map  1 : S ΩS . S ( ) S →

Let - : - ↩ - . be the natural inclusion and  :  ΩΣ the unit of the loop-suspension → ∨ → adjunction, taking 0  to the loop   0 := , 0 . See Figure 11. Consider the composite ∈ 7→ ∧ [( )]  ΩΣ G :  ΩΣ Ω " Σ . (4.1) ( ∨ ) and the map Ω" : Ω" ↩ Ω " Σ . We form their Samelson product (defined in AppendixB) → ( ∨ ) G, Ω" :  Ω" Ω " Σ , and the wedge sum [ ] ∧ → ( ∨ ) G G, Ω" :   Ω" Ω " Σ ∨ [ ] ∨ ( ∧ ) → ( ∨ ) This is a map to a loop space, so has a unique multiplicative extension ",Σ = G ŸG, Ω" to   ∨ [ ] ΩΣ   Ω" . It maps the loop  C H to  G G, Ω" H C , see (B.6). ∨ ( ∧ ) 7→  ∧  → ∨ [ ] ( )  Lemma 4.3 ([Gra71; Spe71]). For well-pointed spaces " and  there is a fibration sequence Ω ",Σ colΣ ΩΣ  Ω"  Ω" Σ Ω" (4.2) ∨ ( ∧ ) ∨ Ω"

Moreover, this fibration of -spaces has a section Ω", so it is trivial.

1 Now, if we have  = Σ0  0 S for some space 0, and if Ω" denotes the space Ω" with ∧ ( )+ a disjoint basepoint added, then there is a homeomorphism 1 1  Ω"  0 S Ω"  0 S ΣΩ" ∧ ( )+ ∧ ∧ ( )+ ∧ ( ∨ ) 1  0 S 0 ΣΩ"    Ω" (4.3) ( ∧ ) ∨ ( ∧ ) ∨ ( ∧ ) using the associativity and distributivity of the smash product. For 0  and 8 Ω" this map ∈ ∈ is the sum (under the comultiplication   ) of the maps 0 8 0 and 0 8 0 8. → ∨ ∧ 7→ ∧ 7→ ∧ Therefore, for := Ô S3 2 with , we have Ω S ΩΣ Ω where  8 ( 8 − ( = " ( /( " ∈ ⊆ ( ∨ )'( ) × Ü 3 2 Ü 3 2  Ü 3 2 /( := S − Ω"  S − Ω"  Σ − Ω" . 8 ∧ ( )+ 8 ∧ )+ 8 )+ 8 ( 8 ( 8 ( ∈ ∈ ∈ 3 2 In particular, /8 = Σ − Ω" . Now, since ΩΣ/( is a loop space on a wedge of suspensions, the 8 ( )+ Hilton–Milnor Theorem B.2 (a generalisation of Lemma 4.3) applies: there is a weak equivalence

Ö◦ ℎ<( : ΩΣF /8 ∼ ΩΣ/( (4.4) ( ) F B ( ∈ ( ) where B ( is a Hall basis (see Remark B.3) for the free Lie algebra L G8 : 8 ( and the space ( ) 3 2 ( ∈ ) F /8 is the iterated smash product of spaces /8 = Σ − Ω" . Using the associativity again, and ( ) 8 )+ the identity - . = - . , for a Lie word F B ( of length ;F we have + ∧ + ( × )+ ∈ ( ) 2 2 ;F 2 2 Σ3 Ω  Σ;F 3 Ω ∧ Σ;F 3 Ω ;F  Σ;F 3 Ω ;F  F 8 − "  ( − ) "  ( − ) " ×  ( − ) "× . )+ ( )+ ( ) + + Moreover, the Hilton–Milnor map ℎ<( in (4.4) is analogous to ",Σ (see (B.7)): it is the pointwise product of the multiplicative extensions F I8 of the Samelson products according to F B ( of e( ) ∈ ( ) the maps I8 := Ω  : /8 ΩΣ/8 ΩΣ/( similarly to the notation (4.1). ◦ → → EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 39

Theorem 4.4. For each = 1 there is a weak equivalence ≥ Ö  ℎ< ◦ 1 ;F 3 2 ;F  ◦  ΩΣ + ( − ) Ω"× tofib Ω " S , Ωcol , (4.5) • + ( ∨ ) F NB = ∼ ∈ ( ) where NB = B = consists of those words in which every G8 for 8 = appears at least once. ( ) ⊆ ( ) ∈ Therefore, Ö ◦ = 1 1 ;F 3 2 ;F  F= 1 " Ω + Σ + ( − ) Ω"× + ( )' + F NB = ∈ ( )

Proof. By the naturality of equivalences Ω " S( ΩΣ/( Ω" from (4.2) and ℎ<( from ( ∨ )'( ) × (4.4) there is an equivalence of contravariant =-cubes

 Ö  Ω"  ℎ<   Ω ◦ ΩΣ1 ;F 3 2 Ω ;F  : × ◦ Ω  Ω : " + ( − ) "× , proj( " S( , col( . × + ∨ F B ( ∈ ( ) We will show that the total homotopy fibre of the first cube is the desired product over NB = . ( ) The map proj: for : ( is a projection onto the factors corresponding to those words F B ( ( ∈ ∈ ( ) which also belong to B ( : . These are precisely the words in which G: does not appear. ( \ ) 8 For ) ( let ) be the product of factors F B ( in which for each 8 ) the letters G appears ⊆ 1∈ ( ) ∈ at least once. Now, one clearly has hofib proj : 0 01 0 01 and more generally: ( 01 × → )'  Ö◦  tofib 0 ) , proj = . ( = × ' ⊆ ) ( ⊆ This follows by induction using the iterative description of total fibres (see [MV15, Ex. 5.5.5]). 

In Section 4.1 we compute the first non-trivial homotopy group of F= 1 " and describe its gener- + ( ) ators as maps to tofib Ω " S . Then in Section 4.2 we discuss how to transform this into direct ( ∨ •) maps to F= 1 " , along with a strategy for the main proofs in Section6, and some examples. + ( )

4.1 The first non-trivial homotopy group

We will now restate TheoremB as two propositions. Recall from Section 2.1 that the group = = 1 ! 6= Lie1 " =  Z 1" ( − ) is generated by decorated trees Γ Tree1 " = consisting of a tree ( )( ) [( ) ] ∈ ( ) Γ Tree = together with decorations 68 1" for 8 =. ∈ ( ) ∈ ∈ Proposition 4.5. For each = 1 the space tofib Ω" S  is = 3 2 1 -connected and the ≥ ∨ • ( ( − ) − ) first non-trivial homotopy group admits an isomorphism   Lie1 " = = 3 2 tofib Ω " S , ( ) −→ ( − ) ∨ •

Proof. Since Σ: - is : 1 -connected for any -, the group  Σ1 ;F 3 2 - is trivial for : < = 3 2 , ( − ) : + ( − ) ( − ) since ;F =. Hence, by Theorem 4.4 we immediately have that tofib " S is = 3 2 1 - ≥ ( ∨ •) ( ( − ) − ) connected and the first non-trivial homotopy group is  Ê 1 = 3 2 =   2 tofib Ω " S  2 ΩΣ + ( − ) Ω"× = 3 •  = 3 ( − ) ∨ ( − ) + F NB = , ∈ ( ) ;F == Note that this has precisely = 1 ! summands. For : := 1 = 3 2 2 we have ( − ) + ( − ) ≥ : =   : =   =   =   =  : Σ Ω"×  : Σ Ω"×  e0 Ω"× = 0 Ω"× = Z 1" , + + + ( ) by the Hurewicz theorem and a basic homology computation, finishing the proof.  40 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

: =   = Observe that the generator of : Σ Ω"× corresponding to 61, . . . , 6= 1" is repre- : Î + Î (0 )= ∈ ( ) sented by the :-fold suspension Σ 8 of the based map 8 : S Ω"× which picks out = → ( )+ the loop 1 = Ω" , where 68 = 8 1". × · · · × ∈ × [ ] ∈ It remains to determine explicit generators of = 3 2 tofib Ω " S . Recalling from (3.15) that ( − ) ( ∨ •) the map forgetting homotopies induces an injection   forg : = 3 2 tofib Ω " S ↩ = 3 2 Ω " S= . ∗ ( − ) ∨ • → ( − ) ∨ the desired generators are the homotopy classes of the canonical extensions (by null-homotoping its image in all other vertices) to the total fibre of the generating maps of the group on the right. Let us determine those. Unraveling the definitions, the composite

ℎ<= ",S Ö◦  =  ΩΣF Z8 ΩΣ/= Ω " S= ∨ F B = ∼ ∈ ( ) is the pointwise product of the multiplicative extensions of the Samelson products according to

F B ( of the maps  S I8 which can be equivalently written as the composites ∈ ( ) ", 8 ◦   /8 3 2 3 2  ",S8  /8 ΩΣ/8  ΩΣ S − S − Ω" Ω " S( . 8 ∨ 8 ∧ ∨ 3 2 3 2  Under the identification /8  S − S − Ω" from (4.3) this is equal to G8 G8 , Ω" , where 8 ∨ 8 ∧ ( ) ∨ [ ] we use the canonical map (cf. (4.1)) 3 2  G8 : S − Ω " S( (4.6) 8 → ∨ 3 2 and the Samelson product G8 , Ω" . The value of G8 at C S is the loop S C S8 " S( [ ] ì ∈ − 8 (ì) ⊆ ⊆ ∨ (as in Figure 11 for 3 = 3), while G , Ω sends C  S3 2 Ω" to the commutator of the 8 " ì 8 − 1 [ ] ∧ ∈ ∧ loops G8 C and "  : S " ↩ " S( which we simply denote by . (ì) → → ∨ Therefore, the desired generating maps are of the shape

@ Ω = 3 2 b 3 2 3 2  Fe G8 G8 , "  S ( − ) ΩΣF /8  ΩΣF S − S − Ω" ( ∨ [ ]) Ω " S= ( ) 8 ∨ 8 ∧ ∨ (4.7) 1 = 3 2 Î 1 3 2 where we use the adjoint @ of Σ 8 which is for  S and C8 S − given by b + ( − )( ) ∈ ì ∈ 8 1 = 3 2 Î 1 = 3 2 1 = 3 2 = 1 = 3 2  = Σ + ( − ) 8 : S + ( − ) Σ + ( − ) Ω"×  Σ + ( − ) Ω" ∧  ΣF /8 ( ) Û → Û )+ (( Û)+ Û( ) Û  C8  C8 1 =  C8 8  C8 8 ∧ ì 7→ ∧ ì ∧ ( × · · · × ) ≡ ∧ ì ∧ ≡ ∧ ì ∧ 1 8 = 1 8 = 1 8 = 1 8 = F ≤ ≤ ≤ ≤ ≤ ≤ ≤ ≤ Ó Thus, we have @ C8 :=   C8 8, where the wedge is according to the permutation given b(∧ì ) 7→ ∧ F ì ∧ by the word F. Now, by the definition F  C H := F H C of a multiplicative extension in e( 7→  ∧ ) ( )  (B.6), the composite (4.7) is given by     Û  F G8 G8 , Ω" @ C8 =  F G8 G8 , Ω" C8 8 e( ∨ [ ]) b (∧ì ) 7→ ∨ [ ] ì ∧  F  =  F G8 C8 G8 C8 , 8 7→ (ì ) + [ (ì ) ]  Let us now simplify these generating maps.

6= For a decorated tree Γ Tree 1 " = we define in (B.8) the corresponding Samelson product ∈  ( ) 8  = 3 2  Γ G : S ( − ) Ω " S= . (4.8) 8 → ∨ 8 3 2  8 1 where G : S − Ω " S= is defined as the pointwise conjugate C G C := 8 G8 C − . 8 8 → ∨ ì 7→ 8 (ì) · (ì)· 8 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 41

6= Proposition 4.6. The map , : Lie1 " = = 3 2 tofib Ω " S which takes Γ to the ( ) → ( − ) ( ∨ •) canonical extension to the total fibre of the Samelson product Γ 8  is an isomorphism. G8

Proof. We define , on decorated trees as the canonical extensions of (4.8) and then linearly extend to Z Tree 1 " = . Thanks to the graded antisymmetry and Jacobi relations for Samelson products [  ( )] this vanishes on the relations (, - – the check is the same as in the proof of Lemma 2.3 – so , is well-defined. We now show it is surjective.

It is enough to check that any F G8 G8 , 8 is in the image of ,. Using the linearity of Samelson ( + [ ]) Í   products (see AppendixB), this is equal to the sum  = F of Samelson products F according ⊆ to the word F of the maps G8 , 8 for 8 , and G8 for 8 ∉ . Using the homotopy equivalence [ ] ∈ 8 = 3 2 G8 , 8 G8 G : S ( − ) Ω " S= [ ]' − 8 → ( ∨ ) from (B.3) and the linearity of the Samelson bracket once more, each F expands as

 Õ  80 F 1 | 0|F G ' (− ) ( 8 )   0⊆ 80 where 0 = 8 for 8  , and 8 = 1 for 8 ∉  . Now by Lemma B.4 the map F G is homotopic 8 ∈ 0 0 ( 8 ) 80 1 to Γ G for Γ = $− F (see Lemma 2.3), so all generators are in the image of ,. ( 8 ) 2 ( )  The inverse 1 is obtained similarly, by defining 80 Γ6=0 , extending linearly and projecting , − F G8 [1 ( )] 7→ 1 to Lie 1 " = . We then immediately have , , = Id and , , = Id.   ( ) ◦ − − ◦

4.2 The generating maps

= 3 3 At this point it is not yet clear what the generating maps S ( − ) F= 1 " are. It remains to → + ( ) find an explicit inverse of the isomorphism retr D " : = 3 3 F= 1 " = 3 2 tofib Ω " S , ( ◦ ◦ )∗ ( − ) + ( ) → ( − ) ( ∨ •) for the equivalences retr, D and " from Corollary 4.2.

The retraction. At least for retr: tofib Ω" tofib Ω " S this is not hard to do. • → ( ∨ •) 3 2 3 2 Firstly, we can pick an explicit lift <8 : S Ω"= of the map G8 : S Ω " S= : namely, − → − → ( ∨ ) the 3 2 -parameter ‘swing of a lasso’ around the 3-ball B8 ", as in Figure 12 for 3 = 3. Indeed, ( − ) ⊆ using the definition of retr in Lemma 4.1 this family of loops covers the 3 1 -sphere S1 exactly ( − ) once, so retr <8 G8 (cf. Figure 11). ◦ '

 6 6  <1 C < C ( ) 1 ( )

,01 ,01

!0 1 2 !0 1 2 0 0 S1 S1

Figure 12. Both pictures show a part of a 3-manifold " with the basepoint !0. Left: A representative  of 1 ≠ 6 1 " is depicted as a loop around the grey ‘hole in "’, and the 1-parameter family <1 C ∈ ( ) 1  1 ( ) ∈ Ω"1 for several C S is depicted by a gradient of colours. Right: One value < C = <1 C  Ω"1. ∈ 1 ( ) ( ) − ∈ 42 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

1 3 2 Further, <− : S Ω"= can be obtained by reversing orientations of all loops in the family 8 − → or, equivalently, by performing a twist as in Figure 13. Moreover, any 68 1" can be realised 0 ∈ by a loop 8 in " that misses all B1,..., B=, so defines 8 : S Ω"=. Thus, we can define 8 8 3 2 8 → < : S Ω"=, the pointwise conjugate of < by 8, see the same figure. 8 − → 8

6

 <− C 1 ( )

,01

!0 1 2 0 S1

 1 Figure 13. The family <− : S Ω"1. 1 →

Finally, as the target is a loop space, we have their Samelson products (see Figure 14 for = = 2):

8 8 = 3 2 Γ < : S ( − ) Ω"= (4.9) ( 8 ) → Now, since forg : = 3 2 tofib Ω" = 3 2 Ω"= is injective in this setting as well, the generators ∗ ( − ) • → ( − ) of the source group are represented by the extensions of the maps (4.9) to the total fibre using the canonical null-homotopies of <8 – by ‘pulling up’ through the ball B8.

61 62

2 1 < C2 < C1 2 ( ) 1 ( )

,01

!0 1 2 0 3 S1 S2

2 1 1 2 1 2 2 1 1 2 Figure 14. The value of <1 , <2 = <1 , <2 : S Ω"12 at C1,C2 S S = S is the ( 1 ) [ 2 ] → ( ) ∈ ∧ commutator of the depicted loops < C1 and < C2 . 1 ( ) 2 ( )

= 1 The derivative. Consider now D= : F= + Ω"= which closes up 0 ↩ "= into a loop based at → → 3 2 = 1 !0 (the tangent vectors are forgotten, see Remark 3.20). There is an obvious lift !8 : S F − → = + of <8 by ensuring that each <8 C Ω"= is embedded and changing it to an arc from !0 to '0. (ì) ∈ We can also ensure that different !8 for 8 = are mutually disjoint. ∈ 8 3 2 = 1 Furthermore, 8 can be chosen to be embedded in "=, so we may define ! : S F as an 8 − → = + embedded conjugate, by slightly pushing copies of 8 off of each other. See Figure 15 for 3 = 3. EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 43

6 6

 !1 C ! C ( ) 1 ( )

,01 ,01

!0 1 2 !0 1 2 0 0 S1 S1

2  2 1 Figure 15. The 1-parameter families of arcs !1 C F and ! C F for several values of C S . ( ) ∈ 1 1 ( ) ∈ 1 ∈

Similarly, we would need to define Samelson products Γ 8 using some embedded analogue of !8 = 1 ( ) commutators. However, this is not immediate: F= + is not an -space in an obvious way, as concatenation of arcs 0 ↩ "= might result in a non-embedded arc. If this has been done, the → = 1 8 generators of = 3 2 tofib F + ,; would be canonical extensions of Γ ! , again by (3.15). ( − ) ( • ) ( 8 )

The delooping map. If such embedded commutators had been constructed, then the map 1 = = 1 = 1 "− : Ω tofib F + ,; tofib F + ,A would be very easy: it is given as the composition of • • ( ) → ( ) = = 1 = 1 the map forg which forgets all null-homotopies, and the inclusion Ω F= + ↩ tofib F + ,A . → ( • ) We do not, however, pursue defining such embedded commutators directly, as we will not need them. Namely, for 3 = 3 we will in Section5 directly construct points # G H= " using gropes ( ) ∈ ( ) – which can indeed be seen as embedded commutators, see Remark 5.3 – and then prove that = 3 2 = 1 "e= 1 # G : S ( − ) tofib F + ,; are precisely the generators, using the following strategy. + ( ( )) → ( • )

The strategy. Suppose that we want to check whether the homotopy class of a given map = 3 3 6= 5 : S ( − ) F= 1 " corresponds to some class εΓ Lie1 " = under the isomorphism → + ( ) ∈ ( ) 1 , − retrD" : = 3 3 F= " Lie1 " = ( )∗ ( − ) ( ) → ( ) from TheoremB, with ε 1 . By the preceding discussion, this is equivalent to considering ∈ {± } = 3 3 = D" 5 : S ( − ) Ω tofib Ω" ( ) → • = 3 2 and checking that the homotopy class of its adjoint S ( − ) tofib Ω " is the class of the 6 → ( •) canonical extension of εΓ 8 . Actually, we saw that is instead enough to simply check this for <8 ( )  =  = the initial vertex (recall that forgD" 5 = D" 5 = D= " 5 ) ( )  = 8 = 3 2 D= " 5 εΓ < : S ( − ) Ω"= ' ( 8 ) → 8 8 8 = We now claim εΓ < Γ < , for any tuple 8 1 such that 8 = ε. Namely, define ( 8 )' ( 8 ) ∈ {± } 8=1   8 8 := 8 1 <8 C 8 <8 C 8− , (ì) · (ì) · . where 1 is the inverse of the loop Ω . Then 8 8 8 are homotopic maps by <8 C − <8 C "= <8 8 <8 (ì)  (ì) ∈  ' the Eckmann–Hilton argument, and Γ < 8 8 εΓ < 8 by the bilinearity of Samelson products. ( 8 )' ( 8 ) To prove TheoremD in Section6 we will show that for 3 = 3 and 5G = e= 1 # G F= 1 " , the + ( ( )) ∈ + ( ) point coming from a thick grope G: BΓ " on U, we have →  = 8 8 = 3 2 D= " 5G Γ < : S ( − ) Ω"= (4.10) ' ( 8 ) → where 8 , 8 = is the signed decoration of G. ( ) 44 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

The proof will be based on the fact that both # G and Samelson products are constructed induc- ( ) tively. For the former see Section5 and for the latter see Lemma B.5.

6; Furthermore, for the proof of TheoremE we will use that Í# ε Γ = is represented by the following ;=1 ; ; pointwise product – again by the Eckmann–Hilton argument:

; ; 1 1 # # Ö 8 8 = 3 2 8 8 8 8 Γ < : S ( − ) Ω"= , C Γ1 < C Γ# < C . ;( 8 ) → ì 7→ ( 8 )(ì)··· ( 8 )(ì) 1 8 # ≤ ≤ We note that the same strategy should work for appropriate notion of gropes for any 3 4, as ≥ mentioned in Remark 1.10. Let us now illustrate our discussion so far on several examples.

2 Example 4.7 (= = 2). The punctured cube E computing P2 " was displayed in Example 3.1. 2 • ( ) On one hand, F2 " tofib F is the total homotopy fibre of the top square: ( )' ( ( ) 0 2 A1 F Emb  12," Emb  012," 1 1 % % A2 ( \ ) ( \ ) A0 1 2 A02 F Emb%  2," ∅ Emb%  02," ∅ ( \ ) ( \ ) 2 On the other hand, if we complete E with the initial vertex K " := Emb% , " , then the space • ( ) ( ) H1 tofib F( is the total fibre of the bottom square: ' ( ) 0 A1 F1 Emb%  1," Emb%  01," A1 ( \ ) ( \ ) ∅ A0 1 A0 F Emb% , " ∅ Emb%  0," ∅ ( ) ( \ ) and e2 : H1 " F2 " is the obvious upward map (see Section 3.2). ( ) → ( ) Now by Theorem 3.11, we have

1 2 2 " 1 2 2 F2 " hofib A : F F1 Ω hofib ; : F1 F ( )' ∅ ∅ → ∼ ∅ → ∅ 1 1 The map ; corresponds to  : "1 = " B12 "  " which adds back the ball B12 and rescales \ → ∅ using the map∅ drag, see the∅ proof of Lemma 3.18. Next, by Theorem 3.19 the derivative and by Lemma 4.1 the retraction induce equivalences

1 1 D  Ω  retr  Ωcol  Ω hofib Ω"1 ∅ Ω" Ω hofib Ω " S1 ∅ Ω" ∼ −−−→ ∅ ∼ ( ∨ ) −−−−→

1 Finally, hofib Ωcol Ω S1 S1 Ω" by the Grey-Spencer Lemma 4.3, so we have ( ∅)' ( ∨ ( ∧ )) 1 1 1 3 3F2 "  3 2 hofib ;  3 2 hofib Ω  3 2 hofib Ωcol − ( ) − ( ∅ ) − ( ∅) − ( ∅)  3 2Ω S1 S1 Ω" − ( ∨ ( ∧ ))) 3 1  3 1   3 1S − 3 1 Σ − Ω" − ⊕ − 1  Ê  ,−  Z G1 Z G1, 6 Lie 1 " 1  Z 1" ⊕ [ ] −−−→  ( ) [ ] 1≠6 1 " ∈ 1 1 1 1 1 1 1 1 61 1 61 using the isomorphism , G1 = ,, G1, 61 = , G1 , G = . − − [ ] − − − 1 − 1 6 1 The generators for hofib Ωcol are the canonical extensions of G1 and G1 , while for hofib Ω they ( ∅)  1 ( ∅) are the extensions of <1 and <1 . See Figure 12. The generators for hofib ; are the extensions   3 2 (2 ∅ ) 1 of !1 and !1 (Figure 15). For example, the extension of !1 : S − F1 to hofib ; uses the 1  → ( ∅ ) family of obvious null-homotopies of ; !1 across the 3-ball B1. ∅ ( ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 45

3 3 Example 4.8 (= = 3). For the punctured 4-cube E , we can draw its top subcube E 3: • •∪ 3 F Emb  123," Emb  0123," 12 %( \ ) %( \ )

3 F Emb  23," Emb  023," 2 %( \ ) %( \ )

3 F Emb  13," Emb  013," 1 %( \ ) %( \ )

3 F Emb%  3," Emb%  03," ∅ ( \ ) ( \ ) where the dashed arrows are fibres. We apply Theorems 3.11 and 3.19 to get homotopy equivalences

3 3 3 3 © F1 F12 ª © F1 F12 ª © Ω"1 Ω"12 ª ­ ® " 2 ­ ® D 2 ­ ® F3 " = tofib ­ ® Ω tofib ­ ® Ω tofib ­ ® ( ) ­ ® −→ ­ ® −→ ­ ® ­ ® ­ ® ­ ® ­ 3 3 ® ­ 3 3 ® Ω Ω F F2 F F2 " "2 « ∅ ¬ « ∅ ¬ « ¬

© Ω " S1 Ω " S1 S2 ª retr ( ∨ ) ( ∨ ∨ ) Ö 2 ­ ® 2 ◦ 1 ;F 3 2 ;F Ω tofib ­ ® Ω ΩΣ + ( − ) Ω"× −−→ ­ ® ' ( )+ ­ ® F NB 1,2 Ω" Ω " S2 ∈ ({ }) « ( ∨ ) ¬

Hence, the first non-trivial homotopy group is Lie 1 " 2 in degree 2 3 2 , and for the last total  ( ) ( − ) fibre in the first row the generating maps are the canonical extensions of the maps

2 1 2 1 61 62 61 62 1 © 62 61 ª   forg retr − , = <1 , <2 = <1 , <2 2Ω"12. (4.11) ( )∗ ­ ® ( ) ∈ « ¬ 2 1

62 61 Example 4.9 (Sketch of the proof of TheoremD for = = 3). Assume t2 G = for a thick ( ) grope G in a 3-manifold ", using the underling forest map from Proposition 5.8. The construction in Section 5.3 produces the point

G 1 G 12 © Ψ { } Ψ { } ª ­ (−) 0 (−) 0 ® e3# G = ­ ® F3 " ( ) ­ ® ∈ ( ) G 2 ­ G 0⊥ Ψ { } ® 0 0 « ( ) (−) ¬ and so we obtain a class forg D"e3# G 2Ω"12. Then TheoremD asserts that this class ( ( )) ∈ agrees with (4.11). One can visualise this by comparing Figure 14 with Figure 21.

12 A close look at the definition of " implies that "e3# G { } is obtained from the square-family of G 12 ( ( )) loops Ψ { } by ‘reflections relative to the balls B1 and B2’, see Proposition A.6. (−) 0 G 12 2 3 In Lemma 6.2 we will show that D12Ψ { } :  F Ω"12 is homotopic to the commu- (−) 0 → 12 → tator of certain loops corresponding to degree 1 gropes out of which G is built (the two caps of G). 1 2 2 On the other hand, the Samelson product < , < : S Ω"12 is also defined inductively in [ 1 2 ] → terms of commutators. Hence, we will be able finish the proof by induction. 46 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

5 Gropes and punctured knots

Throughout this section " is an oriented 3-manifold with non-empty boundary. In 5.1 we define grope cobordisms and their modifications, and in 5.2 we prove TheoremC.

5.1 Grope cobordisms, thick gropes and grope forests

5.1.1 Abstract gropes

For a finite non-empty set ( we defined the set of (rooted vertex-oriented uni-trivalent) trees Tree ( ( ) in Definition 2.1. Now we define certain 2-complexes modelled on such trees.

Definition 5.1. A punctured torus ) is a genus one compact oriented surface with one boundary component %), see Figure 16. We fix an oriented subarc 00 %) and view ) as the plumbing of ⊆ two ordered bands 11 and 12. The core curve j 1j is oriented for j = 1 2 in the same (opposite) ⊆ ( ) 1 1 manner as the component of %1j which contains a part of 00 (so %) 1, 2 = 12− − ). '[ ] 1 2 An abstract (capped) grope Γ modelled on Γ Tree ( is a 2-complex with boundary %Γ = 00 0⊥ ∈ ( ) ∪ 0 built inductively on ( as follows. | | 8 For ( = 8 the only tree is Γ = and we let Γ simply be an oriented disk, the 8-th cap, with − { } a chosen oriented subarc 00 of the boundary. For ( 2 any tree Γ Tree ( is obtained by grafting two trees of lower degrees − | | ≥ ∈ ( ) Γ2 Γ1

Γ = , Γj Tree (j ,(1 (2 = (. ∈ ( ) t

Thus, abstract gropes Γ1 and Γ2 are defined by the induction hypothesis. Let Γ be the result of attaching both of them to a single punctured torus ), called the bottom stage of Γ, via orientation-preserving homeomorphisms %Γ  j ), for j = 1, 2. Moreover, let %Γ := %) j ⊆ be the boundary of the bottom stage and 00 %Γ the corresponding oriented subarc of %). ⊆

00

00⊥ 2 1

00 Figure 16. The model of a punctured torus as the plumbing of two bands.

Note that Γ has precisely ( caps (this is its degree), labelled bijectively by (. By a stage of a | | grope we mean any of the punctured tori or caps it contains; each stage of a grope is an oriented surface. Observe that a thickening of the 2-complex Γ, that is, the union of products of all stages with an interval, is homeomorphic to B3 (see also Figures 22 and 24). Abstract gropes are just combinatorial objects: there is a 1–1 correspondence between them and rooted trees. In fact, the tree Γ on which Γ was modelled can be seen as its subset Γ Γ, called ⊆ the underlying tree of Γ, using the following construction (equivalent [CST07, Def. 16 & Sec. 3.4]).

The root of Γ is the initial point of 00 %Γ, and each trivalent vertex of Γ is the intersection ∗ ⊆ point 1 2 in the corresponding grope stage. The leaves of Γ are the centres of caps. Finally, ∩ EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 47

%Γ2 = 2 1 = %Γ1

00 ∗ Figure 17. The underlying tree is obtained by gluing the light blue arcs for each stage. the edges are obtained at each stage as in Figure 17, and are cyclically ordered using the order

1, 2 , which agrees with the corresponding vertex orientation in Γ. ( ) 5.1.2 Grope cobordisms

Grope cobordisms are particular embeddings of abstract gropes into a 3-manifold ".

Definition 5.2. Let K " and Γ Tree ( for a finite nonempty set ( N.A (simple ∈ ( ) 16 ∈ ( ) ⊆ capped genus one) grope cobordism on modelled on Γ is is an embedding G: Γ " into the → complement of except that:

G 00 0 and the orientations of these arcs agree; − ( ) ⊆ ( ) for each 8 (, the 8-th cap intersects :=  0 transversely in exactly one point ?8 , − ∈ b0 ( \ ) ∈ b0 which is the centre of the cap and which belongs to 8 . ( ) ⊆ b0 We see G as a cobordism between and the output knot % G := G 0⊥ , smoothened at the ⊥ b0 ∪ ( 0 ) corners and oriented compatibly with the orientation of . For examples see Figures 18, 19 and 21. b0

Remark 5.3. Note that the arc G 0⊥ is oriented oppositely in % G than as a subset of G, as ( 0 ) ⊥ usual for oriented cobordisms. The crucial observation is that G 0⊥ is an ‘embedded commutator’ ( 0 ) of the curves G 1 and G 2 , as for the Borromean link, see Figure 19 and [Tei02; Tei04]. ( ) ( ) 5.1.3 The underlying decorated tree

We now extend the underlying tree Γ Tree ( of a grope cobordism G: Γ " on a knot to ∈ ( ) → a 1 " -decorated tree (such trees were defined in Definition 2.4). ( ) Definition 5.4. Let ⊥ :  " be the path from !0 to ?8 obtained as the image under G of 8 → ( ) the unique path in the tree Γ Γ from the root to its 8-th leaf. Let ?8 , !0 be the image of ⊆ [ ( )] between ?8 8 G Γ and !0 (see Figures 18, 19, 21). ∈ ( ) ∩ ( ) ( ) Then we have a loop in " given by

8 := ⊥ ?8 , !0 8 ∪ [ ( )] Let 8 := sgn ?8 be the sign of the intersection of 8 and the 8-th cap of G. The tuple ( ) ∈ {±} ( ) 8 , 8 8 ( is called the signed decoration of G. ( ) ∈ Lastly, the underlying decorated tree of is εΓ6( Tree , where ε := = and G Z 1 " ( 8=1 8 6( G ( ∈ [ ( )( )] ( ) ∈ 1" , the tuple of classes 68 = 8 1". ( ) [ ] ∈ . In other words, 8 is obtained by gluing two different paths from !0 to ?8: the obvious one ( ) along , and the one that goes ‘through the grope’, following G Γ G Γ ". ( ) ⊆ ( ) ⊆ 16 Non-simple, non-capped and higher genus gropes are also considered in the literature, but will not be needed in our discussion. However, grope forests defined below in Definition 5.6 are related to higher genus grope cobordisms. 48 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

61

61 G 0 ( 0⊥)

1 ?1 G 00 0 1 !0 ( ) ⊆ ( ) Figure 18. Two grope cobordisms of degree 1 on :  ↩ " (the horizontal line). In both cases % G → ⊥ is the union of black and red arcs; the left one is contained in 3 " and is isotopic to the trefoil. The ⊆ signed decorations are respectively ε G = 1 = 1 and 1 61 = 1 1 ". ( ) − + [ ] ∈

0 1 2 2 1 3 Figure 19. A grope cobordism G: Γ  on = U with the underlying tree G depicted in light → ( ) blue. The knot % G is the union of U and the long black arc G 0 , which is the commutator of G  , ⊥ b0 ( 0⊥) ( 8 ) the meridian of the arc for 8 = 1, 2. The signs are 1 = 1, 2 = 1. ( 8 ) + −

Figure 20. Left: The knot %⊥G from Figure 19. Right: ‘Swinging’ the bands of %⊥G is an isotopy which introduces twists into the bands giving a projection of the right-handed trefoil, cf. Example 2.25.

61 62

0 1 2 2 1 6 6 Figure 21. A grope cobordism G in a manifold " whose underlying decorated tree is 2 1 , since 3 1 = 2 = 1. If " =  and is the unknot, then % G is the figure eight knot. + ⊥ EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 49

5.1.4 Thick gropes

Let us observe that a regular neighbourhood of a grope cobordism G is diffeomorphic to a 3-ball G: B3 ↩ ", since inductively we are just thickening the punctured torus and attaching cancelling → 3-dimensional 2-handles, see Figure 22. This 3-ball G intersects the knot in the neighbourhood 3 3 G 08 8 of the intersection points ?8 8 , for some arcs 08 B with 08 %B = %08, 1 8 =. ( ) ⊆ ∈ ( ) ⊆ ∩ ≤ ≤ It is convenient to fix a choice of such a neighbourhood G as follows; we pick some  > 0.

Figure 22. The plumbing of the blue ball BΓ1 and the orange ball BΓ2 .

Definition 5.5. A thick grope on K " modelled on a tree Γ Tree ( is an embedding ∈ ( ) ∈ ( ) G: BΓ ↩ " → which does not intersect except that G 08 8 for certain arcs 08 BΓ, 8 0 (. Here the 3 ( ) ⊆ ( ) ⊆ ∈ { } t model ball BΓ  B , its set of arcs and a subset Γ BΓ are defined inductively on ( as follows. 8 ⊆ | | 2 For the induction base, we have 2 = and we define B2 := 2   D  and 2 := 2 0 . × × × { } The arc 08 is defined as the core 0, 0  and the arc 00 is the distinguished subarc of %2. ( ) × Γ2 Γ1

For Γ = define BΓ as the plumbing of the already defined model balls BΓ1 and BΓ2 along the respective squares 00 ,  %BΓj (by first swapping the two coordinates, as usual). Let 08 8 ( × [− ] ⊆ { } ∈ be the disjoint union of the sets of arcs for BΓ1 and BΓ2 .

Define the abstract grope Γ BΓ as the plumbing of the bands %Γ ,  %BΓ along the ⊆ j × [− ] ⊆ j squares 00 ,  . Finally, let 00 for BΓ be the distinguished arc in %Γ as in Definition 5.1. × [− ]

Note that G := G Γ is a grope cobordism on in the sense of Definition 5.2. We can thus also | define an underlying decorated tree ε G Γ6 G of a thick grope as in Definition 5.4. Moreover, ( ) ( ) we define the output of G as the knot % G := % G = G 0⊥ , see Definition 5.1 and 5.2. ⊥ ⊥( ) b0 ∪ ( 0 ) Conversely, for a given grope cobordism G and a choice of its regular neighbourhood, there is a unique thick grope G whose image is precisely that neighbourhood and G Γ = G. | 5.1.5 Grope forests

Recall from Theorem 2.11 that two knots are =-equivalent if there exist a sequence of grope cobordisms between them. An analogue in our setting is a disjoint collection of thick gropes.

Definition 5.6. A grope forest of degree = and cardinality # 1 on a knot is a map ≥ Ä# Ä# F := G : BΓ ↩ " ; ; → ;=1 ;=1 such that G : BΓ ↩ " are mutually disjoint thick gropes on modelled on Γ Tree = , and ; ; → ; ∈ ( ) whose arcs G 00 0 appear in 0 in the decreasing order of their indices # ; 1. ;( ) ⊆ ( ) ( ) ≥ ≥ The output knot % F is obtained from by replacing each interval G 00 by the arc G 0⊥ (the ⊥ ;( ) ( 0 ) order in which replacements are done is irrelevant by the disjointness assumption). 50 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Note that for a fixed 8 = we allow an arbitrary order of intersections of 8 with the 8-th caps of ∈ ( ) different gropes, see Figure 23 for an example with cap G1 < cap G2 , but cap G2 < cap G1 . 1( ) 1( ) 2( ) 2( )

G2

G1

0 1 2

Figure 23. A grope forest F = G1 G2 of degree 2 is a thickening of the depicted 2-complex. t

Grope forests are suitable for defining ‘spaces of gropes’ in a straightforward manner.

Definition 5.7. Fix K " . The space of thick gropes on modelled on Γ Tree = is the ∈ ( )3 ∈ ( ) subspace Emb BΓ," Emb B ," of those embeddings satisfying conditions of Definition 5.5. ( ) ⊆ ( ) Ã# Ã 3 Similarly, for # 1 define Emb BΓ ," Emb B ," to be the space of grope forests ≥ ( ;=1 ; ) ⊆ ( # ) of cardinality # on modelled on Γ1,..., Γ# and let ( ) ! Ä Ä# # = Grop= "; : Emb BΓ; ," . ( ) # Γ1 ,...,Γ Tree = ;=1 ( # )∈ ( ) In particular, Grop1 "; is the space of thick gropes on . Finally, define the space of all grope =( ) forests on as the disjoint union Ä Grop "; := Grop# "; . =( ) = ( ) # 1 ≥ Proposition 5.8. There is a surjection of sets

t: 0Grop "; Z Tree 1 " = , =( ) [  ( )] Ã# Ã# Í# 6 G; which sends a grope forest G : BΓ ↩ " to the linear combination ε G Γ ( ). ;=1 ; ;=1 ; → ;=1 ( ;)· ; Proof. To prove that this map is well-defined, first consider # = 1. For a fixed tree Γ the only allowed isotopies of thick gropes modelled on Γ – that is, paths in the space Emb BΓ," – are ( ) those isotopies of the 3-ball BΓ which preserve the property that each special arc 08 BΓ is mapped 6 G; ⊆ into 8 . Such an isotopy cannot change the homotopy classes 68 G , so Γ ( ) is an invariant. ( ) ( ;) ; Similarly, the sign 8 G as defined in Section 5.1.3 is positive if and only if the orientation G 08 ( ;) ;( ) agrees with the orientation of . This is preserved during an isotopy. An analogous argument applies to grope forests # 1, considering one thick grope at a time. ≥ ; For the surjectivity, let Í# ε;Γ6 be a linear combination of decorated trees, ε; 1 . Any ;=1 ; ; = ; ∈ {± } 6 1" can be represented by a tuple of disjointly embedded loops  ". Thus, there is a = ∈ ( ) 8 ⊆ map Γ; " which embeds the edges mutually disjointly, maps the 8-th leaf to a point ?8 8 → ∈ ( ;) and has the associated path (from !0 to ?8 along Γ and then back along ) isotopic to  . ( ) 8 Thicken this to a ball to get a thick grope G , introducing a twist to one cap if ε; = 1. ; − This can be done so that G; are mutually disjoint (as they are neighbourhoods of 1-complexes), and that the order G 00 is decreasing with ;, so this defines a desired grope forest.  ;( ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 51

5.2 Gropes give paths in the Taylor tower

Let G be a thick grope in " on a knot modelled on Γ Tree = . According to TheoremC there ∈ ( ) is a path in P= " between the evaluation of the output knot and of the original knot ( ) G Ψ : ev= %⊥G ev= . ( ) ( ) In this section we prove this based on ideas from [KST], and also show there is a continuous map 1 G # : Grop ";U H= " , # G = %⊥G, Ψ . (5.1) =( ) → ( ) ( ) ( ) We reformulate the theorem as the following proposition.

Recall that 5 P " := holim E is given as a collection 5 ( : Δ( Emb  ," for ( = , = • % ( ∈ ( ) ( = → ( \ ) ⊆ [ ] which is compatible under inclusions ( : Δ ↩ Δ , see Section 2.4. Recall also that 0 denotes → the restriction of an arc to 0 , while denotes the restriction to  (. ⊆ (b \ Proposition 5.9. For G as above there is a continuous map

G =  G G = P : Δ Map 0, 1 , Emb 0," , P 0 = %⊥G 0 , P 1 = 0 , D Δ % [ ] %( ) D ( ) ( ) D ( ) ∀ ∈ G which gives a well-defined map Ψ : 0, 1 P= " taking  0, 1 to [ ] → ( ) ∈ [ ] ( , if 0 (, G ( ( (b Ψ  : Δ Emb  ( ," , C ∈ (5.2) ( ) → %( \ ) ì 7→ PG  , if 0 ∉ (. 0c(  C ∪ ((ì)( ) 2 Let us outline the proof. Let Emb% D , BΓ denote the space of embeddings of disks in the model ball 2 ( ) with the boundary condition %D = %Γ. Firstly, in Proposition 5.12 we construct a family of disks = 2  )Γ : Δ Emb% D , BΓ satisfying certain condition (5.4). Then we choose a homeomorphism −→ 2 2 0, 1 0 D . This gives an isotopy 9 : 0 ↩ D ,  0, 1 , relative to the endpoints from one [ ] × →  → ∈ [ ] half of the boundary circle to the other across D2. Finally, for D Δ=,  0, 1 we define ∈ ∈ [ ] G 9 2 )Γ D G P  02>;>= 0 D ( ) BΓ ". (5.3) D ( ) We will finish the proof by checking that ΨG is well-defined thanks to conditions (5.4). The continuity of (5.1) follows as well, since the space Grop1 ";U of thick gropes of degree = on U =( ) from Definition 5.7 was given the subspace topology Grop1 ";U Emb B3," . =( ) ⊆ ( ) 5.2.1 The symmetric surgery

1 Let us first construct a 1-parameter family of disks DD BΓ, D Δ , for Γ an abstract grope ⊆ ∈ modelled on the unique tree of degree = = 2 (Figure 24). This consists of a punctured torus (yellow) and two caps bounded by its core curves 1 (blue) and 2 (orange).

2 1 Figure 24. The abstract grope modelled on .

There is a classical construction of ambient surgery on a punctured torus ) ", using an em- ⊆ bedded disk  whose interior is disjoint from ) and with boundary a simple closed curve on ). 52 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Namely, we take out a neighbourhood of the curve % ) and glue to the newly created boundary ⊆ two parallel copies of , so that ) is turned into an embedded disk. Hence, when our abstract grope of degree 2 is embedded as a grope cobordism we can do two different ambient surgeries on it: on the first (respectively second) cap as depicted in the leftmost (rightmost) part of Figure 25. Note that the thick grope specifies concrete push-offs of caps.

Figure 25. Left: The resulting disk D1 after the surgery along the cap 1 on Γ from Figure 24. Middle: The result of the symmetric surgery on Γ. Right: The result D2 of the surgery along the cap 2 on Γ.

In addition, one can do both surgeries at once, called the symmetric surgery (or contraction), as depicted in the middle part of Figure 25. The following lemma says that there actually exists a whole 1-parameter family of disks containing the three disks we have described.

2 1 2 Lemma 5.10 (Symmetric Isotopy). For Γ = there is an isotopy )Γ : 0, 1 Emb D , BΓ [ ] → %( ) such that DC for C 0, 1 is the surgery on Γ using the cap labelled by 1 C. ∈ { } + 1 2 Proof. Recall that BΓ is the model ball obtained by plumbing together B and B . We now specify an isotopy from D1 BΓ to D2 BΓ, which passes through the symmetric surgery, using Figure 25 ⊆ ⊆ as an accurate model of these disks. 2 First isotope the interior of the blue band of D1 by pushing it across the interior of the ball B , 1 until we arrive at the symmetric surgery. In more detail, as C increases from 0 to 2 we let the blue band ‘stick more and more to the bottom and top orange disks’, as shown in Figure 26, so that 1 when C = 2 the band has transformed into the union of the two orange disks and the yellow region.

1 Figure 26. Disk DC for some C 0, . ∈ [ 2 ] The two ‘sticking curves’ (inside of the two orange disks, copies of the cap 2) are specified by an 2 isotopy 9 : 0 ↩ D which we fixed at the beginning of this section (also, smoothen the corners).  → 1 Symmetrically, for increasing C 1 , 1 the isotopy uses the ball B to stretch the distinguished ∈ [ 2 ] yellow region of the symmetric surgery, using the sticking curves on the blue disks as a guide, until reaching the position of the orange band for C = 1.  Remark 5.11. It is precisely this isotopy that is a crucial ingredient for the connection between the geometric calculus and the Taylor tower. To construct paths in P= " using claspers instead, ( ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 53 it would be necessary to fix a 1-parameter family of homotopies of Borromean rings whenever one component is erased, but for trees of higher degrees these homotopies will increase in complexity. Instead, gropes precisely keep track of all necessary homotopies in a canonical way, missing in the clasper picture. Moreover, we will use our exact choice of the isotopy in the crucial Lemma 6.2.

5.2.2 Families of disks

We now generalise the Symmetric Isotopy Lemma 5.10 to trees of any degree = 2. We view Δ( ≥ as the simplicial set obtained by barycentric subdivision from the standard simplex with the vertex set ( (see Figure5).

Proposition 5.12. Let a finite set ( ≠ and a tree Γ Tree ( there is a continuous map ∅ ∈ ( ) ( 2  )Γ : Δ Emb D , BΓ −→ % describing a family DD := im )Γ D BΓ of neatly embedded disks in the model ball such that ( ) ⊆ 8 ( int DD t 08 ≠ = 8 D (5.4) (∀ ∈ ) ( ) ∅ ⇒ ∈ | | ( where D Δ denotes the top dimensional simplex to which D belongs and D its set of vertices. ⊆ | |

8 Proof. We prove this by induction on ( . For ( = 1 we have Γ = and Δ( = Δ0 = 8 , so we | | | | | | { } need to construct only one disk D8 BΓ whose boundary is the boundary of the grope and such ⊂ that int D8 t 01 ≠ . Clearly, we can just let D8 := Γ, since in this case the abstract grope is ( ) ∅ itself a disk, intersecting 01 in one point. Assume that we have defined the desired family for any tree of degree < : for some : 2, and ≥ consider ( with ( = : and a tree Γ Tree ( such that | | ∈ ( ) Γ2 Γ1

Γ = , Γj Tree (j ,( = (1 (2. ∈ ( ) t ( ( (1 (2 Pick D Δ and let us define DD BΓ, using the identification Δ  Δ ★ Δ , the join of two ∈ ⊆ simplices. Thus, D is given as a linear combination

(j D = 1 C D1 CD2,C 0, 1 ,Dj Δ . ( − ) + ∈ [ ] ∈ The ball BΓ is by definition the plumbing of the balls BΓ for j = 1, 2, and since 1 (j ( 1, j ≤ | | ≤ | | − by induction hypothesis we have maps )Γj satisfying (5.4). In particular, we have disks DDj BΓj . ⊆

Let us pick some neat tubular neighbourhoods DDj BΓj , so that % DDj %BΓ = %Γj ,  . ⊆ ( ) ∩ × [− ] Then we can plumb DD1 and DD2 together along 00 ,  and get a ball B BΓ such that × [− ] ⊆ Γ B. Now by Lemma 5.10 there is an isotopy inside of B from the disk obtained by surgery on ⊆ Γ along DD1 to the disk obtained by surgery on Γ along DD2 .

Let DD be the time C of that isotopy. Clearly %DD = %Γ. Let us show that the property (5.4) holds. Since DD is contained in B, which is a sufficiently small neighbourhood of the disks DD1 and

DD2 , it will intersect an arc 08 only if one of those disks did. Hence, by the induction hypothesis 8 belongs either to D1 or D2 , but D = D1 D2 by the definition of the join.  | | | | | | | | t | |

In particular, for = = 2 we have D = 1 C 2C = 1 C and so DD = D1 C is precisely the isotopy from ( − )+ + + Lemma 5.10. Note how for an abstract grope of degree = each torus stage gives one independent parameter for the family, so there are = 1 parameters in total (remember that Δ= = Δ= 1). − | | − 54 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

5.2.3 The end of the proof: isotopies across disks

Proof of Proposition 5.9. As announced in (5.3) at the beginning of the section, we use the isotopy of the previous proposition for ( = = and the given thick grope to define for D Δ= and  0, 1 ∈ ∈ [ ] G 9 ) D G P  : 0 D ( ) BΓ ". D ( ) G G = We clearly have P 0 = % G 0 = G 0⊥ and P 1 = 0 = G 00 for all D Δ . We claim D ( ) ( ⊥ ) ( 0 ) D ( ) ( ) ∈ that thanks to the condition (5.4), the map ΨG as defined in (5.2) is well-defined, that is G ( Ψ  C Emb  ( ," . ( ) (ì) ∈ %( \ ) This is clear for ( = such that 0 (, since we then constantly have the punctured unknot U . ⊆ [ ] ∈ (b On the other hand, for 0 ∉ ( we need to check that for each C Δ( and  0, 1 we have ì ∈ ∈ [ ] PG  = D ( ) ∩ 0c( ∅ where D := ( C . Equivalently, if the interior of G DD intersects some 8 , then 8 (. Indeed, (ì) ( ) ( ) ∈ if intG DD 8 ≠ , then we must have int DD 08 ≠ , since G is an embedding. But then ( ) ∩ ( ) ∅ ( ) ∩ ∅ ( (5.4) implies that 8 D . As D is obtained by inclusion from the face Δ , the maximal simplex ∈ | | ( that contains it must be contained in Δ . Hence, 8 D (.  ∈ | | ⊆

5.3 Grope forests give points in the layers

5.3.1 The extension of TheoremC to grope forests

F Proposition 5.13. For a grope forest F of degree = on there exists a path Ψ : 0, 1 P= " [ ] → ( ) from ev= % F to ev= . Moreover, this defines a map on the space of all grope forests ( ⊥ ) # : Grop ";U H= " =( ) → ( ) which extends the map # from the space of thick gropes Grop1 ";U Grop ";U . =( ) ⊆ =( )

Ã# Ã# Proof. If F = G : BΓ ↩ ", then each G can be viewed as a thick grope on . Indeed, ;=1 ; ;=1 ; → ; it has G 00 0 and the conditions for all the arcs 08, 8 =, are satisfied. ;( ) ⊆ ∈ G Therefore, by TheoremC we have a path Ψ ; in P= " from ev= %⊥G; to ev= , which was G; ( ) ( ) constructed in Proposition 5.9 using the arcs P  : 0 ↩ " . For a fixed  0, 1 and D ( ) → \ 0c( ∈ [ ] ( = these arcs are pairwise disjoint for varying ; = 1,...,#, because of the mutual disjointness ⊆ of G;. Hence, we can concatenate them to get an arc

F ( G1 ( G2 ( G# ( Ψ  := Ψ  Ψ  Ψ  Emb 0," . ( ) 0 ( ) 0 · ( ) 0 ··· ( ) 0 ∈ ( \ 0c() We then define ΨF analogously to the definition of ΨG in (5.2), by letting F ( ( F ( Ψ  : Δ Emb%  ( ," , C Ψ  . (5.5) ( ) → ( \ ) ì 7→ 0c( ∪ ( ) 0 for  0, 1 and ( = . As in the proof of Proposition 5.9, this is indeed a path ev= %⊥F ev= . ∈ [ ] ⊂ [ ] ( ) F Finally, for := U we let # F := U, Ψ H= " . ( ) ( ) ∈ ( ) To see that this is a continuous map on the space of grope forests, note that moving within a com- ponent in that space preserves the order of roots of thick gropes, so arcs always get concatenated in the same order. Since the topology is given as the subspace topology of the space Emb à B3," , ( # ) small deformations of grope forests lead to small deformations of each of the arcs, keeping them disjoint.  EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 55

Remark 5.14. A perhaps more obvious choice for ΨF would simply be

G1 G2 G# Ψ Ψ Ψ :  P= " , · ··· → ( ) the concatenation of the paths in P= " . ( ) This will actually give an equivalent point e= #F F= " , essentially because F= " is an it- ( ) ∈ ( ) ( ) erated loop space and – while our definition was concatenation in the 0-direction, this definition corresponds to the concatenation in the ‘diagonal’ Ω= direction. However, our choice will make the proof of TheoremE straightforward.

= We omit the proof, only indicating that the two choices D"e= #F Ω tofib " ,  can be com- ( ) ∈ ( • ) pared using the description of "e= #F in terms of the ℎ-reflections of Proposition A.6. Note ( ) that this discussion implies that concatenation of thick gropes into a grope forest can be seen as a partially defined -space or 1 structure on the space H= " . ( ) Example 5.15 (degree 1). We now demonstrate the map Ψ on an example in the lowest degree. 1 A grope cobordism G on modelled on Γ = is simply a disk (see Figure 18 for examples) guiding a crossing change homotopy  from 0 = %⊥G to 1 = . The corresponding thick grope G is a tubular neighbourhood of this disk. 1 6 Its underlying decorated tree is for some element 6 1 " . The disk family in this case consists ∈ ( )G 0  of a single disk D BΓ and G D = G ". The map P : Δ Map 0, 1 , Emb 0," ⊆ ( ) ⊆ → % [ ] %( ) swings the arc G 0 across G D to . Note that the path through immersions G  is 0⊥ 0 b0 P ( ) ( )ΨG = 1 ∪ ( ) precisely ,  0, 1 . The path : 0, 1 P1 " holimP 1 E is hence given by ∈ [ ] [ ] → ( ) [ ] • G 0 0 Ψ  { } : Δ Emb  0," ,?C ( ) → ( \ ) 7→ b0 G 1 0 Ψ  { } : Δ Emb  1," ,?C ( ) → ( \ ) 7→ ( )b1 G 01 1 1 Ψ  { } : Δ Emb  01," ,C , C Δ ( ) → ( \ ) 7→ 01c ∀ ∈ G 1 0 Only Ψ : Δ Emb  1," is not constant with  0, 1 . It is the isotopy between (−){ } → %( \ ) ∈ [ ] % G and – the crossing change homotopy, now unobstructed since 1 is gone. See also ( ⊥ )b1 b1 Figure 27 below for the corresponding points # G H1 " and e2# G F2 " . ( ) ∈ ( ) ( ) ∈ ( )

5.3.2 Grope forests give points in the layers

G Given a thick grope G Grop ";U we obtain a point # G := % G, Ψ H= " . ∈ =( ) ( ) ( ⊥ ) ∈ ( ) Since H= " := hofib ev=  tofib( = E( , in the latter coordinates this is given by ( ) ( ) ⊆[ ]( )  0 %⊥G   E , ( = # G ( = ∅ ∅ ( ΨG ( ( )  ( h 10A (   C Δ (−) E( , ≠ ( =  ( ) ∅ ⊆ where h• is the homeomorphism of cubes from (2.13), needed for the translation from the definition of a total fibre as a homotopy fibre to its description in terms of maps of cubes.

In Section 3.2 we also saw that tofib( = E( is homotopy equivalent to its subspace tofib( = F(. ⊆[ ] ⊆

5.16 # G lies in the subspace tofib and in the coordinates Emb 0," U Lemma . F( F(  % 0c( ( ) ( ( ) ( \ ) it is given simply by restricting # G to 0 . ( ) ⊆ 56 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

( ( Proof. It is enough to check that for ( = 1 with ( 0 the map # G :  E( is constantly ⊆ [ − ] 3( ( ) ( → equal to U (since then the only non trivial part of # G for ( ∌ 0 is # G 0 ). However, this is (b ( ) ( ) | clear from # G ( := ΨG ( h( and the very definition ΨG  ( = U in (5.2).  ( ) (−) ◦ ( ) (b = 1 Recall that F= 1 " is also homotopy equivalent to its subspace tofib( = F + (which we studied + ( ) ⊆ ( ( ) in Sections 3.3 and4) and in (3.7) we saw that

e= 1 : H= " F= " + ( ) → ( ) corresponds to the map = 1 : tofib tofib = 1 induced by postcomposition with A + F( F( + ∗ ( ) → ( ) = 1 : " U ↩ " U (+ 0c( 0›(= 1 \ → \ + which is the obvious inclusion map, adding the appropriate neighbourhood of = 1. +

0 1 2

A2 ∗

0 1

Figure 27. Bottom: A point # G tofib F( = H1 " consists of the blue arc # G ∅ := G 00⊥ F 1 G 1 ( )1 ∈ ( ) ( ) ( ) ( ) ∈ ∅ and the path # G := Ψ :  F1 across the yellow disk. Top: In order to get the point 0 ( 2) (−) → e2 # G tofib F = F1 " we simply introduce one more puncture into the ambient space. ( ( )) ∈ ( ( ) ( )

Hence, the image under the evaluation map of our grope point is (recalling that % G 0 = G 0⊥ ) ( ⊥ ) ( 0 ) G 0  0 0⊥ = 1   ( ) F + ,( = ,  ∅ ∅ 5G := e=# G = G ( (5.6) ( ) ( Ψ  ( h 10A ( (−) 0 = 1   C Δ F + , ≠ ( =.  ( ) ( ∅ ⊆

Similarly, for F Grop= ";U the corresponding point in F= 1 " is given by ∈ ( ) + ( ) % F  0 ⊥ 0 = 1   ( ) F + ,( = ,  ∅ ∅ 5F := e # F = (5.7) = G1 ( G# ( ( ) ( Ψ ... Ψ  ( h 10A ( (−) 0 · · (−) 0 = 1   C Δ F + , ≠ ( =.  ( ) ( ∅ ⊆

G ( 10A ( = 1 where Ψ ; : C Δ F + are concatenated pointwise, along their 0 direction. (−) 0 ( ) → ( EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 57

6 Proofs of main theorems

6 Let G: BΓ ↩ " be a thick grope on U with the underlying decorated tree εΓ = Tree = . In the → ∈ ( ) previous section we have constructed # G H= " and in (5.6) we described the point ( ) ∈ ( ) 5G := e= 1# G F= 1 " . + ( ) ∈ + ( ) In this section we prove TheoremD – namely, that

6= 5G = εΓ 0F= 1 "  Lie1 " = . [ ] [ ] ∈ + ( ) ( ) In Section 4.2 we have reduced this to checking (4.10), that is

 = 8 8 = D= " 5G Γ < : S Ω"= . (6.1) ' ( 8 ) → where 8 1 and 8 Ω" with 8 = are signed decorations of G, and 68 = 8 . ∈ {± } ∈ ∈ [ ] Remark 6.1 (A reminder).

= = 1 The map " : F= 1 " Ω tofib F + ,; was defined in Proposition 3.16 using left homotopy − + ( ) → ( • ) inverses : = : 1 : and homotopies : = : add constructed in Section 3.3.1. ;( 3( ◦ 4( ◦ ℎB 3( B ◦ B ◦ (  =( ) = ) − = 1 ( ( ) ) − The map " 5G : S F is simply the coordinate of " 5G indexed by =. → = + = 1 For ( = the map D( : F + Ω"( := Ω " B( which takes a punctured knot  : 0 ↩ "( − ⊆ ( → ( \ ) → to the loop obtained by concatenating U 0 and the arc  in reverse (see Remark 3.20). The map Γ 8 8 on the right hand side of (6.1) is the Samelson product according to the word <8 − ( )     Γ of the maps 8 8 : S1 Ω . These are given by 8 8 := 8 1, where $2 <8 "= <8  8 <8  8− ( )1 → ( ) · ( ) · <8 : S Ω"= is the ‘swing of a lasso’ around B8. See Section 4.2 for details. → Proof of TheoremD. We prove (6.1) by induction on = 1 (for a proof sketch see Example 4.9). ≥ 1 The induction base. In this case ' = 1 , Γ = and G it a thickening of a disk G. We need to 1 1 { } 1 1 1 check that D 1 " 5G { } : S Ω"1 is homotopic to <1 : S Ω"1. { }( ) → →

6

,01

?0 !1 '2 1 S1 2

Figure 28. Merging Figures 18 and 12 together: a grope cobordism G and the family <1.

1 1 1  ℎ 1 1 G 1 Firstly, the loop " 5G { } := 5 { } 5 { } is the concatenation of the path 5 { } := Ψ C which ( ) G · G G ( ) 0 is the isotopy across the disk G (see Example 5.15), and the path

1 1  ℎ 1  1 1 G 1   5 { } := A ℎ B G 0 ; Ψ B G C 0⊥ 0 ∅ ∅( )( ( )) · ∅ ( ) C=1 B − 1 1 G 1  2 This is obtained by concatenating ℎ G 0 with ; Ψ in F := Emb 0,"0 , then 0⊥ 0 % ∅(−)( ( )) ∅ (−) ∅ ( ) 1 reverse this path and include it into "01 = "0 B01. Recall from Lemma 3.18 that maps ; 1 ∪ 2 1 ∅ and ℎ act non-trivially only in the region !1,'2 D ". Also recall that ℎ B G 0⊥ := [ ] × ⊆ ( )( ( 0 )) 1 ∅add G and that the isotopy : drags the east hemisphere of B to that∅ of S . 3 B ◦ B 00⊥ 3( B 01 1 ∅( ) ( ( )) ( ) 58 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

1 Therefore, ℎ B G 00⊥ gradually ‘drags to the right’ the part of G 00⊥ inside of this region, and 1 ∅( )( ( )) ( 1 ) G 1 the disk ; G agrees with G except having the tip shifted into 2. So ; Ψ B moves the shifted 0 1 ∅ ( ) 1 1 ∅ ( ( ) ) arc ; G 00⊥ = ℎ 1 G 00⊥ back to U 0 across the shifted disk ; G . In other words, we use the ∅ ( ( )) ∅( )( ( )) ∅ ( ) puncture 2 instead of 1 to isotope G 0⊥ back in similar manner. ( 0 ) 1 Applying D1 to this loop " 5G { } allows us to homotope the part of the disk G which is in 2 ( ) 1 " !1,'2 D (equal to the part of ; G ) onto its core arc (its underlying chord). Hence, we \[ ] × ( ) 1 ∅ 1 1 conclude that D1 " 5G is indeed homotopic to  1 <1  − . ( ){ } 7→ · ( ) · 1

Preliminaries for the induction step

It will be convenient to consider trees labelled by a finite set '. Let G be a thick grope on U modelled on a tree Γ Tree ' obtained by ∈ ( ) (setup) grafting together Γ1 Tree '1 and Γ2 Tree '2 with '1 '2 = '. Let ∈ ( ) ∈ ( ) t 8 1 and 8 Ω" with 8 ' be the signed decorations of G. ∈ {± } ∈ ∈  ' ' In order to prove (6.1) for ' = = we first simplify the map D' " 5G : S Ω"' as follows. By → Proposition A.6 we have (  ' ' ℎ " 5G = 5G . ( ' ⊆ ' ( ' '  ' 1 ' ℎ ' ' 1 In words, " 5G : S =  F | |+ is obtained by gluing all ℎ-reflections 5 :  F | |+ ( ) % → ' G → ' along their 0-faces. These maps were defined inductively in Definition A.5 by (for : = min ()

: ( : ℎ ( : ( :  ' ℎ \  :  :  ' : ℎ \  : ' ℎ \   := \   (6.2) 5G A' : ℎ 5G B k: ;' : 5G B . \ \ Since D' is applied pointwise, we obtain (  '  ' ℎ  D' " 5G = D' 5G . (6.3) ( ' ⊆ ' In the Commutator Lemma 6.2 we will show that D' 5G is homotopic to a certain commutator ( ) ( ( ' ℎ map and in the Reflections Lemma 6.3 generalise this to all ℎ -reflections D' 5G . Having these homotopies collected in Corollary 6.4, we will be able to finish the proof of TheoremD.

The Commutator Lemma. For each ( ' we now study the map ⊆ 5 ( ( ( G ' 1 D( : | |+ Ω D( 5G  F( "( ( = ( ( = ΨG ( ( = 10A Δ( given by D( 5G C U 0 C 5G C 1 C where 5G C :  D for h C ,D C . (ì) ( ) ·( (ì)) − (ì) ( ) 0 ( ) (ì) ( ) ∈ ( ) Using the inductive nature of Definition 5.5 we can write the thick grope G as the plumbing (see

Figures 16 and 22) of two thick gropes Gj := G B modelled on trees Γj for j = 1, 2. | Γj

More precisely, the boundary of the abstract grope %Γj = j has its corresponding distinguished subarc + j. Thus, the map Gj : BΓ ↩ " can be seen as a thick grope modelled on Γj Tree 'j j ⊆ j → ∈ ( ) on the knot obtained from U as follows: replace G 00 U 0 by the arc G + , together with some ( ) ⊆ ( j ) arcs connecting their endpoints (the dotted arcs in the model Γ BΓ on the left of Figure 29). ⊆ Observe that the newly produced knot is isotopic to U by an isotopy across the shaded region.

Thus, we can also isotope Gj, so that the boundary of its bottom stage is as in the right picture, and hence it is instead a thick grope from U to % Gj := U G + G j + . Actually, for Gj to ⊥ ( \ ( j )) ∪ ( \ j ) be a grope on U we also need to reparametrise U so that punctures indeed have labels 1 8 'j . ≤ ≤ | | Also, G2 should have the orientation of all stages reversed. EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 59

00⊥

2+ 1+ 2+ 1+ 00 ?0 Figure 29. Modifying the bottom stage of a thick grope.

Thanks to these modifications we have points # Gj H 'j " for j = 1, 2. However, we now ( ) ∈ | |( ) 1 (j (j 'j immediately reparametrise back to get the analogous maps 5 :  F | |+ with (j := ( 'j. In Gj → (j ∩ other words, although formally Gj are not thick gropes on U, we can easily switch back and forth between the viewpoints. Moreover, we define

(j 5 0 Gj D(j Ω  (j (j 'j 1 D 5 :  F | |+ Ω"0 Ω" , (6.4) ( Gj (j (j (

recalling from Remark 3.22 that the last map is well-defined on the image of D(j .

' 'j By the following result each loop D' 5 C is either the commutator of loops D' 5 Cj or some G (ì) Gj (ì ) time of a canonical null-homotopy. We use the convention 0, 1 =  and 1 , 1 = . [ 2 ]∅ ∅ [ 2 ]∅ ∅ ' Lemma 6.2. Assume ' 2. The map D' 5 is homotopic to the composition of the map | | ≥ G ' '1 '2 ' '1 '2 Ω ' '1 ,'2 :    which permutes the coordinates, and the map G :   "' ( ) → × × → given by h i '1 '2 1 '1 1 '2  D' 5 C1 , D' 5 C2 , C1, C2 0, 0,  G1 ì G2 ì ì ì 2 2   ( )  ( ) ( ) ∈ [ ] × [ ]  '2 1 '1 1 '2   D 5 C2 , C1, C2 , 1 0,  C1 ' G2 2 2 ' = ì ì ì ì G C1, C2 : | |  ( ) ( ) ∈ [ ] × [ ] (6.5) (ì ì ) '1 1 '1 1 '2   D 5 C1 , C1, C2 0, , 1  C2 ' G1 2 2  |ì | (ì ) (ì ì ) ∈ [ ] × [ ]  1 '1 1 '2  const?0 , C1, C2 , 1 , 1  (ì ì ) ∈ [ 2 ] × [ 2 ] 1 Ω where  G is the time  of the canonical null-homotopy G G− const?0 for a loop G "'. In ( ) · ' ∈ Figure 30 these are shown as blue lines, and the subspace on which G is constant is contracted.

const ∗ ∗

1 1−1 1 , const ∗

[ ∗] ] ] 2 2 ,  const ∗ ,  1, 2 1

 [ ] const [ [

1 , 2 1 1, 2 − 2 [ ]  ∗

[ ] 2 

' '1 '2 'j Figure 30. Schematic depiction of the map  :   Ω"', with j := D' 5 for short. G × → Gj

= = = = Proof. Assume ' . We have 5G∅ ?C %⊥G 0 G 00⊥ and D 5G∅ ?C U 0 C G 00⊥ 1 C is ∅ ( ) ( ) ( ) ∅ ( ) ( ) · ( ) − exactly the loop G %Γ , the boundary of the bottom stage. Since the bottom stage is a punc- ( ) tured torus, it collapses onto the 1-skeleton. This homotopes the boundary onto the commutator

G 1 , G 2 Ω"'. [ ( ) ( )] ∈ 60 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

= = Now each G j G j+ G j j+ is precisely the loop D 5G∅ ?C : U 0 C Gj 00⊥ 1 C, so we ( ) ( )· ( \ ) ∅ j ( ) ( ) · ( ) − conclude that D 5G∅ ?C is homotopic to G∅ ?C as claimed. ∅ ( ) ( ) Assume now ' ≠ and recall that for h' C = ,D C10A Δ' the arc 5 ' C := ΨG  ' D is the ∅ (ì) ( ) ∈ ( ) G (ì) ( ) 0 ( ) time  of an isotopy across the disk G DD (see Proposition 5.9): as  0, 1 increases, the arc ( ) ∈ [ ] 00⊥ is being homotoped to 00 across DD using a foliation which we are still free to specify.

The disk DD BΓ was in turn defined as the time C 0, 1 of the symmetric isotopy (Lemma 5.10) ⊆ ∈ [ ] between the two disks obtained by surgery on the bottom stage along DD1 BΓ1 or DD2 BΓ2 ' '1 '2 ⊆ 'j ⊆ (see Proposition 5.12), where D = 1 C D1 CD2 Δ = Δ ★ Δ , with Dj Δ . Without loss of 1 ( − ) + ∈ ∈ generality, assume C < 2 , so DD looks like in the left of Figure 31.

' 10A ' 10A '1 '2 10A '1 10A '2 'j Here C   C Δ  C Δ ★ Δ = C Δ C Δ precisely gives h Cj = ,D1 . ì ∈ ( ) ( ) ( ) × ( ) (ì ) ( )

?0 ?0

1 Figure 31. Left: Disk DD for some C < . Two vertical disks are copies of DD . Right: The band 1 D . 2 1 ( )

' G ' The loop D' 5 C is obtained by closing up the arc Ψ  D using for all C the same arc U 0 . G (ì) ( ) 0 ( ) ì ' Thus, we can collapse this U 0 to the basepoint ?0 throughout the whole family, so that D' 5 C G (ì) becomes, for a fixed D, a basepoint preserving homotopy of the loop G %Γ to const?0 . ( ) We now specify the foliation of DD in such manner that this homotopy is first done across the two parallel copies of DD1 (vertical disks in Figure 31) and the two pieces of DD2 (two regions lying 1 flat), until for  = 2 we have completely exhausted the parts of DD which come from the caps. We are then left with a band 1 D as on the right of Figure 31 and we let the rest of the homotopy be ( ) the ’vertical’ contraction onto the vertical line containing ?0, followed by its collapse onto ?0. To further simplify these homotopies we collapse throughout the family the remaining pieces of the surgered torus in DD onto its skeleton. So ‘parallel copies of curves’ get identified similarly as for ' 1 ' ' = . The final result is as on the left of Figure 32: for any D Δ ,  our D' 5 C became ∅ ∈ ≤ 2 G (ì) 'j Gj 'j the commutator of the loops D' 5 Cj = D' Ψ j Dj , with 1 0, 1 and 2 0, 2 . Gj (ì ) ( ( ) 0 ( )) ∈ [ ] ∈ [ ]

?0 ?0 G

Figure 32. Left: Disk DD after collapsing the punctured torus. Right: The band 1 D after the collapse. ( )

1 '1 Here 2 is such that  = corresponds to 1, 2 = 1, 2 and at this moment D' 5 C1 = const?0 , 2 ( ) ( ) G1 (ì ) '2 1 while D' 5 C2 is the curve G on the right of Figure 32. Hence, for  = and a fixed D we have G2 ( ì ) 2 ' 1 D' 5 C = const?0 ,G and our null-homotopy across 1 D for  indeed becomes the canonical G (ì) [ ] ( ) ≥ 2 null-homotopy C GB 0,C G1 B 1 C,1 after the collapse.  7→ |[ ] · − |[ − ] EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 61

The Reflections Lemma. We now extend the previous result to describe each ℎ(-reflection

( ' ℎ ( 5 ' ℎ ' G ' 1 D'  : | |+ Ω D' 5G  F' "'.

( ' ℎ Lemma 6.3. Assume ' 2 and ( '. The map D' 5G is homotopic to the composition | | ≥ ⊆ ℎ( ' '1 '2 Ω of the map ' '1 ,'2 as before with the map G :   "' given by ( ) × → h ( '1 ( '2 i '1  ℎ ∩ '2  ℎ ∩ 1 '1 1 '2  D' 5G C1 , D' 5G C2 , C1, C2 0, 2 0, 2  1 (ì ) 2 (ì ) (ì ì ) ∈ [ ] × [ ]   ( '2   '2  ℎ ∩ 1 '1 1 '2 (   D 5 C2 , C1, C2 , 1 0, ' ℎ  C1 ' G2 2 2  C1, C2 := |ì | (ì ) (ì ì ) ∈ [ ] × [ ] G  ( '1  (ì ì ) '1  ℎ ∩ 1 '1 1 '2   D' 5 C1 , C1, C2 0, , 1  C2 G1 ì ì ì 2 2  |ì | ( ) ( ) ∈ [ ] × [ ]  1 '1 1 '2  const?0 , C1, C2 , 1 , 1  (ì ì ) ∈ [ 2 ] × [ 2 ] Proof. The statement for ( = is precisely the previous lemma (put ( := ' there). ∅ Now assume ( ' is nonempty and that the statement is true inductively for all ' of cardinality ⊆ ˆ ' < ' and any ( ' of cardinality ( < ( . Thus, letting : := min ( and ' := ' : and | ˆ | | | ˆ ⊆ | ˆ| | | 0 \ ( := ( :, the statement is true for the pairs ' ,( and ',( . 0 \ ( 0 0) ( 0) Using the defining formula for an ℎ(-reflection from (6.2), we compute

(  (0 (0  ' ℎ : : '0  ℎ : ' ℎ D' 5 = D'A ℎ 5 k: ; 5 G '0 G '0 G

 (0 (0  : : '0  ℎ : ' ℎ = Ω D' ℎ 5 k: ; 5 '0 ◦ 0 G '0 G

 (0 (0  : : '0  ℎ : ' ℎ = Ω D' ℎ 5 k: D' ; 5 '0 0 ◦ G 0 ◦ '0 G

 (0 (0  : : '0  ℎ : ' ℎ = Ω ℎ D' 5G k: Ω D' 5G . (6.6) '0 ◦ 0 ( '0 ) ◦ For the second equality we have used that 0 D : = 0 Ω : D by Remark 3.22 (recall  ◦ ' ◦ A'  ◦ ' ◦ '0 0 0 0 that we omit  from notation), the third equality holds since D' is applied pointwise, and for the last see again Remark 3.22. The induction hypothesis now implies

ℎ(  ℎ(0 ℎ(0  ' Ω : : '0  Ω : ' D' 5G  ℎ G ' ' ,' k:  G ' '1 ,'2 (6.7) ' '0 ◦ ◦ ( 01 02) '0 ◦ ◦ ( ) ' ℎ( and it remains to show that the last expression is equal to G ' '1 ,'2 . ( ) ◦ ( ) To this end, assume without loss of generality that : ( '1, and denote '0 = '1 : and '0 = '2. ∈ ∩ 1 \ 2 Then (6.7) at C C equals ì ∈  (0 (0  : : '0  ℎ : ' ℎ Ω ℎ G C1, C2 k: Ω G C1, C2 . '0 (ì ì ) '0 (ì ì ) ( ( '0 ℎ 0 ' ℎ 0 : : Let us plug in the formulae for G and G into this. Observe that ℎ and Ω act trivially ( ) ( ) '0 on the maps involving the grope G2, as those maps interact only with the punctures indexed by 1 '1 (2 ∌ :. On the other hand, for C1 0, we will get maps ì ∈ [ 2 ] ( '01 ( '01 : '01  ℎ ∩ : '1  ℎ ∩ ℎ D' 5 C1 k: Ω D' 5 C1 ◦ 0 G1 (ì ) ( '0 ) ◦ G1 (ì )  ( '1   ( '1  : '1  ℎ ∩ : '1  ℎ ∩ and ℎ  D 5 C1 Ω  D 5 C1 . ◦ C2 ' G1 k: ' ◦ C2 ' G1 |ì | (ì ) ( 0 ) |ì | (ì ) ( '1 '  ℎ ∩ The second expression is just  applied to the first, which is in turn equal to D 5 C1 , C2 ' G1 ì (ì ) by running the equalities from (| 6.6| ) in reverse.

( ' ℎ ' ℎ( Therefore, we indeed have with D' 5G G ' '1 ,'2 as claimed.  '( ) ◦ ( ) 62 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Corollary 6.4. The homotopies from the last lemma glue to a homotopy (  (   ' = ' ℎ ' ℎ D' " 5G D' 5G G ' '1 ,'2 . ' ◦ ( ) ( ' ( ' ⊆ ⊆

The end of the proof

Assume inductively that (6.1) is true for all G as in (setup) with ' < =. Let ' = = and let us ( | | | | prove that Γ 8 8 and D ' ' ℎ  are homotopic. <8 ' " 5G ( ' G ' '1 ,'2 ( ) ( ) '  ⊆ ◦ ( ) Firstly, G is the plumbing of thick gropes G1 and G2 modelled respectively on Γj Tree 'j and ∈ ( ) with signed decorations 8 , 8 8 'j . Since both 'j < = the induction hypothesis implies that ( ) ∈ | | 'j 8 8 'j D'j " 5Gj Γj < :  , % Ω"'j , const . (6.8) ( ) ' ( 8 ) ( ) → ( ∗)   Secondly, in (B.8) we have defined Γ < 8 8 inductively by ( 8 ) 8 8  8 8 8 8  Γ < := Γ1 < , Γ2 < ' '1 ,'2 . ( 8 ) ( 8 ) ( 8 ) ◦ ( ) The first map in the formula is the Samelson product which was shown in Lemma B.5 to be obtained by canonically trivialising all the faces of the map17

    ' '1 ' '2 Γ 8 8 Γ 8 8 Ω \ , Ω \ 1 < 2 < '1 '2 '1 '2 ( 8 ) × ( 8 ) [ ]   Ω"'1 Ω"'2 Ω"'. × × 8 8 8=3 8=3 Plugging in (6.8) we get Γ < F ' '1 ,'2 for the map F obtained by trivialising the ( 8 )' ◦ ( ) faces of the map18

'1 '2 D " 5G , D " 5G '1 '2 ' 1 ' 2   [ ( ) ( ) ] Ω"'. (6.9) × The map F8=3 is depicted in Figure 33, with the map (6.9) given as the green square with the 'j two coordinate axes Cj  (so it is an =-cube). Trivialising this on the boundary corresponds to ì ∈ putting the green square into a bigger one and filling in the intermediate region by null-homotopies 1 G G− along straight blue lines. Here G Ω"' is some value of (6.9) on the boundary of the · ∗ ∈ inner =-cube, and so F8=3 is indeed constant on the boundary of the outer =-cube.

( 8=3 ' ℎ We now show that F agrees with the map ( ' G , so Corollary 6.4 will finish the proof.  ⊆ const ∗

  1, const ∗   2 2 ∗ ∗ ,  , 

∗   ∗ 1, 2 const const const const     1, const ∗

const ∗ 8=3 ' Figure 33. Schematic depiction of the map F , where j := D " 5G j for short. '( j )

17 'j 8   More precisely, in that lemma we had < := Ω \ < 8 8 if 8 ' , but we have already abused the notation 8,'j 8 ◦ 8 j ( 8 ∈ when we decided to write < := Ω \  (cf. (4.6)). 8 8 ◦ S8 18 ' 'j Here we denote D = Ω \ D as in (6.4). ' 'j ◦ 'j EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 63

Let us first show this for the ‘green parts’ of Figures 30 and 33, i.e. on 0, 1 '1 0, 1 '2 we have [ 2 ] × [ 2 ] 8=3  '1 '2  F := D' " 5G1 , D' " 5G2 ( ) ( ) " # (1 (2 '1  ℎ '2  ℎ = D' 5 , D' 5  G1  G2 (1 '1 (2 '2 ⊆ ⊆ h ( '1 ( '2 i ( '1  ℎ ∩ '2  ℎ ∩ ' ℎ = D' 5 , D' 5 =:  ( G1 ( G2 G ( ' ( ' ⊆ ⊆ where the second equality is by (6.3), the third holds because the commutator bracket is applied ( ' ℎ pointwise and the last equality is by definition of G in Lemma 6.3.

1 '1 1 '2 Similarly, for C1 0, we have a blue line null-homotopy, where C2 runs in , 1 , so ì ∈ [ 2 ] ì [ 2 ] ! (1 8=3 '1  ℎ F C1, C2 :=  D' 5 C1 ì ì C2 G1 ì ( ) |ì |  ( ) (1 '1 ⊆  ( '1  ( '1  ℎ ∩ ' ℎ =  D 5 C1 =:  C1, C2 .  C2 ' G1 G ì ( (ì ) (ì ì ) ( ' | | ( ' ⊆ ⊆

The proof of TheoremE

Proof. In Section 5.2 we have defined the extension # : Grop ";U H= " and in Proposi- =( ) → ( ) tion 5.8 the underlying tree map t: 0Grop ";U Z Tree 1 " = . We now show that for a =( ) → [  ( )] grope forest F Grop= ";U we have e= 1# F = t F Lie1 " = . ∈ ( ) [ + ( )] [ ( )] ∈ ( ) ; = Ã# Ã# = ;Γ6 = In other words, for F =1 G; : =1 BΓ; ↩ " with t G; ε , and denoting 5F : e= 1# F , ; ; → ( ) ; + ( ) we need to show # ;   Õ h ; 6 i 5F = ε Γ 0F= 1 "  Lie1 " = . ; ∈ + ( ) ( ) ;=1 ' = This was reduced in Section 4.2 to proving that D' " 5F : S Ω"' is homotopic to a map ( ) → ; ; realising the class on the right, namely, the pointwise product # Γ < 8 8 which takes C S= to ;=1 ;( 8 ) ì ∈ the concatenation of the loops

; ; 8 8 . Γ < C Ω"' , 1 ; #. ;( 8 )(ì) ∈ ≤ ≤ ; Since each G is a thick grope on U with the underlying decorated tree t G = ε;Γ6 , the maps ; ; ; ; ; ( ) 8 8 '  ' Γ < D' " 5G are homotopic by TheoremD. Hence, it remains to prove that D' " 5F is ;( 8 )' ( ; ) homotopic to the pointwise product #  '. ;=1 D' " 5G;

Recall the definition of 5F in (5.7). Similarly as in the proof of the Commutator Lemma 6.2, there ' . ' is a homotopy between D' 5 and the pointwise product of D' 5 – since we can collapse U 0 F ( G; ) for all loops in the family. This extends to all ℎ-reflections as in the Reflections Lemma 6.3 – there we had commutators of loops and here just their pointwise concatenations. Therefore, using the same arguments as in the proof of TheoremD we can conclude

(  '  ' ℎ(  ' ℎ D' " 5F = D' 5 = D' 5 ( F ) F ( ' ( ' ⊆ ⊆ # # # ( ( '  ℎ '  ℎ  ' D' 5 = D' 5 = D' " 5G .  ' G; G; ; ( ' ;=1 ;=1 ( ' ;=1 ⊆ ⊆ / / / 64 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

A On left homotopy inverses

In this section we prove Lemmas 3.12 and 3.14, and Propositions 3.16 and A.6.

Proof of Lemma 3.12. Consider the commutative square ; A - ◦ - ; (A.1) A - . Its total homotopy fibre / is according to Lemma 3.6 given by

2 n  o G0,GB ,HC ,GB,C - P - P . - GB : G0 ,HC : A G0 ,GB,C : ;A GB ; HC const ( ) ∈ × ∗ × ∗ × ∗ ( ) ∗ ( )· ( ) ∗ 2 where is path concatenation and the square GB,C :  - can be viewed as a path of paths in two · → different ways, or as a path of loops – from its zero-edges to its one-edges, see the picture in (A.2).

In this description / can easily be seen as the iterated homotopy fibre in two different ways, that is, in the next diagram all rows and columns are homotopy fibre sequences:

; A const - ; A P - - ◦ - ∗ ∗ × ◦ ∗ ; GB ;A GB GB,C const A ( ) ∗ hofib A - . (A.2) ( ) G ?1 0 ;A G0 ; HC ' ( ) ( ) ?2 A G0 / P - hofib ; ( ) HC ∗ ∗ ( )

The two dotted maps are ?1 G0,GB ,HC ,GB,C = G0,HC and ?2 G0,GB ,HC ,GB,C = G0,GB . Since ( ) ( ) ( ) ( ) ;A Id- , the homotopy fibre hofib ;A = - ;A P - is contractible, so ?1 is a weak equivalence. ' ( ) × ∗ On the other hand, the path space P - = hofib Id- is also contractible, so we immediately have ∗ ( ) 1 I ?1 "− : Ω hofib ; / hofib A . ( ) ∼ ∼ ( ) 1 1 However, we now determine an explicit homotopy inverse " by finding inverses ?1− and −I . 1 To define ?− : hofib A / first recall there is a chosen homotopy ℎ : -  - from Id to ;A. 1 ( ) → × → Thus, for G0,HC hofib A we have a path ℎC G0 : G0 ;A G0 , and since H0 = A G0 , this can be ( ) ∈ ( ) ( ) ( ) ( ) concatenated with ; HC . Also, for each C 0, 1 we have a path ℎB ;HC : ; HC ;A; HC . We let ( ) ∈ [ ] ( ) ( ) ( ) 1   ?− G0,HC = G0, ℎB G0 ; HB ,HC , ℎB ℎC G0 kℎB ;HC /. 1 ( ) ( )· ( ) ( ( ))e ( ) ∈

The square ℎB ℎC G0 kℎB ;HC in - is obtained by identifying the two edges ℎC G0 ℎB G0 of the ( ( ))e ( ) ( ) ≡ ( ) square B,C ℎB ℎC G0 to get a bigon, to which B,C ℎB ;HC is glued along the common edge ( ) 7→ ( ( )) ( ) 7→ ( )  ℎB ;A G0 . We reshape this to a square and see it as a path from ;A ℎB G0 ; HB ;HC to const . ( ( )) ( )· ( ) · ∗ Since clearly 1 = Id and is a weak equivalence, 1 is a homotopy inverse for (alterna- ?1 ◦ ?1− ?1 ?1− ?1 1 tively, there is a homotopy ?− ?1 Id by gradually introducing back the coordinate GB). 1 ◦ ' The map  1 : / Ω hofib ; comes from comparing the bottom raw in the diagram (A.2) to the −I → ( ) fibre sequence Ω hofib ; P hofib ; hofib ; . We define it by ( ) → ∗ ( ) → ( ) 1   −I G0,GB ,HC ,GB,C = C A G1 C HC ,;A GB C k GB,C . ( ) 7→ ( − )· ( ≥ ) where G1 C is the inverse of the path GC and GB C is the square B,C G1 C C 0,1 B . Since 1 − ≥ ( ) 7→1 − | ∈[ − ] −I I HC ,GB,C = A const HC ,;A const C GB,C = HC ,GB,C , the map −I is indeed a homotopy ◦ ( ) ( ( ∗)· ( ∗)≤ · ) ( ) inverse for I, by the same argument as above. EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 65

1 1 Hence, the map " := − ?− : hofib A Ω hofib ; is given by / ◦ 1 ( ) → ( )        " G0,HC = C A ℎB G0 ; HB HC ,;A ℎB G0 ; HB k ℎB ℎC G0 ekℎB ;HC ( ) 7→ ( )· ( ) B=1 C · ( )· ( ) B C ( ) ( ) − ≥ 1 and is the desired homotopy inverse to "− .  Remark A.1. All triangles in the following diagram commute  C HC Ω. hofib A ,HC { 7→ } ∈ 1 ( ) 3 (∗ ) "− forg 1 ? (A.3) ?1− 1 " 1 −I C HC ,GB,C Ω hofib ; / , const ,HC ,GB,C { 7→ ( )} ∈ ( ) I 3 (∗ ∗ )

We simplify the expression for " using the following notation.

Definition A.2. In the situation of the previous proof let us define the ℎ-reflection of H by ℎ :=  HC A ℎB G0 ;HB B=1 C ( )· −

Note that this is a path from to AG0 .. We now rewrite " as ∗  ∈  = ℎ ℎ  " G0,HC HC HC ,;HB C k ℎB ℎC G0ekℎB ;HC . (A.4) ( ) · ≥ and represent it pictorially by (note how the path HC gets ‘reflected’ across its starting point)

const const ∗ ∗ ℎ ;HC ℎ ℎB ℎC G0 const ;HB C const const ∗ ≥ ekℎB∗;HC ∗

∗ ;Hℎ ;AG0 ;HC ∗ " C (A.5) G0 AG0 HC ℎ AG0 HC ∗ HC ∗

" As a word of caution, note that the composite map Ω. ↩ hofib A Ω hofib ; is not a loop map: → ( ) −→ ( ) " ,HC = A;H1 C HC ,;A;HB C k ℎB ;HC . When attempting to prove Proposition 3.16 by induction, (∗ ) ( − · ≥ ) one might run into needing that a similar map is a loop map, which is not the case. However, instead of delooping from ‘below’ (first delooping = 1 for example), we need to start delooping F( + from ‘above’, using the following lemma.

Proof of Lemma 3.14. We have two 1-cubes of < 1 -cubes, namely the original cube ' which ( − ) • uses maps A< and the cube ! which uses ;< instead, so we can write ( • ( A< ' :  ∌<  < : ! • • ;< •3 • Their total fibres can be computed as the homotopy fibres of the induced maps A< ∗ tofib ' tofib  ∌< tofib  < tofib ! ( •) ( • ) ;< ( •3 ) ( •) ∗ We claim that ;< A< = ;< A< is homotopic to Id. Indeed, by the condition 2 of Definition 3.13 ∗ ◦ ∗ ( ◦ )∗ ( ) for each C 0, 1 the homotopies ℎ< C : ;< A< Id assemble into a map of cubes ∈ [ ] ( ( ) ( ◦ ( < ℎ C :  ∌<  ∌< • ( ) • → • 66 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Hence, the induced map ℎ< C on the total fibres is precisely a homotopy ;< A< Id. ∗ ( ) ( ◦ )∗ Therefore, we can simply apply the preceding Lemma 3.12 to the left homotopy inverse ;< and the homotopy ℎ< to obtain the desired homotopy equivalence ∗ ∗ <  <  "< : tofib '  hofib A ' Ω hofib ;  Ω tofib ! .  ( •) ∗ ∗ ( •)

Proof of Proposition 3.16. We will construct for each 0 : < 1 a homotopy equivalence < : < : 1 ≤ ≤ − "< : : tofib  − Ω tofib  − − , with the case : = 0 covered in the previous lemma. The − ( ) → ( ) argument is actually the same: conditions (3.11) and (3.12) in Definition 3.15 of an <-fold homo- topy inverse ensure that for each : we have two 1-cubes of < 1 -cubes: ( − ) A< : < : : < : − < : : < : 1  −  ∌−< :  −< :  − − • − < : •3 − ; − < : Moreover, the condition (3.13) ensures that ℎ − C is for each C 0, 1 a map of cubes, so • < : < : < : < : ( ) ∈ [ ] ℎ − : ; − A − Id< : witnesses that ; − is a left homotopy inverse. Therefore, by Lemma 3.12 ∗ ∗ ◦ ∗ − ∗ < : < :  < :  < : 1 "< : : tofib  −  hofib A − ∼ Ω hofib ; −  Ω tofib  − − − ( ) ∗ ∗ ( ) < and the composite " := "1 "< : tofib  ,A ∼ Ω tofib  ,; is the desired equivalence.  ◦ ··· ◦ ( • ) −→ ( • )

A description of " in terms of reflections of cubes

< 1 The first delooping. Let us first describe "< 5 Ω tofib  − for a point 5 tofib ' ( <. ∈ ( ) ∈ ( •) ⊆ The case < = 1 is Lemma 3.12 and picture (A.5). For < = 2 we have 2 2 1 A 12 1 ; 12 2   2   2 A 2 2 ; 2 ' =   := 1 1 ! =   := 1 1 (A.6) • ∌2 2 A • ∌2 2 A −→ 3 A ←− 3 A 2 A 2 2 ∅  ∅  ;2 2 2 and "2 : hofib A Ω hofib ; is depicted in (A.7), with the colours indicating the ambient spaces ( ∗ ) → ( ∗ ) from (A.6). Note that 5 1 is itself discarded, but used in the rest of the diagram. For example, 12 ℎ2 2 2 1 2 12 5 := A ℎ 5 k2 ; 5 , where k2 denotes the concatenation along the second coordinate. ( ) B ( ) ·

const const ∗ ∗ const const 2 12const2 2 1 2∗ ℎ ℎB ℎC 5 ∅ ekℎB ; A 5 ∗ ; 5 B C ∗ ( ) ≥ 2 ;2 5 122 ℎ2 ;2 5 12 2 2 ℎ2 ℎB ℎC 5 ∅ const ; 5 ( 2) 2 2 const( ) ∗ ( )B C kℎ ; 5 ∗ ≥ 2e B 2 1 2 ∗ ;2 A1 5 2 ℎ ; A 5 ∗ ( ) ( ) 2 2 2 2 2 ∗ ; 5 ℎ ;A 5 ∅ ; 5 ∗ const ( ) const const ∗ ∗ ∗ ∗ 1 12 12 2 2 1 12 5 A2 5 1 5 const const 5 ℎ A 5 const5 const ∗ ∗ ( ) ∗ ∗ 1 A 5 ∅ ( ) 1 2 "2 1 2 2 1 2 AA 5 ∅ A 5 ∗ ∗ A 5 ℎ AA 5 ∅ A 5 ∗ (A.7) ( )

2 2 2 2 2 2 5 ∅ A 5 ∅ 5 ∗ ∗ 5 ℎ A 5 ∅ 5 ∗ ( ) ( ) ( ) EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 67

Remark A.3. Observe that "2 5 is a well-defined point in Ω tofib ! thanks to the conditions ( ) ( •) of Definition 3.13. For example, the orange line is indeed mapped to the bottom green line: 1 2 ℎ2 1 2 2 2 2 2 1 2 2 2 2 2 1 2 1 2  1 2 ℎ2 A 5 = A A ℎ 5 ∅ ; 5 = A A ℎ 5 ∅ ; 5 = A ℎ A 5 ∅ ; A 5 = A 5 ( ) B ( )· B ( )· B ( )· ( ) ( ) since A1 commutes with ;2 by condition 1 and with ℎ2 by condition 2 of the definition. ( ) B ( ) %< %< For a general < 1, let us denote 5 C? % := 5 C? % ,C< %< and rewrite 5 as ≥ C< ( ∈ ) ( ∈ ) ∈    5 % ,  5 %< hofib A< . % < 1 C< % < 1 % ⊆ − ⊆ − ∈ ( ) < Then "< 5 Ω hofib ; is given by ( ) ∈ ( )  < <  " 5 % , 5 %< = 5 %< ℎ 5 %< ,;< 5 %< ℎ ℎ< ℎ< 5 % ℎ< ;< 5 %< , (A.8) < C< C< k< C< B C< k B C< k B C< ( ) ( ) ( ) ≥ %< ℎ< < where k< denotes concatenation in the C<-direction and 5 is the ℎ -reflection as in Defini- ( )C< tion A.2, namely reflection of 5 %< across the wall % 0 in %<. Explicitly, × { } <   5 %< ℎ := A< ℎ< 5 % ;< 5 %< (A.9) C< B k< B ( ) ( ) ( ) B=1 C< − % Therefore, we see that "< discards 5 for % < 1 but incorporates it into its first coordinate. ⊆ − The second coordinate of " is another ‘higher’ layer of loops, in the spaces %.

2 2 0 The second delooping. Consider again  = ' from (A.6) and "1"2 5 Ω tofib  . The • ( ) ∈ ( ) right part of (A.10) depicts its coordinates ( = 1 and ( = 12 (omitting ( = , 2 ). Note that 12 { } 2 { } ∅ { } 12 the large green square forg " 5 = "1"2 5 Ω 2 is obtained by gluing reflections of 5 . ◦ ( ) ( ){ } ∈

const const ∗ ∗

2 12 ℎ2 2 1 2 ; 5 ℎB ℎC 5 ∅ ℎB ; A 5 ∗ ( )B C · const ≥ const const ∗ ∗ 2 2 12 ;2 5 12 ℎ ; 5 ( ) ( ∗) const const const ∗ 12 ∗ 1 ;2 5 12 ℎ ;2 5 12 ℎ ( ) ( )

const const const ∗ ∗ ∗ ∗ 12 ℎ2 A2 5 1 12 1 2 1 12 const 5 5 const 5 A 5 5 const ∗ ( ) ∗ ∗ 1 2 ℎ2 AA 5 ∅ 1 2 1 A 5 A 5 A 5 ∅ ( ) ( ) 1 2 "1 "2 AA 5 ∅ A 5 ∗ ◦ 2 1 1 const 12 ℎ ℎ 12 ℎ const 5 1 5 ∗ (( )A2 5)1 ℎ ( ) ∗ 2 2 ( ) 5 ∅ A 5 ∅ 5 ∗ ( ) const const ∗ ∗ (A.10) In order to generalise this observation we consider < 2 and ≥  %< ℎ< %< %  "< 1"< 5 = "< 1 5 C k< 5C ,G − ( ) − ( ) < < % < 1 ⊆ − ℎ< 1   '< 1< ℎ< '< 1<  −  '< 1< ℎ< '< 1<  = 5 5 1 5 5 , − C< k< C< − k< − C< k< C< − ( ) C< 1 − ( ) C< 1 − − < 1  '< 1 ℎ − '< 1 '< G − k< 1 G − ,H (A.11) ( ) − ' < 2 ⊆ − 68 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

Here we have applied (A.8) twice and denoted by G and H the remaining irrelevant coordinates. '< 1< 2 The first coordinate is "< 1"< 5 − Ω '< 1< where ' runs through subsets of < 2. ( − ( )) ∈ − − < 1 < 1 < 1 '< 1< ℎ< '< 1<  ℎ − '< 1< ℎ<  ℎ − '< 1<  ℎ − Lemma A.4. 5 − k< 5 − = 5 − k< 5 − . ( )C< C< )C< C<

< 1 Proof. The left hand side is by (A.9) equal to A − applied to the map (denoting B := C< 1) − < 1  '< ℎ< '<  < 1  '< 1< ℎ< '< 1<  = ℎB − 5 C k< 5C k< 1 ; − 5 − C k< 5C − ( ) < < − ( ) < < B  < 1 '< ℎ< < 1 '<   < 1 '< 1< ℎ< < 1 '< 1<  = ℎB − 5 k< ℎB − 5 k< 1 ; − 5 − k< ; − 5 − ( )C< C< − ( )C< ,B C< ,B The concatenation in the C< 1-direction can be interchanged with the one in the C<-direction (this − is another manifestation of the Eckmann–Hilton principle), so we obtain

 < 1 '< ℎ< < 1 '< 1< ℎ<   < 1 '< < 1 '< 1<  = ℎB − 5 k< 1 ; − 5 − k< ℎB − 5 k< 1 ; − 5 − . ( )C< − ( )C< ,B C< − C< ,B < 1 Finally, applying A − gives the desired right hand side in the statement of the lemma. 

Therefore, we make the following definition.

Definition A.5. Fix % < and let 5 % : %  for an <-cube  . For ( % we define a map % • % ℎ( % ⊆ → ( % ⊆ 5 :  % inductively on ( % and call it the ℎ -reflection of 5 . ( ) → | | ≤ | | For ( = we let 5 % ℎ∅ := 5 % and otherwise let : = min ( and define ∅ ( ) : ℎ(  ℎ( :  ℎ 5 %  := 5 %  \ using the definition of ℎ:-reflection from (A.9).

% ℎ( % ( % ( % Note that 5 is indeed a kind of a reflection of 5 across the 0-faces 0  \ %0 . Indeed, ( )% % ℎ( { } × ⊆ ( % ( the value of 5 on them agrees with the value of 5 on the corresponding faces 1  \ % % ℎ( ( ( ) % ( % { } × ⊆ %1 . On the other hand, 5 is constant on 0  %0 . ( ) { } × \ ⊆ < < < < Proposition A.6. For  as above, forg " : tofib  Ω < maps 5 tofib  to ◦ ( ) → ∈ ( ) ( " 5 < = 5 < ℎ ( ) ( ) ( < ⊆ < ℎ( < < < obtained by gluing together all ℎ-reflections 5 of 5 :  < along the 0-faces of  . ( ) →

Proof of Proposition A.6. From (A.11) and Lemma A.4 we conclude

 < < 1 < 1   <  '< 1< '< 1< ℎ  ℎ − '< 1< ℎ − '< 1< ℎ '< 1< "< 1"< 5 − = 5 − k< 5 − k< 1 5 − k< 5 − − ( ) ) ( ) − ( ) '< 1< ℎ < 1,< '< 1< ℎ< 1 '< 1< ℎ< '< 1< = 5 − { − } k 5 − − k 5 − k 5 − . ( ) ( ) ( ) In the second line we simply omitted the brackets and used the symbol  instead, since the operation k: glues unambiguously any two maps which have matching 0- and 1-faces indexed by :. Continuing in the manner of (A.11), we find ':...< 1< ':...< 1< ℎ( ": "< 1"< 5 − = 5 − ◦ ··· ◦ − ( ) ( ) ( :,...,< 1,< ⊆{ − } so the coordinate of "1 "< 5 corresponding to < is given as claimed by ◦ ··· ◦ ( ) ( " 5 < = 5 < ℎ .  ( ) ( ) ( < ⊆ EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 69

B Samelson products

In this section we provide a reminder on Samelson products and some of their properties; the main reference are [Whi78] and [Nei10].

Let  be a grouplike -space, that is, an -space whose multiplication is homotopy associative · and which has homotopy inverses, and we assume these homotopies are specified as part of the Ô 3 1 data. In our applications  := Ω " ( S − with an inverse for   given as the inverse loop 1 ( ∨ ) 1 ∈ 1 − C = 1 C and the canonical homotopy  − const given by C  0,1 C − C,1 . ( ) − · ∗ 7→ |[ − ] · |[ ] The homotopy groups   can be equipped with two associative operations – on one hand, the ∗ standard multiplication on homotopy groups of a space using the co--space structure on spheres (additive except on the fundamental group), and on the other hand, using the -space structure on  to define the pointwise multiplication 51 52 : -1 -2    of maps 5j : -j , = · × = → = × =→ → and then if -1 = -2 = S , precompose with the diagonal S S S . → × These operations give equivalent additive structure on >0 (by the Eckmann–Hilton argument), but the latter also gives a group structure on 0. Moreover,   acts on a map 5 : -  by ∈ → pointwise conjugation  1 5 G :=  5 G − , ( ) · ( )· and this defines an action of the group 0 on the graded group  . When  is a loop space ∗ this corresponds to the standard action of the fundamental group on the higher homotopy groups.

The Samelson product is a non-associative product of maps 5j : -j  for j = 1, 2, given by → 51 52 , 51, 52 : -1 -2 ∧   [· ·] . (B.1) [ ] ∧ ∧ Here the commutator map , :   , given by G,H G H G 1 H 1, is null-homotopic [· ·] × → ( ) 7→ · · − · − on the wedge  , so factors through the smash product   :=   . More precisely, ∨ ∧ ×   since on the wedge one of the coordinates is equal to the basepoint, the word ∨G,H becomes of the [ ] shape G G 1, for which there is a specified null-homotopy by the definition of a homotopy inverse. · − =j Applying this to the case when each -j = S is a sphere, and using homeomorphisms

=1 =2 =1 =2 ' =1 ,=2 : S + S S (B.2) ( ) → ∧ we get an operation , : =1  =2  =1 =2 . On 0 this is just the group commutator, [· ·] × → + and there is an identity19  5 ,  5 5 , 5  0 ,  0. (B.3) [ ]' − ∈ > ∈ On the abelian group >0 the Samelson bracket is bilinear and satisfies graded antisymmetry and Jacobi relations, making it into a graded Lie algebra over Z. The origin of graded signs is in the =1 =2 =2 =1 1 fact that the coordinate exchange  : S S S S induces the self-map '−  ' =1 ,=2 ∧ → ∧ =2 ,=1 ◦ ◦ ( ) of S=1 =2 which has degree 1 =1=2 . ( ) + (− ) Actually, the action of 0 on >0 respects the grading and the Lie bracket    5 , 6 = 5 , 6 , 5 , 6  0 ,  0, [ ] [ ] ∈ > ∈ so all this structure is encapsulated by saying that  0 is a graded Lie algebra over Z 0 . > [ ] Furthermore, the Hurewicz homomorphism ℎ :    ; Z takes the Samelson bracket to the ∗ → ∗( ) graded commutator in the Pontrjagin Hopf algebra  ; Z . ∗( )

19 0 1  To see (B.3), plug 51 = 5 and 52 : S  into (B.1). The latter simply picks out a point  , so 5 ,  = 5 5 . → ∈ [ ] ·( − ) Here 5 1 is the pointwise inverse, which is homotopic to 5 by the mentioned Eckmann–Hilton argument. − − 70 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

One can iteratively form the Samelson product of maps 58 : -8  for 8 ( = 81 < 82 < < 8< → ∈ { ··· } according to a Lie word (a non-associative bracketing) F G8 in the letters G8, 8 (. To spell out ( ) ∈ this explicitly, we recursively define the space F -8 and the map F 58 : F -8 . ( ) ( ) ( ) → : : Firstly, for : ( let G -8 := -: and G 58 := 5:. Further, for F = F1,F2 let F -8 = Ó ∈ ( ) ( ) [ ] ( ) F1 -8 F2 -8 and define ( ) ( ) Ó F1 58 F2 58 , F 58 : F -8 ( ) ( )   [· ·] . (B.4) ( ) ( ) ∧ 3 2 In particular, if -8 = S − for all 8 (, to get a map from a sphere we need to precompose with ; 3 2 ∈ 3 2 some homeomorphism ' : S F F S similarly as in (B.2)(;F is the word length of F). F ( − ) → ( − ) The Hilton–Milnor theorem Ô Ô Consider now  = Ω 8 ( Σ-8. As in Section4 we have the inclusion Σ-8 : Σ-8 ↩ 8 ( Σ-8 and ∈ → ∈ the canonical map - : -8 ΩΣ-8. Plugging into (B.4) the composite maps 8 → -8 Ω8 Ü G8 : -8 ΩΣ-8 Ω Σ-8 8 ( ∈ gives the Samelson product Ü F G8 : F -8 Ω Σ-8 . (B.5) ( ) ( ) → 8 ( ∈ Remark B.1. For  = Ω. the Samelson bracket on  Ω.   1 . is adjoint to the Whitehead ∗( ) ∗+ ( ) bracket on the latter group. The (generalised) Whitehead product of 58 : Σ-8 . is defined via → 51 52 51, 52 , : Σ -1 -2 Σ-1 Σ-2 ∨ . . ., [ ] ( ∧ ) ∨ ∨ → where the last map is the fold and the first map can be explicitly defined, see [Whi78]. It is precisely = 1 the adjoint of the Samelson product G1,G2 : -1 -2 Ω Σ-1 Σ-2 from (B.5). If -8 = S 8 [ ] ∧ → ( ∨ ) − are spheres, this is the attaching map S=1 =2 1 S=1 S=2 of the top cell in S=1 S=2 . + − → ∨ × Ô Actually, for  = Ω 8 ( Σ-8 the Samelson products F G8 ‘generate the homotopy type of ’. A ∈ ( ) more precise statement is the Hilton–Milnor theorem below, for which we need a bit more notation. Firstly, since (B.5) is a map into a loop space, there is a unique multiplicative extension Ü F G8 : ΩΣF -8 Ω Σ-8 . (B.6) e( ) ( ) 8 ( ∈ Namely, for any space - the map - : - ΩΣ- is initial among all maps from - to a loop space, → so any : Ω factors as the composition of with := Ω Σ : ΩΣ ΩΣΩ Ω . 5 - / - e5 4E ◦ 5 - / / →  1 ( ) → 1 → Explicitly, e5  C 0 =  5 0 C for C S and 0 -, when  ranges S . 7→ ∧ 7→ ( )  ∈ ∈ Moreover, given Lie words F1 and F2 we can take the pointwise product F1 G8 F1 G8 (pointwise e ( )· e ( ) concatenate loops) as we saw above. Therefore, if B ( denotes a Hall basis for the free Lie algebra ( ) L G8 : 8 ( , we can define the map ( ∈ ) Ö Ö◦ Ü ℎ< := F : ΩΣF -8 Ω Σ-8 , (B.7) e ( ) F F B ( 8 ( ∈ ( ) ∈ where the source is the weak product, defined as the filtered colimit of products over the finite subsets of B ( . Thus, points in it have all but finitely many coordinates equal to the basepoint. ( )

Theorem B.2 ([Hil55; Mil72; Gra71; Spe71]). If for each 8 ( the space -8 is well-pointed and ∈ path-connected, then the map (B.7) is a weak homotopy equivalence. EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS 71

This can be proven by first iterating Gray–Spencer Lemma 4.3 to get a weak homotopy equivalence

Ü Ü  8   Ω G, GŸ,..., G,G ... : ΩΣ ΩΣ ∧  Ω Σ Σ , × [ [ [ ] ]] × ∧ ∨ 8 0 8 0 ≥ ≥ and then using an inductive argument on the word length. See [Mil72, Thm. 4].

Remark B.3. The set B ( is a Hall basis for the usual, ungraded, free Lie algebra. This should ( ) = not be confused with the fact that, if we put -8 = S 8 with =8 2, then the theorem implies that Ô =8 1 =8 ≥ =8  Ω ( S + Q  L G : 8 ( Q is the free graded Lie algebra, with G having degree =8. ∗( ) ⊗ ( ∈ ) ⊗

Samelson products for trees

Let us now consider Samelson products for Lie words F G8 in which each letter G8, 8 ', appears ( ) ∈ exactly once, for a finite ordered set '. This is the ungraded case for now, with G8 = 0. Recall | | from Section 2.1 there is an isomorphism $2 : Lie ' Lie2 ' (see also next subsection). ( ) → ( ) 3 2 As mentioned above, given maps 58 : S −  one obtains a map from a sphere by precomposing 3 2 → ; 3 2 the Samelson product F 58 : F S  with ' : S F F -8 , which permutes the factors ( ) ( − ) → F ( − ) → ( ) according to the permutation F corresponding to the word F. However, in the case when letters do not repeat we can instead define this map directly by induction. This was used in Section 4.1.

B.4 The map for = Γ is homotopic to the map Γ defined inductively Lemma . F 58 ◦'F F $2 58 : ( ) ( ) ( ) by 58 = 5 and for Γj Tree 'j with '1 '2 = ' by ( ) : ∈ ( ) t Γ2 Γ1   ' '1 ,'2 Γ1 58 , Γ2 58 3 2 ' 3 2 '1 3 2 '2 58 : S − ∧ ( ) S − ∧ S − ∧ ( ) ( )  (B.8) ( ) ( ) ( ) ∧ ( ) where '1,'2 permutes the ordered set ' into '1 '2 := first all indices of '1, then of '2. ( ) t

Proof. For F = F1,F2 with Fj on letters in 'j we have homotopies [ ] 3 2 1 2 3 F 58 ' sgn F − F 58 , Γ 58 1 ( | ) Γ1 58 , Γ2 58 ( ) ◦ F '( ) ( ) ( ) ' (− ) [ ( ) ( )]

1 2 3 since deg ' '1 ,'2 = 1 ( | ) , where 1 2 3 := 3 2 1 2 for 1 2 := 81, 82 '1 '2 : 81 > 82 ( ) (− ) ( | ) ( − )·( | ) ( | ) |{( ) ∈ × }| as in Lemma 2.3 from Section 2.1 (see below for its proof). The proof now follows by induction using that the sign of permutation satisfies the recursive formula 1 2 sgn F = 1 ( | ) sgn F1 sgn F2 .  (− ) ·

In the proof of TheoremD in Section6 we will need the following observation. Let "( ,  ( ' be : 3 2 ( ) ⊆ a cube with maps  : "( " and assume we are given maps 58 : S Ω"8 for 8 '. For ( → (: − → ∈ ( ' with 8 ( let us denote ⊆ ∈ ( 8 3 2 := Ω \ : S Ω Ω 58,( 8 ◦ 58 − "8 "(.

Lemma B.5. The map Γ1 58,' , Γ2 58,' as in (B.8) is obtained by canonically trivialising on [ ( ) ( )] the boundary the map

' '1 ' '2 Ω \ , Ω \ Γ1 58,'1 Γ2 58,'1 '1 '2 3 2 '1 3 2 '2 ( ) × ( ) [ ] G :  −  − Ω"'1 Ω"'1 Ω"' ( ) × ( ) × 3 2 ' 1 More precisely, for each C %  − we glue in the standard null-homotopy G C G C − of ì ∈ ( ) (ì)· (ì) ∗ loops in Ω"' to extend G to a bigger cube on whose boundary it is constant. 72 EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS

3 2 ' 3 2 '  − Here we defined a map on S − ∧   by giving it on the cube so that it is constant on ( ) ( ) % the boundary. The proof of the lemma is clear from definitions. See Section 4.2 for how it is used.

Proof of Lemma 2.3

8 8 We now prove Lemma 2.3, which says that the map $3 : Lie = Lie3 = given by $3 = G , 1 2 ( ) → ( ) ( ) $ Γ = $Γ := 1 3 $ Γ1 , $ Γ2 is an isomorphism. Here 1 2 := 3 2 1 2 and 3( ) (− )( | ) [ 3( ) 3( )] ( | )3 ( − )·( | ) 1 2 := 81, 82 '1 '2 : 81 > 82 . ( | ) |{( ) ∈ × }| Note that Lie = extends to an S= 1-representation by permuting all the labels 0, 1, . . . , = ; this ( ) + { } is related to the cyclic operad structure on Lie . Then Lemma 2.3 precisely gives Lie =  (•) 3( ) Lie = sgn= 1 as representations of S= 1; see [Rob04, Prop. 3.4] for details. ( ) ⊗ + +

Proof of Lemma 2.3. We define $3 by linearly extending the definition in the lemma and check it descends to the quotient by (2.1). We write $Γ := $ Γ for short. 3( ) To this end, let $( and $- be the images under $3 of the linear combinations as in (2.1), but with roots instead of dots. It suffices to show that these are trivial, since then $3 will also vanish on any tree in which ( or - appears as a subtree.

Firstly, using $Γ = (j 3 2 and the obvious identity 1 2 2 1 = (1 (2 3 2 we obtain: | j | | |( − ) ( | )3 + ( | )3 | || |( − ) 1 2 3   2 1 3   $( = 1 ( | ) $Γ1 , $Γ2 1 ( | ) $Γ2 , $Γ1 (− ) + (− )   1 2   (1 (2 3 2   = 1 ( | )3 $Γ , $Γ 1 | || |( − ) $Γ , $Γ (− ) 1 2 + (− ) 2 1   1 2   $1 $2   = 1 ( | )3 $Γ , $Γ 1 | || | $Γ , $Γ (− ) 1 2 + (− ) 2 1 which vanishes by the graded antisymmetry in Lie ( . Secondly, recall that 3( ) Γ3 Γ2 Γ1 Γ3 Γ2 Γ1 Γ1 Γ3 Γ2

: = 0 - . . . . . − . + . and note that by ( the last tree is equal to

Γ3 Γ1 Γ2

. − . Therefore, $- is equal to 1 23 2 3   12 3 1 2   2 13 1 3   1 ( | )3+( | )3 $Γ , $Γ , $Γ 1 ( | )3+( | )3 $Γ , $Γ , $Γ 1 ( | )3+( | )3 $Γ , $Γ , $Γ (− ) 1 [ 2 3 ] − (− ) [ 1 2 ] 3 − (− ) 2 [ 1 3 ] 1 2 1 3 2 3     2 1 1 2   = 1 ( | )3+( | )3+( | )3 $Γ , $Γ , $Γ $Γ , $Γ , $Γ 1 ( | )3+( | )3 $Γ , $Γ , $Γ (− ) 1 [ 2 3 ] − [ 1 2 ] 3 − (− ) 2 [ 1 3 ] where we have used the identities 1 23 2 3 = 1 2 1 3 2 3 = 12 3 1 2 , ( | ) + ( | ) ( | ) + ( | ) + ( | ) ( | ) + ( | ) 2 13 1 3 = 2 1 2 3 1 3 . ( | ) + ( | ) ( | ) + ( | ) + ( | )

Now again plugging in 2 13 1 3 = $Γ $Γ we get that the terms in the parenthesis are ( | )3 + ( | )3 | 1 || 2 | precisely those of the graded Jacobi relation (2.2), which holds in Lie ( . 3( ) Finally, is clearly a surjection and an inverse 1 can be constructed in an analogous way – $3 $−3 ( and - will imply it is well-defined modulo graded antisymmetry and Jacobi relations.  References

[AF97]D. Altschuler and L. Freidel. Vassiliev knot invariants and Chern-Simons perturbation theory to all orders. Comm. Math. Phys. 187.2 (1997), pp. 261–287. doi: 10.1007/s002200050136. [ALTV08]G. Arone, P. Lambrechts, V. Turchin, and I. Volić. Coformality and rational homotopy groups of spaces of long knots. Math. Res. Lett. 15.1 (2008), pp. 1–14. doi: 10.4310/MRL. 2008.v15.n1.a1. [AT14]G. Arone and V. Turchin. On the rational homology of high-dimensional analogues of spaces of long knots. Geom. Topol. 18.3 (2014), pp. 1261–1322. doi: 10.2140/gt.2014.18.1261. [AT15]G. Arone and V. Turchin. Graph-complexes computing the rational homotopy of high di- mensional analogues of spaces of long knots. Ann. Inst. Fourier (Grenoble) 65.1 (2015), pp. 1– 62. doi: 10.5802/aif.2924. [Bar95]D. Bar-Natan. On the Vassiliev knot invariants. Topology 34.2 (1995), pp. 423–472. doi: 10.1016/0040-9383(95)93237-2. [BL93] J. S. Birman and X.-S. Lin. Knot polynomials and Vassiliev’s invariants. Invent. Math. 111.2 (1993), pp. 225–270. doi: 10.1007/BF01231287. [BH20] P. Boavida de Brito and G. Horel. Galois symmetries of knot spaces. 2020. arXiv: 2002. 01470. [BW18] P. Boavida de Brito and M. Weiss. Spaces of smooth embeddings and configuration cate- gories. Journal of Topology 11.1 (2018), pp. 65–143. doi: 10.1112/topo.12048. [BT94]R. Bott and C. Taubes. On the self-linking of knots. J. Math. Phys. 35.10 (1994). Topology and physics, pp. 5247–5287. doi: 10.1063/1.530750. [BK72] A. K. Bousfield and D. M. Kan. Homotopy limits, completions and localizations. Vol. 304. Springer Science & Business Media, 1972. [BCKS17]R. Budney, J. Conant, R. Koytcheff, and D. Sinha. Embedding calculus knot invariants are of finite type. Algebr. Geom. Topol. 17.3 (2017), pp. 1701–1742. doi: 10.2140/agt.2017. 17.1701. [BCSS05]R. Budney, J. Conant, K. P. Scannell, and D. Sinha. New perspectives on self-linking. Adv. Math. 191.1 (2005), pp. 78–113. doi: 10.1016/j.aim.2004.03.004. [Cer61]J. Cerf. Topologie de certains espaces de plongements. Bull. Soc. Math. France 89 (1961), pp. 227–380. doi: 10.24033/bsmf.1567. [CDM12]S. Chmutov, S. Duzhin, and J. Mostovoy. Introduction to Vassiliev Knot Invariants. Cam- bridge University Press, 2012. doi: 10.1017/CBO9781139107846. [Con08]J. Conant. Homotopy approximations to the space of knots, Feynman diagrams, and a con- jecture of Scannell and Sinha. Amer. J. Math. 130.2 (2008), pp. 341–357. doi: 10.1353/ajm. 2008.0020. [CST07]J. Conant, R. Schneiderman, and P. Teichner. Jacobi identities in low-dimensional topol- ogy. Compositio Mathematica 143.3 (2007), pp. 780–810. doi: 10.1112/S0010437X06002697. [CT04a]J. Conant and P. Teichner. Grope cobordism and feynman diagrams. Mathematische An- nalen 328.1 (Jan. 2004), pp. 135–171. doi: 10.1007/s00208-003-0477-y. [CT04b]J. Conant and P. Teichner. Grope cobordism of classical knots. Topology 43.1 (2004), pp. 119–156. doi: 10.1016/S0040-9383(03)00031-4. [DT19]J. Ducoulombier and V. Turchin. Delooping the functor calculus tower. 2019. arXiv: 1708. 02203 [math.AT]. [DH12]W. Dwyer and K. Hess. Long knots and maps between operads. Geometry & Topology 16.2 (2012), pp. 919–955. [FTW17]B. Fresse, V. Turchin, and T. Willwacher. The rational homotopy of mapping spaces of E= operads. 2017. arXiv: 1703.06123. [Gab20a]D. Gabai. Self-Referential Discs and the Light Bulb Lemma. 2020. arXiv: 2006.15450 [math.GT]. [Gab20b]D. Gabai. The 4-dimensional light bulb theorem. J. Amer. Math. Soc. 33.3 (2020), pp. 609– 652. doi: 10.1090/jams/920. [Goo92] T. G. Goodwillie. Calculus. II. Analytic functors. -Theory 5.4 (1991/92), pp. 295–332. doi: 10.1007/BF00535644.

73 74 REFERENCES

[GK15] T. G. Goodwillie and J. R. Klein. Multiple disjunction for spaces of smooth embeddings. J. Topol. 8.3 (2015), pp. 651–674. doi: 10.1112/jtopol/jtv008. [GKW01] T. G. Goodwillie, J. R. Klein, and M. S. Weiss. Spaces of smooth embeddings, disjunction and surgery. In: Surveys on surgery theory, Vol. 2. Vol. 149. Ann. of Math. Stud. Princeton Univ. Press, Princeton, NJ, 2001, pp. 221–284. [GW99] T. G. Goodwillie and M. Weiss. Embeddings from the point of view of immersion theory. II. Geom. Topol. 3 (1999), pp. 103–118. doi: 10.2140/gt.1999.3.103. [Gra71]B. Gray. A note on the Hilton-Milnor theorem. Topology 10 (1971), pp. 199–201. doi: 10. 1016/0040-9383(71)90004-8. [Gri19]T. Gritskevich. “The monoid of long knots”. MA thesis. Universität Bonn, 2019. [Gus94]M. Gusarov. On =-equivalence of knots and invariants of finite degree. In: Topology of man- ifolds and varieties. Vol. 18. Adv. Soviet Math. Amer. Math. Soc., Providence, RI, 1994, pp. 173–192. [Gus00] M. N. Gusarov. Variations of knotted graphs. The geometric technique of =-equivalence. Algebra i Analiz 12.4 (2000). English translation in St. Petersburg Math. J. 12 (2001), no. 4, 569–604, pp. 79–125. [Hab00]K. Habiro. Claspers and finite type invariants of links. Geom. Topol. 4 (2000), pp. 1–83. doi: 10.2140/gt.2000.4.1. [Hil55] P. J. Hilton. On the homotopy groups of the union of spheres. J. London Math. Soc. 30 (1955), pp. 154–172. doi: 10.1112/jlms/s1-30.2.154. [Kon93]M. Kontsevich. Vassiliev’s knot invariants. Adv. Soviet Math. 16 (1993), pp. 137–150. [Kos20]D. Kosanović. “A geometric approach to the embedding calculus knot invariants”. PhD thesis. Universität Bonn, 2020. url: http://hdl.handle.net/20.500.11811/8651. [KST]D. Kosanović, Y. Shi, and P. Teichner. Spaces of gropes and embedding calculus. In prepa- ration. [KT]D. Kosanović and P. Teichner. Classifying disks with duals in a 4-manifold. In preparation. [Kos97]U. Koschorke. A generalization of Milnor’s -invariants to higher-dimensional link maps. Topology 36.2 (1997), pp. 301–324. doi: 10.1016/0040-9383(96)00018-3. [LT09] P. Lambrechts and V. Turchin. Homotopy graph-complex for configuration and knot spaces. Trans. Amer. Math. Soc. 361.1 (2009), pp. 207–222. doi: 10.1090/S0002-9947-08-04650-3. [LTV10] P. Lambrechts, V. Turchin, and I. Volić. The rational homology of spaces of long knots in codimension > 2. Geom. Topol. 14.4 (2010), pp. 2151–2187. doi: 10.2140/gt.2010.14.2151. [LM96] T. Q. T. Le and J. Murakami. The universal Vassiliev-Kontsevich invariant for framed ori- ented links. Compositio Math. 102.1 (1996), pp. 41–64. url: http://www.numdam.org/item? id=CM_1996__102_1_41_0. [Les02]C. Lescop. About the uniqueness of the Kontsevich integral. J. Knot Theory Ramifications 11.5 (2002), pp. 759–780. doi: 10.1142/S0218216502001949. [Lev95]N. Levitt. Spaces of arcs and configuration spaces of manifolds. Topology 34.1 (1995), pp. 217– 230. doi: 10.1016/0040-9383(94)E0012-9. [Lin91] X.-S. Lin. Vertex Models, Quantum Groups, and Vassiliev’s Knot Invariants. Preprint. 1991. [Man16] V. A. Manathunga. “The Conway Polynomial and Amphicheiral Knots”. PhD thesis. Uni- versity of Tennessee, 2016. url: https://trace.tennessee.edu/utk_graddiss/3721. [Mil72] J. W. Milnor. On the construction FK. In: Algebraic Topology: A Student’s Guide. Ed. by J. F. Adams. London Mathematical Society Lecture Note Series, No. 4. Cambridge University Press, London-New York, 1972, pp. 118–136. doi: 10.1017/CBO9780511662584.011. [Mor15] S. Moriya. Multiplicative formality of operads and Sinha’s spectral sequence for long knots. Kyoto J. Math. 55.1 (2015), pp. 17–27. doi: 10.1215/21562261-2801858. [MV15] B. A. Munson and I. Volić. Cubical homotopy theory. Vol. 25. New Mathematical Mono- graphs. Cambridge University Press, Cambridge, 2015, pp. xv+631. isbn: 978-1-107-03025-1. url: https://doi.org/10.1017/CBO9781139343329. [MN89]H. Murakami and Y. Nakanishi. On a certain move generating link-homology. Math. Ann. 284.1 (1989), pp. 75–89. doi: 10.1007/BF01443506. REFERENCES 75

[Nei10]J. Neisendorfer. Algebraic methods in unstable homotopy theory. Vol. 12. New Mathemati- cal Monographs. Cambridge University Press, Cambridge, 2010, pp. xx+554. doi: 10.1017/ CBO9780511691638. [Oht02]T. Ohtsuki. Quantum invariants. Vol. 29. Series on Knots and Everything. A study of knots, 3-manifolds, and their sets. World Scientific Publishing Co., Inc., River Edge, NJ, 2002, pp. xiv+489. isbn: 981-02-4675-7. [Pal60] R. S. Palais. Local triviality of the restriction map for embeddings. Comment. Math. Helv. 34 (1960), pp. 305–312. doi: 10.1007/BF02565942. [Rob04]A. Robinson. Partition complexes, duality and integral tree representations. Algebr. Geom. Topol. 4 (2004), pp. 943–960. doi: 10.2140/agt.2004.4.943. [SS02] K. P. Scannell and D. P. Sinha. A one-dimensional embedding complex. J. Pure Appl. Algebra 170.1 (2002), pp. 93–107. doi: 10.1016/S0022-4049(01)00078-0. [ST14]R. Schneiderman and P. Teichner. Pulling apart 2-spheres in 4-manifolds. Doc. Math. 19 (2014), pp. 941–992. url: https://www.math.uni-bielefeld.de/documenta/vol-19/31.pdf. [Shi19]Y. Shi. “Vassiliev invariants via manifold calculus”. MA thesis. Universität Bonn, 2019. url: https://yuqingshi.bitbucket.io/articles/masterthesis.pdf. [Sin06] D. P. Sinha. Operads and knot spaces. J. Amer. Math. Soc. 19.2 (2006), pp. 461–486. doi: 10.1090/S0894-0347-05-00510-2. [Sin09] D. P. Sinha. The topology of spaces of knots: cosimplicial models. Amer. J. Math. 131.4 (2009), pp. 945–980. doi: 10.1353/ajm.0.0061. [Sma58]S. Smale. Regular curves on Riemannian manifolds. Trans. Amer. Math. Soc. 87 (1958), pp. 492–512. doi: 10.2307/1993113. [Son13] P. A. Songhafouo Tsopméné. Formality of Sinha’s cosimplicial model for long knots spaces and the Gerstenhaber algebra structure of homology. Algebr. Geom. Topol. 13.4 (2013), pp. 2193– 2205. doi: 10.2140/agt.2013.13.2193. [Spe71] C. B. Spencer. The Milnor-Hilton theorem and Whitehead products. J. London Math. Soc. (2) 4 (1971), pp. 291–303. doi: 10.1112/jlms/s2-4.2.291. [Sta98] T. B. Stanford. Vassiliev invariants and knots modulo pure braid subgroups. 1998. arXiv: math/9805092. [Tei02] P. Teichner. Knots, von Neumann signatures, and grope cobordism. In: Proceedings of the International Congress of Mathematicians, Vol. II (Beijing, 2002). Higher Ed. Press, Beijing, 2002, pp. 437–446. [Tei04] P. Teichner. What is . . . a grope? Notices Am. Math. Soc. 51.8 (2004), pp. 894–895. [Tou07]V. Tourtchine. On the other side of the bialgebra of chord diagrams. J. Knot Theory Ram- ifications 16.5 (2007), pp. 575–629. doi: 10.1142/S0218216507005397. [Tur14]V. Turchin. Delooping totalization of a multiplicative operad. J. Homotopy Relat. Struct. 9.2 (2014), pp. 349–418. doi: 10.1007/s40062-013-0032-9. [Vas90] V. A. Vassiliev. Cohomology of knot spaces. In: Theory of singularities and its applications. Vol. 1. Adv. Soviet Math. Amer. Math. Soc., Providence, RI, 1990, pp. 23–69. [Vas98] V. A. Vassiliev. On invariants and homology of spaces of knots in arbitrary manifolds. In: Topics in quantum groups and finite-type invariants. Vol. 185. Amer. Math. Soc. Transl. Ser. 2. Amer. Math. Soc., Providence, RI, 1998, pp. 155–182. doi: 10.1090/trans2/185/11. [Vog11] P. Vogel. Algebraic structures on modules of diagrams. J. Pure Appl. Algebra 215.6 (2011), pp. 1292–1339. doi: 10.1016/j.jpaa.2010.08.013. [Vol06]I. Volić. Finite type knot invariants and the calculus of functors. Compos. Math. 142.1 (2006), pp. 222–250. doi: 10.1112/S0010437X05001648. [Wat18]T. Watanabe. Some exotic nontrivial elements of the rational homotopy groups of Diff (4 . ( ) 2018. arXiv: 1812.02448. [Wei99]M. Weiss. Embeddings from the point of view of immersion theory. I. Geom. Topol. 3 (1999), pp. 67–101. doi: 10.2140/gt.1999.3.67. [Wei05]M. Weiss. Immersion theory for homotopy theorists. Unpublished survey. 2005. url: https: //ivv5hpp.uni-muenster.de/u/mweis_02/papers.html. [Whi78] G. W. Whitehead. Elements of homotopy theory. Vol. 61. Graduate Texts in Mathematics. Springer-Verlag, New York-Berlin, 1978, pp. xxi+744.