We show that the map on components from the space of classical long knots to the n-th stage of its Goodwillie-Weiss embedding calculus tower is a map of monoids whose target is an abelian group and which is invariant under clasper surgery. We deduce
that this map on components is a finite type-(n-1) knot invariant. We also compute the second page in total degree zero for the spectral sequence converging to the components of this tower as Z-modules of primitive chord diagrams, providing evidence for the conjecture that the tower is a universal finite-type invariant over the integers. Key to these results is the development of a group structure on the tower compatible with connect-sum of knots, which in contrast with the corresponding results for the (weaker) homology tower requires novel techniques involving operad actions, evaluation maps, and cosimplicial and subcubical diagrams.
Budney recently constructed an operad that encodes splicing of knots. He further showed that the space of (long) knots is generated over this operad by the space of torus knots and hyperbolic knots, thus generalizing the satellite decomposition of kn
ots from isotopy classes to the level of the space of knots. Infection by string links is a generalization of splicing from knots to links. We construct a colored operad that encodes string link infection. We prove that a certain subspace of the space of 2-component string links is generated over a suboperad of our operad by its subspace of prime links. This generalizes a result from joint work with Blair from isotopy classes of knots to the space of knots. Furthermore, all the relations in the monoid of 2-string links (as determined in our joint work with Blair) are captured by our infection operad.
In this paper we use 3-manifold techniques to illuminate the structure of the string link monoid. In particular, we give a prime decomposition theorem for string links on two components as well as give necessary conditions for string links to commute under the stacking operation.
