Arxiv:2010.05120V1 [Math.GT] 10 Oct 2020

EMBEDDING CALCULUS AND GROPE COBORDISM OF KNOTS DANICA KOSANOVIĆ Abstract. We show that the invariants 4E= of long knots in a 3-manifold, 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 homotopy 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 manifolds ¹ º 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 1 " be » ºt¹ − ¼ ! a fixed neat embedding, i.e. satisfying 1 1 %" = 0, 1 , and consider the space of neat embeddings − ¹ º f g K " := Emb , " := 5 : = 0, 1 1 " 5 1 near % . (0.1) ¹ º %¹ º » ¼ ! j ≡ 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 " . %¹ º n ¹ º 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 ,= 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 2 ¹ º ¹ º 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.

Load more