Abstract
We show that every good boundary link with a pair of derivative links on a Seifert surface satisfying a homotopically trivial plus assumption is freely slice. This subsumes all previously known methods for freely slicing good boundary links with two or more components, and provides new freely slice links.
Introduction
The still open topological surgery conjecture for 4manifolds is equivalent to the statement that all good boundary links are freely slice [7, p. 243]. A good boundary link is an mcomponent link L that admits a homomorphism \(\phi :\pi _1(S^3 {\smallsetminus }L) \rightarrow F\) sending the meridians to the m generators of the free group F of rank m, such that the kernel of \(\phi \) is perfect, or equivalently such that \(H_1(S^3 {\smallsetminus }L;{\mathbb {Z}}F) = 0\). A Whitehead double of a link with vanishing linking numbers is a special case. We say that a link L is freely slice if L bounds slicing discs in \(D^4\) whose complement has free fundamental group generated by the meridians of L.
The goal of this paper is to describe a family of freely slice good boundary links. Previous work, including [8, 10,11,12,13], has often focussed on Whitehead doubles of links. A complete list with a detailed discussion can be found in Sect. 6. We expand these results to a much larger class of good boundary links. After stating our main theorem, we will explain the terminology used therein.
Theorem A
Suppose that L is a good boundary link that has a Seifert surface admitting a homotopically trivial\(^+\) good basis. Then L is freely slice.
We need to introduce the notion of a good basis on a boundary link Seifert surface, and what it means for a good basis to be homotopically trivial\(^+\). Consider a collection V of disjoint Seifert surfaces for a boundary link L. We call such a collection a boundary link Seifert surface. The Seifert form\(\theta :H_1(V;{\mathbb {Z}}) \times H_1(V;{\mathbb {Z}}) \rightarrow {\mathbb {Z}}\) is defined via linking numbers of curves on V and pushoffs of such curves into \(S^3{\smallsetminus }V\), in direct analogy with the knot case. Choosing a basis for \(H_1(V;{\mathbb {Z}})\) gives rise to a Seifert matrix representing \(\theta \). We give a detailed description in Sect. 2.1.
Definition 1.1
A good basis is a collection \(\{a_i,b_i\}\) of simple closed curves on V, representing a basis for \(H_1(V;{\mathbb {Z}})\), whose geometric intersections are \(a_i \cdot a_j = 0\), \(b_i \cdot b_j = 0\), \(a_i\cdot b_j = \delta _{ij}\), and such that the Seifert matrix of V with respect to the basis is reducible by a sequence of elementary Sreductions to the null matrix. That is, after reordering if necessary, the Seifert matrix with respect to \(\{a_1,b_1,a_2,b_2,\ldots \}\) is of the form
where \(\varepsilon _i=0\) or 1 for each i, and each \(*\) designates an arbitrary integer entry.
Note that (1.1) contains no information about the connected component of V on which the pair \((a_i,b_i)\) lies. We prove the following fact in Sect. 2.
Corollary 2.2
A boundary link is good if and only if it has a boundary link Seifert surface admitting a good basis.
Recall [19] that an mcomponent link is said to be homotopically trivial if it is homotopic to the trivial link through immersions of m copies of the circle into \(S^3\) with disjoint images. The strongest result in the literature on freely slicing good boundary links, due to Freedman and Teichner [13], states that a Whitehead double of a homotopically \(\hbox {trivial}^+\)link is freely slice. Here a link J is said to be homotopically trivial\(^+\) if for each component \(J_i\) of J, the link \(J\cup J_i^+\) is homotopically trivial, where \(J_i^+\) is a zero linking parallel copy of \(J_i\).
Our notion of a homotopically\(\hbox {trivial}^+\)good basis extends the FreedmanTeichner definition for links to a more general context. Let \(\{a_i,b_i\}\) be a good basis on a boundary link Seifert surface V. Inspecting the diagonal blocks of (1.1), it follows that \(a_i\) has trivial linking number with exactly one of the two translates of \(b_i\) in the positive and negative normal directions of V. Call this pushoff \(b_i'\) and let \(K := \bigsqcup b_i'\).
Definition 1.2
We call the good basis \(\{a_i,b_i\}\)homotopically trivial\(^+\) if both of the links \(K\sqcup a_j\) and \(K\sqcup b_j\) are homotopically trivial for every j.
Observe that if \(\{a_i,b_i\}\) is a homotopically \(\hbox {trivial}^+\) good basis then each of the sets of curves \(\{a_i\}\) and \(\{b_i\}\) is a derivative of L, that is a collection of mutually disjoint curves on a Seifert surface for L whose linking and selflinking numbers all vanish. In fact all the entries of (1.1) indicated by a \(*\) are 0 for a homotopically \(\hbox {trivial}^+\) good basis. Boundary links admitting this kind of Seifert matrix were termed generalised doubles by Freedman and Krushkal in [5, Definition 5.9].
To understand the connection between the two notions of homotopically \(\hbox {trivial}^+\), consider \({{\,\mathrm{Wh}\,}}(J)\), an untwisted Whitehead double of the link J with arbitrary clasp signs. Recall that \({{\,\mathrm{Wh}\,}}(J)\) bounds a standard boundary link Seifert surface with each connected component genus one. Figure 1 illustrates the case of a positive clasp. It is straightforward to verify the following.
 (i)
If J has vanishing pairwise linking numbers, so that \({{\,\mathrm{Wh}\,}}(J)\) is a good boundary link, then the curves \(a_i\) and \(b_i\) shown in Fig. 1 form a good basis.
 (ii)
The good basis \(\{a_i,b_i\}\) is homotopically \(\hbox {trivial}^+\) if and only if the link J is homotopically \(\hbox {trivial}^+\) in the sense of FreedmanTeichner. We provide the details in Lemma 6.1.
Thus the fact that Whitehead doubles of homotopically \(\hbox {trivial}^+\) links are slice is a special case of Theorem A. Moreover, Theorem A provides new freely slice links, not previously known to be slice. In particular, in Sect. 6.1, we provide examples not arising as a Whitehead double.
We close the introduction by noting that it is logically conceivable that Theorem A applies to freely slice Whitehead doubles of nonhomotopically \(\hbox {trivial}^+\) links. We discuss further related questions in Sect. 7.
Seifert matrices of boundary links
In this section we present certain facts on Seifert matrices of boundary links and Sequivalence, which may be known to the experts. We could not find these facts in the literature, so we provide the proofs. The main goal of the section is to prove the following proposition.
Proposition 2.1
A boundary link L is good if and only if there is a boundary link Seifert surface for L such that the associated Seifert matrix can be changed to a null matrix by Sreductions only.
We will give the definitions of the terms used in Proposition 2.1 in Sect. 2.1 below. The following appeared as a proposition in the introduction.
Corollary 2.2
A boundary link is good if and only if it has a boundary link Seifert surface admitting a good basis.
We prove the corollary assuming Proposition 2.1 and Theorem 2.11 below, which states that a boundary link L is good if and only if some (and therefore every) Seifert matrix for L is Sequivalent to the null matrix.
Proof
Let L be a good boundary link and let \(V=\bigsqcup V_i\) be a boundary link Seifert surface for L as given by Proposition 2.1, where \(V_i\) is a Seifert surface for the ith component. We may and shall assume that each \(V_i\) is connected. Fix a basis for \(H_1(V_i;{\mathbb {Z}})\), for each i, such that the corresponding Seifert matrix A can be changed to a null matrix by Sreductions. The basis is symplectic with respect to the intersection form, since \(AA^T\), which represents the intersection form by Definition 2.3 and the subsequent paragraph, is a diagonal sum of matrices of the form \(\pm \big [{\begin{matrix}0 &{} 1 \\ 1 &{} 0\end{matrix}}\big ]\), by Definition 2.5 (ii) and (iii) below. Since every symplectic automorphism of \(H_1(V_i;{\mathbb {Z}})\) is realised by a homeomorphism of \(V_i\) (e.g., see [6, Theorem 6.4]), this basis can be represented by simple closed curves whose geometric intersections match their algebraic intersection numbers. By definition, these curves form a good basis.
For the converse, suppose that a boundary link L has a Seifert surface admitting a good basis. Then L has a Seifert matrix which is Sequivalent to a null matrix, so L is good by Theorem 2.11. \(\square \)
Seifert matrices and Sequivalence
We begin with the basic definitions. We always assume that an mcomponent boundary link \(L=L_1\sqcup \cdots \sqcup L_m\) is endowed with a choice of epimorphism \(\phi :\pi _1(S^3{\smallsetminus }L)\rightarrow F\) onto a free group F of rank m that sends the ith meridian to the ith free generator. This is equivalent to assuming, via the PontryaginThom construction, that L comes with a choice of m disjoint Seifert surfaces \(V_i\) with \(\partial V_i = L_i\). A boundary link with such a choice is often called an Flink.
The standard definition of a Seifert matrix of a knot generalises to the case of boundary links, as follows.
Definition 2.3
Define a bilinear pairing \(H_1(V_i;{\mathbb {Z}})\times H_1(V_j;{\mathbb {Z}}) \rightarrow {\mathbb {Z}}\) by \(([x],[y]) \mapsto {{\,\mathrm{lk}\,}}(x^+,y)\) for 1cycles x and y, where \(x^+\) denotes a pushoff of x along the positive normal direction of \(V_i\). Choosing a basis of \(H_1(V_i;{\mathbb {Z}})\) for each i determines a matrix \(A_{ij}\). The block matrix \(A=[A_{ij}]_{1\le i,j\le m}\) comprising \(m^2\) submatrices \(A_{ij}\) is called a Seifert matrix for L.
We remark that \(A_{ii}A_{ii}^T\) represents the intersection form of \(V_i\) and consequently is unimodular by PoincaréLefschetz duality on \(V_i\) and the isomorphism \(H_1(V_i;{\mathbb {Z}}) \cong H_1(V_i,\partial V_i;{\mathbb {Z}})\). Also, \(A_{ij}=A_{ji}^T\) for \(i\ne j\) by symmetry of the linking number.
The notion of Sequivalence for Seifert matrices of knots generalises to the case of boundary links [18]. The next two definitions are algebraic.
Definition 2.4
We say that a square integral matrix A is an mcomponent boundary link Seifert matrix if it has a decomposition into \(m^2\) blocks \(A_{ij}\) (\(i,j =1,\dots ,m\)) with \(A_{ii}\) a square matrix for each i, such that \(\det \left( A_{ii}  A_{ii}^T\right) = \pm 1\) and \(A_{ij} = A_{ji}^T\) for \(i \ne j\).
Definition 2.5
Suppose \(A=[A_{ij}]\) and \(B=[B_{ij}]\) are ncomponent boundary link Seifert matrices.
 (i)
