Abstract
We work out the details of a correspondence observed by Goodwillie between cosimplicial spaces and good functors from a category of open subsets of the interval to the category of compactly generated weak Hausdorff spaces. Using this, we compute the first page of the integral Bousfield–Kan homotopy spectral sequence of the tower of fibrations, given by the Taylor tower of the embedding functor associated to the space of long knots. Based on the methods in Conant (Am J Math 130(2):341–357. https://doi.org/10.1353/ajm.2008.0020, 2008), we give a combinatorial interpretation of the differentials \(d^1\) mapping into the diagonal terms, by introducing the notion of (i, n)-marked unitrivalent graphs.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Manifold calculus is a theory introduced by Goodwillie and Weiss, cf. [19, 39], that produces a sequence of functors approximating a given good functor (Definition 1.3) from the category of open subsets of a manifold to the category \(\mathcal {C}\mathcal {G}\mathcal {H}\) of compactly generated weak Hausdorff spaces. Let M and N be smooth manifolds. We are interested in studying the space \({{\,\textrm{Emb}\,}}_{\partial }(M, N, f)\) of smooth embeddings that are germ equivalent on the boundary of M to a fixed smooth boundary-preserving embedding \(f{{ :}} M \rightarrow N\). We topologise this space with the compact-open topology. Now we can apply manifold calculus to the embedding functor \({{\,\textrm{Emb}\,}}_{\partial }({-}, N, f) :\mathrm {\textbf{Open}}^{}\left( M \right) ^{\textrm{op}}_{\partial } \rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\), sending an open subset \(V \subseteq M\) with \(\partial M \subseteq V\) to the embedding space \({{\,\textrm{Emb}\,}}_{\partial }(V, N, f)\). In this way we obtain information about the space \({{\,\textrm{Emb}\,}}_{\partial }(M, N, f)\) by studying the embedding functor and its sequence of approximations.
In this paper, we focus on analysing the following embedding functor
associated to the space \(\mathcal {K}= {{\,\textrm{Emb}\,}}_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c)\) of long knots where c is an embedding representing the trivial long knot. Our motivation for studying this embedding functor is its close relation to knot theory, in particular, the theory of Vassiliev invariants. In Sect. 1 we recall some background on manifold calculus and give a precise definition of the space \(\mathcal {K}\). At the end of this section, we summarise briefly the original construction of the Vassiliev invariants and present how the theory of these knot invariants and the theory manifold calculus relate.
As mentioned above, manifold calculus associates to \({{\,\textrm{Emb}\,}}({-})\) a sequence of polynomial functors \(\textrm{T}_n {{\,\textrm{Emb}\,}}({-})\) (Definition 1.7) approximating the functor \({{\,\textrm{Emb}\,}}({-})\),
The induced map \(\pi _{0}\left( \eta _n(\textrm{I})\right) {{ :}} \pi _0\left( {{\,\textrm{Emb}\,}}(\textrm{I})\right) \rightarrow \pi _{0}\left( \textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I})\right) \) is an additive Vassiliev invariant of degree at most \(n-1\) and conjecturally it is the universal one, cf. [4]. It is known that the map \(\pi _0(\eta _{n}(\textrm{I}))\) is surjective, cf. [27].
Our approach to understanding the maps \(\pi _{0}\left( \eta _n(\textrm{I})\right) \) is to compute the Bousfield–Kan homotopy spectral sequence associated to the tower of fibrations
As a first step, we study in Sect. 2 the construction [19, Contruction 5.1.1] that relates cosimplicial spaces with good functors from \(\mathrm {\textbf{Open}}_{\partial }^{}\left( \textrm{I} \right) \) to the category of spaces. In Theorem 2.12 we give a more precise formulation of this construction, summarised as the theorem below.
Theorem 0.1
There is an isomorphism between the homotopy class of augmented cosimplicial spaces and the homotopy class of good functors \(F :\mathrm {\textbf{Open}}_{\partial }^{}\left( \textrm{I} \right) ^{\textrm{op}} \rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\).
We were not able to find a proof of the above theorem or of [19, Contruction 5.1.1] in the literature. Thus, we give a proof in Sect. 2, using some results of [1]. Therefore, we can associate a cosimplicial space \(\mathfrak {E}mb^{\bullet }\) to the embedding functor \({{\,\textrm{Emb}\,}}({-})\) via the above equivalence, which provides us with a cosimplicial model for the tower of fibrations (0.1), namely
We find the construction of this cosimplicial model very natural, yet it is the least used one in the study of the space of long knots. There is another cosimplicial model \(C^{\bullet }\) of the tower of fibration (0.1) which is defined using the Fulton–MacPherson compactification, cf. [33] and [4]. In Remark 2.25 we briefly recall the construction and properties of \(C^{\bullet }\).
The n-th level \(\mathfrak {E}mb^{n}\) of the cosimplicial space \(\mathfrak {E}mb^{\bullet }\) is weakly homotopy equivalent to the cartesian product of the configuration space \(\textrm{Conf}_n(\mathbb {R}^2 \times \textrm{D}^1)\) and n copies of the sphere \(\textrm{S}^2\). In Sect. 3.3, we compute the Bousfield–Kan homotopy spectral sequence \(\{E_{p,q}^r\}_{p, q \ge 0}\) with integral coefficients associated to \(\mathfrak {E}mb^{\bullet }\), using a presentation of the homotopy groups of the configuration spaces via iterated Whitehead products. More specifically, we are able to give an explicit description of the abelian groups \(E_{p, q}^1\) (Proposition 3.20 and Remark 3.21). Thanks to this, we obtain a simplification of the calculation of the differentials mapping into the diagonal terms on the \(E^1\)-page.
Theorem 0.2
(Theorem 3.26) For \(p \ge 3\),Footnote 1 the differential \( d^1{{ :}} E_{p-1, p}^1 \rightarrow E_{p, p}^1 \) can be expressed as an explicit sum of four iterated Whitehead products.
In Sect. 4, we give a combinatorial interpretation of the groups \(E_{p, p}^1\) and \(E_{p-1, p}^1\), as well as the differentials \(d^1{{ :}} E_{p, p}^1 \rightarrow E_{p-1, p}^1\), based on the methods of [11]. The group \(E_{p, p}^1\) is isomorphic to the abelian group \(\mathcal {T}_{p-1}\) of labelled unitrivalent trees of degree \(p-1\) with a total ordering on its leaves, modulo AS- and IHX-relations (Proposition 4.5). In Fig. 1 we draw an example of a labelled unitrivalent tree of degree 4.
In order to describe the groups \(E_{p-1, p}^1\), we introduce the notion of (i, p)-marked unitrivalent graphs (Definition 4.8). In Fig. 2 we draw an example of a marked unitrivalent graph of degree 8.
Proposition 0.3
(Proposition 4.13) Let \(\mathcal {D}_{p-1}\) be the abelian group generated by \((i, p-1)\)-marked unitrivalent graphs with \(1 \le i \le p\), modulo AS- and IHXsep-relations. Then we can identify \(\mathcal {D}_{p-1}\) with the torsion-free part of \(E_{p-1,p}^1\).
The differentials \(d^1\) have the following interpretation using unitrivalent graphs.
Theorem 0.4
(Theorem 4.18) Let \(p \ge 4\). Under the identifications above, the differential \(d^1{{ :}} E_{p-1, p} \rightarrow E_{p, p}\) maps a \((k,p-1)\)-marked unitrivalent graph \(\varGamma _{k, p-1}\) to the linear combination \(\varGamma _{p}^{1} - \varGamma _{p}^{2} - (\varGamma _{k}^{2} - \varGamma _{k}^{1})\) of unitrivalent trees of degree \(p-1\), where
-
(i)
the linear combination \(\varGamma _{p}^1 - \varGamma _p^2\) is obtained by performing the STU-relation (Definition 4.15) on \(\varGamma _{k, p-1}\) at the edge connecting the leaf labelled by \(p-1\) and the marked node \(v_{p-1}\), and
-
(ii)
the linear combination \(\varGamma _{k}^2 - \varGamma _k^1\) is obtained by performing the STU-relation on \(\varGamma _{k, p-1}\) at the edge connecting the leaf labelled by k and the marked node \(v_{p-1}\).
See Fig. 3 for a visualisation of the graphs occurring in the theorem. We call the equivalence relation on the abelian group \(\mathcal {T}_{p-1}\) (labelled unitrivalent trees of degree \(p-1\)) generated by the image of \(d^1\) the STU2-equivalence relation (Definition 4.15). As a corollary we have the following proposition.
Proposition 0.5
(Conant) A tree \(\tau \in \mathcal {T}_{p-1}\) is STU2-equivalent to 0 if and only if \(\tau \in {{\,\textrm{im}\,}}(d^1)\) under the isomorphism \(E_{p,p}^1 \cong \mathcal {T}_{p-1}\) of Proposition 4.5.
We also obtain a combinatorial interpretation of \(E_{p,p}^2\) for \(p \ge 1\).
Corollary 0.6
(Corollary 4.21)
-
(i)
\(E_{p,p}^2\) is isomorphic to the abelian group generated by unitrivalent tree of degree \(p-1\), modulo AS-, IHX-, and STU2-relations, for \(p \ge 4\).
-
(ii)
\(E_{3,3}^2 \cong E_{3,3}^1 \cong \mathcal {T}_{2} \cong \mathbb {Z}\), for \(p = 3\).
-
(iii)
\(E_{p,p}^2 = 0\), for \(p = 0, 1, 2\).
We conclude in Sect. 5 by illustrating the connection between the manifold calculus tower of \({{\,\textrm{Emb}\,}}({-})\) and some geometrical and combinatorial aspects of Vassiliev knot invariants, and mention some future work.
Notation
Throughout the text, we denote by \(\textrm{I}\), \(\textrm{D}^n\) and \(\textrm{S}^n\) the unit interval, the unit n-disk and the unit n-sphere, respectively.
Situation
We work with simplicial categories, i.e. categories enriched over the category of simplicial sets equipped with the Kan model structureFootnote 2. Most of the categories we consider in this text are by nature enriched over the category of compactly generated weakly Hausdorff spaces. We regard them as simplicial categories by applying the singular complex functor to the mapping spaces. For simplicity, we call the mapping simplicial sets obtained as above again mapping spaces. In particular, every ordinary category is a topologically enriched category with discrete morphism spaces. Thus we also consider them as simplicial categories. For an introduction on (simplicial) enriched categories and enriched functors see [29, A.1.4, A.3] and [25, Chapter 9].
We denote by \({{\,\textrm{holim}\,}}\) the homotpy limits in simplicial categories. We refer the reader to [25, Chapter 18] for a detailed explanation of homotopy limits. For the calculation of homotopy limits in the category of compactly generated weak Hausdorff spaces see [25, Chapter 18.2], [32, Chapter 6] and [30, Section 8].
2 Background and motivation
2.1 Manifold Calculus
In this section we are going to briefly introduce the basic building blocks of manifold calculus. The main references for this section are [9, 20, 39], which also contain further motivation for this subject.
Definition 1.1
-
(i)
Denote by \(\mathcal {C}\mathcal {G}\mathcal {H}\) the simplical category of compactly generated weak Hausdorff spaces. We will call \(\mathcal {C}\mathcal {G}\mathcal {H}\) the category of spaces for simplicity.
-
(ii)
For a manifold M, denote by \(\mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) \) the category of open subsets of M which contain \(\partial M\). Morphisms of \(\mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) \) are inclusions of these open subsets. For a manifold \(M'\) without boundary, we will simplify the notation as \(\mathrm {\textbf{Open}}^{}\left( M' \right) \).
Definition 1.2
A smooth codimension zero embedding \(i_v{{ :}} (V, \partial V) \rightarrow (W, \partial W)\) between smooth manifolds V and W is an isotopy equivalence if there exists a smooth embedding \(i_w :(W, \partial W) \rightarrow (V, \partial V)\) such that \(i_v \circ i_w\) and \(i_w \circ i_v\) are isotopic to \({\text {id}}_{(W, \partial W)}\) and \({\text {id}}_{(V, \partial V)}\) respectively.
Definition 1.3
Let M be a smooth manifold of dimension m. A good functor on \(\mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) \) is a functor \(F{{ :}} \mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) ^{\textrm{op}} \rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\) of simplicial categories, which satisfies the following conditions:
-
(i)
(isotopy invariant) If \(i \in {{\,\textrm{Mor}\,}}_{\mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) }(V, W)\) is an isotopy equivalence, then F(i) is a weak homotopy equivalence;
-
(ii)
For any filtration \(\dots V_{i} \subseteq V_{i+1} \dots \) of open subsets of M, the canonical map
$$\begin{aligned} F(\cup _{i \in \mathbb {N}}V_i) \rightarrow {{\,\textrm{holim}\,}}_{i \in \mathbb {N}} F(V_i) \end{aligned}$$is a weak homotopy equivalence.
Definition 1.4
Let M and N be smooth manifolds.
-
(i)
We define \({{\,\textrm{Emb}\,}}(M,N)\) to be the space of smooth embeddings of M into N.
-
(ii)
When M and N are smooth manifolds with boundary, we define \({{\,\textrm{Emb}\,}}_{\partial }(M, N)\) to be the space of smooth embeddings \(F{{ :}} M \rightarrow N\) which preserve the boundary, i.e. \(F(\partial M) \subseteq \partial N\).
-
(iii)
We define \({{\,\textrm{Emb}\,}}_{\partial }(M,N,f)\) to be the space of smooth embeddings that coincide with a given smooth embedding \(f :M \hookrightarrow N\) near the boundary that is transverse to \(\partial N\), i.e.
$$\begin{aligned} {{\,\textrm{Emb}\,}}_{\partial }(M,N,f) \,{:}{=}\,\{F \in {{\,\textrm{Emb}\,}}_{\partial }(M,N) \mid F \pitchfork \partial N, F \text { and } f \text { are germ equivalent at } \partial M\}. \end{aligned}$$
We topologise \({{\,\textrm{Emb}\,}}(M,N)\) and \({{\,\textrm{Emb}\,}}_{\partial }(M, N, f)\) with the compact-open topology.
Theorem 1.5
(Weiss) Let M and N be smooth manifolds with \(\dim M \le \dim N\), and let \(f{{ :}} M \hookrightarrow N\) be a fixed smooth embedding with \(f \pitchfork \partial N\). Then the embedding functor
is a good functor.
Proof
See [39, Proposition 1.4]. \(\square \)
Now we are going to introduce the approximation sequence for good functors produced by manifold calculus.
Definition 1.6
Denote by [n] the set \(\{0, 1, \dots , n\}\).
-
(i)
Define the category \(\mathrm {\textbf{Pow}}([n])\) as the category whose objects are the subsets of [n] and the morphisms are inclusions of subsets.
-
(ii)
Define the full subcategory \(\mathrm {\textbf{Pow}}([n])_{\ne \emptyset }\) of \(\mathrm {\textbf{Pow}}([n])\), whose objects are the non-empty subsets of [n].
Definition 1.7
For a manifold M without boundary, a good functor F is a polynomial functor of degree at most n if for every open subset \(U \in \mathrm {\textbf{Open}}^{}\left( M \right) \) and \(A_0, A_1, \dots , A_n\) pairwise disjoint closed subsets of M which lie in U, the \((n+1)\)-cube
is homotopy cartesian, i.e. the natural map \(\chi (\emptyset ) \rightarrow {{\,\textrm{holim}\,}}_{S \ne \emptyset }\chi (S)\) is a weak homotopy equivalence. In other words, \(F(U) \rightarrow {{\,\textrm{holim}\,}}_{S \ne \emptyset }F(U {\setminus } \cup _{i \in S}A_i)\) is a weak homotopy equivalence.
Remark 1.8
One obtains the definition of polynomial functors of degree at most n for manifolds M with boundary by replacing \(\mathrm {\textbf{Open}}^{}\left( M \right) \) with \(\mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) \) and requiring that each \(A_i\) has empty intersection with \(\partial U\) so that \(F(U \setminus \cup _{i \in S}A_i)\) is well-defined.
The name ‘polynomial functor’ may come from the following criterium for polynomial functions.
Lemma 1.9
A smooth function \(p{{ :}} \mathbb {R}\rightarrow \mathbb {R}\) satisfies
for any collection of real numbers \(x_0, x_1, \dots , x_n\) if and only if p is a polynomial of degree at most n. \(\square \)
Definition 1.10
Let M be a smooth manifold and let \(n \in \mathbb {N}\). Define \(\mathrm {\textbf{Open}}_{\partial }^{n}\left( M \right) \) to be the full subcategory of \(\mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) \) whose objects are the open subsets W of M that are diffeomorphic to \(\textrm{N}(\partial M) \sqcup (\bigsqcup _{k} \mathbb {R}^{m})\) with \(0 \le k \le n\). Here \(\textrm{N}(\partial M)\) denotes a (non-fixed) tubular neighbourhood of \(\partial M\) in M.
Definition 1.11
Let M be a manifold and let F be a good functor. The n-th Taylor approximation \(\textrm{T}_n F\) of F is the homotopy right Kan extension
of \(\left. F\right| _{\mathrm {\textbf{Open}}_{\partial }^{n}\left( M \right) ^{\textrm{op}}}\) along the inclusion \(i_n{ :} \mathrm {\textbf{Open}}_{\partial }^{n}\left( M \right) ^{\textrm{op}} \hookrightarrow \mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) ^{\textrm{op}}\), together with the natural transformation \(\eta _n{ :} F \rightarrow \textrm{T}_n F\) coming from the universal property of the homotopy right Kan extension. Written as a homotopy limit, the functor \(\textrm{T}_n F\) is
Example 1.12
([39, Section 0]) Let M, N be smooth manifolds (without boundary). The first Taylor approximation \(\textrm{T}_1 {{\,\textrm{Emb}\,}}(V)\) of the embedding functor \({{\,\textrm{Emb}\,}}({-}, N)\) is weakly homotopy equivalent to the immersion functor \({\text {Imm}}({-},N)\), which associates to an open subset \(V \subseteq M\) the space of immersions \({\text {Imm}}(V,N)\). In other words, the “linear” approximation of \({{\,\textrm{Emb}\,}}(M, N)\) is the space \({\text {Imm}}(M, N)\) of “local” embeddings.
Proposition 1.13
(Weiss) Using the notation from Definition 1.11, the functor \(\textrm{T}_nF\) toghether with the natural transformation \(\eta _n\) has the following properties.
-
(i)
The functor \(\textrm{T}_n F\) is a polynomial functor of degree at most n,
-
(ii)
For any \(V \in \mathrm {\textbf{Open}}_{\partial }^{n}\left( M \right) \), the map \(\eta _n(V)\) is a weak homotopy equivalence.
-
(iii)
If F is a polynomial functor of degree at most n, then \(\eta _n\) is a weak equivalence, i.e. \(\eta _n(V)\) is a weak homotopy equivalence for every \(V \in \mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) \).
-
(iv)
If \(\mu { :} F \rightarrow G\) is a natural transformation where G is a polynomial functor of degree at most n, then the natural transformation \(\mu \) factors through \(\textrm{T}_n F\), unique up to contractible choices.
Proof
See [39, Theorem 3.9, Theorem 6.1]. \(\square \)
Remark 1.14
In other words, the natural transformation \(\eta _n{ :} F \rightarrow \textrm{T}_n F\) is the best approximation of F by a polynomial functors of degree at most n and \(\textrm{T}_n F\) is unique up to weak homotopy equivalence.
Definition 1.15
Let M be a smooth manifold and let \(F{ :} \mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) \rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\) be a good functor. The Taylor tower of F is the tower of natural transformations \(r_{i}{ :} \textrm{T}_i F \rightarrow \textrm{T}_{i-1} F\) with \(i \ge 1\), that are induced by the inclusion \(\mathrm {\textbf{Open}}_{\partial }^{i-1}\left( M \right) \hookrightarrow \mathrm {\textbf{Open}}_{\partial }^{i}\left( M \right) \).
Definition 1.16
In the situation of Definition 1.15, The Taylor tower of F converges if for every \(V \in \mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) \), the canonical map \( \eta (V){ :} F(V) \rightarrow {{\,\textrm{holim}\,}}_{n \ne 0} \textrm{T}_n F(V)\) is a weak homotopy equivalence.
The Taylor tower of a good functor does not converge in general. However, for some embedding functors, we have the following convergence criterium.
Theorem 1.17
(Goodwillie–Weiss) Let M and N be two smooth manifolds. Then the Taylor tower of the embedding functor \({{\,\textrm{Emb}\,}}({-},N)\) converges, if \(\dim N - \dim M \ge 3\).
Proof
See [20, Corollary 2.5]. \(\square \)
Thus, in the codimension 2 case, where interesting knot theory is developed, this convergence theorem is not applicable. Nevertheless, manifold calculus allows us to study the space of knots from a homotopy theoretic viewpoint, as shown in the later sections. For this purpose, let us first recall the basic notions of knot theory.
2.2 Long knots and Vassiliev’s knot invariants
Classically, knot theory studies smooth embeddings of \(\textrm{S}^1\) into \(\textrm{S}^3\) up to isotopy. A long knot is an embedding from \(\textrm{I}\) to \(\mathbb {R}^2 \times \textrm{D}^1\) coinciding with a fixed linear embedding near the boundary. We consider long knots instead of knots in this paper because of technical convenience. For example, the space \(\mathcal {K}\) of long knots has an \(\textrm{E}_1\)-algebraFootnote 3 structure induced by concatenation, cf. [4, Section 4] and [8]. The one point compactification of each long knot induces an isomorphism between \(\pi _0(\mathcal {K})\) and \(\pi _0({{\,\textrm{Emb}\,}}(\textrm{S}^1, \textrm{S}^3))\). Thus for the study of knot invariants with values in an abelian group A, i.e. elements of \({{\,\textrm{H}\,}}^{0}({{\,\textrm{Emb}\,}}(\textrm{S}^1, \textrm{S}^3); A)\), it does no harm to use long knots instead of knots. However, note that \({{\,\textrm{Emb}\,}}(\textrm{S}^1, \textrm{S}^3)\) and the space of long knots \(\mathcal {K}\) have different higher homotopy groups, cf. [8, Theorem 2.1].
Definition 1.18
Fix the embedding \(c{ :} \textrm{I}\rightarrow \mathbb {R}^2 \times \textrm{D}^1\), \(t \mapsto (0,0, -1 + 2t)\) and define the space \(\mathcal {K}\) of long knots as \({{\,\textrm{Emb}\,}}_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c)\). Elements of \(\mathcal {K}\) are called long knots.
For the joy of the reader, see Fig. 4 for an example of a long knot.
Definition 1.19
Two long knots \(K_0,K_1 \in \mathcal {K}\) are called isotopicFootnote 4 if there is a smooth map \(F :\textrm{I}\times \textrm{I}\rightarrow \mathbb {R}^2 \times \textrm{D}^1\) such that \(\left. F\right| _{\textrm{I}\times \{0\}} = K_0\) and \(\left. F\right| _{\textrm{I}\times \{1\}} = K_1\), and \(\left. F\right| _{\textrm{I}\times \{t\}} \in \mathcal {K}\) for every \(t \in \textrm{I}\). We call F an isotopy between \(K_0\) and \(K_1\), and write \(K_0 \sim K_1\)
Definition 1.20
A knot invariant with values in a set R is a map \(f:\pi _0(\mathcal {K}) \rightarrow R\).
Classifying knots up to isotopy has always been a central problem in knot theory, so finding computable knot invariants plays an important role. The knot invariants that we are interested in are the so called finite type invariants, which are a collection of knot invariants discovered by Vassiliev, see [38] for Vassiliev’s original approach and [3] for an alternative explanation. There is a precise definition of Vassiliev invariants using combinatorics, which links the study of Vassiliev invariants to Chern–Simon theory and algebraic structures of Feynman diagrams, cf. [3, 26]. For motivation, we sketch Vassiliev’s original approach here:
Instead of focusing on one specific knot invariant, Vassiliev considered the whole setFootnote 5\({{\,\textrm{H}\,}}^0(\mathcal {K}; A)\) of all knot invariants with values in a given abelian group A. The main steps of his computation are the following:
-
(i)
Embed \(\mathcal {K}\) in the space \(\textrm{C}^{\infty }_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c)\) of all smooth maps from \(\textrm{I}\) into \(\mathbb {R}^2 \times \textrm{D}^1\) which are germ equivalent with c on the boundary (Definition 1.18).
-
(ii)
Compute the homology of the complement of \(\mathcal {K}\) in \(\textrm{C}^{\infty }_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c)\).
-
(iii)
Use Alexander duality to obtain \({{\,\textrm{H}\,}}^{\bullet }(\mathcal {K}; A)\), and in particular \({{\,\textrm{H}\,}}^{0}(\mathcal {K}; A)\).
In order to perform step (ii) and (iii), Vassiliev finds a filtration by finite dimensional vector spaces \(\{\varGamma _i\}_{i \in \mathbb {N}}\), which approximate the space \(\textrm{C}^{\infty }_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c)\). Intersecting this sequence with \(\textrm{C}^{\infty }_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c) \setminus \mathcal {K}\) yields a filtration
Now, Vassiliev computes \({{\,\textrm{H}\,}}_{\bullet }(\textrm{C}^{\infty }_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c) {\setminus } \mathcal {K}; A)\) via a homological spectral sequence associated to this filtration. Furthermore, this filtration gives a filtration of the homology groups \({{\,\textrm{H}\,}}_{\bullet }(\textrm{C}^{\infty }_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c) {\setminus } \mathcal {K}; A)\). In each of the finite dimensional vector spaces we can apply Alexander duality to obtain a filtration
Finally, a Vassiliev invariant of degree at most n with values in A is defined to be an element of \(V_n^A\).
Remark 1.21
Let \(K \in \textrm{C}^{\infty }_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c)\) be a smooth map. We call a point \(p \in {{\,\textrm{im}\,}}(K)\) a singularity of K if \(K^{-1}(p)\) contains more than one element. The filtration \((\sigma _i)_{i \ge 1}\) of \(\textrm{C}^{\infty }_{\partial }(\textrm{I}, \mathbb {R}^2 \times \textrm{D}^1, c) {\setminus } \mathcal {K}\) arises by distinguishing K by the type and the number of its singularities. Thus it appears natural to conjecture that the system of Vassiliev invariants classifies knots. On the other hand, it is still open whether Vassiliev invariants detect the unknot.
Notation 1.22
We abbreviate the embedding functor \({{\,\textrm{Emb}\,}}_{\partial }({-}, \mathbb {R}^2 \times \textrm{D}^1, c)\) associated to the space \(\mathcal {K}\) as \({{\,\textrm{Emb}\,}}({-})\), since this is the only embedding space we are going to consider in the rest of the text.
The convergence for the Taylor tower of the embedding functor \({{\,\textrm{Emb}\,}}({-})\) corresponding to the space \(\mathcal {K}\) indeed fails, because the set \(\pi _0(\mathcal {K})\) is countable, but the homotopy limit of the corresponding Taylor tower can be shown (formally) to be uncountable. However, the natural transformations \(\eta _n\) in the Taylor tower of \({{\,\textrm{Emb}\,}}({-})\)
do provide us with a sequence of knot invariants, i.e. \(\pi _{0}\left( \eta _n(\textrm{I})\right) :\pi _0\left( \mathcal {K}\right) \rightarrow \pi _0\left( \textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I})\right) \) for every \(n \in \mathbb {N}\). These are actually finite type invariants:
Theorem 1.23
(Budney–Connant–Koytcheff–Sinha) Let \(n \in \mathbb {N}\). The map \(\pi _0(\eta (\textrm{I}))\) is an additive finite type knot invariant of degree at most \(n-1\).
Proof
See [4, Theorem 6.5]. \(\square \)
Remark 1.24
Let A be an abelian group. An additive knot invariant is a abelian monoid homomorphism \(\pi _0(\mathcal {K}) \rightarrow A\), where the abelianFootnote 6 monoid structure of \(\pi _0(\mathcal {K})\) is induced by connected sum of knots. Thus, one non-trivial point in Theorem 1.23 is to give \(\pi _0\left( \textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I})\right) \) an abelian monoid structure such that it is compatible with the connected sum of knots. The authors of [4] solve this by defining compatible \(\textrm{E}_1\)-algebra structures on the spaces \(\mathcal {K}\) and \(\textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I})\), cf. [4, Section 4]. For more survey on the operadic structures on the space of long knots (not necessarily in codimension 2), cf. [8, 14, 33].
Conjecture 1.25
(Budney–Connant–Koycheff–Sinha) Let \(n \in \mathbb {N}\). The map \(\pi _0(\eta _{n}(\textrm{I}))\) is the universal additive finite type knot invariant of degree at most \(n-1\).
We refer the readers to [12, 13, 21, 35] for various geometric and combinatorial descriptions of universal additive Vassiliev invariants. If the conjecture is true, then we expect \(\pi _0\left( \textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I})\right) \) to be isomorphic to the abelian groups generated by certain combinatorial diagrams. The rest of the text aims at explaining one method of understanding the homotopy groups (at least \(\pi _0\)) of \(\textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I})\), namely, the computation of a Bousfield–Kan homotopy spectral sequence of the following tower of fibration:
In order to do this, we introduce in the next section a cosimplicial space associated to the embedding functor \({{\,\textrm{Emb}\,}}({-})\).
3 A cosimplicial model constructed by Goodwillie
Goodwillie observed that a good functor on \(\mathrm {\textbf{Open}}_{\partial }^{}\left( \textrm{I} \right) \) corresponds to an augmented cosimplicial space, and vice versa, cf. [19, Section 5]. The cosimplicial spaces arise naturally in this way enjoy nice properties and can be considered as cosimplicial models for the Taylor tower of the corresponding good functors (Definition 2.15). Because certain details are left out in the paper [19] for the construction of the cosimplicial spaces and their properties, we reformulate this correspondence in terms of equivalence of simplicial functor categories and give proofs in full detail, using some results from [1]. This equivalence further facilitates the computations in Sect. 3.3.
Definition 2.1
We define the following two categories.
-
(i)
The simplex category \(\pmb {\mathrm {\Delta }}\) consists of the objects \([n] = \{0,1,\dots , n\} \subseteq \mathbb {N}\) with \(n \ge 0\), and the morphisms are the order-preserving maps.
-
(ii)
Denote by \(\pmb {\mathrm {\Delta }}_{+}\) the category of finite, totally ordered sets. The morphisms are order-preserving maps.
Remark 2.2
The simplex category \(\pmb {\mathrm {\Delta }}\) is equivalent to the category of non-empty finite totally ordered sets, which we also denote, by abuse of notation, by \(\pmb {\mathrm {\Delta }}\).
Definition 2.3
-
(i)
A cosimplicial space is a functor \(X^{\bullet } :\pmb {\mathrm {\Delta }}\rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\).
-
(ii)
An augmented cosimplicial space \(Y^{\bullet }_{+}\) is a functor \(Y^{\bullet }_{+} :\pmb {\mathrm {\Delta }}_{+} \rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\).
Notation 2.4
Let \(X^{\bullet }\) be a cosimplicial space. Denote by \(X^{k}\) the value \(X^{\bullet }([k])\), for \(k \ge 0\).
Notation 2.5
By restricting an augmented cosimplicial space \(Y^{\bullet }_{+}\) to the subcategory \(\pmb {\mathrm {\Delta }}\), we obtain the associated cosimplicial space, which we denote as \(Y^{\bullet }\).
Convention 2.6
By the totalisation \({{\,\textrm{Tot}\,}}X^{\bullet }\) of a cosimplicial space \(X^{\bullet }\) we always mean the totalisation \({{\,\textrm{Tot}\,}}\widetilde{X^{\bullet }}\) of a fibrant replacement \(\widetilde{X^{\bullet }}\) of \(X^{\bullet }\), with respect to the model structure introduced in [5, Section X.4.6]. Similarly, by the n-th partial totalisation \({{\,\textrm{Tot}\,}}^{n} X^{\bullet }\) of \(X^{\bullet }\) we always mean \({{\,\textrm{Tot}\,}}^{n} \widetilde{X^{\bullet }}\).
Remark 2.7
([5, Chapter XI.4.4]) We have natural weak homotopy equivalences
Definition 2.8
Let \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}\) be the full subcategory of \(\mathrm {\textbf{Open}}_{\partial }^{}\left( \textrm{I} \right) \) whose objects are the open subsets of \(\textrm{I}\) that contain \(\partial \textrm{I}\) and have only finitely many path connected components, i.e.
Proposition 2.9
A good functor on \(\mathrm {\textbf{Open}}_{\partial }^{}\left( \textrm{I} \right) ^{\textrm{op}}\) is determined up to weak homotopy equivalence by its restriction on \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}}\).
Proof
This follows by Definition 1.3.ii) of good functor. \(\square \)
Remark 2.10
The restriction of a good functor on \(\mathrm {\textbf{Open}}_{\partial }^{}\left( \textrm{I} \right) ^{\textrm{op}}\) to \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}}\) is isotopy invariant in the sense of Definition 1.3.i). An isotopy invariant functor on \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}}\) fullfills Definition 1.3.ii) automatically.
In the following, we reformulate and prove the correspondence described in [19, Construction 5.1.1] between augmented cosimplicial spaces and good functors from \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}}\) to the category of spaces. We need first few notation from the theory of simplicially enriched categories [29, A.3].
Situation 2.11
Denote by \(\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}\) the category of simplicially enriched categories. In other words, objects of \(\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}\) are simplicially enriched categories and morphisms are simplicial functors. A functor \(F :\mathcal {C}\rightarrow \mathcal {D}\) in \(\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}\) is a weak equivalence if
-
(i)
for every object \(Y \in \mathcal {D}\), there exists \(X \in \mathcal {C}\) such that \(F(X) = Y\) in the homotopy category \({{\,\textrm{h}\,}}\mathcal {D}\) of \(\mathcal {D}\), and
-
(ii)
F induces an equivalence \({{\,\textrm{Map}\,}}_{\mathcal {C}}(X, X') \xrightarrow {\simeq } {{\,\textrm{Map}\,}}_{\mathcal {D}}(F(X), F(X'))\) of mapping spaces for every pair \((X, X')\) of object in \(\mathcal {C}\).
In fact, the category \(\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}\) admits a left proper combinatorial model structure with this notion of weak equivalences [29, Proposition A.3.2.4]. Therefore, we can form the homotopy category \({{\,\textrm{h}\,}}\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}\) of \(\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}\).
Theorem 2.12
Let \(\kappa :\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}} \rightarrow \pmb {\mathrm {\Delta }}_{+}\) be the functor \(\kappa (V) \,{:}{=}\,\pi _0(\textrm{I}\setminus V)\). Then \(\kappa \) induces a bijection
where \({{\,\textrm{Hom}\,}}_{{{\,\textrm{h}\,}}\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}}^{\textrm{g}}\left( \mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}}, \mathcal {C}\mathcal {G}\mathcal {H}\right) \) is the subset of good functors.
Remark 2.13
A more elegant way to formulate this is to use the language of \(\infty \)-categories: the functor \(\kappa \) induces an equivalence
of \(\infty \)-category of functors. Here, \( \mathcal {F}un^{g}\) denotes the \(\infty \)-category of good functors, \({{\,\textrm{N}\,}}\) denotes the nerve functor, and \(\mathcal {H}o\) denotes the \(\infty \)-category of homotopy types which can be obtained from \(\mathcal {C}\mathcal {G}\mathcal {H}\) by inverting all weak homotopy equivalences [29, Remark 1.2.16.3]. In particular, here we have an “enriched”-version of the statement of the above theorem, instead of only talking in the homotopy category \({{\,\textrm{h}\,}}\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}\). We will see later in the proof that Theorem 2.12 is a consequence of the universal property of simplicial localisation, which can be in general only formulated in \({{\,\textrm{h}\,}}\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}\) because the construction itself involves various cofibrant and fibrant replacements. However, we choose not to go further into the \(\infty \)-categorical setting, since it is not necessary for our later applications.
Corollary 2.14
([19, Remark 5.1.3]) Let \(F :\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}} \rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\) be a good functor. Denote by \(\mathfrak {F}^{\bullet }_{+}\) an augmented cosimplicial space such that \(\kappa \circ \mathfrak {F}^{\bullet }_{+} \simeq F\). Then the associated cosimplicial space \(\mathfrak {F}^{\bullet }\) has the following properties:
-
(i)
For \(V \in \mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}}\), we have that \(\mathfrak {F}^{\bullet }\left( {\pi _0(\textrm{I}\setminus V)}\right) \simeq F(V)\).
-
(ii)
We have \({{\,\textrm{Tot}\,}}^{n}\mathfrak {F}^{\bullet } \simeq \textrm{T}_n F(\textrm{I})\) and \({{\,\textrm{Tot}\,}}\mathfrak {F}^{\bullet } \simeq {{\,\textrm{holim}\,}}_{n \ge 0} \textrm{T}_n F(\textrm{I})\).
Definition 2.15
Using the notations of the above corollary, we call a cosimplicial space \(\mathfrak {F}^{\bullet }\) satisfying the i) and ii) of Corollary 2.14 a cosimplicial space associated to the good functor F.
Because of \(\mathfrak {F}^{\bullet }\) enjoys the property of Corollary 2.14.ii), we call \(\mathfrak {F}^{\bullet }\) a cosimplicial model for the tower of fibrations
obtained by evaluation of the Taylor tower of F on \(\textrm{I}\).
Remark 2.16
Let \(n = \#(\pi _0(\textrm{I}\setminus V ))-1\). Denote by \(\mathfrak {E}mb^{\bullet }\) a cosimplicial space associated to \({{\,\textrm{Emb}\,}}({-})\). Corollary 2.14.i) implies that \(\mathfrak {E}mb^{n}\) is weakly homotopy equivalent to the Cartesian products of the configuration space of n-points in \(\mathbb {R}^2 \times \textrm{D}^1\) (points of embeddings) and n-copies of \(\textrm{S}^2\) (tangent vectors at the embedded points). We will use this relation to configuration spaces in Sect. 3.
Now we work towards proofs of Theorem 2.12 and Corollary 2.14, which is, to the best of our knowledge, not available in the literature. Let us begin by introducing several categories.
Definition 2.17
-
(i)
Define the category \(\mathrm {\textbf{Man}}_{\textrm{m}}\) of smooth oriented m-dimensional manifolds. Objects of \(\mathrm {\textbf{Man}}_{\textrm{m}}\) are smooth oriented manifolds of dimension m, and the morphisms are the orientation-preserving smooth embeddings.
-
(ii)
Define the simplicial category \(\mathcal {M}\textrm{an}_{\textrm{m}}\) of smooth oriented m-dimensional manifolds. This category has the same objects as \(\mathrm {\textbf{Man}}_{\textrm{m}}\), and the morphisms are spaces of orientation-preserving smooth embeddings, equipped with the compact-open topology.
-
(iii)
Define the full subcategory \(\mathrm {\textbf{Disc}}_{\textrm{m}}\) of \(\mathrm {\textbf{Man}}_{\textrm{m}}\) whose objects are finite disjoint unions of \(\mathbb {R}^{m}\) and \(\mathbb {R}_{\ge 0} \times \mathbb {R}^{m-1}\).
-
(iv)
Define the full simplicial subcategory \(\mathcal {D}\textrm{isc}_{\textrm{m}}\) of \(\mathcal {M}\textrm{an}_{\textrm{m}}\) that has the same objects as \(\mathrm {\textbf{Disc}}_{\textrm{m}}\).
-
(v)
Let M be a smooth oriented manifold of dimension m. Define the category
$$\begin{aligned} \mathrm {\textbf{Disc}}_{\textrm{m} / \textrm{M}} \,{:}{=}\,\mathrm {\textbf{Disc}}_{\textrm{m}} \underset{\mathrm {\textbf{Man}}_{\textrm{m}}}{\times } \mathrm {\textbf{Man}}_{\textrm{m} / \textrm{M}}, \end{aligned}$$where \(\mathrm {\textbf{Man}}_{\textrm{m} / \textrm{M}}\) is the slice-category over M. Objects of \(\mathrm {\textbf{Disc}}_{\textrm{m} / \textrm{M}}\) are embeddings of finite disjoint unions of \(\mathbb {R}^m\) and \(\mathbb {R}_{\ge 0} \times \mathbb {R}^{m-1}\) into M.
-
(vi)
Let M be a smooth oriented manifold of dimension m. Define the simplicial category
$$\begin{aligned} \mathcal {D}\textrm{isc}_{\textrm{m} / \textrm{M}} \,{:}{=}\,\mathcal {D}\textrm{isc}_{\textrm{m}} \underset{\mathcal {M}\textrm{an}_{\textrm{m}}}{\times } \mathcal {M}\textrm{an}_{\textrm{m} / \textrm{M}}, \end{aligned}$$where \(\mathcal {M}\textrm{an}_{\textrm{m} / \textrm{M}}\) is the over category over M.
-
vii)
Let M be a smooth oriented manifold of dimension m. Define the subcategory \(\mathrm {\textbf{Isot}}_{\textrm{m} / \textrm{M}}\) of \(\mathrm {\textbf{Disc}}_{\textrm{m} / \textrm{M}}\) which has the same objects as \(\mathrm {\textbf{Disc}}_{\textrm{m} / \textrm{M}}\), but only the morphisms that are isotopy equivalences.
Situation 2.18
Let \(\mathcal {C}\) and \(\mathcal {D}\) be simplicially enriched categories and W be a set of morphisms in \(\mathcal {C}\). Denote by \(\mathcal {C}[W^{-1}]\) the simplicial localisation of \(\mathcal {C}\) with respect to W. It is a simplicial category together with a functor \(L :\mathcal {C}\rightarrow \mathcal {C}[W^{-1}]\). There are several models [16],Footnote 7 [15] and [29, A.3.5] etc. for simplicial localisations, which are all equivalent after suitable fibrant or cofibrant replacements [36]. Simplicial localisations enjoys the following universal property [29, Proposition A.3.5.5]: the functor L induces an injective map
whose image is the subset of functors \(\mathcal {C}\rightarrow \mathcal {D}\) that sends W to equivalences in \(\mathcal {D}\).
Proposition 2.19
(Ayala–Francis) The canonical functor
induces an equivalence of simplicial categories
Proof
See [1, Proposition 2.19]. \(\square \)
Remark 2.20
In [1], the authors uses the language of \(\infty \)-categories (quasi-categories). For a translation between simplicial categories and \(\infty \)-categories, see [29, Section 1.1.3, 1.1.4 and 1.1.5]. For a comparison between simplicial and \(\infty \)-categorical localisations, see [36].
For our application, we consider \(m = 1 \) and \(M = \textrm{I}\).
Definition 2.21
Define the subcategory \(\mathrm {\textbf{Disc}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }\) of \(\mathrm {\textbf{Disc}}_{\textrm{1} / \mathrm {\textrm{I}}}\) whose objects are the embeddings such that the boundary \(\partial \textrm{I}\) of \(\textrm{I}\) is in the image.
In the same way, let \(\mathrm {\textbf{Isot}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }\) be the subcategory of \(\mathrm {\textbf{Isot}}_{\textrm{1} / \mathrm {\textrm{I}}}\) whose objects are the embeddings such that \(\partial \textrm{I}\) is in their images. Explicitly, objects of \(\mathrm {\textbf{Disc}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }\) are embeddings of the form
Using the same proof strategy as Proposition 2.19, we have
Corollary 2.22
The canonical functor \(\mathrm {\textbf{Disc}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial } \rightarrow \mathcal {D}\textrm{isc}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }\) induces an equivalence of simplicial categories
\(\square \)
Proposition 2.23
-
(i)
(Ayala–Francis) The functor
$$\begin{aligned} S :\left( \mathcal {D}\textrm{isc}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial } \right) ^{\textrm{op}}&\rightarrow \pmb {\mathrm {\Delta }}_{+} \\ \left( i :V \hookrightarrow \textrm{I}\right)&\mapsto \pi _0(\textrm{I}\setminus i(V)) \end{aligned}$$is an equivalence of simplicial categories.
-
(ii)
The functor \(\textrm{Im} :\mathrm {\textbf{Disc}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial } \rightarrow \mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}{}\), \((i :V \hookrightarrow \textrm{I}) \mapsto {{\,\textrm{im}\,}}(i)\) is an equivalence of ordinary categories. Let \(\mathrm {\textbf{Isot}}(\textrm{I})\) be the subcategory of \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}{}\) which has the same objects as \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}{}\) with only the morphisms that are isotopy equivalences. Then \(\left. \textrm{Im}\right| _{\mathrm {\textbf{Isot}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }} :\mathrm {\textbf{Iso}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial } \rightarrow \mathrm {\textbf{Isot}}(\textrm{I})\) is an equivalence of categories.
Proof
(i) We can prove that the functor is essentially surjective and fully faithful. This is true since the every connected component of each space of morphism of \(\mathcal {D}\textrm{isc}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }\) is contractible. See also [1, Lemma 3.11].
(ii) First \(\textrm{Im}\) is essentially surjective, because the boundary of \(\textrm{I}\) is in the image of i for any \(i \in \mathrm {\textbf{Isot}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }\). For any two objects \(i_1 :V_1 \hookrightarrow \textrm{I}\) and \(i_2 :V_2 \hookrightarrow \textrm{I}\) in \(\mathrm {\textbf{Disc}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }\), the morphism set \({{\,\textrm{Mor}\,}}_{\mathrm {\textbf{Disc}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }}(i_1, i_2)\) is either empty or a one element set. Also the morphism set \({{\,\textrm{Mor}\,}}_{\mathrm {\textbf{Open}}_{\partial }^{}\left( \textrm{I} \right) }({{\,\textrm{im}\,}}(i_1), {{\,\textrm{im}\,}}(i_2))\) is either empty or has one element. Thus \(\textrm{Im}\) is fully faithful. Similarly it follows that \(\left. \textrm{Im}\right| _{\mathrm {\textbf{Isot}}_{\textrm{1} / \mathrm {\textrm{I}}}^{\partial }}\) is an equivalence. \(\square \)
Corollary 2.24
We have the following equivalences of simplicial categories
\(\square \)
Proof of Theorem 2.12
Recall the functor \(\kappa :\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}} \rightarrow \pmb {\mathrm {\Delta }}_{+}\) with \(\kappa (V) = \pi _0(\textrm{I}{\setminus } V)\) from Theorem 2.12. This functor fits into the equivalences of Corollary 2.24, i.e. we have the following commutative diagram
where \(\kappa _{\textrm{loc}}\) is the induced map of \(\kappa \) by the universal property of the localisation functor L, since \(\kappa \) sends an isotopy equivalence morphisms in \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}\) to isomorphisms in \(\pmb {\mathrm {\Delta }}_{+}\).
By the universal property (2.1) of localisation and isotopy invariance of good functors, precomposing with the localisation functor L induces an bijection
of the set of homotopy classes of functors. By the equivalences of Corollary 2.24, the map \(\kappa _{\textrm{loc}}\) in the diagram (2.2) also induces an equivalence
of simplicial functor categories.
Therefore, the map \(\kappa \) induces an bijection
\(\square \)
Proof of Corollary 2.14
Let \(\mathfrak {F}^{\bullet }_{+}\) be an augmented cosimplicial space such that \(\kappa \circ \mathfrak {F}^{\bullet }_{+} \simeq F\). Then, part (i) follows by composition of functors.
As for the proof of Corollary 2.14.ii), We have
where L is the localisation functor in diagram (2.2) and \(F_{\textrm{loc}}\) denotes the induced functor from \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}[\mathrm {\textbf{Iso}}(\textrm{I})^{-1}]^{\textrm{op}}\) to \(\mathcal {C}\mathcal {G}\mathcal {H}\) by F. The first equality is by definition. The second weak homotopy equivalence comes from the equivalences of categories from Corollary 2.24. The third weak homotopy equivalence follows by observing that under the functor
a homotopy limit cone over a functor \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}[\mathrm {\textbf{Iso}}(\textrm{I})^{-1}]^{\textrm{op}} \rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\) restricts to a homotopy limit cone over a functor \(\mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}} \rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\). \(\square \)
Remark 2.25
There is another cosimplicial model \(C^{\bullet }\) for the above tower of fibrations, constructed via a compactification of \(\textrm{Conf}_{n}(\mathbb {R}^2 \times \textrm{D}^1)\), cf. [4, Section 3] and [34, Section 6]. Compared with \(\mathfrak {E}mb^{\bullet }\), the cosimplicial space \(C^{\bullet }\) has the advantage that it is geometric and various versions of \(C^{\bullet }\) have already been used in context concerning finite type invariants of 3-manifold, cf. [2, 7]. Using this cosimplicial space \(C^{\bullet }\), the authors of [4] give the space \({{\,\textrm{Tot}\,}}^nC^{\bullet } \simeq \textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I})\) an \(\textrm{E}_1\)-algebra structure, which is used to define the abelian group structure on \(\pi _0(\textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I}))\) mentioned in Remark 1.24, cf. [4, Corollary 4.13, Section 5.7]. We are exploring whether we can define similar multiplicative structure on the cosimplicial space \(\mathfrak {E}mb^{\bullet }\).
Remark 2.26
One way to generalise Theorem 2.12 in higher dimension, i.e. good functors from \(\mathrm {\textbf{Open}}_{\partial }^{}\left( M \right) ^{\textrm{op}}\) with \(\dim M > 1\), is to consider configuration categories \({\text {con}}(M)\) associated to a smooth manifold M. See [10] for a detailed explanation on this subject.
4 An integral homotopy spectral sequence for \(\mathfrak {E}mb^{\bullet }\)
To a cosimplicial space \(\mathfrak {E}mb^{\bullet }\) (Definition 2.15) associated to the functor \({{\,\textrm{Emb}\,}}({-})\), we can associate the Bousfield–Kan homotopy spectral sequence \(\{E_{p,q}\}_{q \ge p \ge 0}\) with integral coefficients, cf. [5, Chapter X]. In this section, we will first briefly recall some properties of this spectral sequence (Sect. 3.1) and then give a concrete computation of the \(d^1\)-differentials that map into the diagonal terms (Sect. 3.3). For the computation, we make use of the calculation of the homotopy groups for \(\textrm{Conf}_n\left( \mathbb {R}^2 \times \textrm{D}^1 \right) \), which we will recall in Sect. 3.2.
4.1 A spectral sequence for cosimplicial spaces
We begin by introducing techniques that we need for the computation of Bousfield–Kan spectral sequences. The main reference for this section is [5, Chapter X].
Notation 3.1
Let \(X^{\bullet }:\pmb {\mathrm {\Delta }}\rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\) be a cosimplicial space. For \(0 \le i \le n\), denote its coface map by \(\delta ^i :X^{n-1} \rightarrow X^{n}\) and its codegeneracy maps by \(s^i :X^{n+1} \rightarrow X^{n}\).
Given a cosimplicial space \(X^{\bullet } :\pmb {\mathrm {\Delta }}\rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\), there is a tower of fibrations (cf. [5, Chapter 6, Section 6.1])
Denote by \(L^{n+1}X^{\bullet }\) the homotopy fibre of \({{\,\textrm{Tot}\,}}^{n+1}X^{\bullet } \rightarrow {{\,\textrm{Tot}\,}}^{n}X^{\bullet }\) and \(L^0X^{\bullet } \,{:}{=}\,{{\,\textrm{Tot}\,}}^0X^{\bullet }\). Applying Bousfield–Kan homotopy spectral sequence, cf. [5, Section X.6], to the tower of fibrations (3.1), we obtain a spectral sequence approximating the homotopy groups of \({{\,\textrm{Tot}\,}}X^{\bullet }\), whose first page is given by
where \(q \ge p \ge 0\), and \(E_{p, q}^{1} = 0\) otherwise. With the help of the cosimplicial structure, we can calculate the homotopy groups of the spaces \(L^{p}X^{\bullet }\) and the differentials \(d^1 :E_{p-1, p}^1 \rightarrow E_{p, p}^1\) in terms of the homotopy groups of \(X^{p}\).
Proposition 3.2
(Bousfield–Kan) Given a cosimplicial space \(X^{\bullet } :\pmb {\mathrm {\Delta }}\rightarrow \mathcal {C}\mathcal {G}\mathcal {H}\), we have
where the push-forward \(s^i_{*} :\pi _q(X^{p}) \rightarrow \pi _q(X^{p-1})\) is induced by the codegeneracy maps \(s^i\).
Proof
See [5, Section X.6.2]. \(\square \)
Proposition 3.3
(Bousfield–Kan) Given a cosimplicial space \(X^{\bullet }\), the first page of the Bousfield–Kan homotopy spectral sequence of \(X^{\bullet }\) is given by
where \(q \ge p \ge 0\), and the push-forward \(s^i_{*} :\pi _q(X^{p}) \rightarrow \pi _q(X^{p-1})\) is induced by the codegeneracy maps \(s^i\). The differential \( d^1 :E_{p,q}^1 \rightarrow E_{p+1,q}^1\) on the first page is given by
where the push-forward \(\delta ^i_{*} :\pi _q(X^{p}) \rightarrow \pi _q(X^{p+1})\) is induced by the coface maps \(\delta ^i\) on \(X^{p}\).
Proof
See [5, Chapter X.7]. \(\square \)
4.2 Homotopy groups of \(\textrm{Conf}_{n}(\mathbb {R}^2 \times \textrm{D}^1)\)
From Sect. 3.1 we see that we need to compute the homotopy groups of \(\mathfrak {E}mb^{n}\) for \(n \ge 0\), in order to compute the Bousfield-Kan spectral sequence associated to the cosimplicial model \(\mathfrak {E}mb^{\bullet }\). By Remark 2.16 we know that \(\mathfrak {E}mb^{n}\) relates closely to the configuration spaces of n points in \(\mathbb {R}^2 \times \textrm{D}^1\). Therefore, let us gather some information about the homotopy groups of configurations spaces in this section. The main reference for this section is [18] and [17].
Definition 3.4
Let M be a smooth manifold (possibly with boundary). Define the configuration space \(\textrm{Conf}_n(M)\) of \(n \ge 1\) points on M as
Now we focus on \(\textrm{Conf}_n (\mathbb {R}^2 \times \textrm{D}^1)\) for \(n \ge 0\).
Convention 3.5
We defineFootnote 8\(\textrm{Conf}_0(\mathbb {R}^2 \times \textrm{D}^1) \,{:}{=}\,\{(0,0,-1), (0,0,1)\} \subseteq \partial (\mathbb {R}^2 \times \textrm{D}^1)\).
Situation 3.6
Let us fix the following points of \(\mathbb {R}^2 \times \textrm{D}^1\). Define \(e \,{:}{=}\,(1,0,0) \in \mathbb {R}^2 \times \textrm{D}^1\), and \(q_1 {:}{=}(0,0,0)\), and \(q_k= q_1 + 4(k-1)e\) for \(k \ge 1\) Also define the set of points \(Q_0 \,{:}{=}\,\emptyset \) and \(Q_k \,{:}{=}\,\{q_1, q_2, \dots , q_k\}\).
Theorem 3.7
(Fadell–Neuwirth) For \(n \ge 2\) and \(n \ge k \ge 0\), the map
is a fibre bundle whose fibre is homeomorphic to \(\textrm{Conf}_{n-1}(\mathbb {R}^2 \times \textrm{D}^1 {\setminus } Q_{k+1})\). For \(k \ge 0\), the map \({\text {pr}}_{k,n}\) admits a cross section.Footnote 9
Proof
See [18, Theorem 2]. \(\square \)
Thus we can compute \(\pi _{*}(\textrm{Conf}_n(\mathbb {R}^2 \times \textrm{D}^1))\) inductively via the splitting long exact sequences for the fibre bundles \({\text {pr}}_{k, n}\) for \(0 \le k \le n\) and \(n \ge 2\). And we can conclude the following corollary.
Corollary 3.8
(Fadell–Neuwirth) For \(n \ge 2\) and \(i \ge 1\), we have
In particular, \(\textrm{Conf}_{n}(\mathbb {R}^2 \times \textrm{D}^1)\) is simply connected.
Proof
See [18, Corollary 2.1]. \(\square \)
Now we are going to introduce a set of generators for \(\pi _2(\textrm{Conf}_n(\mathbb {R}^{2} \times \textrm{D}^1))\), which we will use in the computations of Sect. 3.3.
Definition 3.9
For \(1 \le i \ne j\le n\), define the map \(x_{ij}\) as the composition of the following two maps
and
Proposition 3.10
The maps \(x_{ij} :\textrm{S}^2 \rightarrow \textrm{Conf}_n(\mathbb {R}^2 \times \textrm{D}^1)\) for \(1 \le i < j \le n\) generate the group \(\pi _{2}(\textrm{Conf}_{n}(\mathbb {R}^{2} \times \textrm{D}^1))\).
Proof
The image \(S_{ij} \,{:}{=}\,{{\,\textrm{im}\,}}(x_{ij})\) of \(x_{ij}\) is homeomorphic to a 2-sphere. For a fixed j with \(1 \le j \le n\), the space \(S_{1j} \vee S_{2j} \vee \cdots \vee S_{j-1, j} \subseteq \mathbb {R}^2 \times \textrm{D}^1\) is homotopy equivalent to the space \(\mathbb {R}^2 \times \textrm{D}^1 {\setminus } Q_{j-1}\). Note that for every i with \(1 \le i < j\), the map \(x_{ij}\) is the positive generator of \(\pi _2(S_{ij})\). Thus, by Hurewicz isomorphism theorem, the maps \(x_{ij}\) with \(i = 1, \dots , j-1\) generates the group \(\pi _2(S_{1j} \vee S_{2j} \vee \cdots \vee S_{j-1, j}) \cong \pi _2(\mathbb {R}^2 \times \textrm{D}^1 {\setminus } Q_{j-1})\). Now let j varies and apply Corollary 3.8, we have that the maps \(x_{ij}\) for \(1 \le i < j \le n\) generate the group \(\pi _{2}(\textrm{Conf}_{n}(\mathbb {R}^{2} \times \textrm{D}^1))\). \(\square \)
Remark 3.11
The proof provides a decomposition of \(\pi _{*}(\textrm{Conf}_n(\mathbb {R}^{r} \times \textrm{D}^1))\) as
where for \(1 \le i < j \le n\) the positive generator of \(S_{ij}\) is \(x_{ij}\). Thus by the following theorem of Hilton about the homotopy groups of wedges of spheres, we reduce the computation of homotopy groups of \(\textrm{Conf}_{n}(\mathbb {R}^{2} \times \textrm{D}^1)\) to homotopy groups of spheres.
Definition 3.12
([23], [40, Page 511–512]) Let \(T \,{:}{=}\,\textrm{S}^{r_1 +1} \vee \textrm{S}^{r_2 +2} \vee \cdots \vee \textrm{S}^{r_k +1}\) and denote by \(\iota _{i}\) the positive generator of \(\pi _{r_i+1}\left( \textrm{S}^{r_i +1}\right) \). Note that \(\iota _i\) can be considered as an element of \(\pi _{r_i+1}(T)\) via the canonical embedding \(\textrm{S}^{r_i+1} \hookrightarrow T\).Footnote 10
-
(i)
The basic products of weight 1 are the elements \(\iota _1, \iota _2, \dots , \iota _k\). We order the set of basic products of weight 1 by \(\iota _1< \iota _2< \cdots < \iota _k\). We define basic products of weight bigger than 1 recursively. A basic product of weight \(\omega \) is a Whitehead product [a, b], where a and b are both basic products of weights \(\alpha < \omega \) and \(\beta < \omega \) respectively such that
-
(a)
\(\alpha + \beta = \omega \) and \(a < b\), and
-
(b)
if b is defined as the Whitehead product [c, d] of basic products c and d, then we have \(c \le a\).
We declare every basic product of weight \(\omega \) to be greater than any basic product of smaller weight. We order the set of basic products of weight \(\omega \) lexicographically, i.e. for two basic products [a, b] and \([a',b']\) of weight \(\omega \), we set \([a,b] < [a',b']\) if \(a < a'\), or \(a = a'\) and \(b < b'\).
-
(a)
-
(ii)
Thus a basic product p of weight \(\omega \) is a suitably bracketed word in the symbols \(\iota _i\) for \(i = 1, \dots , k\). Assume \(\iota _i\) appears \(w_i\) times in p. We define the height h(p) of p as \(\sum _{i = 1}^{k} r_i w_i\).
Theorem 3.13
(Hilton) Using the notation of Definition 3.12, let P be the set of (formal) basic products of \(\iota _1, \dots , \iota _k\). We have
where the direct summand \(\pi _{*}(\textrm{S}^{h(p)+1})\) is embedded in \(\pi _{*}(T)\) by composition with the basic product \(p \in \pi _{h(p)+1}(T)\).
Proof
See [40, Theorem 8.1]. \(\square \)
The Whitehead products of \(x_{ij}\) for \(1 \le i, j \le n\) and \(i \ne j\) of \(\pi _2(\textrm{Conf}_n(\mathbb {R}^2 \times \textrm{D}^1))\) satisfy some relations, which we will use in the computation in the Sect. 3.3.
Proposition 3.14
(Hilton, Nakaoka–Toda, Massey–Uehara) Let X be a topological space. Then the Whitehead product \([{-}, {-}]\) on \(\pi _{*}(X)\) is bilinear, antisymmetric and satisfies the Jacobi identity, i.e. for \(\alpha \in \pi _{a+1}(X)\), \(\beta \in \pi _{b+1}(X)\) and \(\gamma \in \pi _{c+1}(X)\) we have
-
(i)
\([\alpha , \beta + \gamma ] = [\alpha , \beta ] + [\alpha , \gamma ]\) and \([\alpha + \beta , \gamma ] = [\alpha , \gamma ] + [\beta , \gamma ]\),
-
(ii)
\([\alpha , \beta ] = (-1)^{(a+1)(b+1)}[\beta , \alpha ]\), and
-
(iii)
\((-1)^{c(a+1)}[\alpha , [\beta , \gamma ]] + (-1)^{a(b+1)}[\beta , [\gamma , \alpha ]] + (-1)^{b(c+1)}[\gamma , [\alpha , \beta ]] = 0\).
Proof
See [24, 31, 37]. \(\square \)
Proposition 3.15
Let \(1 \le i, j \le n\) and \(i \ne j\). The element \(x_{ij} \in \pi _2(\textrm{Conf}_n(\mathbb {R}^2 \times \textrm{D}^1))\) satisfy the following relations:
-
(i)
\(x_{ij} = -x_{ji}\),
-
(ii)
\([x_{ij}, x_{jk}] = [x_{ji}, x_{ik}] = [x_{ik}, x_{kj}]\), if \(n \ge 3\);
-
(iii)
\([x_{ij}, x_{kl}] = 0\), if \(\{i,j\} \cap \{k, l\} = \emptyset \) and \(n \ge 4\).
Proof
See the proof of [17, Section II.3, Theorem 3.1]. \(\square \)
4.3 A homotopy spectral sequence for the Taylor tower of \({{\,\textrm{Emb}\,}}({-})\)
In this section we perform some computation of the integral homotopy Bousfield–Kan spectral sequence of cosimplicial space \(\mathfrak {E}mb^{\bullet }\) (Definition 2.15) associated to the embedding functor \({{\,\textrm{Emb}\,}}({-})\) (Notation 1.22). Recall that this spectral sequence aims at analysing the homotopy limit of the tower of fibrations
according Corollary 2.14.
By Corollary 2.14 we have the weakly homotopy equivalence
for any \(V \in \mathrm {\textbf{Open}}_{\partial }\left( \textrm{I} \right) _{\textrm{fin}}^{\textrm{op}}\) such that \(\pi _{0}(\textrm{I}{\setminus } V) \cong [n]\). For the computation of the homotopy spectral sequence associated to \(\mathfrak {E}mb^{\bullet }\) we need to compute the induced maps on homotopy groups of the coface and codegeneracy maps. From (3.2) we have
By abuse of notation, we consider \(x_{ij}\) (Proposition 3.10), for \(1 \le i < j \le n\), as elements of \(\pi _{*}(\mathfrak {E}mb^{n})\) under the natural inclusion.
Let \(l \in \mathbb {N}\) and \(0 \le l \le n\). Recall the notation from Theorem 2.12. Let \(V_{n+1}\) be an open subset of \(\textrm{I}\) with \(\partial \textrm{I}\subseteq V_{n+1}\) such that \(\kappa (V_{n+1}) = [n+1]\). We obtain an open subset \(V_{n} \subseteq V_{n+1}\) by removing the \((l+2)\)-th subinterval of \(V_{n+1} {\setminus } \partial \textrm{I}\). Then the codegeneracy map \(s^{l}\) for \(\mathfrak {E}mb^{\bullet }\) is the induced restriction map \({{\,\textrm{Emb}\,}}(V_{n+1}) \rightarrow {{\,\textrm{Emb}\,}}(V_{n})\), i.e. forgetting the embedding of the \((l+2)\)-th interval. With respect to the homotopy equivalence 3.2, we can write \(s^{l}\) with \(0 \le l \le n\) concretely as
where \(\widehat{({-})}\) denotes taking out the elements.
Convention 3.16
Denote by \(s_{*}^l(c) :\pi _{r}(\textrm{Conf}_{n+1}(\mathbb {R}^2 \times \textrm{D}^1)) \rightarrow \pi _r(\textrm{Conf}_{n}(\mathbb {R}^2 \times \textrm{D}^1))\) the restriction of the map \(s_{*}^{l}\) to the \(\pi _{r}(\textrm{Conf}_{n+1}(\mathbb {R}^2 \times \textrm{D}^1))\) component. Denote by \(s_{*}^l(t)\) the restriction \(\left( \pi _{r}(\textrm{S}^2)\right) ^{n+1} \rightarrow \left( \pi _{r}(\textrm{S}^2)\right) ^{n}\) of the map \(s_{*}^{l}\) on the \(\left( \pi _{r}(\textrm{S}^2)\right) ^{n+1}\) component.
Proposition 3.17
Let \(i, j, l, n \in \mathbb {N}\) and \(1 \le i < j \le n+1\) and \(0 \le l \le n\) and \(n \ge 2\).
-
i)
We have
$$\begin{aligned} s^l_{*}\left( x_{ij}\right) = {\left\{ \begin{array}{ll} x_{i-1, j-1} &{}\text {if } l< i-1\\ x_{i, j-1} &{}\text {if } i-1< l < j-1 \\ x_{i, j} &{}\text {if } l > j-1 \\ 0 &{}\text {otherwise.} \end{array}\right. } \end{aligned}$$ -
ii)
Denote by Z the set of basic products of the elements \(x_{i,j}\) containing \(x_{u,l+1}\) or \(x_{l+1, v}\) for \(1 \le u \le l\) and \(l+2 \le v \le n+1\). Under the isomorphism in Theorem 3.13, the kernel of the map \(s_{*}^l(c)\) is isomorphic to \(\bigoplus _{p \in Z} \pi _{r}(\textrm{S}^{h(p)}+1)\), for \(r \ge 2\).
-
iii)
For \(r \ge 2\), the map \(s_{*}^l(t)\) is the canonical projection where forgetting the l-th component. Thus the kernel of \(s_{*}^{l}(t)\) is isomorphic to \(\left( 0\right) ^{l-1} \times \pi _{r}(\textrm{S}^2) \times \left( 0\right) ^{n-l}\).
Proof
(i) and (iii) follows from the description of \(s^l\) right above the proposition.
For the proof of (ii), let us abbreviate \(s_{*}^{l}(c)\) by \(s_{*}^{l}\) in this part of the proof. Note that for \(n \ge 2\), we have \(s_{*}^l (x_{uv}) = 0\) if and only if \(u = l+1 \text { or } v = l+1\). Therefore, for \(n \ge 2\) and \(z \in Z\), we have \(s_{*}^{l}(z) = 0\) by the naturality of the Whitehead product. Thus \(s_{*}^{l}\) factors through \(\pi _r (\textrm{Conf}_n(\mathbb {R}^2 \times \textrm{D}^1)) / {\bigoplus _{p \in Z} \pi _{r}(\textrm{S}^{h_(p)}+1)}\)
By inspecting the value of \(s_{*}^l\) on \(x_{ij}\), we conclude that for two basic products \(w_1 \le w_2\) with \(s_{*}^l(w_k) \ne 0\) for \(k \in \{1, 2\}\), we have \(s_{*}^l(w_1) \le s_{*}^l(w_2)\). Also the heights of \(w_k\) and \(s^{l}_{*}(w_k)\) are the same.
So \(\bar{s}_{*}^l\) sends a basis of \(\pi _r (\textrm{Conf}_n(\mathbb {R}^2 \times \textrm{D}^1)) / {\sum _{p \in Z} \pi _{r}(\textrm{S}^{h(p)+1})}\) (i.e. basic products that are not in Z) injectively to a basis of \(\pi _{r}(\textrm{Conf}_{n}(\mathbb {R}^2 \times \textrm{D}^1))\). Thus \(\bar{s}_{*}^l\) is injective, which implies that the kernel of \(s_{*}^l\) is isomorphic to \(\bigoplus _{p \in Z} \pi _{r}(\textrm{S}^{h(p)+1})\), via the isomorphism from Theorem 3.13. \(\square \)
Similar analysis of the definition of the coface maps tells us that these maps \(\delta ^{l}\) of \(\mathfrak {E}mb^{\bullet }\) corresponds to “breaking” the embeddings of the \((l+1)\)-th interval into the embedding of two subintervals. Therefore, one representative for the map \(\delta ^l\) with \(0< l < n+1\) is the following:
where the scalar \(\epsilon \in \mathbb {R}\) is so chosen that \((x_1, \dots , x_l, x_{l}+\epsilon v_l, x_{l+1}, \dots , x_n)\) is a well-defined point in \(\textrm{Conf}_{n+1}(\mathbb {R}^2 \times \textrm{D}^1)\). For \(l = 0\) and \(l = n+1\), we have
where \(x_{-1} = (0, 0, -1)\) and \(x_{+1} = (0, 0, 1)\) and \(e = (0, 0, 1)\).
By explicit calculation we obtain the following
Proposition 3.18
Let \(i, j, l, n \in \mathbb {N}\) such that \(n \ge 2\) and \(1 \le i < j \le n\) and \(0 \le l \le n+1\).
-
i)
For \(n \in \mathbb {N}\) and \(n \ge 2\), we have
$$\begin{aligned} \delta ^l_{*}\left( x_{ij}\right) = {\left\{ \begin{array}{ll} x_{i+1, j+1} &{}\text {if } l< i \\ x_{i, j+1} + x_{i+1, j+1} &{}\text {if } l = i \\ x_{i, j+1} &{}\text {if } i< l < j \\ x_{i, j}+x_{i, j+1} &{}\text {if } l = j \\ x_{ij} &{}\text {otherwise.} \end{array}\right. } \end{aligned}$$ -
ii)
Denote by \(y_k\) a generator for the k-th component \(\pi _{2}(\textrm{S}^{2})\) of \((\pi _{2}(\textrm{S}^2))^n\). We have that
$$\begin{aligned} \delta _{*}^l(y_k) = {\left\{ \begin{array}{ll} y_{k+1} &{}\text {if } l < k \\ x_{k, k+1} + y_k + y_{k+1} &{}\text {if } l = k \\ y_k &{}\text {otherwise.} \end{array}\right. } \end{aligned}$$
\(\square \)
Now we can compute \(E_{p-1, p}^{1}\) and \(E_{p,p}^1\) in the homotopy spectral sequence associated to the cosimplicial space \(\mathfrak {E}mb^{\bullet }\).
Corollary 3.19
Let \(l, n, r \in \mathbb {N}\) and \(n \ge 2\) and \(0 \le l \le n\) and \(r \ge 2\), and recall the notations from Convention 3.16. For the degeneracy map \(\mathfrak {E}mb^{n+1} \xrightarrow {s^l} \mathfrak {E}mb^{n}\), we have
Proof
We have that \(s_{*}^l = s_{*}^l(c) \times s_{*}^{l}(t)\). \(\square \)
Proposition 3.20
-
(i)
For \(p \ge 3\) and \(1 \le i < p-1\), let T be the set of basic products of the elements \(x_{i, p-1}\) of height \(p-2\), such that each \(x_{i, p-1}\) appears exactly once. Let F be the set of basic products of elements \(x_{i, p-1}\) of height \(p-1\), such that one \(x_{k,p-1}\) appears exactly twice and all other \(x_{i,p-1}\) appear exactly once. Then we have
$$\begin{aligned} E_{p-1,p}^1 \cong \bigoplus _{T}\pi _{p}(\textrm{S}^{p-1}) \oplus \bigoplus _{F}\pi _{p}(\textrm{S}^{p}) \end{aligned}$$(3.3)where \(\pi _p(\textrm{S}^{p-1})\) and \(\pi _{p}(\textrm{S}^p)\) are embedded in \(\pi _p(\textrm{Conf}_{p-1}(\mathbb {R}^2 \times \textrm{D}^1))\) by composition with the basic products in T and F respectively.
-
(ii)
For \(p \ge 2\), let H be the set of basic products of height \(p-1\) of the elements in \(x_{i,p}\) for \(1 \le i \le p-1\) such that each \(x_{i,p}\) appears exactly once. Then
$$\begin{aligned} E_{p,p}^1 \cong \bigoplus _{H}\pi _{p}(\textrm{S}^p), \end{aligned}$$(3.4)where the direct summands \(\pi _p(\textrm{S}^p)\) are embedded in \(\pi _{p}(\textrm{Conf}_{p}(\mathbb {R}^2 \times \textrm{D}^1))\) by composition with the basic products in H.
Proof
i) Recall from Proposition 3.3 that \(E_{p-1, p}^1 \cong \pi _p(\mathfrak {E}mb^{p-1}) \cap \bigcap _{l = 0}^{p-2} \ker (s^l_{*})\). By Corollary 3.19 we only need to consider the \(\pi _{p}(\textrm{Conf}_{p-1}(\mathbb {R}^2 \times \textrm{D}^1))\) component of \(\pi _p(\mathfrak {E}mb^{p-1})\). In other words,
Recall from Corollary 3.8 that
and \(x_{ij}\) is the positive generator of \(S_{ij}\), \(1 \le i < j \le p-1\). For a fixed j, let \(\{b^{(j)}_k\}_{k \in \mathbb {N}}\) be the set of basic products of the elements \(x_{ij}\) for \(i = 1, \dots , j-1\). Using Theorem 3.13, we have
Next we need to examine which elements of \(\pi _{p}(\textrm{Conf}_{p-1}(\mathbb {R}^2 \times \textrm{D}^1))\) lie in \(\bigcap _{l = 1}^{p-2} \ker (s^l_{*}(c))\). By Proposition 3.17.iii), it is sufficient to see which basic products lie in \(\bigcap _{i = 1}^{p-2} \ker (s^l_{*}(c))\). Let us consider the following cases:
-
(a)
Suppose \(j \ne p-1\). In this case, we have \(s^{p-1}_{*}(b^{(j)}_{k}) \ne 0\).
-
(b)
Suppose \(j = p-1\) and \(h(b^{(j)}_k) \le p-3\). In this case there exists at least one index \(1 \le i < p-1\) such that \(x_{i,p-1}\) does not appear in \(b^{(j)}_{k}\), and thus \(s^{i-1}_{*}(b^{(j)}_k) \ne 0\).
-
(c)
Suppose \(j = p-1\) and \(h(b^{(j)}_k) = p-2\). In this case each \(x_{i,p-1}\) with \(1 \le i \le p-2\) appears in \(b^{(j)}_{k}\) exactly once. Thus for all \(0 \le l \le p-2\), we have \(s^{l}_{*}(b^{(j)}_k) = 0\), since \(s^{l}_{*}(x_{l+1,p-1}) = 0\) and \(x_{l+1, p-1}\) appears in \(b^{(j)}_k\).
-
(d)
Suppose \(j = p-1\) and \(h(b^{(j)}_k) = p-1\). In this case there exists an index \(i_k\) such that \(x_{i_k, p-1}\) appears exactly twice in \(b^{(j)}_k\), and all other \(x_{i,p-1}\) with \(1 \le i \le p-2\) and \(i \ne i_k\) appear exactly once in \(b^{(j)}_k\). As in c) we see \(s_{*}^l(b^{(j)}_k) = 0\) for \(0 \le l \le p-2\).
Thus \(\bigcap _{i = 1}^{p-2} \ker (s^i_{*}(c))\), or \(E_{p-1, p}^1\), is generated by basic products of the form in c) and d), which yields (3.3).
(ii) Similar to i), we recall that \(E_{p, p}^1 \cong \pi _{p}(\textrm{Conf}_{p}(\mathbb {R}^2 \times \textrm{D}^1)) \cap \bigcap _{l = 0}^{p-1} \ker (s^{l}_{*}(c))\). Furthermore \(\bigcap _{l = 0}^{p-1} \ker (s^{l}_{*}(c))\) is generated by the basic products \(\{b^{(p)}_k\}_{k \in \mathbb {N}}\) of elements \(x_{ip}\) with \(1 \le i \le p-1\) such that \(h(b^{(p)}_k) = p-1\), and for each i with \(1 \le i \le p-1\), the element \(x_{ip}\) appears exactly once in \(b^{(p)}_k\). \(\square \)
Remark 3.21
Using the same method as in the proof above, we can see that the abelian group \(E_{p, q}^{1}\) for \(0 \le p \le q\) is isomorphic to the direct sum of the q-th homotopy groups of spheres of dimension at most q, indexed by the basic products where all elements \(\{x_{i, p} \mid 1 \le i \le p-1\}\) appear at least once.Footnote 11
Remark 3.22
Budney–Conant–Koytcheff–Sinha gives the general formula for the abelian groups \(E_{p, q}^{1}\), cf. [4, Proposition 7.2] by computing the Bousfield–Kan spectral sequence with integer coefficients associated to the cosimplicial model \(C^{\bullet }\) (Remark 2.25). The results in the above proposition agree with those from [4, Proposition 7.2] once one removes the homotopy groups of spheres that are 0. Our proof, using another cosimplicial model \(\mathfrak {E}mb^{\bullet }\) and doing the computation directly from definitions, provides an alternative approach of the computation of the spectral sequences, as well as more details for the arguments of [4, Proposition 7.2].
With the description of \(E_{p-1,p}^1\) and \(E_{p,p}^1\) in terms of elements \(x_{ij}\) where \(1 \le i \le j\) and \(j = p-1\) or \(j = p\), we are going to give an explicit and simplified formula for the differential \(d^1:E_{p-1,p}^1 \rightarrow E_{p,p}^1\) now.
Proposition 3.23
-
(i)
The differential \(d^1 :E_{p-1,p}^1 \rightarrow E_{p,p}^1\) is trivial for \(p = 1\) and \(p = 3\).
-
(ii)
For \(p = 2\), the differential \(d^1 :E_{1, 2} \rightarrow E_{2, 2}\) is an isomorphism.
Proof
First we have
Thus \(d^1 :E_{0,1}^1 \rightarrow E_{1,1}^1\) is trivial.
For \(d^1:E_{2,3}^1 \rightarrow E_{3,3}^1\), we apply Proposition 3.20 to see that
with generator \(x_{12}\). Thus
Therefore \(d^1 :E_{2,3}^1 \rightarrow E_{3,3}^1\) is trivial.
As for \(d^1 :E_{1,2}^1 \rightarrow E_{2,2}^1\), we have
with generator \(y_1\) for the component \(\pi _2(\textrm{S}^2)\), and
with generator \(x_{12}\) for the component \(\pi _{2}(\textrm{Conf}_2(\mathbb {R}^2 \times \textrm{D}^1))\). Applying Proposition 3.3, we have
Therefore, \(d^1 :E_{1,2}^1 \rightarrow E_{2,2}^1\) is an isomorphism. \(\square \)
Now let us consider \(d^1 :E_{p-1, p}^1 \rightarrow E_{p,p}^1\), for \(p \ge 4\). According to Proposition 3.20 we have for \(p \ge 4\),
Since \(E_{p,p}^1\) is torsion free, we see that \(d^1\) is trivial on \(\bigoplus _{T}\pi _p(\textrm{S}^{p-1})\), and we conclude that we only need to consider the restriction of \(d^1\) to \(\bigoplus _{F}\pi _p(\textrm{S}^p)\).
Notation 3.24
We denote the torsion-free part of \(E_{p-1,p}^1\) by \(E_{p-1,p}^1 / \textrm{tors}\), i.e. the summand \(\bigoplus _{F}\pi _p(\textrm{S}^p)\) in Eq. 3.3.
Proposition 3.25
For \(p \ge 4\), denote by \(D_{p}^{\textrm{sep}}\) the set of iterated Whitehead products of the elements \(x_{i,p-1}\) for \(i = 1, \dots , p-2\) with the following properties:
-
(i)
For every \(w \in D_{p}^{sep}\), there exists one \(x_{k(w),p-1}\) that appears exactly twice and all other \(x_{i,p-1}\) with \(1 \le i \le p-2\) and \(i \ne k(w)\) appear exactly once.
-
(ii)
Every \(w \in D_{p}^{sep}\) is of the form \(w = [c_1, c_2]\) where \(c_1\) is an iterated Whitehead product of elements \(x_{i,p-1}\) with \(i \in I\) and \(c_2\) is an iterated Whitehead product of elements \(x_{i,p-1}\) with \(j \in J\) such that \(I, J \subseteq \{1, \dots , p-2\}\), \(I \cap J = \{k(w)\}\) and \(I \cup J = \{1, 2, \dots , p-2\}\).
Then, \(E_{p-1,p}^1 / \textrm{tors}\) is generated by \(D_{p}^{\textrm{sep}}\).
Proof
Denote by \(D_{p}\) the set of iterated Whitehead products of the elements \(x_{i,p-1}\) with \(i = 1, \dots , p-2\) satisfying only condition i). Using the same argument as in the proof of Proposition 3.20, we see that \(D_{p}^{\textrm{sep}} \subseteq E_{p-1, p}^1\) and \(D_{p} \subseteq E_{p-1,p}^1\). In particular, the basic products in F, which are a basis of \(E_{p-1,p}^1 / \textrm{tors}\), are contained in \(D_{p}\). We have reduced the desired statement to the following claim which we prove by induction.
Claim. For \(p \ge 4\), any element of \(D_p\) can be written as a linear combination of elements of \(D_{p}^{\textrm{sep}}\) using only the Jacobi identity and antisymmetry relations (Proposition 3.14).
For \(p = 4\), the claim follows by listing all the elements of \(D_4\) and using the Jacobi identity of the Whitehead product.
Assume that the claim is true for all \(p \le n\) with \(n \ge 4\). Let \(p = n+1\) and consider \(\widetilde{w} = [a_1, a_2]\in D_{n+1}\). Without loss of generality, we can assume that \(x_{1, n}\) is the repeated element in \(\widetilde{w}\). If the two copies of \(x_{1,n}\) appear in \(a_1\) and \(a_2\) separately, then \(\widetilde{w}\) is already an element of \(D_{p}^{\textrm{sep}}\). Otherwise, both copies of \(x_{1,n}\) appear in either \(a_1\) or \(a_2\), say they appear in \(a_1\). By assumption \(a_1\) is a Whitehead product of elements \(x_{m,n}\). Define the set \(M \,{:}{=}\,\{m \in \mathbb {N}| x_{m, n} \text { appears in } a_1\}\). So we know \(\# M \le n-2\) and \(1 \in M\). The element \(x_{m, n}\) appears exactly once in \(a_1\), for \(1 \ne m \in M\)
There is a bijection \(r :\{x_{m,n} \mid m \in M\} \rightarrow \{x_{i, \#M +1} \mid i = 1, \dots , \#M\}\) such that \(x_{1,n}\) is mapped to \(x_{1,\#{M}+1}\). Define \(a_1' \in D_{\#{M}+2}\) by replacing each occurrence of \(x_{m,n}\) in \(a_1\) by \(r(x_{m,n})\). By an inductive assumption, we can write \(a_1'\) as a finite sum \(a_1' = \sum _{i \in I} [c_{i1}', c_{i2}']\) such that \([c_{i1}', c_{i2}'] \in D_{\#{M}+2}^{\textrm{sep}}\) and \(x_{1,\#{M}+1}\) appears exactly twice in \([c_{i1}, c_{i2}]\). Thus, by replacing each \(x_{i, \# M +1}\) by \(r^{-1}(x_{i, \# M +1})\) we obtain \(a_1 = \sum _{i \in I} [c_{i1}, c_{i2}]\) such that \([c_{i1}, c_{i2}]\) is a Whitehead product of the elements \(x_{m,n}\) with \(m \in M\), where \(x_{1,n}\) appears exactly twice and \(x_{m,n}\) appears exactly once for \(m \ne 1\).
Therefore \(\widetilde{w}\) can be written as
where \(\epsilon _1\) and \(\epsilon _2\) denote the signs which come from the Jacobi identity for the Whitehead product. For every \(i \in I\), we have that \(\left[ [c_{i1}, a_2], c_{i2}\right] , \left[ [a_2, c_{i2}], c_{i1}\right] \in D_{n+1}^{\textrm{sep}}\). Thus \(\widetilde{w}\) is a linear combination of elements of \(D_{p}^{\textrm{sep}}\). \(\square \)
The upshot is that it is sufficient, for the computation \(d^1 :E_{p-1,p}^1 \rightarrow E_{p,p}^1\), to compute its evaluation on w for every \(w \in D_{p}^{\textrm{sep}}\).
Theorem 3.26
Let \(w = [c_1, c_2] \in D_{p}^{\textrm{sep}}\), say with repeated occurrence of \(x_{k,p-1}\). We writeFootnote 12\(c_1\) and \(c_2\) as \(c_1 = [\dots x_{i,p-1}\dots x_{k,p-1}\dots ]\) and \(c_2=[\dots x_{k,p-1}\dots x_{j,p-1}\dots ]\). The index k will be fixed through out the proposition. Then we have
where
and
where \(i'=i\) if \(i < k\) and \(i'=i+1\) if \(i > k\) and \(j'=j\) if \(j < k\) and \(j'=j+1\) if \(j > k\).
Before we prove the theorem, let us take a look at an example of computation of \(d^1\).
Example 3.27
Let \(k = 2\) and \(p = 8\) and \(w \in D^{\textrm{sep}}_8\) of the form
Now let us calculate \(d^1(w)\) using the formulas in Theorem 3.26. We have
and
Proof of Theorem 3.26
First we proof the proposition for \(k \le p-3\).
Claim 1. For \(l \ne k\), \(p-1, p\), each of the elements \((-1)^{l-1}\delta _{*}^{l-1}(w)\), \((-1)^{l}\delta _{*}^{l}(w)\) and \((-1)^{l+1}\delta _{*}^{l+1}(w)\) can be written canonically as a sum of two iterated Whitehead products of \(x_{i,p}\) with \(1 \le i < p\) such that every summand of \((-1)^{l}\delta _{*}^{l}(w)\) appears in \((-1)^{l-1}\delta _{*}^{l-1}(w)\) or \((-1)^{l+1}\delta _{*}^{l+1}(w)\) with opposite sign.
We note first that \(\delta _{*}^{l-1}(x_{i, p-1}) = \delta _{*}^{l}(x_{i, p-1}) = \delta _{*}^{l+1}(x_{i, p-1})\) for \(i \ne l-1\), l and \(l+1\). Moreover,
for \(r = l-1\), l and \(l+1\).
Without loss of generality, we write \(w = [\dots x_{l,p-1}\dots x_{l-1,p-1}\dots x_{l+1,p-1}\dots ]\), where we show only the elements that are interesting for us. Note that in this presentation of w, the order in which the elements \(x_{l,p-1}\), \(x_{l-1,p-1}\) and \(x_{l+1,p-1}\) appear does not play a role. We calculate \(\delta ^{r}_{*}(w)\) for \(r = l-1, l\) and \(l+1\):
Thus we see that \([\dots x_{l+1, p}\dots x_{l-1, p}\dots x_{l+2, p}\dots ]\) of \(\delta _{*}^{l}(w)\) appears in \(\delta _{*}^{l-1}(w)\) and the term \([\dots x_{l, p}\dots x_{l-1, p}\dots x_{l+2, p}\dots ]\) of \(\delta _{*}^{l}(w)\) appears in \(\delta _{*}^{l+1}(w)\). Since the signs in front of \(\delta _{*}^{r}\) with \(r = l-1\), l and \(l+1\) in \(d^1\) alternate, we see that in \(d^1(w)\) the terms of \((-1)^{l}\delta _{*}^l(c)\) are cancelled by terms of \((-1)^{l-1}\delta _{*}^{l-1}(w)\) and \((-1)^{l+1}\delta _{*}^{l+1}(w)\) as desired.
Claim 2. For \(l = k\), after cancelling terms of \((-1)^k \delta _{*}^k(w)\) by terms of \((-1)^{k-1}\delta _{*}^{k-1}(w)\) and \((-1)^{k+1}\delta _{*}^{k+1}(w)\) as in Claim 1, the remaining terms of \((-1)^k \delta _{*}^k(w)\) is equal to \(\partial ^k(w)\).
For convenience of the proof, we write without loss of generality
Again note that for \(i \ne k-1\), k, \(k+1\), we have \(\delta _{*}^{k-1}(x_{i,p-1}) = \delta _{*}^k(x_{i,p-1}) = \delta _{*}^{k+1}(x_{i,p-1})\), and note
Thus after cancelling with terms of \(\delta _{*}^{k-1}(w)\) and \(\delta _{*}^{k+1}(w)\), the remaining term of \(\delta _{*}^k(w)\) is
Writing w as \(w=[c_1, c_2] = \left[ [\dots x_{i', p-1}\dots x_{k, p-1} \dots ], [\dots x_{k, p-1}\dots x_{j', p-1}\dots ] \right] \), the remaining terms of \(\delta _{*}^k(w)\) look like
which we recognise as \(\partial ^k(w)\) as desired.
Claim 3. After cancelling with terms of \((-1)^{p-2}\delta _{*}^{p-2}(w)\) and \((-1)^{p}\delta _{*}^{p}(w)\), the remaining term of \((-1)^{p-1}\delta _{*}^{p-1}(w)\) is \(\partial ^{p-1}(w)\).
In order to prove this claim, we write \(w = [c_1, c_2]\) as in Proposition 3.26. Recall that \(\delta _{*}^{p-1}(x_{i,p-1}) = x_{i,p-1} + x_{i,p}\), so we have
Recall that by assumption \(c_1\) and \(c_2\) are iterated Whitehead products of the elements \(x_{i,p-1}\) with \(i \in I\) and \(x_{j,p-1}\) with \(j \in J\) where \(I, J \subseteq \{1, \dots , p-2\}\) and \(I \cap J = \{k\}\) and \(I \cup J = \{1, \dots , p-2\}\). Furthermore, each \(x_{i,p-1}\) with \(i \in I\) appears exactly once in \(c_1\) and similarly each \(x_{j,p-1}\) with \(j \in J\) appears exactly once in \(c_2\).
Again recall that \(E_{p-1,p}^1 / \textrm{tors}\) is a subgroup of \(\pi _{p}(\mathfrak {E}mb_{p-1}) \cong \pi _p(\textrm{Conf}_{p-1}(\mathbb {R}^2 \times \textrm{D}^1))\). For an element \(w \in \pi _p(\textrm{Conf}_{p-1}(\mathbb {R}^2 \times \textrm{D}^1))\) of the form \(\left[ \dots [x_{i, p-1}+x_{i, p}, x_{j, p-1}+x_{j, p}]\dots \right] \) with \(i \ne j\), we have by Proposition 3.15 the following equality
Thus by induction on the number of brackets the brackets, we have
and thus
Let us now look at \(\delta _{*}^{p-2}(w)\) and \(\delta _{*}^{p}(w)\). We have
Assume without loss of generality that \(x_{p-2,p-1}\) appears in \(c_1\), and write \(c_1\) of the form \(c_1 = [\dots x_{i, p-1}\dots x_{k, p-1}\dots x_{p-2,p-1}\dots ]\). We get
Thus after cancelling with the terms of \((-1)^{p-2}\delta _{*}^{p-2}(w)\) and \((-1)^{p}\delta _{*}^{p}(w)\), the remaining term of \((-1)^{p-1}\delta _{*}^{p-1}(w)\) is
which is exactly \(\partial ^{p-1}(w)\) as desired.
Finally one can prove Claim 1 for \(k = p-2\) analogously. Then we can explicitly write down \(\delta ^{r}_{*}(w)\) for \(r = p-3, p-2, p-1\) and p and obtain the desired formula in the proposition. \(\square \)
Remark 3.28
Note that in the calculations of the proof we only changed the indices of \(x_{i,p-1}\) for \(i = 1, \dots , p-2\), whereas the bracketing of \(c_1\) and \(c_2\) was not changed at all. More explicitly, the expressions \(\left[ [\dots x_{i', p}\dots x_{k,p}\dots ], [\dots x_{k+1,p}\dots x_{j', p}\dots ] \right] \) in the formula of \(\partial ^{k}(w)\) and \(\left[ [\dots x_{i,p-1}\dots x_{k,p-1}\dots ], [\dots x_{k,p}\dots x_{j,p}\dots ] \right] \) in the formula of \(\partial ^{p-1}(w)\) have the same bracketing as the one of \(c_1\). The term \(\left[ [\dots x_{i', p}\dots x_{k+1,p}\dots ],[\dots x_{k,p}\dots x_{j', p}\dots ]\right] \) in \(\partial ^k(w)\) and \(\left[ [\dots x_{i, p}\dots x_{k,p}\dots ], [\dots x_{k,p-1}\dots x_{j,p-1}\dots ]\right] \) in \(\partial ^{p-1}(w)\) have the same bracketing as \(c_2\). We note in advance here that the bracketing determines the shape of the unitrivalent graphs in the combinatorial interpretation in the next section.
5 Combinatorial interpretation
Since we computed the abelian groups \(E_{p, p}^1\), \(E_{p-1, p}^1\) and the differential \(d^1 :E_{p, p}^1 \rightarrow E_{p-1, p}^1\) of the spectral sequence associated to the cosimplicial model \(\mathfrak {E}mb^{\bullet }\) in the previous section, we would also know \(E_{p, p}^2\). In this section we give a combinatorial interpretation of \(E_{p, p}^1\) and \(E_{p-1, p}^1\) and the differentials \(d^1\), based on the calculation of Proposition 3.20 and Theorem 3.26. As a corollary, we obtain a graphic interpretation of the groups \(E_{p, p}^2\). From these interpretations we will see that this spectral sequence relates closely to the theory of Vassiliev invariants.
Definition 4.1
A unitrivalent graph \(\varGamma \) is a graph whose nodes have only degree 1 or 3, together with a cyclic order on the edges at each node. We call the nodes of degree 1 leaves and nodes of degree 3 trivalent nodes. When \(\varGamma \) has n leaves, we define a labelling (or total ordering) on \(\varGamma \) to be a bijection of the set \(\{1, 2, \dots , n\}\) to the set of leaves. Denote by \(\textrm{UTG}\) the collection of labelled unitrivalent graphs. We define the degree of \(\varGamma \) as the number of nodes divided by 2.
When we draw a labelled unitrivalent graph, we place the leaves on an oriented line, ordered according to the labelling. Unless explicitly mentioned, the cyclic orders of the trivalent nodes are given counterclockwise. See Fig. 5 for an example of labelled unitrivalent graph.
Definition 4.2
We define the following relations on \(\mathbb {Z}[\textrm{UTG}]\):
-
(i)
Two labelled unitrivalent graphs \(\varGamma _1\) and \(-\varGamma _2\) are AS-related if \(\varGamma _1\) and \(\varGamma _2\) are the same up to the cyclic order at one node. This is depicted in Fig. 6.
-
(ii)
Let \(\varGamma \) be a labelled unitrivalent graph. Let e be an edge in \(\varGamma \) between two trivalent nodes v and w. Then \(\varGamma \) is IHX-related to the difference \(\varGamma '-\varGamma ''\) of the following two labelled unitrivalent graphs \(\varGamma '\) and \(\varGamma ''\): Let \(\{e, e_{v}' e_{v}''\}\) be the ordered set of edges at the node v, i.e. we have \(e< e_v' < e_v''\) (cyclic order). In the same way, let \(\{e, e_{w}', e_{w}''\}\) be the ordered set of edges at the node w. The graph \(\varGamma '\) arises from \(\varGamma \) by deleting the edge e and the nodes v and w of \(\varGamma \), and adding an edge \(e'\) and two trivalent nodes \(v'\) and \(w'\) such that the ordered set of edges at \(v'\) are \(\{e', e_v'',e_w'\}\) and the ordered set of edges at \(w'\) are \(\{e', e_w'', e_v'\}\). The unitrivalent graph \(\varGamma ''\) is constructed in a similar fashion. For \(\varGamma ''\) the ordered set of edges at the nodes \(v'\) is \(\{e'< e_v'' < e_w''\}\) and at the nodes \(w'\) is \(\{e'< e_w' < e_v'\}\). This is depicted in Fig. 7.
Definition 4.3
Denote by \(\textrm{UTT}_p\) the set of labelled unitrivalent trees of degree p. We denote by \(\mathcal {T}_p\) the abelian group generated by \(\textrm{UTT}_p\) modulo AS- and IHX-relations, i.e.
Construction 4.4
For \(p \ge 2\), denote by \(T_{p}\) the set of iterated Whitehead products of the elements \(x_{ip}\) with \( 1 \le i < p\) such that \(x_{ip}\) appears at most once in a given iterated Whitehead product. We are going to construct a one-to-one correspondence
Define the length of \(\tau \in T_p\) to be the total number of occurrences of \(x_{i,p}\) with \(i = 1, \dots , p-1\) in \(\tau \). We will define \(\varPsi _{T}\) inductively on the length n of \(\tau \). Define \(\varPsi _T(x_{ip})\) to be the degree 1 labelled unitrivalent tree consisting of two nodes labelled by i and p and an edge connecting them. Assume that for all \(\tau _{k} \in T_p\) of length k with \(k \le n-1 < p\), we have that \(\varPsi _T(\tau _k)\) is a degree \(k-1\) unitrivalent tree with labelling \(L_{\tau _k} \,{:}{=}\,\{i \in \mathbb {N}\mid x_{ip} \text { appears in } \tau _k\} \cup \{p\}\). For a tree \(\tau _n = [\tau ', \tau ''] \in T_p\) of length n, we know that \(\tau '\) and \(\tau ''\) are elements of \(T_p\) and of length smaller than n. By induction hypothesis, both \(\varGamma ' {:}{=}\varPsi _T(\tau ')\) and \(\varGamma '' \,{:}{=}\,\varPsi _T(\tau '')\) have a leaf with label p. We define the labelled unitrivalent tree \(\varPsi _T(\tau _n)\) to be the tree that arises by joining the tree \(\varGamma '\) and \(\varGamma ''\) at the respective leaves labelled by p, and joining to this joint point a new leaf labelled by p. The set of labels of \(\varPsi _T(\tau _n)\) is \(L_{\tau '} \cup L_{\tau ''}\). This construction is depicted in Fig. 8, where also the cyclic order at the joint node is indicated.
Now we proceed to define the inverse map \(\varPhi _T\). For a labelled unitrivalent tree \(\varGamma _1\) of degree 1 with the set of labellings \(\{i,p\}\), set \(\varPhi _T(\varGamma _1) = x_{ip}\). Assume that we have already defined \(\varPhi _T\) for unitrivalent trees of degree smaller than n with \(n < p-1\). Every unitrivalent tree \(\varGamma _n\) of degree n can be depicted as in Fig. 8. Then define \(\varPhi _T(\varGamma _n) \,{:}{=}\,[\varPhi _T(\varGamma '), \varPhi _T(\varGamma '')]\), where \(\varGamma '\) and \(\varGamma ''\) are the trees depicted in Fig. 8. By construction, the two maps \(\varPsi _T\) and \(\varPhi _T\) are inverse to each other.
Proposition 4.5
Recall the group \(E_{p,p}^1 \cong \bigoplus _{H}\mathbb {Z}\) from Proposition 3.20. For \(p \ge 2\), the construction above induces an isomorphism \(E_{p,p}^1 \cong \mathcal {T}_{p-1}\) of groups.
Lemma 4.6
Let \(J_p \subseteq T_p\) be the set of iterated Whitehead products of the elements \(x_{ip}\) with \(i = 1, \dots , p-1\) such that each \(x_{ip}\) appears exactly once in an iterated Whitehead product. Then we have
where \(\sim \) denotes the antisymmetry and Jacobi identity relations from Proposition 3.14.
Proof
Recall H from Proposition 3.20, and note that \(H \subseteq J_p \subseteq E_{p,p}^1\). Thus any element of \( J_p {\setminus } H\) can be written as linear combination of elements of H. Furthermore, this linear combination is produced by applying the Jacobi identity and antisymmetry relation to the element, cf. [22, Theorem 3.1]. As a result, we obtain the desired a group isomorphism \(E_{p,p}^1 \cong \mathbb {Z}[J_p] / \sim \). \(\square \)
Proof of Proposition 4.5
We are going to define group homomorphisms
such that the induced map \(\overline{\psi }_T\) and \(\overline{\phi }_T\) on the quotients \(E_{p,p}^1\) and \(\mathcal {T}_{p-1}\) are inverse to each other. We will define our morphisms on generators and extend linearly to the whole group.
For \(p = 2\), define \(\psi _T(x_{12}) = \varGamma \) and \(\phi _T(\varGamma ) = x_{12}\), where \(\varGamma \) is the labelled unitrivalent tree of degree 1 and with labelling set \(\{1,2\}\). There is no relation to consider when passing to the quotients \(E_{2,2}^{1}\) and \(\mathcal {T}_{1}\). Thus \(\bar{\psi }_T\) and \(\bar{\phi }_T\) are inverse to each other by definition.
For \(p \ge 3\) and \(v = [v_1, v_2] \in J_p\), define
whereFootnote 13\(L_i \,{:}{=}\,\{j \in \mathbb {N}\mid x_{j p} \text { appears in } v_i\} \cup \{p\}\) and
To see that the anti-symmetry of the Whitehead product corresponds to the AS-relation, we look at \(\psi _T([v_1,v_2] + (-1)^{ \# ( L_1 \times L_2) }[v_2, v_1])\) which equals
Recall from Construction 4.4 that the only difference between the tree \(\varPsi _{T}([v_1,v_2])\) and the tree \(\varPsi _{T}([v_2, v_1])\) is the cyclic order at the trivalent node which is adjacent to the leaf with label p, i.e. \(\varPsi _{T}([v_1,v_2]) \sim _{\text {AS}} -\varPsi _{T}([v_2, v_1])\). Note that the sum of signs in Eq. 4.1 is
because \(\# (L_1 \times _{>} L_2) + \# \left( L_2 \times _{>} L_1 \right) = (\#{L_1}-1)(\#{L_2}-1)\). Thus we obtain that the element in Formula 4.1 AS-related to 0.
As for the Jacobi identity, take \(v = [v_1, [v_2, v_3]] \in J_p\) with \(v_i \in \pi _{l_i}(\textrm{Conf}_p(\mathbb {R}^2 \times \textrm{D}^1))\) where \(l_i = \#{L_i} \). Then
where \(\epsilon _1\), \(\epsilon _2\) and \(\epsilon _3\) are the suitable signs. Again by Construction 4.4, we have that
is IHX-related to 0, and thus the element in Eq. 4.2 is IHX-related to 0. Therefore, \(\bar{\psi }_T\) is well-defined.
Let \(\varGamma _{p-1}\) be a labelled unitrivalent tree of degree \(p-1\), drawn as in Fig. 8, define
where \(L_1\) and \(L_2\) is the set of labels of \(\varGamma '\) and \(\varGamma ''\) respectively.
Similar to the discussion of \(\overline{\psi }_T\), one can show that \(\overline{\phi }_T\) is well-defined. Therefore, the maps \(\overline{\psi }_T\) and \(\overline{\phi }_T\) are inverses to each other by construction. \(\square \)
Remark 4.7
Based on the methods in [11, Section 4], Construction 4.4 and Proposition 4.5 are generalisations of [11, Definition 4.5, Proposition 4.6] and [11, Proposition 4.7] respectively. Our proofs also add missing details of [11, Proposition 4.7].
Definition 4.8
Let \(i,j \in \mathbb {N}\) with \(i \ne j\). An (i, j)-marked unitrivalent graph \(\varGamma _{ij}\) is a unitrivalent graph of degree j together with two marked nodes \(v_i\) and \(v_j\) that satisfy the following properties:
-
(i)
The underlying graph of \(\varGamma \) is connected and has exactly one simple cycle.Footnote 14
-
(ii)
The two marked nodes \(v_i\) and \(v_j\) are adjacent to the leaf with label i and j, respectively, and lie on the simple cycle.
Denote by \(\text {UTG}_{i,j}\) the set of (i, j)-marked unitrivalent graphs.
In Fig. 5, we can mark the nodes adjacent to the leaf with lable 3 and 8, respectively, and obtain a (3, 8)-marked unitrivalent graph, see Fig. 9.
Definition 4.9
For \(p \ge 3\), define \(\mathcal {D}_p\) to be the abelian group generated by the collection of (i, p)-marked unitrivalent graphs with \(1 \le i < p\), modulo AS- and IHXsep-relations, i.e.
where the IHXsep-relation is the usual IHX-relation, except that the edge e, which appears in Definition 4.2.ii), is not allowed to be an edge adjacent to the marked nodes.
Construction 4.10
Recall from Proposition 3.25 the definition of \(D^{\textrm{sep}}_{p}\) for \(p \ge 4\). We are going to construct a one-to-one correspondence
We use \(\varPsi _{T}\) and \(\varPhi _{T}\) from Construction 4.4 to define \(\varPsi _{D}\) and \(\varPhi _{D}\).
For \(w=[c_1, c_2] \in D^{\textrm{sep}}_{p}\), say with repeated occurrence of \(x_{k,p-1}\), apply \(\varPsi _T\) to \(c_1\) and to \(c_2\). We obtain the following two labelled unitrivalent trees \(\varGamma _1 \,{:}{=}\,\varPsi _{T}(c_1)\) and \(\varGamma _2 \,{:}{=}\, \varPsi _T({c_2})\).
Define \(\varPsi _D(w)\) to be the following \((k,p-1)\)-marked unitrivalent graph.
For a \((k,p-1)\)-marked unitrivalent diagram \(\varGamma _{k,p-1}\), we can draw \(\varGamma _{k,p-1}\) as in Fig. 10. Then define \(\varPhi _D(\varGamma _{k,p-1}) \,{:}{=}\,[\varPhi _T(\varGamma _{1}), \varPhi _T(\varGamma _{2})]\). By construction the maps \(\varPsi _D\) and \(\varPhi _D\) are inverse to each other, since \(\varPhi _{T}\) and \(\varPsi _{T}\) are each other’s inverse, cf. Construction 4.4.
Proposition 4.11
Let \(w = \left[ [c_1, [c_2, c_3]], c_4 \right] \) be an iterated Whitehead product in \(D^{\textrm{sep}}_p\), say with \(c_i \in \pi _{l_i}(\textrm{Conf}_{p-1}\left( \mathbb {R}^2 \times \textrm{D}^1\right) )\). We have in \(\mathbb {Z}[D^{\textrm{sep}}_{p}]\) the separated Jacobi identity, i.e.
Proof
Apply the Jacobi identity to \(\left[ c_1, [c_2, c_3] \right] \). \(\square \)
Remark 4.12
Note that the usual Jacobi identity is not well-defined in \(\mathbb {Z}[D^{\textrm{sep}}_{p}]\).
Proposition 4.13
Recall the group \(E_{p-1,p}^1 / \textrm{tors}\) from Proposition 3.25. For \(p \ge 4\), the construction above induces an isomorphism \(E_{p-1,p}^1 / \textrm{tors} \cong \mathcal {D}_{p-1}\) of groups.
Similar to Lemma 4.6, we obtain the following presentation of \(E_{p-1,p}^1 / \textrm{tors}\).
Lemma 4.14
We have
where \(\sim \) denotes relation induced by antisymmetry and the separated Jacobi Identity. \(\square \)
Proof of Proposition 4.13
Similar as in the proof of Proposition 4.5, we can define group homomorphisms
such that the induced map \(\overline{\psi }_D\) and \(\overline{\phi }_D\) are on the quotients are inverses to each other. Let \(w = [c_1, c_2] \in D^{\textrm{sep}}_{p}\), say with repeated occurrence of \(x_{k,p-1}\). For \(i = 1, 2\), define the set of labels \(L_i \,{:}{=}\,\{j \in \mathbb {N}\mid x_{j,p-1} \text { appears in } c_i\} \cup \{p-1\}\). Define \(\psi _D(w) \,{:}{=}\,(-1)^{ \# (L_1 \times _{>} L_2)} \varPsi _D(w)\).
Let \(\varGamma _{k,p-1} \in \textrm{UTG}_{k,p-1}\), for example drawn as in Fig. 10. Denote by \(L_i\) the labelling of \(\varGamma _{i}\) with \(i = 1, 2\). Define \(\phi _D(\varGamma _{k,p-1}) \,{:}{=}\,(-1)^{\# \left( L_1 \times _{>} L_2 \right) } \varPhi _D(\varGamma _{k,p-1})\).
Similar as in the proof of Proposition 4.5 we can check by explicit computation that the induced maps \(\bar{\psi }_{D}\) and \(\bar{\phi }_{D}\) on the quotients \(E_{p-1,p}^1 / \textrm{tors}\) and \(\mathcal {D}_{p-1}\) are well-defined. More precisely, antisymmetry corresponds to AS-relation and the separated Jacobi identity corresponds to IHXsep-relation. By construction the maps \(\overline{\psi }_D\) and \(\overline{\phi }_D\) are inverse to each other. \(\square \)
Definition 4.15
Define the following relations on \(\mathbb {Z}[\text {UTG}]\):
-
(i)
Let \(\varGamma \) be a labelled unitrivalent graph. Let e be the edge connecting the leaf labelled by n and the adjacent trivalent node v. Then \(\varGamma \) is STU-related to the difference \(\varGamma '-\varGamma ''\) of the following two labelled unitrivalent graphs \(\varGamma '\) and \(\varGamma ''\) Denote by \(\{e, e_1, e_2\}\) the ordered set of edges at the node v, i.e. \(e< e_1 < e_2\) (cyclic order). The graph \(\varGamma '\) arise from \(\varGamma \) the following steps: First, delete the edge e, the node v and the leaf labelled by n. Second, add two leaves, labelled by n and \(n + 1\) with adjacent edges \(e_2\) and \(e_1\) respectively. Third, relabel the leaves labelled with m by \(m + 1\) if \(m > n\). The graph \(\varGamma ''\) is constructed similar to \(\varGamma '\). For \(\varGamma ''\) the adjacent edges of the leaves labelled by n and \(n+1\) are \(e_1\) and \(e_2\) respectively. The STU-relation is depicted in Fig. 11.
-
(ii)
Let \(\varGamma \) be a labelled unitrivalent graph. Then \(\varGamma _1'- \varGamma _1''\) is STU2-related to \(\varGamma _2' - \varGamma _2''\), where \(\varGamma _1'-\varGamma _1''\) is obtained by performing the STU-relation at the leaf of \(\varGamma \) labelled by n, and \(\varGamma _2'-\varGamma _2''\) is obtained by performing the STU-relation at the leaf of \(\varGamma \) labelled by m. The STU2-relation is depicted in Fig. 12.
Remark 4.16
Note that the STU2-relation is finer than the STU-relation.
Proposition 4.17
The STU2-relation is well-defined on \(\mathbb {Z}[\textrm{UTT}_{p}]\) for \(p \ge 1\).
Proof
This is because the STU2-relation does not change the connectivity and degree of the unitrivalent graphs, and it also does not add simple cycles to the graphs. \(\square \)
Recall the computation of the differential \(d^1 :E_{p-1,p}^1 \rightarrow E_{p,p}^1\) from Proposition 3.26. Note that in the computation only \(d^1|_{E_{p-1,p}^1 / \textrm{tors}}\) is relevant, and by abuse of notation we will write \(d^1\) instead of \(d^1|_{E_{p-1,p}^1 / \textrm{tors}}\) in the following. By Proposition 4.5 and Proposition 4.13 we can consider \(d^1\) as a map between two groups of unitrivalent graphs as follows
By abuse of notation we will also denote this map between \(\mathcal {D}_{p-1}\) and \(\mathcal {T}_{p-1}\) by \(d^1\). The following proposition describes what \(d^1\) means on the level of unitrivalent graphs.
Theorem 4.18
Viewed on generators, the differential \(d^1\) maps a \((k,p-1)\)-marked unitrivalent graph \(\varGamma _{k, p-1}\) to the linear combination \(\varGamma _{p}^{1} - \varGamma _{p}^{2} - (\varGamma _{k}^{2} - \varGamma _{k}^{1})\) of labelled unitrivalent trees, where
-
(i)
\(\varGamma _{p}^1 - \varGamma _p^2\) is obtained from performing the STU-relation on \(\varGamma _{k, p-1}\) at the edge connecting the leaf labelled by \(p-1\) and the marked node \(v_{p-1}\), and
-
(ii)
\(\varGamma _{k}^2 - \varGamma _k^1\) is obtained from performing the STU-relation on \(\varGamma _{k, p-1}\) at the edge connecting the leaf labelled by k and the marked node \(v_{k}\).
For a pictorial illustration of \(d^1\), see Fig. 13.
Proof
Denote by \(w = [c_1, c_2] \in D^{\textrm{sep}}_p\), say with repeated occurrence of \(x_{k,p-1}\), a element in \(E_{p-1, p}^{1}\) that corresponds to \(\varGamma _{k, p-1}\) under the isomorphism from Proposition 4.13. Write (without loss of generality) \(c_1 = [\dots x_{i,p-1} \dots x_{k,p-1} \dots ]\) and \(c_2 = [\dots x_{k,p-1} \dots x_{j,p-1} \dots ]\). Recall the notations from the proofs of Proposition 4.5 and Proposition 4.13, we have
where \(\varGamma _1\), \(\varGamma _2\) and \(\varGamma _w\) are depicted in Fig. 14. We will discuss the signs \(\epsilon _1\), \(\epsilon _2\) and \(\epsilon _w\) at the end.
Recall the formula for \(\partial ^{k}(w)\) from Proposition 3.26. We write
where \(c_1^{k}\), \(c_{2}^{k+1}\), \(c_1^{k+1}\) and \(c_2^{k}\) correspond exactly to the four Whitehead brackets in the formula of \(\partial ^{k}(w)\). Thus we have
where \(\varGamma _1^k\), \(\varGamma _2^{k+1}\), \(\varGamma _1^{k+1}\) and \(\varGamma _2^{k}\) are the labelled unitrivalent trees depicted below
Note that the underlying unlabelled trees of \(\varGamma _{i}^k\) and \(\varGamma _i^{k+1}\) for \(i = 1, 2\) are the same as the ones for \(\varGamma _i\) respectively. Furthermore, we have
where \(\varGamma _k^1\) and \(\varGamma _k^2\) are the labelled unitrivalent trees depicted in Fig. 15.
We perform the same steps for \(\partial ^{p-1}(w) = (-1)^{p-1}[c_1, c_2^{p}] + (-1)^{p-1}[c_{1}^{p}, c_2]\), thus obtain
where \(\varGamma _1^{p}\) and \(\varGamma _2^{p}\) are the labelled unitrivalent trees depicted in Fig. 16.
Furthermore, \(\overline{\psi }_T([c_1, c_2^{p}])= (-1)^{\epsilon _p^1}\varGamma _p^1\) and \( \overline{\psi }_T([c_1^{p}, c_2]) = (-1)^{\epsilon _p^2} \varGamma _p^2\), where \(\varGamma _p^1\) and \(\varGamma _p^2\) are depictedFootnote 15 in Fig. 16. Reviewing the leaves of \(\varGamma _k^i\) and \(\varGamma _p^i\) as placed on the oriented line, we get the following illustrations of the trees
Thus, we have that
Now let us check the signs. For \(i = 1, 2\), let \(L_{i}\) be the set of labels of \(\varGamma _i\). Thus we have
where \(\epsilon _1\) and \(\epsilon _2\) appeared right at the beginning of the proof. Let \(L_{i}^{j}\) be the set of labels of \(\varGamma _{i}^{j}\) and \(L_{i}^{p}\) be the set of labels of \(\varGamma _{i}^{p}\), for \(j \in \{k, k+1\}\) and \(i \in \{1, 2\}\). Then we have
Recall Remark 3.28 and thus observe that \(\#{L_1} = \#{L_1^k} = \#{L_1^{k+1}} = \#{L_1^p}\). Furthermore, we have \(\# (L_1^{k+1} \times _{>} L_2^k) = \# (L_1^k \times _{>} L_2^{k+1}) + 1\), where the \(+1\) arises from the pair \((k+1, k)\), and \(\#( L_1^p \times _{>} L_2) = \# (L_1 \times _{>} L_2^p) + 1\), where the \(+1\) arises from the pair \((p,p-1)\). Thus we can write \(\overline{\psi }_T(d^1(w))\) as
For the signs we use
Thus we we have
i.e. the signs before \((\varGamma _k^2 - \varGamma _k^1)\) and \((\varGamma _p^1 - \varGamma _p^2)\) in Eq. 4.3 are different.
Consider the sign in front of \(\varGamma _{k,p-1}\) and \(\varGamma _p^1\) in the equations \(\overline{\psi }_D([c_1, c_2]) = (-1)^{\epsilon _w} \varGamma _{k,p-1}\) and \(\overline{\psi }_{T}([c_1, c_2^p]) = (-1)^{\epsilon _{p}^1} \varGamma _p^1\). First recall that
Observe that we have \(\# \left( L_1 \times _{>} L_2^p \right) = \# \left( L_1 \times _{>} L_2 \right) + \#\left( L_2 {\setminus } \{k,p\}\right) \), where the term \(\# \left( L_2 {\setminus } \{k,p\}\right) \) arises because of the set of pairs \(\{(p-1, x) \in L_1 \times L_2^p \mid x \ne k,p\}\). Moreover we know that \(\#{L_1} + \# \left( L_2 {\setminus } \{k, p\} \right) = p-1\). So the sign difference between \(\overline{\psi }_D([c_1, c_2])\) and \(\overline{\psi }_{T}([c_1, c_2^p])\) is \((-1)^{p-1}\), which cancels with the sign in front of \([c_1, c_2^p]\) in the expression of \(\partial ^{p-1}(w)\). Therefore, \(\epsilon _w\) and \(\epsilon _p^1\) have the same parity. In other words, \(\varGamma _{k,p-1}\) and \(\varGamma _p^1\) have the same sign.
In conclusion, we are justified to write
\(\square \)
Corollary 4.19
(Conant) Let \(\tau \in \mathcal {T}_{p-1}\), then \(\tau \in {{\,\textrm{im}\,}}(d^1)\) if and only if \(\tau \) is STU2-related to 0.
Proof
“\(\Leftarrow \)” It follows from the formula for \(d^1\) in the previous theorem that the image of the generators under \(d^1\) are STU2-related to 0. Thus, any element in \({{\,\textrm{im}\,}}(d^1)\) is also STU2-related to 0.
“\(\Rightarrow \)” It is sufficient to prove that any linear combination of the form \(\varGamma _p^1 - \varGamma _p^2 - (\varGamma _k^2 - \varGamma _k^1)\) with \(1 \le k \le p-2\), lies in the image of \(d^1\). Note that \(\varGamma _k^2 - \varGamma _k^1\) is the result of performing a STU-relation at the trivalent node adjacent to the leaf with label k in \(\varGamma _w = \bar{\psi }_D(w)\), cf. Fig. 14. Similarly, \(\varGamma _p^1 - \varGamma _p^2\) is the result of performing a STU-relation at the trivalent node adjacent to the leaf with label \(p-1\) in \(\varGamma _w\). Therefore, we can obtain the linear combination \(\varGamma _p^1 - \varGamma _p^2 - \varGamma _k^2 + \varGamma _k^1\) via performing STU-relations on a \((k,p-1)\)-marked unitrivalent graphs at its two marked trivalent nodes. By Proposition 4.13, the domain of the differential \(d^1\) is exactly the set of \((k,p-1)\)-marked unitrivalent graphs. \(\square \)
Remark 4.20
Our proofs of Theorem 4.18 and Corollary 4.19 supplement the proof of [11, Proposition 4.8] with more details. With the notion of marked unitrivalent graph, we are able to give the combinatorial interpretation of the map \(d^1\), instead of only its image.
Corollary 4.21
-
(i)
For \(p \ge 4\), the group \(E_{p,p}^2\) is isomorphic to the abelian group generated by unitrivalent trees of degree \(p-1\), modulo AS-, IHX-, and \( STU ^2\)-relations.
-
(ii)
For \(p = 3\), we have \(E_{3,3}^2 \cong \mathcal {T}_{2} \cong \mathbb {Z}\).
-
(iii)
For \(p = 0, 1, 2\), we have \(E_{p,p}^2 = 0\).
Proof
(i) follows from Lemma 4.6 and Corollary 4.19. (ii) follows from the fact that the map \(d^1 :E_{2,3}^1 \rightarrow E_{3,3}^1\) is trivial (Proposition 3.23) and \(E_{3,3}^1 \cong \mathcal {T}_{2}\) (Proposition 4.5) (iii) follows from Proposition 3.23. \(\square \)
Theorem 4.22
(Conant) Let \(n \in \mathbb {N}\). We have \(E_{n, n}^{2} \otimes \mathbb {Q}\) is isomorphic to the rational vector space \(\mathcal {A}_{n-1}^{I} \otimes \mathbb {Q}\) generated by unitrivalent trees of degree \(n-1\) modulo AS-, IHX-, and SEP-relations.
Proof
See [11, Theorem 3.3]. \(\square \)
Remark 4.23
We refer the readers to [3, 12, 13, 21], for the close relation between Vassiliev knot invariants and unitrivalent graphs. As already points out by Bott in [6], studying the groups \(E_{n, n}^{r}\), and especially the passage from \(E_{n,n}^2\) to \(E_{n, n}^{\infty }\) may be another approach to the theory of Vassiliev invariants.
6 Conclusion and further work
The connection between Vassiliev invariant and the embedding functor \({{\,\textrm{Emb}\,}}({-})\) can be expressed in the following diagram with \(n \ge 3\)
Let us first explain and give references to some of the notations in the diagram:
-
(i)
Recall that \(E_{n, n}^{i}\) with \(i \in \{1, 2, \infty \}\) denotes the diagonal terms of the homotopy Bousfield–Kan spectral sequence associated to the tower of fibrations
$$\begin{aligned} \cdots \rightarrow \textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I}) \rightarrow \textrm{T}_{n-1} {{\,\textrm{Emb}\,}}(\textrm{I}) \rightarrow \cdots \rightarrow \textrm{T}_0 {{\,\textrm{Emb}\,}}(\textrm{I}) \end{aligned}$$with
$$\begin{aligned} E_{n,n}^{\infty } \cong \ker \big ( \pi _0(\textrm{T}_n {{\,\textrm{Emb}\,}}(\textrm{I})) \rightarrow \pi _0(\textrm{T}_{n-1} {{\,\textrm{Emb}\,}}(\textrm{I})) \big ) \end{aligned}$$ -
(ii)
The clasper surgery equivalence \(\sim _{C_n}\) is an equivalence relation on the set \(\pi _0(\mathcal {K})\) of isotopy classes of knots defined by Habiro in [21], and he proves that the canonical map \(\pi _0(\mathcal {K}) \rightarrow \pi _0(\mathcal {K}) / \sim _{C_n}\) is the universal additive Vassiliev invariant of degree \(n-1\).
-
(iii)
The group \(\mathcal {G}_{n-1}\) has a geometric interpretation using gropes. There is an isomorphism
$$\begin{aligned} \mathcal {G}_{n-1} \cong \ker \big ( \pi _0(\mathcal {K}) / \sim _{C_n} \rightarrow \pi _0(\mathcal {K}) / \sim _{C_{n-1}} \big ) \end{aligned}$$A grope is an embedded (CW)-complex in \(\mathbb {R}^3\), whose boundary components are knots. Conant and Teichner [12, 13] explain the connection among gropes, clasper surgery and Vassiliev invariants.
In this text we showed the commutativity of the right most square in the above diagram, by giving combinatorial interpretations to our computations of the spectral sequence. The key ingredient for the calculations is the equivalence between the category of augmented cosimplicial spaces and the category of good functors from \(\mathrm {\textbf{Open}}_{\partial }^{}\left( \textrm{I} \right) ^{\textrm{op}}\) to spaces, which provides us with a cosimplicial space \(\mathfrak {E}mb^{\bullet }\) associated to the embedding functor \({{\,\textrm{Emb}\,}}({-})\).
We find it interesting that the upper row of Diagram 5.1 is algebraic in nature whereas the lower row is geometric and combinatorial. If Conjecture 1.25 holds, the map \(\bar{\eta }_n(\textrm{I})\) would be an isomorphism of groups. In [27] Kosanovic shows that the square marked with “\(\star \)” commutes, thus making Diagram 5.1 commutative. A natural question that arises for us now is whether we can give a geometric or combinatorial interpretation of the Goodwillie–Weiss tower of knots, e.g. using gropes or clasper surgeries. In our forthcoming work [28], we are working towards extending the map \(\bar{\eta }_n(\textrm{I})\) to a map of spaces. More specifically, we are constructing a space of gropes together with a continuous map to \(\textrm{T}_n{{\,\textrm{Emb}\,}}(I)\) such that the induced map on path-connected components is \(\bar{\eta }_n(\textrm{I})\), for every \(n \in \mathbb {N}\) and \(n \ge 0\).
Notes
For \(p = 1\), the differential is null because the domain and the codomain are null. For \(p = 2\), the differential is an isomorphism by concrete calculation.
See [29, Appendix A.2.7] for the Kan model structure on the category of simplicial sets.
We denote by \(\textrm{E}_1\) the little interval operad, which is a concrete model for \(A_{\infty }\)-operad in \(\mathcal {C}\mathcal {G}\mathcal {H}\).
In the smooth settings, isotopy and ambient isotopy are equivalent.
Vassiliev used another mapping space instead of \(\mathcal {K}\), which is homotopy equivalent to \(\mathcal {K}\). For simplicity, we just write \(\mathcal {K}\) instead.
The connected sum of knots is up to isotopy abelian because one can shrink one knot in the connected sum and slide it through the other knot in the connected sum.
In the model for simplicial localisation developed in [16], the localisation functor L exists in the homotopy category \({{\,\textrm{h}\,}}\mathrm {\textbf{Cat}}_{\mathrm {\Delta }}\)
We make this conventions because we will see in the next section that \(\mathfrak {E}mb_{n} \simeq \textrm{Conf}_n (\mathbb {R}^2 \times \textrm{D}^1) \times \left( \textrm{S}^2 \right) ^n\) for \(n \ge 0\).
The case \(k=0\) works since we are looking at Euclidean spaces.
We consider basic products eventually as homotopy classes, but to get a well-defined definition, one has to first define basic products as ‘formal’ products, cf. [40, Page 511–512] The index set P in Theorem 3.13 below is then the set of formal basic products, and this ensures a posteriori that we do not have to distinguish formal products and Whitehead products of homotopy classes.
The dimension of the spheres and the occurrences of the elements are required to be compatible with each other.
By abuse of notation we hide the inner brackets of iterated Whitehead products when we write an elements as done here.
Note that \(L_i\) is the set of labels of the tree \(\varPsi _T(v_i)\), and thus \(\# L_i\) is the number of leaves of this tree.
A simple cycle is defined as a loop in the graph with no repetitions of nodes and edges allowed, other than the repetition of the starting and ending nodes.
Here we join the trees at the leaves labelled by k. Note that Construction 4.4 only considers the case where we join at the leaves labelled by p. The construction for k inplace p is analogous, however, one has to check that both constructions apply to the same tree yield the same iterated Whitehead product.
References
Ayala, D., Francis, J.: Factorization homology of topological manifolds. J. Topol. 8(4), 1045–1084 (2015). https://doi.org/10.1112/jtopol/jtv028
Axelrod, S., Singer, I.M.: Chern-Simons perturbation theory. II. J. Differ. Geom. 39(1), 173–213 (1994). https://doi.org/10.4310/jdg/1214454681
Bar-Natan, D.: On the Vassiliev knot invariants. Topology 34(2), 423–472 (1995). https://doi.org/10.1016/0040-9383(95)93237-2
Budney, R., Conant, J., Koytcheff, R., Sinha, D.: Embedding calculus knot invariants are of finite type. Algebra Geom. Topol. 17(3), 1701–1742 (2017). https://doi.org/10.2140/agt.2017.17.1701
Bousfield, A., Kan, D.: Homotopy Limits, Completions and Localizations. Lecture Notes in Mathematics, vol. 304. Springer, Berlin (1972)
Bott, R.: On invariants of manifolds. In: Modern methods in complex analysis (Princeton, NJ, 1992). Vol. 137. Ann. Math. Stud. Princeton Univ. Press, Princeton, NJ, pp. 29–39 (1995)
Bott, R., Taubes, C.: On the self-linking of knots. J. Math. Phys. 35(10), 5247–5287 (1994). https://doi.org/10.1063/1.530750
Budney, R.: A family of embedding spaces. In: Proceedings of the conference on groups, homotopy and configuration spaces, University of Tokyo, Japan, July 5–11, 2005 in honor of the 60th birthday of Fred Cohen. Coventry: Geometry & Topology Publications, pp. 41–83 (2008). https://doi.org/10.2140/gtm.2008.13.41
Boavida de Brito, P., Weiss, M.: Manifold calculus and homotopy sheaves. Homol. Homotopy Appl. 15(2), 361–383 (2013). https://doi.org/10.4310/HHA.2013.v15.n2.a20
Boavida de Brito, P., Weiss, M.S.: The configuration category of a product. Proc. Am. Math. Soc. 146(10), 4497–4512 (2018)
Conant, J.: Homotopy approximations to the space of knots, Feynman diagrams, and a conjecture of Scannell and Sinha. Am. J. Math. 130(2), 341–357 (2008). https://doi.org/10.1353/ajm.2008.0020
Conant, J., Teichner, P.: Grope cobordism and Feynman diagrams. Math. Ann. 328(1–2), 135–171 (2004)
Conant, J., Teichner, P.: Grope cobordism of classical knots. Topology 43(1), 119–156 (2004). https://doi.org/10.1016/S0040-9383(03)00031-4
Dwyer, W., Hess, K.: Long knots and maps between operads. Geom. Topol. 16(2), 919–955 (2012)
Dwyer, W.G., Kan, D.M.: Calculating simplicial localizations. J. Pure Appl. Algebra 18, 17–35 (1980). https://doi.org/10.1016/0022-4049(80)90113-9
Dwyer, W.G., Kan, D.M.: Simplicial localizations of categories. J. Pure Appl. Algebra 17, 267–284 (1980). https://doi.org/10.1016/0022-4049(80)90049-3
Fadell, E.R., Husseini, S.Y.: Geometry and Topology of Configuration Spaces. Springer, Berlin (2001)
Fadell, E., Neuwirth, L.: Configuration spaces. Math. Scand. 10, 111–118 (1962). https://doi.org/10.7146/math.scand.a-10517
Goodwillie, T.G., Klein, J.R., Weiss, M.S.: Spaces of smooth embeddings, disjunction and surgery. In: Surveys on surgery theory. Vol. 2: Papers dedicated to C. T. C. Wall on the occasion of his 60th birthday. Princeton, NJ: Princeton University Press, pp. 221–284 (2001)
Goodwillie, T.G., Weiss, M.: Embeddings from the point of view of immersion theory. II. Geom. Topol. 3, 103–118 (1999)
Habiro, K.: Claspers and finite type invariants of links. Geom. Topol. 4, 1–83 (2000). https://doi.org/10.2140/gt.2000.4.1
Jun Hall, M.: A basis for free Lie rings and higher commutators in free groups. Proc. Am. Math. Soc. 1, 575–581 (1950). https://doi.org/10.2307/2032282
Hilton, P.J.: On the homotopy groups of the union of spheres. J. Lond. Math. Soc. 30, 154–172 (1955). https://doi.org/10.1112/jlms/s1-30.2.154
Hilton, P.J.: Note on the Jacobi identity for Whitehead products. Proc. Camb. Philos. Soc. 57, 180–182 (1961). https://doi.org/10.1017/s0305004100034988
Hirschhorn, P.S.: Model Categories and Their Localizations, vol. 99. American Mathematical Society (AMS), Providence, RI (2003)
Kontsevich, M.: Feynman diagrams and low-dimensional topology. In: First European congress of mathematics (ECM), Paris, France, July 6–10, 1992. Volume II: Invited lectures (Part 2). Basel: Birkhäuser, pp. 97–121 (1994)
Kosanovic, D.: Embedding calculus and grope cobordism of knots. Version 1. Oct. 10 (2020). arXiv:2010.05120v1
Kosanovic, D., Shi, Y., Teichner, P.: Space of gropes and embedding calculus. In preparation
Lurie, J.: Higher Topos Theory. Princeton University Press, Princeton, NJ (2009). https://doi.org/10.1515/9781400830558
Munson, B.A., Volić, I.: Cubical Homotopy Theory, vol. 25. Cambridge University Press, Cambridge (2015)
Nakaoka, M., Toda, H.: On Jacobi identity for Whitehead products. J. Inst. Polytech. Osaka City Univ. Ser. A. 5, 1–13 (1954)
Riehl, E.: Categorical Homotopy Theory, vol. 24. Cambridge University Press, Cambridge (2014)
Sinha, D.P.: Operads and knot spaces. J. Am. Math. Soc. 19(2), 461–486 (2006)
Sinha, D.P.: The topology of spaces of knots: cosimplicial models. Am. J. Math. 131(4), 945–980 (2009)
Stanford, T.B.: Braid commutators and delta finite-type invariants. In: Knots in Hellas’98. Proceedings of the international conference on knot theory an its ramifications, European Cultural Centre of Delphi, Greece, August 7–15, 1998. Singapore: World Scientific, pp. 471–476 (2000)
Stevenson, D.: Covariant model structures and simplicial localization. N.-W. Eur. J. Math. 3, 141–202 (2017)
Uehara, H., Massey, W.S.: The Jacobi identity for Whitehead products. In: Algebraic geometry and topology. A symposium in honor of S. Lefschetz. Princeton University Press, Princeton, N. J., pp. 361–377 (1957)
Vassiliev, V.A.: Cohomology of knot spaces. In: Theory of singularities and its applications. Vol. 1. Adv. Soviet Math. Amer. Math. Soc., Providence, RI, pp. 23–69 (1990)
Weiss, M.: Embeddings from the point of view of immersion theory. I. Geom. Topol. 3, 67–101 (1999). https://doi.org/10.2140/gt.1999.3.67
Whitehead, G.W.: Elements of Homotopy Theory, vol. 61. Springer, New York, NY (1978)
Acknowledgements
Most of the results in this paper are part of my master thesis, written under the supervision of Peter Teichner. To him belongs my gratitude for his suggestions, guidance and support. I want to thank Lukas Brantner, Danica Kosanovic, Achim Krause for the helpful conversations during the thesis project. I would like to thank Jack Davies, Tobias Dyckerhoff, Gijs Heuts, Geoffroy Horel, Pablo Magni and Mingcong Zeng for their feedback on the current version and for their encouragement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Craig Westerland.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Shi, Y. Goodwillie’s cosimplicial model for the space of long knots and its applications. J. Homotopy Relat. Struct. 18, 265–312 (2023). https://doi.org/10.1007/s40062-023-00327-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-023-00327-0