Abstract
The \(\mathbb Z\)-genus of a link L in \(S^3\) is the minimal genus of a locally flat, embedded, connected surface in \(D^4\) whose boundary is L and with the fundamental group of the complement infinite cyclic. We characterise the \(\mathbb Z\)-genus of boundary links in terms of their single variable Blanchfield forms, and we present some applications. In particular, we show that a variant of the shake genus of a knot, the \(\mathbb Z\)-shake genus, equals the \(\mathbb Z\)-genus of the knot.
Similar content being viewed by others
1 Introduction
A link in \(S^3\) is an oriented 1-dimensional locally flat submanifold of \(S^3\) homeomorphic to a nonempty disjoint union of circles. For a link L, let \(X_L:= S^3 \setminus \nu L\) be the link exterior and let \(M_L\) be the result of 0-framed surgery on L. An r-component link \(L = L_1 \cup \cdots \cup L_r\) in \(S^3\) is a boundary link if the components bound a collection of r mutually disjoint Seifert surfaces in \(S^3\), or equivalently if there is an epimorphism \(\pi _1(X_L) \twoheadrightarrow F_r\) onto the free group on r generators, sending the oriented meridian of \(L_i\) to the ith generator of \(F_r\).
Throughout the article we write \(\Lambda := \mathbb Z[t,t^{-1}]\) for the Laurent polynomial ring. Let \(\phi :\mathbb Z^r \rightarrow \mathbb Z\) be the homomorphism that sends \(e_i\) to 1 for each standard basis vector \(e_i\) of \(\mathbb Z^r\). Let L be an r-component link with vanishing pairwise linking numbers. Use the compositions \(\pi _1(X_L) \rightarrow H_1(X_L;\mathbb Z) \xrightarrow {\cong } \mathbb Z^r \xrightarrow {\phi }\mathbb Z\) and \(\pi _1(M_L) \rightarrow H_1(M_L;\mathbb Z) \xrightarrow {\cong } \mathbb Z^r \xrightarrow {\phi }\mathbb Z\) to define the homology of \(X_L\) and \(M_L\) with \(\Lambda \) coefficients. Here the middle isomorphisms send each positive meridian to a different basis element \(e_i\). The module \(H_1(X_L;\Lambda )\) is called the (single variable) Alexander module of L. For L a boundary link, as we show in Lemma 3.5, the Alexander module is canonically isomorphic to \(H_1(M_L;\Lambda )\). We will consider the Blanchfield pairing on \(H_1(M_L;\Lambda )\), which is technically simpler since \(M_L\) is a closed 3-manifold.
Definition 1.1
A \(\mathbb Z\)-surface for a link L is a locally flat, embedded, compact, oriented, connected surface in the 4-ball \(D^4\) whose boundary coincides with L as oriented submanifolds of \(S^3\). The \(\mathbb Z\)-genus of a link L is the minimal genus amongst all \(\mathbb Z\)-surfaces for L and is denoted by \(g_\mathbb Z(L)\). We say a link is \(\mathbb Z\)-weakly slice if its \(\mathbb Z\)-genus is zero.
We algebraically characterise the \(\mathbb Z\)-genus of boundary links, extending work of the first author with Lewark [9, Theorem1.1] on the knot case.
Theorem 1.2
Let L be an r-component boundary link and let \(M_L\) be the 0-framed surgery on L. Then the following are equivalent.
-
(1)
The link L bounds a \(\mathbb Z\)-surface of genus g.
-
(2)
There is a size 2g Hermitian square matrix A(t) over \(\Lambda \) such that A(1) has signature 0 and such that A(t) presents the Blanchfield form of \(M_L\) on \(TH_1(M_L;\Lambda )\).
-
(3)
There exists an embedding of the connected, oriented, genus g surface with \((r+1)\) boundary components into \(S^3\) such that r of the boundary components coincide with L, and the final boundary component is a knot with Alexander polynomial 1.
Theorem 1.2 shows that for boundary links, having a genus g \(\mathbb Z\)-surface implies the existence of a genus g \(\mathbb Z\)-surface given by a \(\mathbb Z\)-disc in \(D^4\) union a collection of 2-dimensional 1-handles attached along the boundary and embedded in \(S^3\). It was conjectured in [8] that this is the case for all links, in other words that (1) \(\Leftrightarrow \) (3) for all links. Towards tackling this conjecture, we ask: what is the appropriate generalization of (2) that applies for all links? For example, in order to define the coefficient system on \(M_L\) we used that the pairwise linking numbers vanish, so the formulation of Theorem 1.2 does not apply to all links.
For the proof of Theorem 1.2, (3) \(\Rightarrow \) (1) is a consequence of the fact that Alexander polynomial 1 knots are \(\mathbb Z\)-slice [12, Theorem 11.7B]. For (2) \(\Rightarrow \) (3), the proof consists of reducing the statement for links to the statement for knots by performing internal band sums. Finally, (1) \(\Rightarrow \) (2) is an algebraic topology computation, involving the intersection pairing of a suitably constructed 4-manifold with boundary \(M_L\) and fundamental group \(\mathbb Z\).
Noting that \(H_1(M_L;\Lambda ) \cong H_1(X_L;\Lambda )\) for L a boundary link, as we show in Lemma 3.5, we deduce the following corollary, which is a natural generalisation of the aforementioned result that a knot is \(\mathbb Z\)-slice if and only if its Alexander module is trivial.
Corollary 1.3
A boundary link is \(\mathbb Z\)-weakly slice if and only if it has torsion-free Alexander module.
1.1 Applications
We describe several applications, whose proofs will be given in Sect. 5. The first application exhibits a phenomenon for links with unknotted components. This uses the obstruction in Corollary 1.3: we compute that the Alexander modules of the links in question have nontrivial torsion submodules.
Corollary 1.4
The infinite family shown in Fig. 1 of 2-component links \(L_n\), where \(n \ne 0,1\), are slice links, hence weakly slice, with unknotted components, but the \(L_n\) are not \(\mathbb Z\)-weakly slice.
Proof
Let \(n \ne 0,1\) be an integer and let \(L_n\) be the link in Fig. 1. It is not too hard to check that \(L_n\) is a boundary link. Hence we get the following computation using the obvious Seifert surface:
By Corollary 1.3, it follows that \(L_n\) is not \(\mathbb Z\)-weakly slice. The fact that \(L_n\) is slice can be seen by performing a saddle move corresponding to a dual band to the middle band in Fig. 1. \(\square \)
Recall that a knot K is shake slice if the generator of second homology of the 4-manifold
obtained by attaching a 2-handle to the closed 4-ball \(D^4\) along K with framing zero, known as the 0-trace of K, can be represented by a locally flat embedded 2-sphere \(S \subseteq X_0(K)\). Moreover we say that a knot is \(\mathbb Z\)-shake slice if in addition \(\pi _1(X_0(K) \setminus S) \cong \mathbb Z\), generated by a meridian of S. This notion was introduced in [10].
Extending this, the \(\mathbb Z\)-shake genus of a knot K is the minimal genus of a surface \(\Sigma \) representing a generator of \(H_2(X_0(K);\mathbb Z)\) with \(\pi _1(X_0(K) \setminus \Sigma ) \cong \mathbb Z\), again generated by a meridian of \(\Sigma \). Theorem 1.2 enables us to characterise this quantity.
Theorem 1.5
For all knots, the \(\mathbb Z\)-genus equals the \(\mathbb Z\)-shake genus.
The case \(r=1\) of Theorem 1.2, which is the main theorem of [9], describes the \(\mathbb Z\)-genus of a knot algebraically, so this yields an algebraic characterisation of the \(\mathbb Z\)-shake genus. Note that we can also define the shake genus and the slice genus of a knot by dropping the condition on the fundamental groups. It is not known whether these two knot invariants differ in general. However, the shake genus and the slice genus do not coincide in the smooth category [21, Corollary1.2].
Given a knot K, let \(K_{a,b}\) denote the (a, b)-cable of K, where a is the longitudinal winding, and let \(P_{p,n}(K)\) denote the link obtained by taking \(p+n\) parallel copies of K, with pairwise vanishing linking numbers, where p components have the same orientation as K and the remaining n-components have the opposite orientation. As we show in Lemma 5.2, the \(\mathbb Z\)-shake genus of K can be reinterpreted as the minimal genus of a connected surface in \(D^4\) with boundary \(P_{\ell +1,\ell }(K)\), for some \(\ell \ge 0\). From this point of view, the next corollary extends Theorem 1.5. We compute the \(\mathbb Z\)-genus for \(P_{p,n}(K)\) for every pair of nonnegative integers p and n.
Corollary 1.6
Let p and n be nonnegative integers and let \(w=p-n\). If \(w=0\), then \(P_{p,n}(K)\) is \(\mathbb Z\)-weakly slice, and otherwise
Theorem 1.5 can be recovered from the case \(w=1\) and Lemma 5.2. The fact that \(g_\mathbb Z(K_{w,1}) \le g_\mathbb Z(K)\) follows from [11, Theorem 1.2] and [18, Theorem 4].
Recall that an r-component link is a good boundary link if there is a homomorphism \(\theta :\pi _1(X_L) \rightarrow F_r\) sending the meridians to r generators of the free group \(F_r\), such that \(\ker \theta \) is perfect; see [13, 14], and [5] for more details. An important open question related to topological surgery for 4-manifolds is whether every good boundary link is freely slice, that is bounds a disjoint union discs in \(D^4\) such that the complement has free fundamental group [12, Corollary 12.3C]. We show that at least every good boundary link bounds a planar \(\mathbb Z\)-surface.
Corollary 1.7
Every good boundary link is \(\mathbb Z\)-weakly slice.
For a given link L, we can construct a new link called the Whitehead double, denoted by \({{\,\mathrm{Wh}\,}}(L)\), by performing the untwisted Whitehead doubling operation on each component of L. Note that Whitehead doubling involves a choice of the sign for each clasp. Recall that every Whitehead double of a link with vanishing linking numbers is a good boundary link, and hence by the previous corollary is \(\mathbb Z\)-weakly slice.
Corollary 1.8
If \(L=L_1 \cup L_2\) is a 2-component link, then for any choice of Whitehead double we have
Moreover, if \(L=L_1 \cup L_2 \cup L_3\) is a 3-component link, then \({{\,\mathrm{Wh}\,}}(L)\) is \(\mathbb Z\)-weakly slice if and only if either (i) L has vanishing linking numbers, or (ii) for some i, j, k with \(\{i,j,k\}=\{1,2,3\}\):
-
(a)
the signs of the clasps of \({{\,\mathrm{Wh}\,}}(L_i)\) and \({{\,\mathrm{Wh}\,}}(L_j)\) disagree,
-
(b)
\({{\,\mathrm{lk}\,}}(L_i,L_j)=0\), and
-
(c)
\(|{{\,\mathrm{lk}\,}}(L_i,L_k)|=|{{\,\mathrm{lk}\,}}(L_j,L_k)|.\)
Let K and J be two oriented knots in \(S^3\) that can be separated by an embedded 2-sphere. Set \(I=[0,1]\). Consider an embedded band \(b:I \times I \rightarrow S^3\) with \(b(I\times I)\cap K=b(I\times \{0\})\) and \(b(I\times I)\cap J=b(I\times \{1\})\), where the orientations on these intervals coming from the orientations of the knots and from the intervals as a subset of the circle \(\partial b(I\times I)\) agree. We obtain a new knot
from band surgery along b, which is called the the band connected sum of K and J along b. If b is trivial, that is if there exists an embedded 2-sphere separating K and J such that the intersection of the sphere and the image of the band is an arc, then the band connected sum yields the connected sum \(K\# J\). It was proven by Miyazaki [19, Theorem1.1] that there is a ribbon concordance from \(K \#_b J\) to \(K \# J\) for any band b. In particular, \(g_\mathbb Z(K \# J) \le g_\mathbb Z(K \#_b J)\). This result can be thought of as follows. Given a two component split link, which is a particular kind of boundary link, the connected sum of the components minimises the \(\mathbb Z\)-genus among all possible internal band sums on the link. We extend this to all boundary links.
Corollary 1.9
Let L be an r-component boundary link and let \(K_L\), \(K_L'\) be knots, both of which are obtained by performing \(r-1\) internal band sums on L. Furthermore, suppose that internal bands for \(K_L\) are performed disjointly from some collection of disjoint Seifert surfaces for L. Then
1.1.1 Organisation
Section 2 gives preliminaries on the Blanchfield form and Alexander duality in a disc, a useful generalisation of Alexander duality in a sphere. Section 3 proves the implications (2) \(\Rightarrow \) (3) \(\Rightarrow \) (1) in Theorem 1.2. Section 4 proves that (1) implies (2). Section 5 proves the applications described in Sect. 1.1.
2 Blanchfield forms and Alexander duality
2.1 The Blanchfield form
Let M be a closed, oriented, connected 3-manifold equipped with a homomorphism \(\pi _1(M) \rightarrow \mathbb Z\), giving rise to twisted homology and cohomology with coefficients in the \(\Lambda \)-modules \(\Lambda \), \(\mathbb Q(t)\), and \(\mathbb Q(t)/\Lambda \). The Blanchfield form [4] \({{\,\mathrm{Bl}\,}}_M\) is the nonsingular, sesquilinear, Hermitian form [22] defined on the torsion submodule \(TH_1(M;\Lambda )\) of \(H_1(M;\Lambda )\).
with adjoint \(x\mapsto {{\,\mathrm{Bl}\,}}_M(-,x)\) given by the sequence of maps that we now describe; compare also [3]. First, we use the Poincaré duality map \(\mathrm {PD}^{-1} :TH_1(M;\Lambda ) \xrightarrow {\cong } TH^2(M;\Lambda )\). The universal coefficient spectral sequence (see [15, Sects. 2.1 and 2.4]) gives rise to an exact sequence as follows, where \(\overline{{{\,\mathrm{Ext}\,}}}\) denotes that the involution on \(\Lambda \) determined by \(t \mapsto t^{-1}\) has been used to alter the \(\Lambda \)-module structure:
Since \(\overline{{{\,\mathrm{Ext}\,}}}^0_\Lambda (H_2(M,\Lambda ),\Lambda ) = {{\,\mathrm{Hom}\,}}_\Lambda (H_2(M,\Lambda ),\Lambda )\) is torsion-free, we obtain a map \(TH^2(M;\Lambda )\rightarrow \overline{{{\,\mathrm{Ext}\,}}}^1_\Lambda (H_1(M,\Lambda ),\Lambda )\), which we then compose with the map
induced by the inclusion from \(TH_1(M;\Lambda ) \subseteq H_1(M;\Lambda )\). Next, the Bockstein long exact sequence arising from the short exact sequence of coefficients \(0 \rightarrow \Lambda \rightarrow \mathbb Q(t) \rightarrow \mathbb Q(t)/\Lambda \rightarrow 0\):
has first and last terms vanishing, the first since \(TH_1(M;\Lambda )\) is \(\Lambda \)-torsion and the last since \(\mathbb Q(t)\) is an injective \(\Lambda \)-module. Thus there is a map
The composition of these maps gives a homomorphism
which as promised is the adjoint of the Blanchfield pairing.
Definition 2.1
We say that the Blanchfield pairing is presented by a Hermitian square matrix A(t) over \(\Lambda \) of size n if it is isometric to the pairing
For an r-component link L, we write \({{\,\mathrm{Bl}\,}}_{L}\) for the Blanchfield form of the zero surgery 3-manifold \(M_L\), defined using the homomorphism \(\pi _1(M_L) \rightarrow \mathbb Z\) sending each oriented meridian to \(1 \in \mathbb Z\).
2.2 Alexander duality in a disc
In this section we briefly recall a version of Alexander duality for the disc. Let X be a submanifold properly embedded in a disc \(D^n\), i.e. with \(\partial X \subseteq S^{n-1}\) and assume that X admits an open tubular neighbourhood \(\nu X\) with closure \(\overline{\nu } X\).
Proposition 2.2
For every \(k \in \mathbb Z\), we have:
Proof
We have
by the composition of Poincaré-Lefschetz duality, and excision. We consider the long exact sequence of the pair:
Thus, \(H^{n-k-1}(S^{n-1} \cup \nu X) \cong H^{n-k}(D^n,S^{n-1} \cup \nu X)\) unless \(k=n-1,n\). For \(k=n\) both the left and right hand sides in the statement of the proposition vanish: \(H_n(D^n \setminus \nu X) =0= \widetilde{H}^{-1}(S^{n-1} \cup \nu X)\). In the case that \(k=n-1\), we obtain a short exact sequence
so \(\widetilde{H}^0(S^{n-1} \cup \nu X) \cong H^{1}(D^n,S^{n-1} \cup \nu X) \cong H_{n-1}(D^n \setminus \nu X)\). Therefore, we obtain our statement for Alexander duality in a disc as claimed:
\(\square \)
3 (2) Implies (3) implies (1)
We prove two of the implications in Theorem 1.2 in this section. We need a purely algebraic lemma that shows up in this section and in Sect. 4.
Lemma 3.1
Let \(g \ge 0\) and \(r \ge 1\) be integers, and let Q be a \(\Lambda \)-module with a presentation
where B(t) is a square matrix over \(\Lambda \) of the form
with \(\det (A(t)) \ne 0\). Then the following holds.
-
(i)
The torsion submodule of Q, denoted by TQ, is presented by \(\Lambda ^{2g} \xrightarrow {A(t)} \Lambda ^{2g} \rightarrow TQ \rightarrow 0\). In particular, \({{\,\mathrm{ord}\,}}TQ = \det A(t)\).
-
(ii)
The \(\Lambda \)-module Q decomposes as \(TQ \oplus \Lambda ^{r-1}\).
Proof
Let \(\{e_1,\dots ,e_{r-1+2g}\}\) be the standard basis of \(\Lambda ^{r-1+2g}\), and write \([e_i]\) for the image of \(e_i\) under the quotient \(\Lambda ^{r-1+2g} \rightarrow Q\). Consider the subgroup
generated by the shown subset of the \([e_i]\). Each \([e_{i}]\) for \(i= r,\dots ,r-1+2g\) is \(\det (A(t))\)-torsion; in particular, T consists entirely of torsion, hence \(T\subseteq TQ\). On the other hand, given the form of B, the remaining generators \(\{[e_i]\}_{i=1}^{r-1}\) generate a free summand \(\Lambda ^{r-1}\), and it is straightforward to see that \(Q= TQ \oplus \Lambda ^{r-1}\). \(\square \)
We fix the following setup. Let L be an r-component boundary link and let \(\{F_i\}_{i=1}^{r}\) be a collection of disjoint Seifert surfaces for L. Tube the surfaces \(\{F_i\}_{i=1}^{r}\) together along \(r-1\) tubes disjoint from the surfaces to obtain a connected Seifert surface F, of genus g say. Let N be a Seifert matrix for L of size \(r-1+2g\) obtained by picking a basis \(\{\gamma _1,\ldots ,\gamma _{r-1+2g}\}\) of \(H_1(F;\mathbb Z)\) of some Seifert surface for L as follows: the first \(r-1\) elements are given by meridians for the tubes used in the construction of F, while the next 2g elements are given by simple, oriented, closed curves disjoint from the meridians of the tubes that form a symplectic basis of the closed surface \(F/\{L_i\}_{i=1}^r\) given by crushing each component of L to a distinct point. Let V denote the Seifert matrix representing the Seifert form restricted to span of the last 2g basis elements. In particular, we have that \(\det (V-V^T)=1\). We have that N has the form
since meridians to the tubes link themselves and all other curves trivially.
Definition 3.3
Choose a separating curve \(K_L\) on F, such that one of the components of \(F\setminus K_L\) contains \(\partial F\), while the other contains the simple closed curves representing \(\gamma _i\) for \(r\le i\le r-1+2g\).
We can take \(K_L\) to be a collection of push-offs of the components of L, banded together along the tubes used in the construction of F. Hence \(K_L\) is a knot obtained by performing \(r-1\) internal band sums on L, where internal bands are disjoint from \(\{F_i\}_{i=1}^{r}\). Note that by construction \(K_L\) has V as a Seifert matrix.
For \(i=1,\dots ,r-1+2g\), let \(e_i \in H_1(S^3 \setminus F;\mathbb Z)\) be the element that is Alexander dual to \(\gamma _i \in H_1(F;\mathbb Z)\). We also write \(e_i\) for \(e_i \otimes 1 \in H_1(S^3 \setminus F;\mathbb Z) \otimes _{\mathbb Z} \Lambda \cong \Lambda ^{r-1+2g}\). Recall that \(\{e_i\}_{i=1}^{r-1+2g}\) generates the Alexander module \(H_1(X_L;\Lambda )\); see e.g. [17, Theorem 6.5]. Also, recall that given a \(\Lambda \)-module T with an \(n\times m\) presentation matrix A(t), with \(n \ge m\), the order ideal of T is defined to be the ideal of \(\Lambda \) generated by all \(m \times m\) minors of A(t). If A(t) is a square matrix, then the order ideal is principal and it is generated by \(\det (A(t))\). In this case, \(\det (A(t))\) is called the order of T and denoted by \({{\,\mathrm{ord}\,}}(T) \in \Lambda \). In more generality, the order of T is by definition a generator of the smallest principal ideal on \(\Lambda \) that contains the order ideal.
Lemma 3.4
Let L be an r-component link boundary link. Then the following holds.
-
(i)
Let T be the \(\Lambda \)-torsion submodule of \(H_1(X_L;\Lambda )\). Then \(H_1(X_L;\Lambda ) \cong \Lambda ^{r-1}\oplus T\) and \({{\,\mathrm{ord}\,}}(T)(1)= \pm 1\).
-
(ii)
For any choice of Seifert surface F and basis \(\{\gamma _i\}_{i=1}^{r-1+2g}\) as above, giving rise to an identification
$$\begin{aligned} H_1(X_L;\Lambda )=\Lambda ^{r-1+2g}/((tN-N^T)\Lambda ^{r-1+2g}) \end{aligned}$$generated by \(\{[e_i]\}_{i=1}^{r-1+2g}\), the torsion submodule T of \(H_1(X_L;\Lambda )\) is spanned by
$$\begin{aligned}{}[e_{r}],\dots ,[e_{r-1+2g}], \end{aligned}$$and presented by \(tV-V^T\).
Proof
Identify \(H_1(X_L;\Lambda )=\Lambda ^{r-1+2g}/((tN-N^T)\Lambda ^{r-1+2g})\). Note that \(tN-N^T\) has the form
where \(A(t) = tV-V^T\), by (3.2). Since \(\det (A(1)) = \det (V-V^T) =1\), Lemma 3.1 applies with \(Q=H_1(X_L;\Lambda )\). We deduce that \(H_1(X_L;\Lambda ) \cong \Lambda ^{r-1}\oplus T\), with \(T=TH_1(X_L;\Lambda )\) spanned by \([e_{r}],\dots ,[e_{r-1+2g}]\) and presented by \(A(t) = tV-V^T\). Then the order of T at \(t=1\) is \({{\,\mathrm{ord}\,}}(T)(1) = \det (A(t))(1) = \det (A(1)) = \det (V-V^T)=\pm 1\). \(\square \)
Lemma 3.5
For an r-component boundary link L, \(H_1(X_L;\Lambda ) \cong H_1(M_L;\Lambda )\).
Proof
The zero framed longitudes of the components of L determine elements \(\{\ell _1,\dots ,\ell _r\}\) in \(H_1(X_L;\Lambda )\) since the linking numbers are zero. It follows from a straightforward Mayer-Vietoris computation that the homology of the zero surgery is the quotient \(H_1(X_L;\Lambda )/\langle \ell _1,\dots ,\ell _r\rangle \). Since the longitudes bound disjoint Seifert surfaces, they live in the second derived subgroup of \(\pi _1(X_L)\), and are therefore trivial in \(H_1(X_L;\Lambda )\). It follows that \(H_1(X_L;\Lambda ) \cong H_1(M_L;\Lambda )\) as desired. \(\square \)
With Lemma 3.5 in mind, we will therefore be working with the Blanchfield form \({{\,\mathrm{Bl}\,}}_L\) on the closed 3-manifold \(M_L\). Note that a knot \(K_L\) is also evidently a boundary link, so \(H_1(X_{K_L};\Lambda ) \cong H_1(M_{K_L};\Lambda )\) and we write \({{\,\mathrm{Bl}\,}}_{K_L}\) for the Blanchfield form on \(M_{K_L}\).
Given two links \(L_1\) and \(L_2\), we say they cobound a embedded cobordism \(\Sigma \) in \(S^3\) if there is an oriented embedded surface \(\Sigma \) in \(S^3\) with boundary a link that consist of the disjoint union of the two links \(L_1\) and \(L_2^{{\text {rev}}}\), where \(L_2^{{\text {rev}}}\) is the link obtained by reversing the orientation of each component of \(L_2\).
Theorem 3.6
Let L be a boundary link.
-
(i)
The Blanchfield form on the torsion \(TH_1(M_L;\Lambda )\) is isometric to the Blanchfield form on the Alexander module \(H_1(M_{K_L};\Lambda )\) of \(K_L\) (Definition 3.3).
-
(ii)
If there is a size 2g Hermitian square matrix A(t) over \(\Lambda \) such that A(t) presents the Blanchfield form of \(M_L\) on \(TH_1(M_L;\Lambda )\) and A(1) has signature 0, then L cobounds an embedded cobordism in \(S^3\), of genus g, with an Alexander polynomial 1 knot.
The second item proves the implication Theorem 1.2 (2) \(\Rightarrow \) (3).
Let \(S \subseteq \Lambda \) denote the smallest multiplicative subset containing \(t-1\). We write \(\Lambda _S := \mathbb Z[t,t^{-1},(t-1)^{-1}]\) for the ring obtained from \(\Lambda \) by inverting the elements in S. This is a commutative and therefore flat localisation.
Proof
We prove (i) first. Define \(H_L:= (1-t)N+(1-t^{-1})N^T\) and \(H_{K_L}:=(1-t)V+(1-t^{-1})V^T\). By [6, Theorem 1.1], we have an isomorphism
such that \(\phi \) induces an isometry between \({{\,\mathrm{Bl}\,}}_{L}\otimes \Lambda _S\) and the linking form
where
for \(\Delta =t^{-g}\det (tV-V^T)=\Delta _{K_L}\in \Lambda \) the order of \(TH_1(M_L;\Lambda )\). However, by Lemma 3.4, there is an isometry between the abstract pairings \(\lambda _{H_L}\) and \(\lambda _{H_{K_L}}\), since both correspond to \(tV-V^T\).
We know that \(\lambda _{H_L}\) corresponds to the Blanchfield pairing on \(M_L\) over \(\Lambda _S\). Since \(\lambda _{H_{K_L}}\) is isometric to \({{\,\mathrm{Bl}\,}}(K_L)\otimes \Lambda _S\) (again by [6, Theorem 1.1]), we conclude that \({{\,\mathrm{Bl}\,}}_{L}\otimes \Lambda _S\) is isometric to \({{\,\mathrm{Bl}\,}}_{K_L}\otimes \Lambda _S\). However, by [16, Proposition 1.2] multiplication by \(t-1\) induces an isomorphism on
We therefore have that \({{\,\mathrm{Bl}\,}}_{L}\otimes \Lambda _S\) is isometric to \({{\,\mathrm{Bl}\,}}_{K_L}\otimes \Lambda _S\) if and only if \({{\,\mathrm{Bl}\,}}_{L}\) is isometric to \({{\,\mathrm{Bl}\,}}_{K_L}\); see e.g. [9, Proposition A.2]. So indeed \({{\,\mathrm{Bl}\,}}_{L}\) is isometric to \({{\,\mathrm{Bl}\,}}_{K_L}\), completing the proof of (i).
For (ii), we use that \(K_L\) is cobordant via a genus g cobordism \(\Sigma \) in \(S^3\) to an Alexander polynomial 1 knot if and only if there exists a Hermitian matrix A(t) of size g, with signature of A(1) zero, that presents the Blanchfield form of \(K_L\) [9, Theorem 1.1]. By hypothesis and (i) such a Hermitian matrix exists. Thus a genus g cobordism \(\Sigma \subseteq S^3\) to an Alexander polynomial 1 knot. Moreover, by the classification of compact surfaces, this cobordism may be assumed to be constructed from \(K_L \times I\) union 2g 2-dimensional 1-handle attachments to \(K_L \times \{1\}\).
We may and shall choose \(\Sigma \) such that \(K_L \times I\) induces the 0-framing of \(K_L \times \{0\}\), i.e. extends to a Seifert surface for \(K_L\). Compare [8, Lemma 18].
Let C be the connected cobordism in \(S^3\) of genus 0 from L to \(K_L\) given by the component of \(F\setminus K_L\) containing \(\partial F\). By general position, we may and shall assume that the 1-handles of \(\Sigma \) are disjoint from C. Then, using that both \(K_L \times I\) and C induce the 0-framing on \(K_L\), by further isotopy arrange that \((K_L \times I) \cap C =K_L\). Therefore, the union \(C \cup _{K_L} \Sigma \) is the embedded cobordism we seek between L and the Alexander polynomial 1 knot. \(\square \)
The proof of Theorem 1.2 (3) \(\Rightarrow \) (1) is by a standard argument; compare e.g. [7, 9, 24].
Proof of Theorem 1.2
(3) \(\Rightarrow \) (1) Glue together:
-
The hypothesised connected cobordism C of genus g from L to an Alexander polynomial 1 knot J, pushed into \(S^3 \times I\) so that \(L = C \cap (S^3 \times \{0\})\) and \(J = C \cap (S^3 \times \{1\})\);
-
A \(\mathbb Z\)-disc D in \(D^4\) for the Alexander polynomial 1 knot J.
This yields a genus g surface \(S:= C \cup _{J} D \subseteq D^4 = (S^3 \times I) \cup D^4\) with boundary L. Since C is obtained from pushing a surface in \(S^3\) into \(S^3 \times I\), we may assume that it is obtained from J by band moves. Hence the exterior of C can be built from \(S^3 \setminus \nu J\) by attaching 4-dimensional 2-handles to \((S^3 \setminus \nu J) \times I\). Hence \(\pi _1(S^3 \setminus \nu J) \rightarrow \pi _1(S^3 \times I \setminus \nu C)\) is surjective. Since \(\pi _1(D^4 \setminus \nu D) \cong \mathbb Z\) and \(\pi _1(S^3 \setminus \nu J)\) are both normally generated by the meridian of J, it follows from the Seifert-Van Kampen theorem that \(\pi _1(D^4 \setminus \nu S) \cong \mathbb Z\), so that S is the desired \(\mathbb Z\)-surface of genus g for L. \(\square \)
4 (1) Implies (2)
Let L be an ordered, oriented, r-component link. Write \(X_L := S^3 \setminus \nu L\) for the exterior of the link. As above, we use the representation \(\pi _1(X_L) \rightarrow \mathbb Z\) defined by \(\phi :\pi _1(X_L) \rightarrow H_1(X_L;\mathbb Z) \cong \mathbb Z^{r} \rightarrow \mathbb Z\) given by concatenating the abelianisation homomorphism, the identification with \(\mathbb Z^r\) given by sending the ith ordered, oriented meridian to \(e_i\), and the map \(\sum _{i=1}^r a_i e_i \mapsto \sum _{i=1}^r a_i\). This is sometimes called the total linking number representation [15, Sect. 2.5]. Note that this representation is independent of the ordering of L, so it is well-defined for unordered links. In this section we show that (1) implies (2) in Theorem 1.2. As always, we identify \(\Lambda \) with \(\mathbb Z[\mathbb Z]\).
We will prove this implication for a slight generalisation of boundary links, in order to make clear precisely which properties we are using in the proof. Note that all the links we consider will in particular have pairwise linking numbers vanishing, so that the coefficient system \(\phi \) extends to the zero-surgery manifold \(M_L\).
Definition 4.1
We say that an r-component link L in \(S^3\) with pairwise linking numbers zero has a \(\mathbb Z\)-trivial surface system if there is a collection of Seifert surfaces \(\{F_i\}_{i=1}^{r-1}\) for all but one of the components of L, each of whose interiors is embedded in \(S^3 \setminus L\) (the surfaces may intersect one another), such that for every i, for every simple closed curve \(\gamma \) on \(F_i\), and for every basing of \(\gamma \), we have that \(\phi (\gamma ) =0 \in \mathbb Z\). We refer to a link that admits a \(\mathbb Z\)-trivial system of surfaces as a \(\mathbb Z\)TS link.
Lemma 4.2
Every boundary link is a \(\mathbb Z\)TS link.
Proof
Curves in the interior of a boundary link Seifert surface are trivial in \(H_1(S^3 \setminus L;\mathbb Z)\). \(\square \)
We will prove the following result in this section, which combined with Lemma 4.2 implies that (1) implies (2) in Theorem 1.2.
Theorem 4.3
Let L be an r-component \(\mathbb Z\)TS link that bounds a connected \(\mathbb Z\)-surface of genus g in \(D^4\). Let \(M_L\) be the 0-framed surgery on L. Then
and \({{\,\mathrm{ord}\,}}(TH_1(M_L;\Lambda ))(1) \doteq 1\). Moreover there is a size 2g Hermitian square matrix A(t) over \(\Lambda \) such that A(t) presents the Blanchfield form of \(M_L\) on \(TH_1(M_L;\Lambda )\) and A(1) has signature 0.
Let \(P \subseteq D^4\) be the hypothesised connected, compact, oriented surface, locally flat embedded into \(D^4\). We note the following about the homology of \(D^4 \setminus \nu P\).
Lemma 4.4
The nonvanishing homology groups of \(D^4 \setminus \nu P\) are as follows.
Proof
This follows from Alexander duality in a disc, Proposition 2.2, with \(X=P\) and \(n=4\). \(\square \)
Remark 4.5
We shall not assume that \(\pi _1(D^4 \setminus \nu P)\cong \mathbb Z\). Instead we will assume \(H_1(D^4 \setminus \nu P;\Lambda )=0\), or equivalently that \(\pi _1(D^4 \setminus \nu P)\) has perfect commutator subgroup. Similar remarks apply to the manifold \(W_P\) constructed below. This generalisation will be useful later in the proof of Lemma 5.2, and helps to clarify the proof.
As in Remark 4.5, we assume that there is a short exact sequence \(1 \rightarrow \Gamma \rightarrow \pi _1(D^4 \setminus \nu P) \rightarrow \mathbb Z\rightarrow 0\) with the surjection equal to the abelianisation, with the commutator subgroup \(\Gamma \) a perfect group. This implies that \(\pi _1(D^4 \setminus \nu P) \cong \mathbb Z < imes \Gamma \), with the \(\mathbb Z\) action determined by conjugation, and it implies that \(H_1(D^4 \setminus \nu P;\Lambda ) =0\). Here we use the abelianisation \(\pi _1(D^4 \setminus \nu P) \rightarrow \mathbb Z\) to extend the \(\Lambda \) coefficient system.
Towards understanding the twisted homology, we start with the following general computation.
Lemma 4.6
Let W be a compact, connected, oriented, topological 4-manifold with \(\pi _1(W) \cong \mathbb Z\), and suppose that \(\partial W\) is nonempty, connected, oriented, and that \(\pi _1(\partial W) \rightarrow \pi _1(W)\) is onto. Then
The same holds if instead of \(\pi _1(W) \cong \mathbb Z\) we assume \(H_1(W;\Lambda )=0\).
Proof
Note that \(H_i(W;\Lambda ) \cong H_i\big (\widetilde{W};\mathbb Z\big )\) for all i, where \(\widetilde{W}\) is the universal cover. Since W is connected we have that \(H_0\big (\widetilde{W};\mathbb Z\big ) \cong \mathbb Z\) and \(H_1\big (\widetilde{W};\mathbb Z\big ) =0\). Next we show that \(H_2(W;\Lambda )\) is free. \(H_2(W;\Lambda ) \cong H^2(W,\partial W;\Lambda )\) by Poincaré-Lefschetz duality. The universal coefficient spectral sequence (UCSS) computing cohomology in terms of homology has \(E_2\)-page
and converges to the cohomology \(H^{*}(W,\partial W;\Lambda )\). Since \(\partial W\) is connected and \(\pi _1(\partial W) \rightarrow \pi _1(W)\) is onto, it follows that \(H_0(\partial W;\Lambda ) \cong \mathbb Z\). Therefore the long exact sequence of the pair
implies that \(H_i(W,\partial W;\Lambda )=0\) for \(i=0,1\). It follows that the \(p=0\) and \(p=1\) columns of the \(E_2\) page of the UCSS vanish, and thus the remaining nonzero term \({{\,\mathrm{Ext}\,}}^0_{\Lambda }(H_2(W,\partial W;\Lambda ),\Lambda )\) on the 2-line equals \(H^2(W,\partial W;\Lambda )\). Note that the vanishing of the \(p=0,1\) columns also precludes the possibility of any differentials influencing this outcome. By [1, Lemma 2.1], \({{\,\mathrm{Ext}\,}}^0_{\Lambda }(H,\Lambda )\) is a free \(\Lambda \)-module for every \(\Lambda \)-module H. So \(H_2(W;\Lambda )\) is a free \(\Lambda \)-module as claimed. We will compute its rank later.
Now \(H_3(W;\Lambda ) \cong H^1(W,\partial W;\Lambda )\). Again \(H_i(W,\partial W;\Lambda )=0\) for \(i=0,1\), fed into the UCSS, implies that \(H^1(W,\partial W;\Lambda ) =0\).
To complete the computation of the homology it remains to compute the rank of \(H_2(W;\Lambda )\), in other words the dimension of \(H_2(W;\Lambda ) \otimes _{\Lambda } \mathbb Q(t) \cong H_2(W;\mathbb Q(t))\). First we show that this equals the Euler characteristic \(\chi (W)\). We used above that \(\mathbb Q(t)\) is flat as a \(\Lambda \)-module. This also implies that \(H_i(W;\mathbb Q(t)) \cong H_i(W;\Lambda ) \otimes _{\Lambda } \mathbb Q(t) =0\) for \(i \ne 2\). Therefore \(\chi (W) = \dim H_2(W;\mathbb Q(t))\), and so the rank of \(H_2(W;\Lambda )\) equals \(\chi (W)\) as asserted.
It remains to compute the Euler characteristic of W by computing its rational homology. First \(H_0(W;\mathbb Q) \cong \mathbb Q\cong H_1(W;\mathbb Q)\). We have \(H_3(W;\mathbb Q) \cong H^1(W,\partial W;\mathbb Q) \cong H_1(W,\partial W;\mathbb Q)\) by Poincaré-Lefschetz and universal coefficients. Then the long exact sequence:
implies that \(H_1(W,\partial W;\mathbb Q)=0\). It follows that
So in fact the rank of \(H_2(W;\Lambda )\) is \(\beta _2(W)\). This completes the proof of the lemma. \(\square \)
Let \(F:= P \cup _{\partial P} \bigcup _{i=1}^r D^2\), a closed surface of genus g. Let G be a handlebody with \(\partial G=F\). Define
For this gluing we must choose a suitable diffeomorphism of \(P \times S^1 \subseteq F \times S^1\) relative to the boundary of P. There are self-diffeomorphisms of \(P \times S^1\) corresponding to changes in framing for the trivial bundle \(\nu P \cong P \times D^2\). We choose the framing to satisfy that curves of the form \(\gamma _k \times \{{{\,\mathrm{pt}\,}}\}\), where \(\gamma _k \subseteq P\) is a simple closed curve, lie in the commutator subgroup of \(\pi _1(D^4 \setminus \nu P)\), and use this for our gluing. In the case that \(\pi _1(D^4 \setminus \nu P) \cong \mathbb Z\), this means that the curves \(\gamma _k \times \{{{\,\mathrm{pt}\,}}\}\) are null-homotopic in \(D^4 \setminus \nu P\). Note that \(\partial W_P = M_L\), the zero surgery on L. Note that there are further choices in the gluing, for example we can compose a given gluing map with \(g \times {{\,\mathrm{Id}\,}}_{S^1}\), where g is a rel. boundary self-diffeomorphism of P. But all such gluing maps are suitable for our purposes: we make one such choice and so from now on fix the manifold \(W_P\).
Construction 4.7
We construct a collection of surfaces in \(D^4 \setminus \nu P\). Let \(\{\gamma _k\}_{k=1}^{r-1+2g}\) be a basis for \(H_1(P;\mathbb Z)\), consisting of \(r-1\) curves parallel to \(r-1\) of the components of L, and a symplectic collection of 2g curves disjoint from those. Consider their push-offs \(\{\gamma _k \times \{{{\,\mathrm{pt}\,}}\}\}_{k=1}^{r-1+2g}\) in \(P \times S^1\). Each \(\gamma _k\) lies in the (perfect) commutator subgroup of \(\pi _1(D^4 \setminus \nu P)\) by our choice of framing of the normal bundle of P made above. For each k let \(D_k \looparrowright D^4 \setminus \nu P\) be an immersed \(\mathbb Z\)-trivial surface with boundary \(\gamma _k \times \{{{\,\mathrm{pt}\,}}\}\). That is the induced map \(\pi _1(D_k) \rightarrow \pi _1(D^4 \setminus \nu P) \xrightarrow {\phi } \mathbb Z\) is the trivial homomorphism. Use \(D_k\) to surger the torus \(\gamma _k \times S^1\) to an immersed surface, that we call \(\sum \nolimits _{k}\).
Recall that we write \(\Lambda _S := \mathbb Z[t,t^{-1},(t-1)^{-1}]\).
Lemma 4.8
The nonvanishing homology groups of \(D^4 \setminus \nu P\) are as follows.
A basis for \(H_2(D^4\setminus \nu P;\Lambda _S)\) is given by the collection of immersed surfaces \(\{\sum \nolimits _{k}\}_{k=1}^{r-1+2g}\).
Proof
By Lemma 4.4, \(\beta _2(D^4 \setminus \nu P) = r-1+2g\). The computation of the homology groups with \(\Lambda \) coefficients then follows from Lemma 4.6, noting that \(W=D^4 \setminus \nu P\) indeed satisfies the hypotheses of that lemma.
We show that the \(\{\sum \nolimits _{k}\}\) are a basis over \(\Lambda _S\). To do this we consider the exact sequence
We know that
for \(i=1,2\). For \(i=1\) we therefore have \(H_i(P \times S^1;\Lambda )\cong \mathbb Z^{r-1+2g}\) generated by the \(\{\gamma _k\times \{{{\,\mathrm{pt}\,}}\}\}_{k=1}^{r-1+2g}\), while for \(i=2\) we have \(H_2(P\times S^1;\Lambda ) \cong H_2(P;\mathbb Z) =0\). Therefore \(H_i(P \times S^1;\Lambda _S) =0\) for \(i=1,2\), so over \(\Lambda _S\)
is an isomorphism.
Since \(H_2(D^4 \setminus \nu P;\Lambda )\cong \Lambda ^{r-1+2g}\) it follows that \(H_2(D^4 \setminus \nu P,P \times S^1;\Lambda _S) \cong \Lambda _S^{r-1+2g}\). We claim the following. \(\square \)
Claim
We have that \(H_2(D^4 \setminus \nu P,P \times S^1;\Lambda ) \cong \Lambda ^{r-1+2g}\) is a free module of the same rank as \(H_2(D^4 \setminus \nu P;\Lambda )\).
To see this note that \(H_2(D^4 \setminus \nu P,P \times S^1;\Lambda ) \cong H^2(D^4 \setminus \nu P,S^3 \setminus \nu L;\Lambda )\). Now
is an isomorphism. Combined with \(H_1(D^4\setminus \nu P;\Lambda )=0\) and the long exact sequence of the pair we deduce that \(H_i(D^4 \setminus \nu P,S^3 \setminus \nu L;\Lambda )=0\) for \(i=0,1\). Then similarly to the proof of Lemma 4.6, the UCSS and [1, Lemma 2.1] imply that \(H_2(D^4 \setminus \nu P,P \times S^1;\Lambda )\) is a free module. The rank must be \(r-1+2g\) since we know that this is the rank over \(\Lambda _S\), so indeed \(H_2(D^4 \setminus \nu P,P \times S^1;\Lambda ) \cong \Lambda ^{r-1+2g}\) as claimed.
We have now seen that the exact sequence (4.9) is equivalent to
Here we consider \(\mathbb Z\) as a \(\Lambda \)-module where t acts as the identity. Representing generators of \(\mathbb Z^{r-1+2g}\) by curves \(\gamma _k \times \{{{\,\mathrm{pt}\,}}\}\) in \(P \times S^1\), we can lift them to a basis of \(\Lambda ^{2g+1-r}\), by extending them to elements of \(H_2(D^4 \setminus \nu P, P \times S^1;\Lambda )\). That is, choose a \(\mathbb Z\)-trivial surface \(D_k \looparrowright D^4 \setminus \nu P\) with boundary \(\gamma _k \times \{{{\,\mathrm{pt}\,}}\}\), for each \(k=1,\dots ,2g+1-r\), as in Construction 4.7.
The surfaces \(\sum \nolimits _{k}\) from Construction 4.7 satisfy \([\sum \nolimits _{k}] = (t-1)\cdot [D_k] \in H_2(D^4 \setminus \nu P,P \times S^1;\Lambda )\). Therefore the \(\{\sum \nolimits _{k}\}\) also represent a basis for \(H_2(D^4 \setminus \nu P,P \times S^1;\Lambda )\) over \(\Lambda _S\). Since the \(\{\sum \nolimits _{k}\}\) are closed surfaces they lift to \(H_2(D^4 \setminus \nu P;\Lambda _S)\). Then by (4.10) it follows that the \(\{\sum \nolimits _{k}\}\) also represent a basis for \(H_2(D^4 \setminus \nu P;\Lambda _S) \cong \Lambda _S^{r-1+2g}\).
Recall that \(W_P := D^4 \setminus \nu P \cup _{P \times S^1} (G \times S^1)\).
Lemma 4.11
The inclusion induced map \(H_i(D^4\setminus \nu P;\Lambda _S) \rightarrow H_i(W_P;\Lambda _S)\) is an isomorphism for every i. The nonvanishing homology groups of \(W_P\) are as follows.
Over \(\Lambda _S\), a basis for \(H_2(W_P;\Lambda _S)\) is given by the collection of immersed surfaces \(\{\sum \nolimits _{k}\}_{k=1}^{r-1+2g}\).
Proof
Lemma 4.6 tells us the homology of \(W_P\) with \(\Lambda \) coefficients, except for the rank of \(H_2(W_P;\Lambda )\). For \(Q \in \{P,G\}\) we have \(H_i(Q \times S^1;\Lambda ) \cong H_i(Q \times \mathbb R;\mathbb Z) \cong H_i(Q;\mathbb Z)\) for every i. Therefore \(H_i(Q\times S^1;\Lambda )\) is annihilated by \(t-1\) and so
It then follows from the Mayer-Vietoris sequence for homology with \(\Lambda _S\) coefficients, using the decomposition \(W_P := D^4 \setminus \nu P \cup _{P \times S^1} (G \times S^1)\), that \(H_i(D^4\setminus \nu P;\Lambda _S) \xrightarrow {\cong } H_i(W_P;\Lambda _S)\) is an isomorphism for all i. In particular this implies that \(H_2(W_P;\Lambda _S) \cong H_2(D^4 \setminus \nu P;\Lambda _S) \cong \Lambda _S^{r-1+2g}\), so indeed \(H_2(W_P;\Lambda ) \cong \Lambda ^{r-1+2g}\) as claimed. The fact that the inclusion induced map is an isomorphism over \(\Lambda _S\) implies that the same immersed surfaces \(\{\sum \nolimits _{k}\}_{k=1}^{r-1+2g}\) for \(H_2(D^4\setminus \nu P;\Lambda )\) in Construction 4.7 and Lemma 4.8 also represent a basis for \(H_2(W_P;\Lambda _S) = H_2(W_P;\Lambda ) \otimes _{\Lambda } \Lambda _S\). \(\square \)
Construction 4.12
We use a \(\mathbb Z\)-trivial surface system (Definition 4.1) to modify the \(\sum \nolimits _{k}\) for \(k=1,\dots ,r-1\). We may suppose that there is a collar \(S^3 \times I \subseteq D^4\) and that \(P \cap (S^3 \times I) = L \times I\). For \(j=1,\dots ,r-1\), we consider \(\gamma _j := L \times \{j/r\} \subseteq L \times I \subseteq P\). Push the Seifert surface \(F_j\) for the jth component of L to the level \(S^3 \times \{j/r\}\). Now use \(F_j\) in place of the immersed surface \(D_j\) in Construction 4.7 to surger \(\gamma _j \times S^1\) to another embedded surface \(\sum _{F_j}\). Since \(F_j\) is part of a \(\mathbb Z\)-trivial surface system, the embedded surface \(\sum _{F_j}\) has the property that every curve on it represents the trivial element of \(\pi _1(W_P) \cong \mathbb Z\). Therefore \(\sum _{F_j}\) represents a homology class in \(H_2(W_P;\Lambda )\). Note that this is a special case of the surfaces from Construction 4.7.
By using these surfaces that originate from surfaces in \(S^3\), we obtain some crucial control on intersections. For \(j \ne k\), we have \(\sum _{F_j} \cap \sum _{F_k} = \emptyset \). Moreover, in the construction of the rest of the surfaces \(\sum \nolimits _{k}\), for \(k=r,\dots ,r-1+2g\), as in Construction 4.7, we may assume without loss of generality that the surfaces \(D_k\) are disjoint from the collar \(S^3 \times I\). It follows that \(\sum _{F_j} \cap \sum \nolimits _{k} = \emptyset \) for every \(j \in \{1,\dots ,r-1\}\) and for every \(k \in \{r,\dots ,r-1+2g\}\).
Lemma 4.13
\(\lambda (\sum _{F_i},\sum _{F_i})=0\).
Proof
The torus in the construction of \(\sum _{F_i}\) can be pushed off itself. Since the \(F_i\) induce the zero framing, this can be extended to two disjoint parallel copies of \(F_i\) in \(S^3 \times \{i/r\}\). \(\square \)
Now we use these surfaces to compute the intersection form.
Lemma 4.14
The intersection form \(\lambda :H_2(W_P;\Lambda ) \times H_2(W_P;\Lambda ) \rightarrow \Lambda \) can be represented by a matrix of the form
for some matrix A(t) over \(\Lambda \) such that A(1) has signature 0 and \(\det (A(1)) \ne 0\).
Proof
Let
Let \(\{e_i\}_{i=1}^{r-1+2g}\) be a basis for the homology \(H_2(W_P;\Lambda ) \cong \Lambda ^{r-1+2g}\), and suppose that, for integers \(y_i\), we have that \((t-1)^{y_i} e_i = \sum _{F_i}\) for \(i=1,\dots ,r-1\), and that \((t-1)^{y_i} e_i = \sum _{i}\) for \(i=r,\dots ,r-1+2g\). We may make this supposition since we know that \({\mathcal {S}}\) represents a basis for \(H_2(W_P;\Lambda _S) \cong H_2(W_P;\Lambda ) \otimes _{\Lambda } \Lambda _S\).
Since for every \(i \in \{1,\dots ,r-1\}\), we have that \(\sum _{F_i}\) is disjoint from all the other surfaces in \({\mathcal {S}}\), it follows that for \(i=1,\dots ,r-1\) and for every \(j\in \{1,\dots ,r-1+2g\}\) we have
Since \(\Lambda \) is an integral domain, it follows that \(\lambda (e_i,e_j)=0\). The matrix representing \(\lambda \) is therefore of the form claimed.
To see that the matrix A(1) has nonzero determinant, we consider the long exact sequence
which reduces to
The map \(\lambda _\mathbb Q\) can be represented by a matrix for the ordinary \(\mathbb Q\)-valued intersection form of \(W_P\), which can in turn be represented by
because the basis \({\mathcal {S}}\) descends to a basis for \(H_2(W_P;\mathbb Q) \cong H_2(W_P;\Lambda ) \otimes _{\Lambda } \mathbb Q\), where this isomorphism follows from the UCSS for homology. Since \(\ker (\mathbb Q^r \rightarrow \mathbb Q) \cong \mathbb Q^{r-1}\), it follows by exactness that A(1) is nonsingular over \(\mathbb Q\) and so \(\det (A(1)) \ne 0\).
Finally, it was shown in [20, Proof of Lemma 5.4] that the signature of the intersection form of \(W_P\) is zero for links whose pairwise linking numbers are all zero. The proof there was for a pushed in Seifert surface, but the part that computes the ordinary signature works for any \(\mathbb Z\)-surface. \(\square \)
Lemma 4.16 below completes the proof of Theorem 1.2 (1) \(\Rightarrow \) (2), which was the last remaining implication we needed to prove. It uses the following result.
Theorem 4.15
Let L be a boundary link. The intersection form of a compact, connected, oriented 4-manifold W with \(\partial W \cong M_L\), and the inclusion induced map \(\phi :\pi _1(\partial W)\rightarrow \pi _1(W) \cong \mathbb Z\) onto, presents the Blanchfield form on the torsion part \(TH_1(M_L;\Lambda _S)\), where the \(\Lambda \) coefficients are determined by \(\phi \).
Proof
Most proofs of variants of this, such as in [2], assume that \(H_1(\partial W;\Lambda )\) is \(\Lambda \)-torsion. However Conway [6] works with link exteriors, and shows how to compute the Blanchfield pairing on \(H_1(X_L;\Lambda _S)\) in terms of a totally connected C-complex, by computing the intersection pairing of the complement W of the C-complex pushed in to \(D^4\), and relating the homology of \(\partial W\) to the homology of \(X_L\). But we have \(H_1(X_L;\Lambda _S) \cong H_1(M_L;\Lambda _S)\) by Lemma 3.5. In the proof, the only property that Conway uses of the complement W of the totally connected C-complex is that \(H_1(W;\Lambda )=0\), and \(\pi _1(\partial W)\rightarrow \pi _1(W) \cong \mathbb Z\) is onto. So in fact his proof also proves the statement we want, for a more general 4-manifold with boundary \(M_L\). \(\square \)
Lemma 4.16
The rank of \(H_1(M_L;\Lambda )\) is \(r-1\), and the Blanchfield form on \(TH_1(M_L;\Lambda )\) is presented by the Hermitian matrix A(t), which is of size 2g and has \(\sigma (A(1))=0\).
Proof
By Lemmas 4.14 and 3.1, we deduce that \(H_1(M_L;\Lambda ) \cong \Lambda ^{r-1} \oplus TH_1(M_L;\Lambda )\), where \(TH_1(M_L;\Lambda )\) satisfies \({{\,\mathrm{ord}\,}}TH_1(M_L;\Lambda )(1) = \pm 1\) and is presented by A(t), where
represents the intersection form over \(\Lambda \) of the compact, oriented 4-manifold \(W_P\), whose boundary is \(M_L\) and with \(\pi _1(W_P) \cong \mathbb Z\) and \(\pi _1(M_L) \rightarrow \pi _1(W_P)\) onto. It therefore follows from Theorem 4.15 that A(t), which is of size 2g, presents the Blanchfield form on \(TH_1(M_L;\Lambda _S)\). By Lemma 3.5, \(TH_1(M_L;\Lambda ) \cong TH_1(X_L;\Lambda )\), and by Lemma 3.4 we know that \({{\,\mathrm{ord}\,}}TH_1(X_L;\Lambda )(1) = \pm 1\). Therefore \({{\,\mathrm{ord}\,}}TH_1(M_L;\Lambda )(1) = \pm 1\). As in the proof of Theorem 3.6, this implies that multiplication by \(t-1\) induces an isomorphism on \(TH_1(M_L;\Lambda )\), so in fact A(t) computes the Blanchfield form over \(\Lambda \) as well. \(\square \)
5 Applications
In this section we prove the applications stated in the introduction. First we recall the notion of the algebraic genus of a knot, and present a corollary to Theorem 1.2 about it.
The algebraic genus of a knot K, denoted by \({g_\mathrm{{alg}}}(K)\), is defined by
It was proven in [9, Corollary 1.5] that \(g_\mathbb Z(K) = {g_\mathrm{{alg}}}(K),\) and moreover [9, Theorem 1.1] that \({g_\mathrm{{alg}}}(K)\) is equal to the minimal g for which the Blanchfield pairing of K can be presented by a size 2g Hermitian matrix A(t) over \(\Lambda \) with the signature of A(1) zero. Using the above terminology, we can prove Corollary 1.9. We restate the corollary.
Corollary 5.1
Let L be an r-component boundary link and let \(K_L\), \(K_L'\) be knots, both of which are obtained by performing \(r-1\) internal band sums on L. Furthermore, suppose that internal bands for \(K_L\) are performed disjoint from some collection of disjoint Seifert surfaces for L. Then
Proof
As in the proof of Theorem 1.2 (3) \(\Rightarrow \) (1), if \(K_L'\) bounds a \(\mathbb Z\)-surface \(\Sigma \) of genus g, then L also bounds a \(\mathbb Z\)-surface of genus g obtained by gluing the genus 0 cobordism from L to \(K_L'\) with \(\Sigma \). Hence \(g_\mathbb Z(L) \le g_\mathbb Z(K_L')\) and similarly \(g_\mathbb Z(L) \le g_\mathbb Z(K_L)\).
By Theorem 1.2, if L bounds a \(\mathbb Z\)-surface of genus g, then the torsion part of the Blanchfield form of \(M_L\) is presented by a size 2g Hermitian square matrix A(t) over \(\Lambda \) with the signature of A(1) zero. Moreover, by Theorem 3.6, A(t) also presents the Alexander module of \(K_L\). This implies that \(g_\mathbb Z(K_L) \le g_\mathbb Z(L)\) and concludes the proof. \(\square \)
5.1 Shake genus and generalised cabling
We start with a reformulation of the \(\mathbb Z\)-shake genus of a knot K, denoted by \({g_\mathbb Z^\mathrm{{sh}}}(K)\). Recall that the \(\mathbb Z\)-shake genus of a knot K is the minimal genus of a surface \(\Sigma \) representing a generator of \(H_2(X_0(K);\mathbb Z)\) with \(\pi _1(X_0(K) \setminus \Sigma ) \cong \mathbb Z\), generated by a meridian of \(\Sigma \). Also recall that \(P_{p,n}(K)\) denotes the generalisation of a cable link obtained by \(p+n\) parallel copies of K with pairwise vanishing linking numbers, where p-components have the same orientation as K and the remaining n-components have the opposite orientation.
Lemma 5.2
The \(\mathbb Z\)-shake genus of K satisfies
Proof
First we show that \({g_\mathbb Z^\mathrm{{sh}}}(K) \ge \min \left\{ g_\mathbb Z(P_{\ell +1,\ell }(K)) \mid \ell \in {\mathbb {N}}_0\right\} \). Let S be a locally flat surface of genus g in the 0-trace, denoted by \(X_0(K)\), representing a generator of \(H_2(X_0(K);\mathbb Z) \cong \mathbb Z\), such that \(\pi _1(X_0(K)\setminus \nu S)\cong \mathbb Z\). To prove this we construct a 4-manifold W with \(\partial W=M_{P_{k+1,k}(K)}\) for some k, using the same construction as in Sect. 4. Moreover W will satisfy that \(\pi _1(W) \cong \mathbb Z\) and \(H_2(W;\Lambda ) \cong \Lambda ^{2g + 2k}\). The proof of Theorem 4.3 will imply that there is a size 2g Hermitian square matrix A(t) over \(\Lambda \) such that A(1) has signature 0 and such that A(t) presents the Blanchfield form of \(M_{P_{k+1,k}(K)}\) on \(TH_1(M_{P_{k+1,k}(K)};\Lambda )\). It will then follow that
To achieve this, make S transverse to the cocore of the 2-handle, and remove a neighbourhood N of the cocore. This yields a 4-manifold homeomorphic to \(D^4\) with the link \(P_{k+1,k}(K) = \partial N\cap S\) in \(\partial D^4 = S^3\), for some k, extending to a locally flat genus g surface in \(D^4\). Since we removed a disjoint union of discs \(N\cap S\), the result is a connected genus g surface P.
Apply the Seifert-Van Kampen theorem to the union
where the union is over the complement in \(S^1 \times D^2\) of \(2k +1\) parallel copies of the core \(S^1 \times \{0\}\). This yields a push out
where \(F_{2k +1}\) is the free group on \(2k+1\) generators. The \(\mathbb Z\) in the top left corner is generated by a zero-framed longitude of K, while the \(\mathbb Z\) in the bottom right corner is generated by a meridian of P. Hence we have that \(\pi _1(D^4 \setminus \nu P) / \langle \langle \lambda \rangle \rangle \cong \mathbb Z\), where \(\lambda \) represents a longitude of K. Since \(\lambda \) lies in the second derived subgroup, it follows that the commutator subgroup, or first derived subgroup, equals the second derived subgroup, and is therefore perfect.
Let G be a handlebody with \(\partial G = P \cup _{\partial P} \bigcup _{i=1}^{2k+1} D^2\), a closed surface of genus g, and then define
as in Sect. 4. As before, choose the framing of the normal bundle of P so that every simple closed curve on \(P \times \{{{\,\mathrm{pt}\,}}\} \subset P \times S^1\) lies in the commutator subgroup of \(\pi _1(D^4 \setminus \nu P)\). Since gluing on \(G \times S^1\) kills the longitude of each component of \(P_{k+1,k}(K)\), it follows that
where \(\lambda \) represents the longitude of K as above, and \(\gamma _1,\dots ,\gamma _k \subseteq P \times \{{{\,\mathrm{pt}\,}}\}\) are push offs to the normal circle bundle of curves on P that generate \(\ker (H_1(\partial G;\mathbb Z) \rightarrow H_1(G;\mathbb Z))\). Since we know that \(\pi _1(D^4 \setminus \nu P) / \langle \langle \lambda \rangle \rangle \cong \mathbb Z\), and the \(\gamma _i\) lie in the commutator subgroup of \(\pi _1(D^4 \setminus \nu P)\), we deduce that \(\pi _1(W) \cong \mathbb Z\).
In the proof of Theorem 4.3, as noted in Remark 4.5, it was sufficient to assume that \(\pi _1(D^4 \setminus \nu P)\) is of the form \(\mathbb Z < imes \Gamma \), where the commutator subgroup \(\Gamma \) is perfect, and that \(\pi _1(W_P) \cong \mathbb Z\). The proof of Theorem 4.3 then implies that there is a size 2g Hermitian square matrix A(t) over \(\Lambda \) of the required form as in Theorem 1.2 (2). Thence Theorem 1.2 implies that \(g_\mathbb Z(P_{k+1,k}(K)) \le g\), as required.
For the other inequality, cap off a \(\mathbb Z\)-surface for \(P_{\ell +1,\ell }(K)\) with \(2\ell +1\) appropriately oriented parallel copies of the core of the 2-handle of \(X_0(K)\), to construct a \(\mathbb Z\)-shake surface of genus g in \(X_0(K)\). \(\square \)
As a tangent, and to point to a subtlety which necessitates the above proof, we ask the following questions. Does there exist a locally flat surface P in \(D^4\), with boundary \(P_{\ell +1,\ell }(K) \subseteq S^3\) for some \(K,\ell \), such that \(\pi _1(D^4\setminus \nu P)/\langle \langle \lambda \rangle \rangle \cong \mathbb Z\), where \(\lambda \) represents a longitude of K, but for which \(\pi _1(D^4\setminus \nu P)\) is not cyclic? A negative answer to this question would imply that every surface whose complement has cyclic fundamental group, representing a generator of \(H_2(X_0(K);\mathbb Z)\), is isotopic to the union of parallel copies of the core of the 2-handle and a \(\mathbb Z\)-surface in \(D^4\).
Using Corollary 5.1, we prove Theorem 1.5 and Corollary 1.6. We prove them together, since the proofs are similar. We recall the statements.
Corollary 5.3
-
(i)
For every knot K, the \(\mathbb Z\)-genus of K equals the \(\mathbb Z\)-shake genus of K.
-
(ii)
Let p and n be integers and let \(w=p-n\). If \(w=0\), then \(P_{p,n}(K)\) is \(\mathbb Z\)-weakly slice, and otherwise
$$\begin{aligned} g_\mathbb Z(P_{p,n}(K))=g_\mathbb Z(K_{w,1})=g_\mathbb Z(K_{w,-1}) \le g_\mathbb Z(K). \end{aligned}$$
Proof
We prove (ii) first. Note that \(P_{p,n}(K)\) is a \((p+n)\)-component boundary link, and \((p+n)\) disjointly embedded Seifert surfaces are obtained by taking parallel copies of a Seifert surface for K with appropriate orientations. Let \(w=p-n\). Perform \(w-1=p+n-1\) internal band sums on L to obtain the unknot if \(w=0\), and the knot \(K_{w,1}\) if \(w \ne 0\) (see Fig. 2). Similarly, we can also construct \(K_{w,-1}\) by performing \(w=p+n-1\) internal band sums on L. It follows that \(P_{p,n}(K)\) is \(\mathbb Z\)-weakly slice if \(w=0\). For \(w \ne 0\), by Corollary 5.1, in particular the equality \(g_\mathbb Z(L) = g_{\mathbb Z}(K)\), where the knot K is obtained from the r-component link K by \(r-1\) internal band sums away from a collection of disjoint Seifert surfaces for L, we conclude that \(g_\mathbb Z(P_{p,n}(K))=g_\mathbb Z(K_{w,1})=g_\mathbb Z(K_{w,-1})\). The fact that \(g_\mathbb Z(K_{w,1}) \le g_\mathbb Z(K)\) follows from [11, Theorem1.2] and [18, Theorem4]. This completes the proof of Corollary 1.6.
Now we prove (i), which is Theorem 1.5. By Lemma 5.2 and (ii), we have
This completes the proof of Theorem 1.5. \(\square \)
5.2 Good boundary links
Next we prove Corollary 1.7, whose statement we recall.
Corollary 5.4
Every good boundary link is \(\mathbb Z\)-weakly slice.
Proof
By Corollary 1.3, every boundary link L with \(TH_1(M_L;\Lambda )=0\) is \(\mathbb Z\)-weakly slice. Let L be an r-component good boundary link and let F be the free group on r generators. Since L is a boundary link, there is a surjective homomorphism \(\pi _1(X_L) \rightarrow F\) sending oriented meridians to generators and 0-framed longitudes to the identity. This extends to a surjective homomorphism \(\pi _1(M_L) \rightarrow F\), which then induces a left \(\mathbb Z[\pi _1(M_L)]\)-module structure on \(\mathbb ZF\) that we use to define the twisted homology groups \(H_*(M_L;\mathbb ZF)\). By definition of a good boundary link, \(\ker (\pi _1(M_L) \rightarrow F)\) is perfect, i.e. equals its own commutator subgroup. Then \(H_1(M_L;\mathbb ZF)\) is the abelianisation of \(\ker (\pi _1(M_L) \rightarrow F)\), and so \(H_1(M_L;\mathbb ZF) = 0\). We apply the universal coefficient spectral sequence [23, Theorem 10.90] with \(E_2\) page \({{\,\mathrm{Tor}\,}}_p^{\mathbb ZF}(H_q(M_L;\mathbb ZF),\Lambda )\), computing \(H_{p+q}(M_L;\Lambda )\). Since
we have:
Since \(\Lambda ^{r-1}\) is free, \(TH_1(M_L;\Lambda )=0\), so L is \(\mathbb Z\)-weakly slice by Corollary 1.3. \(\square \)
5.3 Whitehead doubles
Finally we prove Corollary 1.8. Here is the statement.
Corollary 5.5
If \(L=L_1 \cup L_2\) is a 2-component link, then
Moreover, if \(L=L_1 \cup L_2 \cup L_3\) is a 3-component link, then \({{\,\mathrm{Wh}\,}}(L)\) is \(\mathbb Z\)-weakly slice if and only if either (i) L has vanishing linking numbers, or (ii) for some i, j, k with \(\{i,j,k\}=\{1,2,3\}\):
-
(a)
the signs of the clasps of \({{\,\mathrm{Wh}\,}}(L_i)\) and \({{\,\mathrm{Wh}\,}}(L_j)\) disagree,
-
(b)
\({{\,\mathrm{lk}\,}}(L_i,L_j)=0\), and
-
(c)
\(|{{\,\mathrm{lk}\,}}(L_i,L_k)|=|{{\,\mathrm{lk}\,}}(L_j,L_k)|.\)
Proof
Suppose \(L=L_1 \cup L_2\) is a 2-component links with \({{\,\mathrm{lk}\,}}(L_1,L_2)=n\). Let \(F_1, F_2\) be the standard disjoint genus 1 Seifert surfaces for \({{\,\mathrm{Wh}\,}}(L)\). Then by performing an internal band sum, where the band does not intersect \(F_1\) and \(F_2\), we get a knot K with a genus two Seifert surface and Seifert matrix
where \(a_1, a_2 \in \{1, -1\}\). By Corollary 5.1, we have \(g_\mathbb Z({{\,\mathrm{Wh}\,}}(L)) = {g_\mathrm{{alg}}}(K).\) The computation
where \(c_0=-n^2a_1 a_2, c_1= 4n^2a_1 a_2,\) and \(c_2=a_1^2 a_2^2 - 6n^2 a_1 a_2\) implies that \(g_\mathbb Z({{\,\mathrm{Wh}\,}}(L))=0\) if and only if \(n=0\). Moreover, note that there is a \(2\times 2\) submatrix
Hence, if \(n\ne 0\), then \(g_\mathbb Z({{\,\mathrm{Wh}\,}}(L))=1\).
Now, suppose \(L=L_1 \cup L_2 \cup L_3\) is a 3-component links with \({{\,\mathrm{lk}\,}}(L_1,L_2)=n_3, {{\,\mathrm{lk}\,}}(L_1,L_3)=n_2\), and \({{\,\mathrm{lk}\,}}(L_1,L_3)=n_1\). Again, performing two internal band sums, where the bands do not intersect the standard disjoint Seifert surfaces, we obtain a knot K with a genus three Seifert surface and a Seifert matrix
where \(a_1, a_2, a_3 \in \{1, -1\}\). Again, we have \(g_\mathbb Z({{\,\mathrm{Wh}\,}}(L)) = {g_\mathrm{{alg}}}(K)\).
A straightforward computation yields that
where
Note that \(g_\mathbb Z({{\,\mathrm{Wh}\,}}(L))={g_\mathrm{{alg}}}(K)=0\) if and only if \(\det (tM-M^T)=t^3\), and that this implies either \(n_1=n_2=n_3=0\) or
Furthermore, it can be easily verified that the above assumptions imply that \(\det (tM-M^T)=t^3\). This completes the proof of Corollary 1.8. \(\square \)
References
Borodzik, Maciej, Friedl, Stefan: On the algebraic unknotting number. Trans. Lond. Math. Soc. 1(1), 57–84 (2014)
Borodzik, Maciej, Friedl, S.: The unknotting number and classical invariants. I. Algebr. Geom. Topol. 15(1), 85–135 (2015)
Borodzik, Maciej, Friedl, S., Powell, M.: Blanchfield forms and Gordian distance. J. Math. Soc. Jpn. 68(3), 1047–1080 (2016)
Blanchfield, Richard C..: Intersection theory of manifolds with operators with applications to knot theory. Ann. Math. 2(65), 340–356 (1957)
Cha, Jae Choon, Hoon Kim, M., Powell, Mark: A family of freely slice good boundary links. Mathematische Annalen 376(3), 1009–1030 (2020)
Conway, Anthony: An explicit computation of the Blanchfield pairing for arbitrary links. Canad. J. Math. 70, 983–1007 (2018)
Feller, Peter: The degree of the Alexander polynomial is an upper bound for the topological slice genus. Geom. Topol. 20(3), 1763–1771 (2016)
Feller, P., Lewark, L.: On classical upper bounds for slice genera. Selecta Math. (N.S.) 24(5), 4885–4916 (2018)
Feller, P., Lewark, L.: Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space arXiv:1905.08305, (2019)
Peter Feller, Allison N. Miller, Matthias Nagel, Patrick Orson, Mark Powell, and Arunima: Embedding spheres in knot traces. Compos. Math. 157(10), 2242–2279 (2021)
Peter Feller, Allison N. Miller, and Juanita Pinzon-Caicedo: A note on the topological slice genus of satellite knots arXiv:2004.04204, to appear: Algebr. Geom. Topol. (2019)
Michael H. Freedman and Frank Quinn: Topology of 4-manifolds. Princeton Mathematical Series, vol 39. Princeton University Press, Princeton, NJ (1990)
Freedman, Michael H.: Link compositions and the topological slice problem. Topology 32(1), 145–156 (1993)
Michael H. Freedman and Peter Teichner: \(4\)-manifold topology. II. Dwyer’s filtration and surgery kernels. Invent. Math. 122(3), 531–557 (1995)
Jonathan Hillman: Algebraic invariants of links, vol 52 of Series on Knots and Everything. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, second edition, (2012)
Jerome P. Levine: Knot modules. Trans. Amer. Math. Soc. 229, 1–50 (1977)
Raymond Lickorish, W. B.: An introduction to knot theory, Graduate Texts in Mathematics. Springer, New York, (1997)
Duncan McCoy: Null-homologous twisting and the algebraic genus. In 2019–20 MATRIX annals, volume 4 of MATRIX Book Ser., pages 147–165. Springer, Cham, [2021] (2021)
Katura Miyazaki: Band-sums are ribbon concordant to the connected sum. Proc. Amer. Math. Soc. 126(11), 3401–3406 (1998)
Matthias Nagel and Mark Powell: Concordance invariance of Levine-Tristram signatures of links. Doc. Math. 22, 25–43 (2017)
Lisa Piccirillo: Shake genus and slice genus. Geom. Topol. 23(5), 2665–2684 (2019)
Mark Powell: Twisted Blanchfield pairings and symmetric chain complexes. Q. J. Math. 67(4), 715–742 (2016)
Joseph, J.: Rotman, 2nd edn. An introduction to homological algebra. Universitext. Springer, New York (2009)
Lee Rudolph: Some topologically locally-flat surfaces in the complex projective plane. Comment. Math. Helv. 59(4), 592–599 (1984)
Acknowledgements
We thank Christopher Davis, Lukas Lewark, Duncan McCoy, Matthias Nagel, and Arunima Ray for helpful conversations and a couple of timely suggestions. MP thanks the MPIM in Bonn, where he was a visitor during the period in which this paper was written. PF gratefully acknowledges support by the SNSF Grant 181199. MP was partially supported by EPSRC New Investigator grant EP/T028335/1 and EPSRC New Horizons grant EP/V04821X/1.
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
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
Feller, P., Park, J. & Powell, M. The \(\mathbb Z\)-genus of boundary links. Rev Mat Complut 36, 1–25 (2023). https://doi.org/10.1007/s13163-022-00424-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13163-022-00424-3