We say that A and B are congruent if there are square unimodular matrices \(P_1,\ldots , P_m\) such that \(P_i^T A_{ij} P_j = B_{ij}\) for all i, j. That is, for
the block matrix product \(P^TAP\) equals B.
 (ii)
We say that a square integral matrix B is an Senlargement of A if B is of the form
for some k, where \((\varepsilon ,\varepsilon ')=(1,0)\) or (0, 1) and \(x_i\) designates an arbitrary row vector of the appropriate dimension for \(i=1,\ldots ,m\). That is, \(B_{ij}\) is equal to
$$\begin{aligned} \begin{array}{cl@{\qquad }cl} \begin{bmatrix} 0 &{} \varepsilon ' &{} 0 \\ \varepsilon &{} 0 &{} x_k \\ 0 &{} x_k^T &{} A_{kk} \end{bmatrix} &{} \text {for } i=k, \; j=k, &{} \begin{bmatrix} 0 \\ x_j \\ A_{kj} \end{bmatrix} &{} \text {for } i=k,\; j\ne k, \\ \begin{bmatrix} 0 &{} x_i^T &{} A_{ik} \end{bmatrix} &{} \text {for } i\ne k,\; j=k, &{} A_{ij} &{} \text {for } i\ne k,\; j\ne k. \end{array} \end{aligned}$$  (iii)
We say that B is an Sreduction of A if A is an Senlargement of B.
 (iv)
Finally, we say that A and B are Sequivalent if one can be obtained from another by a finite sequence of congruences, Senlargements, and Sreductions.
Proposition 2.6
([18, Theorem 1]) Any two boundary link Seifert matrices of the same boundary link are Sequivalent.
When B is an Senlargement of A, we write \(A \nearrow B\), or \(B \searrow A\). When A and B are congruent, we write \(A\sim B\). The following lemma tells us that for any sequence of the moves described in the definition of Sequivalence, a local minimum of the size of a Seifert matrix can be replaced by a local maximum.
Lemma 2.7
If A and B are Seifert matrices such that \(A\searrow C \sim C' \nearrow B\) for some C, \(C'\), then there are Seifert matrices D, \(D'\) such that \(A\nearrow D \sim D' \searrow B\).
Proof
We start with a proof in the two component case, that is \(m=2\). We consider the case that the reduction and enlargement happen to the same block, since the other cases are straightforward. Let \(C=[C_{ij}]\) and \(C'=P^T C P\) for \(P={\text {diag}}(P_1, P_2)\). Then
for some \(x_i\), \(y_i\), \(\varepsilon \), \(\varepsilon '\), \(\delta \), and \(\delta '\). Now we have \(A\nearrow D \sim Q^T D Q \searrow B\) for
The general case is verified analogously, since as mentioned above the only interesting case is that the reduction and the enlargement happen to one block. Without loss of generality we may assume it is the top left block. The matrices D and Q above extend in a natural way. \(\square \)
Repeatedly apply Lemma 2.7 to remove all local minima of the size of A, so that there is at most one maximum. We record the outcome of this procedure.
Corollary 2.8
Suppose A and B are Sequivalent. Then A can be changed to B by a sequence of congruences, Senlargements, and Sreductions in which no Senlargement appears after any Sreduction.
Here is another elementary observation that enables us to rearrange the order of operations applied to a Seifert matrix.
Lemma 2.9
If B results from A after Sreductions and congruences, applied in any order, then B can be obtained from A by applying a single congruence first and then applying Sreductions only.
Proof
It suffices to consider the case of \(A \searrow P^TBP \sim B\). Once again, for brevity, we will consider the two component case only, and in addition just like in proof of the preceding lemma we assume without loss of generality that the Sreduction acts on the first block of the Seifert matrix. The same argument applies to the general case of more than two components, with the natural extension of the matrices. Write \(B=[B_{ij}]\) and \(P={\text {diag}}(P_1, P_2)\). We have
and this equals \(P^T B P \sim B\). Let \(Q={\text {diag}}(1,1,P_1^{1},P_2^{1})\). Then
gives a congruence followed by an Sreduction instead. \(\square \)
The above observations enable us to relate two Seifert matrices by a sequence of operations that are monotone with respect to the matrix size.
Lemma 2.10
Suppose L and \(L'\) are boundary links in \(S^3\) with Sequivalent Seifert matrices. Then for any given Seifert matrix \(A'\) of \(L'\), the other link L has a Seifert matrix that can be changed to \(A'\) by a sequence of Sreductions.
Proof
Let A be a Seifert matrix of L. By hypothesis, A is Sequivalent to \(A'\). By Corollary 2.8, A can be changed, by congruences and Senlargements, to some B that can then itself be changed to \(A'\) by a sequence of congruences and Sreductions. Since an Senlargement of a Seifert matrix is realised by 1surgery on any given Seifert surface with respect to which the Seifert matrix is defined, it follows that there is a Seifert surface V for L that has B as its Seifert matrix. By Lemma 2.9, a basis change of the first homology transforms B to a Seifert matrix for L defined on the same V that can be changed to \(A'\) by Sreductions only. \(\square \)
Sequivalence and good boundary links
Recall that a boundary link L is said to be a good boundary link if the given epimorphism \(\phi :\pi _1(S^3{\smallsetminus }L) \rightarrow F\) has a perfect kernel, or equivalently if \(H_1(S^3{\smallsetminus }L;{\mathbb {Z}}F)=0\). Since the Blanchfield form on \(H_1(S^3{\smallsetminus }L;{\mathbb {Z}}F)\) is nondegenerate [14, Section 2.7], we see that \(H_1(S^3{\smallsetminus }L;{\mathbb {Z}}F)\) has no \({\mathbb {Z}}\)torsion. It follows that L is good if and only if \(H_1(S^3{\smallsetminus }L;{\mathbb {Q}}F)=0\).
Theorem 2.11
([4, 18]) A boundary link L in \(S^3\) is good if and only if some (and thence every) Seifert matrix for L is Sequivalent to the null matrix.
In the following proof, we combine results on high dimensional boundary links due to [4, 15, 17, 18, 22].
Proof
Let A be a Seifert matrix for L. Every Seifert matrix can be realised by a simple boundary link in an arbitrary odd dimension (see Theorem 2 of [18], Theorem 3.4 of [15]). Thus there is a simple boundary link \(L'\) of codimension two in \(S^{4k1}\) with \(k>1\) that has the same Seifert matrix A. Here a boundary link in \(S^{4k1}\) is said to be simple if the components have disjoint and \((2k2)\)connected Seifert surfaces.
By [17, 22], the module \(H_{2k1}(S^{4k1}{\smallsetminus }L'; {\mathbb {Q}}F)\) has a presentation determined by the Seifert matrix. It follows that the modules \(H_{2k1}(S^{4k1}{\smallsetminus }L';{\mathbb {Q}}F)\) and \(H_1(S^{3}{\smallsetminus }L;{\mathbb {Q}}F)\) are isomorphic.
By [18, Theorem 3], a high dimensional simple boundary link is a trivial link if and only if it has a Seifert matrix Sequivalent to a null matrix. Also, by [4, Theorem 6.7], \(L'\) is a trivial link if and only if \(H_{2k1}(S^{4k1}{\smallsetminus }L';{\mathbb {Q}}F)=0\). It follows that \(H_1(S^{3}{\smallsetminus }L;{\mathbb {Q}}F)=0\) if and only if the Seifert matrix A is Sequivalent to the null matrix. \(\square \)
Proof of Proposition 2.1
Combine Theorem 2.11 with Lemma 2.10, applied with \(L'\) the unlink and with discs as Seifert surfaces, so \(A'\) is the null matrix. This shows that there is a Seifert surface \(V=\bigsqcup V_i\) for L such that the associated Seifert matrix can be changed to a null matrix by Sreductions only. \(\square \)
Homotopically trivial\(^+\) pairs
In this section, we generalise the notion of homotopically \(\hbox {trivial}^+\) links, defined in [13, Section 3], to pairs consisting of a link and a sublink. Recall that an mcomponent link J in \(S^3\) is homotopically trivial if there is a homotopy of J to the mcomponent unlink in \(S^3\) through immersions of m circles with disjoint images.
Definition 3.1
For a sublink K of a link J in \(S^3\), we say that the pair (J, K) is homotopically trivial\(^+\) if \(K\cup J_i^+\) is homotopically trivial for every component \(J_i\) of J, where \(J_i^+\) is a zero linking parallel copy of \(J_i\).
Remark 3.2

(1)
By inspection of the definition, a good basis \(\{a_i,b_i\}\) on a boundary link Seifert surface V is homotopically \(\hbox {trivial}^+\) if and only if the pair \((\bigsqcup (a_i \cup b_i'),\bigsqcup b_i')\) is homotopically \(\hbox {trivial}^+\), where \(b_i'\) is a normal translate of \(b_i \subset V\) satisfying \({{\,\mathrm{lk}\,}}(a_i,b_i')=0\).

(2)
The pair (J, J) is homotopically \(\hbox {trivial}^+\) if and only if J is homotopically \(\hbox {trivial}^+\) in the sense of [13]. More generally, suppose that J is a ramification of a link K, that is J consists of K together with zero linking parallel copies of a (not necessarily proper) sublink of K. Then (J, K) is homotopically \(\hbox {trivial}^+\) if and only if K is homotopically \(\hbox {trivial}^+\).
The next lemma extends [13, Lemma 3.2] to homotopically \(\hbox {trivial}^+\) link pairs.
Lemma 3.3
Let (J, K) be a homotopically trivial\(^+\) pair. Then there are two collections of immersed discs \(\{\Delta _i\}\) and \(\{\Delta _k^+\}\) in \(D^4\) satisfying that \(\partial \Delta _i=K_i\), \(\partial \Delta _k^+=J_k^+\), \(\Delta _i\cap \Delta _k=\emptyset \) for all \(i\ne k\) and \(\Delta _i^{\phantom {+}}\cap \Delta _k^+=\emptyset \) for all i and k.
We will give two proofs of Lemma 3.3. The first is essentially identical to the proof of [13, Lemma 3.2], which uses the Milnor group introduced in [19]. The second proof gives an elementary geometric construction of the desired discs without using algebra. We believe that this is a useful addition to the literature. It uses a homotopy reversing method that appeared in [16, Section 3.4].
Proof using the Milnor group
Let m be the number of components of K. Choose disjointly immersed discs \(\Delta _i\) in \(D^4\) bounded by \(K_i\) for \(i=1,\ldots ,m\), using that K is homotopically trivial. Let \(\pi =\pi _1(S^3{\smallsetminus }\bigsqcup K_i)\), \(G=\pi _1(D^4{\smallsetminus }\bigsqcup \Delta _i)\) and F be the free group on \(x_1,\ldots ,x_m\). Let \(F\rightarrow \pi \rightarrow G\) be the map sending \(x_i\) to a meridian of \(K_i\), and denote the image of \(x_i\) in \(\pi \) and G by the same symbol \(x_i\). For \(\Gamma = F\), \(\pi \) and G, the Milnor group \(M\Gamma \) is defined to be the quotient of \(\Gamma \) modulo relators \([x_i^g,x_i^{\phantom {g}}]\), \(i=1,\ldots ,m\), \(g\in \Gamma \) [19]. The group \(M\Gamma \) is finitely generated and nilpotent [19], and consequently finitely presented. For \(\Gamma =G\), since a relator \([x_i^g,x_i]\) is realised by a finger move on \(\Delta _i\), we may assume that \(MG=G\) by applying finitely many finger moves to the discs. Moreover, the following facts are known: \(M\pi \cong MF\) since K is homotopically trivial [19, Section 5], and \(K\cup J_k^+\) is homotopically trivial if and only if \([J_k^+]\) is trivial in \(M\pi \) [19, Section 5]. Also, \(MF\cong MG\) since \(\bigsqcup \Delta _i\) is a link nullhomotopy [13, Lemma 2.6]. It follows that \([J_k^+]\) is trivial in \(MG=G\) for all k. Therefore there exist immersed discs \(\Delta _k^+\) (which may intersect each other) in \(D^4{\smallsetminus }\bigsqcup \Delta _i\) satisfying \(\partial \Delta _k^+ = J_k^+\). \(\square \)
Constructive geometric proof
Let n be the number of components of J and let m be the number of components of K. Let \(J^+\) be the union of pushed off parallel copies \(J_k^+\) of the components of J.
We work by induction on the components of \(J^+\) to construct annuli in \(S^3 \times I\), which will then be capped off by discs to obtain the desired immersed discs, after embedding \(S^3 \times I \subset D^4\) as a collar on the boundary. For the induction, j will range from 1 to n, corresponding to the indices of the components of J. Fix a 3ball B in \(S^3\) disjoint from \(K\cup J^+\). Suppose for the inductive hypothesis that we have constructed a level preserving immersion of \(n+m\) annuli \(\{A_i\}_{i=1}^m\) and \(\{A_{k}^+\}_{k=1}^n\) in \(S^3 \times I = S^3 \times [0,1]\) with \(A_i\cap (S^3 \times \{0\}) = K_i\) for \(i=1,\ldots ,m\) and \(A_k^+ \cap (S^3 \times \{0\}) = J^+_k\) for \(k=1,\ldots ,n\), such that
 (i)
\(A_i \cap A_{\ell }=\emptyset \) for all \(i\ne \ell \) with \(1 \le i,\,\ell \le m\);
 (ii)
\(A_i\cap A_k^+=\emptyset \) for all i and k with \(1 \le i \le m\) and \(1 \le k \le n\);
 (iii)
\((A_1^+\cup \cdots \cup A_{j1}^+) \cap (S^3 \times \{1\})\) is a trivial link contained in \(B\times \{1\}\), while \(A_1,\ldots ,A_m\) and \(A_j^+,\ldots ,A_n^+\) are disjoint from \(B\times \{1\}\); and
 (iv)
\(A_i\cap (S^3 \times \{1\}) = K_i\) for \(i=1,\ldots ,m\) and \(A_k^+ \cap (S^3 \times \{1\}) = J^+_k\) for \(k=j,\ldots ,n\).
We seek to extend these annuli in \(S^3 \times [0,4]\) so that we have the same property for j replaced by \(j+1\). Then we will rescale the interval [0, 4] to \([0,1]=I\) to achieve the inductive step. In the base case that \(j=1\), take the annuli to be a product concordance.
In what follows, for brevity, we denote extensions of \(A_i\) and \(A_k^+\) by \(A_i\) and \(A_k^+\). For \(k=1,\ldots ,j1\), extend \(A_k^+\) by attaching the product \(J_k^+ \times [1,2]\), which lies in \(B\times [1,2]\). Use the hypothesis that \(K\cup J_j^+\) is homotopically trivial to find disjointly immersed level preserving annuli extending \(A_1,\dots ,A_m\) and \(A_j^+\) in \(S^3 \times [1,2]\), ending in a trivial link in \(S^3 \times \{2\}\). We may and shall assume that these annuli are disjoint from \(B\times [1,2]\), since a link nullhomotopy for \(K\cup J_j^+\) in \(S^3\) can be arranged to avoid B. Furthermore, since link homotopy is generated by crossing changes and ambient isotopy, and since crossing changes can be assumed to be performed along arcs disjoint from \(J_{j+1}^+,\ldots ,J_n^+\), the annuli \(A_{j+1}^+,\ldots ,A_n^+\) extend to disjointly embedded annuli in \(S^3\times [1,2]\), ending in some link in \(S^3 \times \{2\}\). The annuli \(A_{j+1}^+,\ldots ,A_n^+\) do not meet \(B\times [1,2]\) and the above (extensions of) \(A_1^{\phantom {+}},\ldots ,A_m^{\phantom {+}},A_j^+\).
Next, we proceed to extend the annuli in \(S^3\times [2,3]\). Choose an isotopy, in \(S^3\times \{2\}\), of the end of \(A_j^+\) in \(S^3 \times \{2\}\) into the ball B. We may assume that the isotopy does not meet \(A_1,\ldots ,A_m\) and \(A_1^+,\ldots ,A_{j1}^+\) in \(S^3\times \{2\}\). Use the level preserving embedded annulus corresponding to this isotopy to extend \(A_j^+\) in \(S^3\times [2,3]\). Extend \(A_i^{\phantom {+}}\) and \(A_k^+\), except for \(k=j\), into \(S^3 \times [2,3]\) by attaching product annuli. Then \(A_j^+\) is disjoint from the annuli \(A_i\) and \(A_k^+\) for \(k<j\), while \(A_j^+\) may intersect \(A_k^+\) for \(k >j\). Note that these intersections are permitted in the inductive hypothesis and ultimately in the discs that we aim to construct.
Finally, extend the annuli \(A_i^{\phantom {+}}\), \(A_k^+\) once more, into \(S^3 \times [3,4]\), as follows. For the components inside \(B \times \{3\}\), that is the boundary components of the annuli \(A_1^+,\dots ,A_j^+\) in \(S^3 \times \{3\}\), extend them by attaching product annuli. For the remaining components, perform the reverse of the homotopies applied thus far. That is, for A one of the annuli \(A_1,\dots ,A_m\) or \(A_k^+\) with \(k>j\), which lies in \(S^3\times [0,3]\) for now, extend A by attaching the image of \(A\cap (S^3\times [1,3])\) under the orientation reversing diffeomorphism \(S^3\times [1,3] \rightarrow S^3\times [3,4]\), \((x,t) \mapsto (x, \frac{9}{2}  \frac{t}{2})\). We have arranged that the boundary components of the annuli \(A_{j+1}^+, \dots , A_n^+\) and \(A_1, \dots , A_m\) that lie in \(S^3 \times \{4\}\) coincide with \(J^+_{j+1},\dots ,J^+_n\) and \(K_1,\dots ,K_m\), so that after rescaling [0, 4] to [0, 1], condition (iv) is satisfied, with j replaced by \(j+1\). It is clear that no new intersections between any pair of the annuli \(A_{j+1}^+,\ldots ,A_n^+\) and \(A_1,\dots ,A_m\) are introduced in \(S^3\times [3,4]\), unless that pair already intersected in \(S^3 \times [1,3]\). For \(A_1^+,\ldots ,A_j^+\), observe that their extensions in \(S^3\times [3,4]\) are contained in \(B\times [3,4]\), while other annuli are disjoint from \(B\times [1,4]\), by the previous two steps. So, there are no new intersections involving \(A_1^+,\ldots ,A_j^+\). This shows that conditions (i) and (ii) hold for the annuli we have constructed. Finally, we have moved the component \(J_j^+\) into the ball B, and so condition (iii) holds with j replaced by \(j+1\). This completes the proof of the inductive step.
After the induction has been run for all j, we obtain a collection of immersed annuli in \(S^3 \times I\) satisfying the conditions above for \(j=n+1\). Cap off the annuli \(\{A_k^+\}_{k=1}^n\) with discs inside \(B \times \{1\}\). Then cap \(S^3 \times I\) off with a 4ball, to obtain \(S^3 \times I \cup D^4 \cong D^4\). It remains to cap off the annuli \(\{A_i\}_{i=1}^m\). The intersection of these annuli with \(S^3 \times \{1\}\) form the link K. Since K is homotopically trivial, it can be capped off with disjointly immersed discs in the cappingoff \(D^4\). Let \(\Delta _i\) and \(\Delta _k^+\) be the discs obtained from capping off \(A_i\) and \(A_k^+\) respectively. The collections of discs \(\{\Delta _i\}\) and \(\{\Delta _{k}^+\}\) satisfy the desired disjointness properties. \(\square \)
Freely slicing a boundary link by finding a slice disc exterior
Let \(M_L\) denote the closed 3manifold obtained by performing zero framed surgery on the link \(L\subset S^3\). A boundary link L in \(S^3\) is freely slice if L bounds a collection of disjoint, topologically embedded, locally flat discs D in \(D^4\) such that \(\pi _1(D^4{\smallsetminus }D)\) is a free group generated by the meridians of L. We recall the following standard proposition.
Proposition 4.1
An mcomponent boundary link L is freely slice if and only if there is a compact topological 4manifold X with \(\partial X= M_L\) such that \(\pi _1(X)\) is the free group on the m meridians and \(H_2(X;{\mathbb {Z}})=0\).
We remark that such a 4manifold X is homotopy equivalent to \(\bigvee ^m S^1\) by [7, Proposition 11.6C(1)].
Proof of Proposition 4.1
If L is freely slice, the exterior of the slicing discs has the properties required of X (we are using that locally flat embedded discs have normal bundles, by [7, Section 9.3], in order to consider the exterior). For the converse, suppose there is a 4manifold X satisfying the stated properties. Attach m 2handles \(D^2 \times D^2\) with core \(D^2\times \{0\}\) to X, with attaching circles \(\partial D^2 \times \{0\}\) glued along the meridians of L, with zero framings induced from \(S^3\). The resulting 4manifold Y is contractible, and its boundary \(\partial Y\) is homeomorphic to \(S^3\). By Freedman [9], Y is homeomorphic to \(D^4\). The belt spheres \(\{0\} \times \partial D^2\) of the 2handles are sent to \(L\subset S^3\) under the homeomorphism \(\partial Y\rightarrow S^3\), and the cocores \(\{0\} \times D^2\) of the 2handles provide slice discs for L. Then X is the exterior of the slice discs and \(\pi _1(X)\) is free, so L is freely slice. \(\square \)
We will prove Theorem A by constructing a topological 4manifold X satisfying the criteria of Proposition 4.1. In order to find such an X, we will need to apply a theorem of Freedman and Quinn from [7, Chapter 6]. Let us introduce the terminology necessary to state this theorem.
A model transverse pair is defined to be two copies of \(S^2\times D^2\) plumbed together once. In other words, a regular neighbourhood of \((S^2 \times \{p\}) \cup (\{p\} \times S^2) \cong S^2\vee S^2\) in \(S^2\times S^2\), where \(p \in S^2\). Take an arbitrary number of model transverse pairs \(N_1,\ldots ,N_\ell \), perform some number of further plumbings, which may or may not be self plumbings, and embed the result into a (topological) 4manifold M. A topological embedding is simply a map that is a homeomorphism onto its image. Call the resulting map \(f:\bigsqcup _i N_i\rightarrow M\) an immersed union of transverse pairs. We say that f has algebraically trivial intersections if the further plumbings introduced by f can be arranged in pairs with Whitney discs immersed in M (the Whitney discs are a priori permitted to intersect the image of the \(N_i\)). In addition, we say that f is \(\pi _1\)null if the inclusion induced map \(\pi _1\big (f\big (\bigsqcup _i N_i\big )\big )\rightarrow \pi _1(M)\) is trivial for every choice of basepoint in \(\bigsqcup _i N_i\).
A 5dimensional scobordism rel \(\partial \) is a triple \((Z;\partial _0 Z,\partial _1 Z)\), where Z is a compact (topological) 5manifold whose boundary is split into three pieces \(\partial Z \cong \partial _0 Z\cup \partial _1 Z\cup (P\times [0,1])\) such that \(\partial _i Z\cap (P\times [0,1]) = \partial (\partial _i Z) = P\times \{i\}\) for \(i=0,1\), and each inclusion \(\partial _i Z\hookrightarrow Z\) is a simple homotopy equivalence. We say that \(\partial _0 Z\) and \(\partial _1 Z\) are scobordant rel\(\partial \).
The next theorem says that, under a strong \(\pi _1\)null hypothesis, we may perform surgery up to scobordism.
Theorem 4.2
([7, Theorem 6.1]) Let M be a compact connected topological 4manifold with (possibly empty) boundary. Let \(f:\bigsqcup _i N_i\rightarrow M\) be an immersed union of transverse pairs. If f is \(\pi _1\)null and has algebraically trivial intersections, then f is scobordant to an embedding. That is, there is an scobordism \((Z;M,M')\) rel \(\partial \) and a map \(F:\bigsqcup _i N_i \times I \rightarrow Z\) such that \(F_{\bigsqcup _i N_i\times \{0\}}=f\) and \(F_{\bigsqcup _i N_i \times \{1\}}\) is an embedding of \(\bigsqcup _i N_i\) into \(M'\).
In the next section we will prove the following result, which forms the core of the proof of Theorem A.
Proposition 4.3
Let L be an mcomponent boundary link with a boundary link Seifert surface admitting a homotopically trivial\(^+\) good basis. Then there exists a compact smooth 4manifold W with \(\partial W = M_L\), \(\pi _1(W)\) free on the m meridians of L, and \(H_2(W;{\mathbb {Z}}) \cong {\mathbb {Z}}^{2g}\) for some \(g\ge 0\). Moreover, there is a basis for \(H_2(W;{\mathbb {Z}})\) represented by a \(\pi _1\)null immersed union of transverse pairs with algebraically trivial intersections.
Assuming the proposition, we give the proof of our main theorem, whose statement we recall for the convenience of the reader. Suppose thatLis a good boundary link that has a Seifert surface admitting a homotopically trivial\(^+\)good basis. ThenLis freely slice.
Proof of Theorem A assuming Proposition 4.3
Apply Theorem 4.2 to W, to find a 4manifold \(W'\)scobordant rel \(\partial \) to W, via an scobordism \((Z;W,W')\) with maps
such that the immersed spheres \(F_i_{S^2\times \{0\}}:S^2\rightarrow W\) represent a basis for \(H_2(W;{\mathbb {Z}})\) and \(h_i:=F_i_{S^2\times \{1\}}:S^2\rightarrow W'\) for \(i=1,\dots ,2g\) are framed embeddings with geometric intersections
Since Z is an scobordism, \(\{h_i(S^2)\}\) forms a basis of \(H_2(W';{\mathbb {Z}})\) as well. Perform surgery on the 2spheres \(h_2(S^2), h_4(S^2),\ldots , h_{2g}(S^2)\) to convert \(W'\) into a compact topological 4manifold \(W''\) with \(\partial W''\cong \partial W'\cong \partial W \cong M_L\). Since each of the spheres \(h_{2k}(S^2)\) has a geometric dual, the surgeries kill \(H_2\) and preserve \(\pi _1\). Thus \(\pi _1(W'')\) is free on the meridians of L and \(H_2(W'';{\mathbb {Z}})=0\). By Proposition 4.1 with \(X=W''\), L is freely slice. \(\square \)
Construction of the 4manifold W
Our goal is to construct a 4manifold W with the properties stated in Proposition 4.3. The construction in this section will be done completely in the smooth category. The description of W given below is closely related to a cobordism used in the proof of [2, Theorem 8.9]. Let L be an mcomponent boundary link with a boundary link Seifert surface \(V=\bigsqcup _{k=1}^m V_k\) that admits a homotopically \(\hbox {trivial}^+\) good basis \(\{a_i,b_i\}\). Let \(g_k\) be the genus of \(V_k\) and let \(g=\sum _{k=1}^m g_k\). Take a bicollar of \(V_k\) in \(S^3\) and identify the bicollar with \(V_k\times [1,1]\). The bicollar consists of one 3dimensional 0handle \(D^0 \times D^3\) and \(2g_k\) 1handles \(D^1 \times D^2\) corresponding to the curves \(a_i\), \(b_i\), as shown in Fig. 2. For i such that \(a_i\cup b_i\subset V_k\), let \(\beta _i\), \(\gamma _i\) and \(\delta _i\) be the curves in \(V_k\times [1,1]\) shown in Fig. 2. The curve \(\beta _i\) bounds a disc in \(V_k=V_k\times 0\). The \(4gm\) curves \(a_i\), \(\beta _i\), \(\gamma _i\) and \(\delta _i\), viewed as curves in \(S^3\) under the bicollar inclusions, form a Kirby diagram. The dotted curves \(\beta _i\) represent 1handles, while \(a_i\), \(\gamma _i\) and \(\delta _i\) are zeroframed attaching circles for 2handles. Note that the zero framing of our curves in the standard embedding picture in Fig. 2 corresponds to the zero framing under the bicollar embedding, since the Seifert pairing of \(V_k\) vanishes on \((a_i,a_i)\) and \((b_i,b_i)\). Let W be the 4manifold described by this Kirby diagram.
The boundary of W is diffeomorphic to the zero surgery manifold \(M_L\), by the arguments of [12, pp. 147–148] and [2, Lemma 8.10]. We describe the proof since we need to keep track of meridians under \(M_L\cong \partial W\). Regard the Kirby diagram as a surgery presentation of the 3manifold \(\partial W\) consisting of zero framed curves, ignoring the dots on \(\beta _i\). Slide each \(\beta _i\) over \(a_i\) twice, once from the inside of \(a_i\) and once from the outside, to obtain the surgery diagram in Fig. 3. We abuse notation and still denote the resulting curves by \(\beta _i\).
Eliminate, in pairs, the curves \(a_i\) and \(\gamma _i\) shown as dashed circles in Fig. 3. Slide the new \(\beta _1\), \(g_k1\) times, toward the right hand side over the new \(\beta _2,\ldots ,\beta _{g_k}\), and finally eliminate \(\delta _{i}\) and \(\beta _{i+1}\) in pairs for \(i=1,\ldots ,g_k1\). Now the diagram consists of zero framed curves isotopic to L. This shows that \(\partial W \cong M_L\), as desired. In addition, for \(\beta _i\subset V_k\), a meridian of \(\beta _i\) is sent to a meridian of the kth component of L under this diffeomorphism.
Claim A
The fundamental group \(\pi _1(W)\) is the free group on the m meridians of L.
Proof
To compute \(\pi _1(W)\), begin with \(\pi _1(D^4 \cup {}\)1handles), which is free on the meridians of the curves \(\beta _i\). The 2handles attached along \(a_i\) and \(\gamma _i\) do not give relators, since \(a_i\) and \(\gamma _i\) are nullhomotopic in \(D^4 \cup (\)1handles). This can be seen, for instance, by inspecting their intersections with the disc in \(V_k\) bounded by \(\beta _i\). The 2handles attached along \(\delta _i\) give relations identifying meridians of all \(\beta _i\) lying on the same \(V_k\). So we have m generators, one for each \(V_k\). We already verified that these generators are meridians of L in \(\partial W \cong M_L\). \(\square \)
Next, we construct 2g immersed spheres \(\Sigma _1,\ldots ,\Sigma _{2g}\) in W. Apply Lemma 3.3 to \(J=\{a_i,b_i'\}_{i=1}^{g}\) and \(K=\{b_i'\}_{i=1}^{g}\) to obtain collections of discs \(\{\Delta _i^+\}_{i=1}^{2g}\) and \(\{\Delta _i\}_{i=1}^g\) in \(D^4\) satisfying
Here \(b_i'^+\) is a zero linking parallel of \(b_i'\) as before. For each of these discs, perform interior twists [7, Section 1.3] if necessary to arrange that the signs of the self intersections add up to zero. It follows that the discs induce the zero framing on the boundary. Note that the discs can also be assumed to be smoothly immersed and transverse to each other. We will use the discs to build our immersed spheres.
First, for \(i=1,\ldots ,g\), cap off the disc \(\Delta _i^+\) with the core \(D^2\times \{0\}\) of the 2handle \(D^2 \times D^2\) attached along \(a_i=\partial \Delta _i^+\). Let
be the resulting immersed spheres. They are half of our spheres. Since the 2handle is attached along the zero framing, the normal bundle of \(\Sigma _{2i1}\) is trivial, so \(\Sigma _{2i1}\) is framed.
Now we define the spheres \(\Sigma _{2i}\), for \(i=1,\dots ,g\). Take the genus one surface \(T_i^\circ \subset W\) shown in Fig. 4. It is bounded by \(\gamma _i\) and contains \(b_i\). Cap off \(T_i^\circ \) with the core of the 2handle attached along \(\gamma _i\), to obtain a torus in W, which we call \(T_i\).
Note that the normal direction of \(b_i\) in \(T_i^\circ \) agrees with a normal direction of the Seifert surface. So we may assume that \(b_i'\) is a parallel of \(b_i\) on \(T_i^\circ \), as shown in Fig. 4. Also, since the Seifert pairing vanishes on \((b_i,b_i)\), we may assume that the zero linking parallel \(b_i'^+\) is on \(T_i^\circ \) too. In addition, we assume that \(b_i'^+\) is a translate of \(b_i'\) taken along the normal direction of \(b_i'\)toward\(b_i\), as shown in Fig. 4. That is, \(b_i'^+\) lies between \(b_i'\) and \(b_i\) on \(T_i^\circ \). (This will be crucial in verifying \(\pi _1\)nullity later.) Contract \(T_i\) using the discs \(\Delta _{i}\) and \(\Delta _{g+i}^+\) to obtain a 2sphere \(\Sigma _{2i}\). More precisely, take the annulus cobounded by \(b_i'\) and \(b_i'^+\) in \(T_i^\circ \), and remove it from \(T_i\) to get the complementary annulus \(A_i\). Attach the discs \(\Delta _{i}\) and \(\Delta _{g+i}^+\) to \(A_i\) along the boundary, to construct our 2spheres
Since \(\Delta _i\), \(\Delta _{g+i}^+\) and \(A_i\) induce the zero framing on \(b_i'\) and \(b_i'^+\), \(\Sigma _{2i}\) is framed.
Claim B
The homology \(H_2(W;{\mathbb {Z}})\) is the free abelian group of rank 2g generated by the classes of \(\Sigma _i\).
Proof
Consider the cellular chain complex associated to the handle decomposition of W. In particular we have \(C_2(W;{\mathbb {Z}})=H_2(W,W^{(1)};{\mathbb {Z}})\) where \(W^{(1)}=D^4\cup \text {1handles}\). Inspect the classes of 2handle attaching curves in \(H_1(W^{(1)};{\mathbb {Z}})\), in the \(\pi _1\) computation above, to verify that \(H_2(W;{\mathbb {Z}})\cong {\mathbb {Z}}^{2g}\) and that the 2handle cores bounded by \(a_i\) and \(\gamma _i\) are generators. Note that each \(\Sigma _i\) uses exactly one of these 2handle cores, and that other building blocks \(\Delta _i\), \(\Delta _i^+\) and \(T_i^\circ \) lie in \(W^{(1)}\). It follows that \(\Sigma _i\) equals the corresponding 2handle core as a 2cycle in the cellular chain complex \(C_2(W;{\mathbb {Z}})=H_2(W,W^{(1)};{\mathbb {Z}})\). \(\square \)
Note that the framed spheres \(\Sigma _{2i1}\) and \(\Sigma _{2i}\) have a distinguished transverse intersection at \(a_i\cap T_i=a_i\cap b_i\). This is also depicted in Fig. 4. So, (a regular neighborhood of) \(\Sigma _{2i1}\cup \Sigma _{2i}\) can be viewed as an immersed pair of transverse spheres.
Claim C
The union \(\bigcup _{i=1}^{2g} \Sigma _i\) of the g pairs has algebraically trivial intersections.
Proof
First, we investigate the intersections of the discs \(\Delta _i\) and \(\Delta _i^+\). Recall that the signs of the self intersections of each disc add up to zero, that is, the \({\mathbb {Z}}\)valued self intersection number vanishes. Since the discs lie in \(D^4\), which is simply connected, it follows that all the self intersections can be paired up by (possibly immersed) Whitney discs. For \(\Delta _i^+\) and \(\Delta _j^+\) with \(i\ne j\), their \({\mathbb {Z}}\)valued intersection number vanishes because the linking number of \(\partial \Delta _i^+\) and \(\partial \Delta _j^+\) is zero. So, their intersections can also be paired up by Whitney discs in \(D^4\). Moreover, recall that \(\Delta _i\cap \Delta _j=\emptyset \) for \(i\ne j\) and \(\Delta _i^+ \cap \Delta _j = \emptyset \) for all i and j.
Now, consider the spheres \(\Sigma _i\). Since they are built using \(\Delta _i\), \(\Delta _i^+\), \(A_i\) and 2handle cores, the (self and nonself) intersections of the spheres, with the exception of the distinguished transverse intersection of the dual pair \((\Sigma _{2i1}, \Sigma _{2i})\) at \(a_i\cap T_i = a_i \cap b_i\), are exactly the (self and nonself) intersections of the discs \(\Delta _i\) and \(\Delta _i^+\). These can all be paired up by immersed Whitney discs by the preceding paragraph. This proves the claim. \(\square \)
Claim D
The union \(\bigcup _{i=1}^{2g} \Sigma _i\) is \(\pi _1\)null in W.
Proof
Recall that \(\Sigma _{2i1}\) is the union of \(\Delta _i^+\) and a 2handle core disc. Remove these core discs from \(\bigcup _{i=1}^{2g} \Sigma _i\) to get a 2complex Y. That is, \(Y=\bigcup _{i=1}^g (\Delta _i^+ \cup \Sigma _{2i})\). Since the inclusion induces an isomorphism \(\pi _1(Y)\cong \pi _1(\bigcup _i \Sigma _i)\) for any basepoint, \(\bigcup _{i=1}^{2g} \Sigma _i\) is \(\pi _1\)null if and only if Y is \(\pi _1\)null in W. Remove from Y the discs \(\Delta _i\) used to construct \(\Sigma _{2i}\), for all i, to obtain a 2complex \(Y_0\) given by
Since \(({\text {int}}\Delta _i) \cap Y_0 =\emptyset \) and \(\Delta _i \cap \Delta _j=\emptyset \) for \(i\ne j\), \(\pi _1(Y)\) is the free product of \(\pi _1(Y_0)\) and the groups \(\pi _1(\Delta _i)\), by the Seifertvan Kampen theorem. Each \(\Delta _i\) is \(\pi _1\)null since \(\Delta _i\) is contained in \(D^4\). Therefore, Y is \(\pi _1\)null if and only if \(Y_0\) is \(\pi _1\)null.
Now, consider the arc \(c_i\) on \(A_i\) shown in Fig. 4, which joins the point \(a_i\cap A_i\) to the boundary circle \(b_i'^+\). From Fig. 4, we see that the annulus \(A_i\) strongly deformation retracts onto the 1subcomplex \(c_i\cup b_i'^+\). It follows that \(Y_0\) strongly deformation retracts onto
Observe that \(c_i\) is contained in \(W^{(1)}=D^4\cup {}\)1handles. Moreover, \(c_i\) is disjoint from the 1handles of W, since \(c_i\) does not intersect the obvious 2disc in \(V_k\) bounded by the dotted circle \(\beta _i\), as seen in Fig. 4 (see also Fig. 2). Here, it is crucial that the parallel \(b_i'^+\) lies between \(b_i\) and \(b_i'\); if \(b_i'^+\) were on the opposite side of \(b_i'\), then \(c_i\) would meet (the cocore of) the 1handle corresponding to \(\beta _i\). It follows that the 2complex \(Y_1\) is contained in \(D^4\). Therefore \(Y_1\) is \(\pi _1\)null, and consequently \(Y_0\), Y and \(\bigcup _{i=1}^{2g}\Sigma _i\) are all \(\pi _1\)null. This proves the claim, and completes the proof of Proposition 4.3. \(\square \)
Remark 5.1
In the above \(\pi _1\)nullity proof, note that there might have been a homotopically essential loop in \(\Sigma _{2i1}\cup \Sigma _{2i}\), passing through the distinguished transverse intersection \(a_i\cap A_i\) exactly once, from one sphere to another: start from \(a_i\cap A_i\), depart into \(\Delta _i^+\subset \Sigma _{2i1}\) and proceed to reach an intersection with \(\Delta _{g+i}^+ \subset \Sigma _{2i}\), and then go back to the point \(a_i\cap A_i\) through \(\Sigma _{2i}\). See Fig. 5. This occurs since the discs \(\Delta _i^+\) and \(\Delta _{g+i}^+\) used to construct the dual 2spheres \(\Sigma _{2i1}\) and \(\Sigma _{2i}\) are allowed to meet. Our subtle choice of \(b_i'^+\) from the two possibilities, together with the use of the arc \(c_i\), is crucial in showing that such a loop is nullhomotopic in W.
This subtlety is peculiar to our case, compared with the proof of the earlier result of Freedman and Teichner [13] that a Whitehead double of a homotopically \(\hbox {trivial}^+\) link is freely slice. In their construction, immersed discs used to construct a pair of dual 2spheres are always disjoint, and thus their verification of the \(\pi _1\)nullity does not involve this complication of our case.
Remark 5.2
It can also be shown that \(\pi _2(W)=H_2(W;{\mathbb {Z}}[\pi _1(W)])\) is the free module of rank 2g over the group ring \({\mathbb {Z}}[\pi _1(W)]\) generated by our spheres \(\Sigma _{i}\). Since we do not use this, we omit the details.
Comparison with previously known results
Here is a summary of previously known results on freely slicing good boundary links. Recall that any Whitehead double of a pairwise linking number zero link is a good boundary link. For statement (4) below, we need some terminology from [12]. A link is said to be a \(\partial ^2\)link if it bounds a boundary link Seifert surface V with basis \(\{\alpha _i,\beta _i\}\) for \(H_1(V;{\mathbb {Z}})\), for which the Seifert matrix is the diagonal sum of matrices of the form \(\big [{\begin{matrix}0 &{} \varepsilon \\ 1\varepsilon &{} 0\end{matrix}}\big ]\) with \(\varepsilon =0\) or 1, and the homology classes \(\beta _i\in H_1(V;{\mathbb {Z}})\) can be realised by a collection of disjoint simple closed curves \(b_i\) on V that when considered as a link in its own right is itself a boundary link J. Moreover we require that J bounds a boundary link Seifert surface in \(S^3\) whose interior is disjoint from V.
 (1)
Freedman [8] showed that a knot is freely slice if and only if it has Alexander polynomial one, that is if it is a good boundary link.
 (2)
Freedman [10] showed that Whitehead doubles of boundary links are freely slice good boundary links.
 (3)
Freedman [11] showed that a Whitehead double of a 2component link L is freely slice if and only if L has linking number zero.
 (4)
Freedman [12] showed that a \(\partial ^2\)link L is freely slice.
 (5)
Freedman and Teichner [13] showed that a Whitehead double of a homotopically \(\hbox {trivial}^+\) link is freely slice.
In addition to the above list of results on freely slice boundary links, CochranFriedlTeichner [1] produced new slice links from a satellite construction, whilst the first and third named authors [3, Theorem F] showed that any iterated ramified 4fold Whitehead double is slice. Moreover, in [3], they also introduced distorted Whitehead doubles, and showed that they are slice too. Neither the results of [1] nor [3] address whether the slice discs are free.
Our result does not recover statement (1). Instead, for an Alexander polynomial one knot K, form the 4manifold \(W_0\) as in our proof. Then the generators of \(\pi _2(W_0)\) that we construct need not be \(\pi _1\)null. But, since \(\pi _1(W_0)\) is the good group \({\mathbb {Z}}\), it turns out that one can use ordinary topological surgery to produce a slice disc exterior for K, instead of surgery up to scobordism. This is essentially the argument of [7, Theorem 11.7B].
In what follows, we discuss the relationship of our theorem with the work (2)–(5). Also, with reference to (2)–(5), in Sect. 6.1 we will provide examples of links that are freely slice by our Theorem A, but which are neither Whitehead doubles nor \(\partial ^2\)links.
Lemma 6.1
Let J be a link with trivial pairwise linking numbers. Then the standard Seifert surface for the boundary link \({{\,\mathrm{Wh}\,}}(J)\) consisting of genus one surfaces has a good basis which is homotopically trivial\(^+\) if and only if J is a homotopically trivial\(^+\) link.
Proof
Let \(J_i\) be the ith component of J. Figure 1 shows the standard genus one Seifert surface for the Whitehead double of \(J_i\). Let \(a_i\) and \(b_i\) be the curves on the Seifert surface shown in Fig. 1. Since J has trivial linking numbers, the Seifert matrix for the boundary link \({{\,\mathrm{Wh}\,}}(J)\) with respect to \(\{a_i,b_i\}\) is the diagonal sum of \(2\times 2\) matrices of the form \(\big [{\begin{matrix}0 &{} \varepsilon \\ 1\varepsilon &{} 0\end{matrix}}\big ]\) with \(\varepsilon =0\) or 1. It follows that \(\{a_i,b_i\}\) is a good basis.
As in the definition of a homotopically \(\hbox {trivial}^+\) good basis, let \(b_i'\) be a translate of \(b_i\) along a normal direction to the Seifert surface such that \({{\,\mathrm{lk}\,}}(a_i,b_i')=0\), and let \(K :=\bigsqcup b_i'\). Observe that \(a_i\), \(b_i\) and \(b_i'\) are zero linking parallels of \(J_i\). Thus both \(K\cup a_i\) and \(K\cup b_i\) are isotopic to \(J\cup J_i^+\). It follows that the link J is homotopically \(\hbox {trivial}^+\) if and only if the good basis \(\{a_i,b_i\}\) is homotopically \(\hbox {trivial}^+\). \(\square \)
Thus (5) is a corollary of Theorem A, as mentioned in the introduction.
A link L is homotopically \(\hbox {trivial}^+\) if and only if all of Milnor’s invariants with at most one repeated index are trivial [13, Lemma 2.7]. In particular, boundary links are homotopically \(\hbox {trivial}^+\) since all their Milnor’s invariants vanish. Also, a 2component link with trivial linking number is homotopically \(\hbox {trivial}^+\), since \({\bar{\mu }}(112)={\bar{\mu }}(122)=0\) for any such link, due to cyclic symmetry and the shuffle relation [20, Theorem 6]. It follows that (5) implies (2) and (3). Therefore (2) and (3) are corollaries of Theorem A too.
By the following lemma, Theorem A implies (4).
Lemma 6.2
A \(\partial ^2\)link has a boundary link Seifert surface admitting homotopically trivial\(^+\) good basis.
Proof
Suppose that L is a \(\partial ^2\)link. Choose a boundary link Seifert surface V and disjoint simple closed curves \(b_i\) on V with the properties described in the definition of a \(\partial ^2\)link. The link \(\bigsqcup b_i\) bounds a boundary link Seifert surface W that is transverse to V and satisfies \(V\cap W=\bigsqcup b_i\). Choose disjoint simple curves \(a_i\) on V that are geometrically dual to the \(b_i\). That is, the geometric intersections are given by \(a_i\cdot b_j=\delta _{ij}\). Here, we allow that the homology class of \(a_i\) may be different from the \(\alpha _i\) in \(H_1(V;{\mathbb {Z}})\) given in the definition of a \(\partial ^2\)link. Let Y be the surface W with an open collar of \(\partial W\) removed. Then \(\partial Y\) consists of pushoffs \(b_i'\) of the \(b_i\), and Y is a boundary link Seifert surface for the link \(K=\bigsqcup b_i'\).
We claim, in general, that if K is a boundary link with boundary link Seifert surface Y and \(\gamma \) is a knot disjoint from Y, then \(K\cup \gamma \) is homotopically trivial. Applying this to our case, it follows that \(K\cup b_i\) and \(K\cup a_i\) are homotopically trivial for each i. This shows that \(\{a_i,b_i\}\) is a homotopically \(\hbox {trivial}^+\) good basis for L.
To prove the claim, let \(\pi =\pi _1(S^3{\smallsetminus }K)\), and consider the epimorphism \(\phi :\pi \rightarrow F\) onto the free group F given by the PontryaginThom construction for Y. Since \(\gamma \) is disjoint from Y, \(\gamma \) lies in the kernel of \(\phi \). Since \(\phi \) induces an isomorphism \(\pi /\pi _k\cong F/F_k\) between the lower central series quotients for every k by Stallings’ theorem [23], \(\gamma \) is trivial in \(\pi /\pi _k\). It follows that \({\overline{\mu }}_{K\cup \gamma }(j_1\cdots j_k)=0\) whenever \(j_1,\ldots ,j_{k1}\) correspond to components of K and \(j_k\) corresponds to the component \(\gamma \). Also, if all of \(j_1,\ldots ,j_k\) correspond to components of K, then \({\overline{\mu }}_{K\cup \gamma }(j_1\cdots j_k) = {\overline{\mu }}_{K}(j_1\cdots j_k) = 0\) since K is a boundary link. The vanishing of these Milnor’s invariants, together with cyclic symmetry, in particular implies the vanishing of Milnor’s invariants of \(K\cup \gamma \) for all nonrepeating multiindices. Thus \(K\cup \gamma \) is homotopically trivial [19]. This completes the proof of the claim and therefore of the lemma. \(\square \)
Examples that are not Whitehead doubles
In this section we present the promised examples of links that can be freely sliced using Theorem A, but which are neither Whitehead doubles nor \(\partial ^2\)links.
Let \(\beta \) be a 2component string link whose closure \({\widehat{\beta }}\) is a nonslice link with trivial linking number. For instance, \(\beta \) could be the string link in Fig. 6, whose closure is the Whitehead link. Let \(\beta _{(k,\ell )}\) be the \((k+\ell )\)component string link obtained by replacing the first and second strand of \(\beta \) with their untwisted k and \(\ell \) cables respectively. Let \(L(\beta )\) be the 2component link shown in Fig. 7.
Corollary 6.3
The link \(L(\beta )\) is freely slice if \({\widehat{\beta }}\) has trivial linking number.
Proof
Recall that a 2component link with trivial linking number is homotopically \(\hbox {trivial}^+\). (See the discussion between Lemmas 6.1 and 6.2.) So, in our case, \(\widehat{\beta _{(1,2)}}\) and \(\widehat{\beta _{(2,1)}}\) are homotopically trivial.
Figure 7 is drawn in such a way that the Seifert surface ought to be obvious. Consider the good basis \(\{a_i,b_i\}\) shown, and let \(K=b_1' \cup b_2'\), where \(b_i'\) is a transport of \(b_i\) along a normal direction of the surface such that \({{\,\mathrm{lk}\,}}(a_i,b_i')=0\). Then \(K={\widehat{\beta }}\). Thus \(K\cup b_1=\widehat{\beta _{(2,1)}}\) and \(K\cup b_2=\widehat{\beta _{(1,2)}}\) are homotopically trivial. For \(i=1,2\), the link \(K\cup a_i\) is the closure of the product of two 3component string links \(1_1 \otimes \beta \) and \(\beta _{(1,2)}\), where \(1_1\otimes \beta \) denotes the split union of a 1component trivial string link and \(\beta \). Since \(\widehat{\beta _{(1,2)}}\) and \({\widehat{\beta }}\) are homotopically trivial, it follows that \(K\cup a_i\) is homotopically trivial. Therefore the good basis \(\{a_i,b_i\}\) is homotopically \(\hbox {trivial}^+\). Thus by Theorem A, the link \(L(\beta )\) is freely slice. \(\square \)
When \(\beta \) is not slice, we cannot see any other way to show that \(L(\beta )\) is slice. As an explicit example, let \(\beta \) be the Whitehead string link in Fig. 6. Attempts to produce a slicing disc by cutting 1handles of the given Seifert surface fail. Both components of the link \(L(\beta )\) in Fig. 7 are hyperbolic knots (the same hyperbolic knot with volume 13.16319, in fact), as we verified using SnapPy. Note that by contrast the components of a Whitehead double are nonhyperbolic knots. Thus our link does not arise as a Whitehead double. Also \(L(\beta )\) bounds a collection of Seifert surfaces whose metabolisers are realised by nonboundary links. In fact each possible metaboliser \((a_1,a_2)\), \((a_1,b_2)\), \((b_1,a_2)\) or \((b_1,b_2)\) is a Whitehead link. So \(L(\beta )\) does not seem to be a \(\partial ^2\)link. Nevertheless our Theorem A applies to prove that \(L(\beta )\) is slice, as shown in Corollary 6.3.
Questions
Here are some potentially interesting questions raised by the investigation in this article.
 (1)
Is there a link that is not homotopically \(\hbox {trivial}^+\) in the sense of Freedman and Teichner, but whose Whitehead double admits a homotopically \(\hbox {trivial}^+\) good basis?
 (2)
Does every good boundary link have a homotopically \(\hbox {trivial}^+\) good basis?
Put differently, (1) asks whether Theorem A can be used to slice Whitehead doubles to which the FreedmanTeichner result does not apply. If (1) has an affirmative answer, the desired homotopically \(\hbox {trivial}^+\) good basis will be on a nonstandard Seifert surface for the Whitehead double. One might ask a generalised question: for two good bases for the same good boundary link, possibly on different Seifert surfaces, is one homotopically \(\hbox {trivial}^+\) if and only if so is the other? This has a negative answer, since one can stabilise a Seifert surface by a genus three Seifert surface for the unknot, and apply the technique of [21]. So one should perhaps refine this version, for example by restricting to the case that all connected components of the Seifert surfaces have genus one.
If (2) has an affirmative answer, then all good boundary links will be freely slice by Theorem A, and consequently topological surgery would work in dimension 4 for arbitrary fundamental groups. A Whitehead double of the Borromean rings might provide a counterexample to (2).
References
 1.
Cochran, T.D., Friedl, S., Teichner, P.: New constructions of slice links. Comment. Math. Helv. 84(3), 617–638 (2009)
 2.
Cochran, T.D., Orr, K.E., Teichner, P.: Knot concordance, Whitney towers and \(L^2\)signatures. Ann. Math. (2) 157(2), 433–519 (2003)
 3.
Cha, J.C., Powell, M.: Casson towers and slice links. Invent. Math. 205(2), 413–457 (2016)
 4.
Farber, M.S.: Hermitian forms on link modules. Comment. Math. Helv. 66(2), 189–236 (1991)
 5.
Freedman, M.H., Krushkal, V.: Engel relations in \(4\)manifold topology. Forum Math. Sigma 4, e22, 57 (2016)
 6.
Farb, B., Margalit, D.: A Primer on Mapping Class Groups, Princeton Mathematical Series, vol. 49. Princeton University Press, Princeton (2012)
 7.
Freedman, M.H., Quinn, F.: Topology of \(4\)Manifolds, Princeton Mathematical Series, vol. 39. Princeton University Press, Princeton (1990)
 8.
Freedman, M.H.: A surgery sequence in dimension four; the relations with knot concordance. Invent. Math. 68(2), 195–226 (1982)
 9.
Freedman, M.H.: The topology of fourdimensional manifolds. J. Differ. Geom. 17(3), 357–453 (1982)
 10.
Freedman, M.H.: A new technique for the link slice problem. Invent. Math. 80(3), 453–465 (1985)
 11.
Freedman, M.H.: \({\rm Whitehead}_3\) is a “slice” link. Invent. Math. 94(1), 175–182 (1988)
 12.
Freedman, M.H.: Link compositions and the topological slice problem. Topology 32(1), 145–156 (1993)
 13.
Freedman, M.H., Teichner, P.: 4manifold topology. II. Dwyer’s filtration and surgery kernels. Invent. Math. 122(3), 531–557 (1995)
 14.
Hillman, J: Algebraic invariants of links, Series on Knots and Everything, 2nd edn., vol. 52. World Scientific Publishing Co. Pte. Ltd., Hackensack (2012)
 15.
Ko, K.H.: Seifert matrices and boundary link cobordisms. Trans. Am. Math. Soc. 299(2), 657–681 (1987)
 16.
Krushkal, V.: “Slicing” the Hopf link. Geom. Topol. 19(3), 1657–1683 (2015)
 17.
Levine, J.P.: Polynomial invariants of knots of codimension two. Ann. Math. (2) 84, 537–554 (1966)
 18.
Liang, C.C.: An algebraic classification of some links of codimension two. Proc. Am. Math. Soc. 67(1), 147–151 (1977)
 19.
Milnor, J.W.: Link groups. Ann. Math. (2) 59, 177–195 (1954)
 20.
Milnor, J.W.: Isotopy of links. Algebraic geometry and topology, a symposium in honor of S. Lefschetz, pp. 280–306. Princeton University Press, Princeton (1957)
 21.
Park, J.H.: Milnor’s triple linking number and derivatives of genus three knots. arXiv:1603.09163 (2016)
 22.
Sheiham, D.: Invariants of boundary link cobordism. II. The BlanchfieldDuval form, Noncommutative localization in algebra and topology, London Math. Soc. Lecture Note Ser., vol. 330, pp. 143–219. Cambridge Univ. Press, Cambridge (2006)
 23.
Stallings, J.: Homology and central series of groups. J. Algebra 2, 170–181 (1965)
Acknowledgements
JCC was partly supported by National Research Foundation of Korea (NRF) Grant No. 2019R1A3B2067839. Part of this work was done when JCC was visiting the Max Planck Institute for Mathematics in Bonn. MHK thanks Durham University and Anthony Conway for their hospitality during visits to Durham. MHK was partly supported by the POSCO TJ Park Science Fellowship.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Communicated by Thomas Schick.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cha, J.C., Kim, M.H. & Powell, M. A family of freely slice good boundary links. Math. Ann. 376, 1009–1030 (2020). https://doi.org/10.1007/s00208019019073
Received:
Revised:
Published:
Issue Date:
Mathematics Subject Classification
 57M25
 57N13
 57N70