Whitney towers and abelian invariants of knots
 86 Downloads
Abstract
We relate certain abelian invariants of a knot, namely the Alexander polynomial, the Blanchfield form, and the Arf invariant, to intersection data of a Whitney tower in the 4ball bounded by the knot. We also give a new 3dimensional algorithm for computing these invariants.
Keywords
Whitney towers Alexander polynomial Arf invariant Blanchfield formMathematics Subject Classification
57M25 57M27 57N13 57N701 Introduction
We show that intersection data in Whitney towers determines abelian invariants of knots, particularly the Blanchfield form, the Alexander polynomial, and the Arf invariant.
Briefly speaking, a Whitney tower traces an iterated attempt to alter an immersed disc in a 4manifold to an embedded disc by Whitney moves. Whitney towers naturally approximate an embedded disc. In particular, since the work of Cochran et al. [5], Whitney towers in 4space have been commonly used to measure the degree to which a knot fails to be slice.
Our main result algorithmically computes the Blanchfield form and the Alexander polynomial of a knot using intersection data from an order two twisted Whitney tower in the 4disc bounded by the knot. This relates two incarnations of the Arf invariant of a knot using a 4dimensional argument—one characterizing the Arf invariant in terms of Whitney towers, the other in terms of the Alexander polynomial.
1.1 Intersection data from order two towers and abelian invariants
The Seifert pairing provides a wellknown method to compute a presentation for the Alexander module of a knot [23]. As a bonus, one easily computes the Alexander polynomial and the Arf invariant. The Seifert pairing also gives rise to a formula for the Blanchfield form of the knot [12, 15]. See also [10].
This paper takes a different approach, replacing the Seifert surface with a Whitney tower in the 4disc. This approach promises many advantages, among these that higher order Whitney towers may present modules corresponding to nilpotent and solvable covers of the knot.
Every knot \(K \subset S^3\) bounds an order two Whitney tower in \(D^4\), as we demonstrate in Sect. 2. Recall that this means K is the boundary of an immersed (order 0) disc, \(D_0 \looparrowright D^4\), with \(d=2k\) selfintersections occurring in oppositely signed pairs. Immersed Whitney discs (of order 1), \(D^1_1 \cup \cdots \cup D^k_1\), arise from each of k cancelling pairs of intersection points. Furthermore, (order two) discs pair order one intersections, which are intersections between order 0 and order 1 discs. That is, an order two Whitney tower is built from immersed Whitney discs which pair all intersections of order less than 2 in the tower.
 (i)
\(\pi _1(D^4 {\setminus }\nu D_0) \cong {\mathbb {Z}}\);
 (ii)
\(D_0 \cap {{\,\mathrm{int}\,}}D_1^j = \emptyset \) for each j; that is, the tower has no order 1 intersections and thus has no order 2 discs.
 (iii)
For each disc, \(D_1^j\), we can choose one of the two associated double points. This double point comes with an immersed disc \(A^j_1\) in \(D^4 {\setminus }\nu D_0\) bounded by a loop leaving the double point along one sheet of the intersection and returning to the double point along the other sheet; \(A^j_i\) is called an accessory disc.
Definition 1.1
An order two Whitney tower equipped with accessory discs, namely \(D_0\cup \big (\bigcup _j D_1^j\big ) \cup \big (\bigcup _j A_1^j\big )\), is an order two presentation tower for K if the conditions above are satisfied.
We will view such a tower as a geometric analogue of a presentation matrix for the Alexander module, one which packages the abelian invariants we study.
Now we describe such a presentation matrix, arising from the intersection data of the discs in a presentation tower. Define \(W:= D^4 {\setminus }\nu D_0\) to be the exterior of the order zero disc. The intersection pairing of transverse 2chains in W takes values in the group ring \({\mathbb {Z}}[\pi _1(W)] = {\mathbb {Z}}[{\mathbb {Z}}] \cong {\mathbb {Z}}[t,t^{1}]\). Let \(e_{2i1}=D_1^i\) and \(e_{2i}=A_1^i\). Let \(\Lambda =(\lambda _{ij})\) be the \(d\times d\) matrix over \({\mathbb {Z}}[t,t^{1}]\) whose (i, j)entry, \(\lambda _{ij}\), is the \({\mathbb {Z}}[t,t^{1}]\)valued intersection of \(e_i\) and \(e_j\). To define the diagonal entry \(\lambda _{ii}\), which is the intersection of \(e_i\) and a pushoff of \(e_i\), we need a section of the normal bundle of the (Whitney or accessory) disc, along which the pushoff is taken. For this purpose we use an extension of the Whitney framing and accessory framing of the boundary of the disc. A detailed description is given in Sects. 3 and 4.3. For now we remark that the twisting information of the order one Whitney discs and accessory discs is reflected in these diagonal matrix entries.
Theorem 1.2
The matrix \(\Omega \) is a presentation matrix for a linking form Witt equivalent to the Blanchfield form of K. The determinant of \(\Omega \) equals the Alexander polynomial of K, \(\Delta _K(t)\), up to norms and units.
A variation on the above theorem arises by replacing the Whitney discs with additional accessory discs in the following way. Recall that the Whitney disc \(e_{2i1} = D_1^i\) joins two selfintersection points of \(D_0\), say \(p_i\) and \(q_i\), and the corresponding accessory disc \(e_{2i}=A_1^i\) is based at one of these, say \(p_i\). Let \(e_{2i1}\) be an accessory disc for the other intersection point \(q_i\). Replace an arbitrary subcollection of the Whitney discs by accessory discs as above. We obtain an intersection matrix via the same prescription given above and the conclusions of Theorem 1.2 still hold. In particular, Theorem 1.2 holds even when all the order one discs are accessory discs. More precisely, let \(e_i\) be an accessory disc for the ith double point of \(D_0\), \(i=1,\ldots ,d\). Let \(\Lambda =(\lambda _{ij})\) where \(\Lambda _{ij}\) is the \({\mathbb {Z}}[{\mathbb {Z}}]\)intersection number of \(e_i\) and \(e_j\). Let E be the \(d \times d\) diagonal matrix whose ith diagonal entry is the sign of the ith double point. Define \(\Psi = z\Lambda +E\).
Theorem 1.3
The matrix \(\Psi \) is a presentation matrix for a linking form Witt equivalent to the Blanchfield form of K. The determinant of \(\Psi \) equals \(\Delta _K(t)\), the Alexander polynomial of K, up to norms and units.
1.1.1 An algorithm to compute abelian invariants
Here is a special case of the type of tower used to determine the matrix \(\Psi \) in Theorem 1.3. Construct an immersed disc bounded by a knot K as follows. Start with a collection of crossings on a planar diagram of K such that changing these crossings gives the trivial knot. The associated homotopy traces out a level preserving immersed annulus in \(S^1 \times I \hookrightarrow S^3\times I\) bounded by \(K=K\times \{0\}\subset S^3\times \{0\}\), and a trivial knot in \(S^3\times \{1\}\), whose intersections correspond to the crossing changes. Cap off \(S^3 \times I\) by gluing a copy of \(D^4\) to \(S^3 \times \{1\}\) and cap off the annulus along its unknotted boundary component to obtain an immersed disc \(D_0\) in \(D^4\), which K bounds. Choose an accessory disc for each selfintersection of \(D_0\). Define \(\Psi \) as in Theorem 1.3.
The next result enables us, in this special case, to compute abelian invariants from the intersection data of the immersed tower without the indeterminacy from Witt equivalence and norms.
Theorem 1.4
The matrix \(\Psi \) is a presentation matrix for the Blanchfield form of K. In particular, the determinant of \(\Psi \) equals \(\Delta _K(t)\) up multiplication by a unit \(\pm t^k\).
In addition, we show that for a special choice of accessory discs, the computation of the intersection data (and consequently of the abelian invariants) is algorithmic from a knot diagram, providing a new 3dimensional procedure to compute the Alexander polynomial and the Blanchfield form of a knot. We describe the algorithm in Sect. 7.2, and we work through a detailed example in Sect. 7.3.
1.2 Whitney towers and the Arf invariant
Recall that we used the Whitney framing to compute the \({\mathbb {Z}}[t,t^{1}]\)valued intersection number of an order one Whitney disc \(D_1^i\) with itself. In general, an extension of the Whitney framing to \(D_1^i\) may have zeros; the Whitney framing extends to a nonvanishing section on \(D_1^i\) if and only if it agrees with the unique framing of the normal bundle of \(D_1^i\). Following common convention, we call such a Whitney disc framed. A Whitney tower is framed if all the Whitney discs in the tower are framed.
The generic number of zeroes, counted with sign, of an extension of the Whitney framing to the normal bundle of the Whitney disc is called the twisting coefficient. If a given Whitney disc is not framed, by interior twisting we can alter the twisting coefficient by any multiple of 2, and whence if the twisting coefficient were even, we could arrange that the Whitney disc be framed. This motivates the following definition.
Definition 1.5
A Whitney disc is essentially twisted if its twisting coefficient is odd.
We recall the definition of the Arf invariant of a knot, in terms of a Seifert matrix, in Definition 8.2. The following theorem follows from work of Matsumoto, Kirby, Freedman and Quinn [8, 17, 9, Section 10.8]. See also [7, Lemma 10].
Theorem 1.6
(Freedman, Kirby, Matsumoto, Quinn) The Arf invariant \({{\,\mathrm{Arf}\,}}(K)\) vanishes if and only if K is the boundary of framed Whitney tower of order two in \(D^4\).
In fact, Schneiderman [21] also showed that the Arf invariant is the only obstruction for a knot to bound a framed (asymmetric) Whitney tower of any given order: a knot which bounds a framed order two Whitney tower in \(D^4\) bounds a framed order n Whitney tower for all n.
Levine showed that the Arf invariant of a knot, defined in terms of the Seifert form (recalled in Definition 8.2), can be computed in terms of the Alexander polynomial \(\Delta _K(t)\) [14, Sections 3.4 and 3.5]. He used the fact that the Alexander polynomial can be computed as \(\det (tVV^T)\), where V is a Seifert matrix for K.
Theorem 1.7
The absolute value of the Alexander polynomial evaluated at \(1\) is also the order of the homology of the twofold branched cover of K, which is a \({\mathbb {Z}}_{(2)}\)homology circle. In particular, \(\Delta _{K}(1)\) is always an odd number. The Arf invariant measures, up to a unit, whether \(\Delta _K(1)\) is a square modulo 8.
By combining the two previous theorems, the following is known.
Theorem 1.8
(Freedman, Kirby, Levine, Matsumoto, Quinn) A knot K bounds a framed Whitey tower of order two if and only if \(\Delta _K(1) \equiv \pm 1 \mod 8\).
However the only previously known proof of this result (to the authors) proceeds by passing via the Seifert form definition of the Arf invariant. We give a new, direct, 4dimensional proof that the Whitney tower and Alexander polynomial interpretations of the Arf invariant are equivalent. More precisely, we show the following.
Theorem 1.9
If an order 2 Whitney tower has an even number of essentially twisted Whitney discs, then it can be modified by geometric moves to a framed order 2 tower. This follows easily from [6, Theorem 2.15]; for the convenience of the reader we sketch the procedure in Lemma 2.4. However note that we do not need this step: the Alexander polynomial conclusion can be drawn if we have an order two Whitney tower with an even number of essentially twisted discs.
1.2.1 Motivation
In future work, we hope to describe all nilpotent invariants of links (roughly, invariants carried by duality and the homology of a nilpotent cover) from the intersection theory of an asymmetric Whitney tower for the link.
Of particular interest are the postulated “higher order Arf invariants” of Conant et al. [6, 7]. They ask whether a link bounds an asymmetric framed Whitney tower in the 4ball, and define an obstruction theory involving an algebra of labelled unitrivalent trees. They show that Milnor’s link invariants and the Arf invariant are obstructions to building towers. Additional nontrivial trees in their algebra do not correspond to any known invariants, and may obstruct higher order framed Whitney towers for certain links. The main examples of these links are iterated Bing doubles of knots with nonvanishing Arf invariant. Conant, Schneiderman and Teichner call these invariants the higher order Arf invariants, and these invariants live either in \({\mathbb {Z}}_2\) or 0. If the higher order Arf invariants were trivial, one would need to add new relations to the tree algebra. We recommend [6, 7] for further reading. It is with this problem in mind that we put such emphasis on giving a new proof of the longknown relationship between Whitney towers and the Arf invariant.
1.3 Organisation of the paper
Section 2 constructs a presentation tower for the knot, that is an order two immersed Whitney tower with the special attributes described in Definition 1.1. Section 3 gives the statement of our main technical theorems, Theorems 3.1 and 3.2, on the structure of the intersection form of the exterior W of an immersed disc \(D_0 \looparrowright D^4\), and the relation of this intersection form to the combinatorics of Whitney and accessory disc intersections. Section 4 is devoted to the proof of the technical theorems. Section 4.1 shows that \(\pi _2(W)\) is a free module. Section 4.2 constructs the spheres we use to compute the intersection form. Section 4.3 gives the precise definitions of Whitney and accessory framings. Sections 4.4 through 4.9 compute the intersections of the spheres, proving Theorems 3.1 and 3.2. Section 5 computes the homology of \(\partial W\). Section 6 collates the results of the previous two sections, proving Theorems 1.2, 1.3 and 1.4, apart from the Blanchfield form assertions. Section 7 gives some example computations. Section 8 recalls, for completeness, the usual definition of the Arf invariant in terms of the Seifert form. Section 9 proves Theorem 1.9 relating the Alexander polynomial at \(1\) to the modulo two count of the number of twisted Whitney discs. Section 10 considers the Blanchfield form and completes the proof of Theorems 1.3 and 1.2.
2 Construction of an order two presentation tower for a knot
We begin with a properly immersed disc \(D'_0\) in \(D^4\) with boundary a knot \(K \subset S^3\) which has an algebraically vanishing count of selfintersection points. This can always be arranged by adding local cusp singularities to \(D_0'\) [13, p. 72]. Such a disc induces the zero framing on its boundary K. In the next two subsections, we will show how to find a new immersed disc \(D_0\), regularly homotopic to \(D'_0\), the complement of which has infinite cyclic fundamental group. We will then show how to find order one Whitney discs \(D_1^1,\ldots ,D_1^k\), that are potentially twisted, in the exterior of \(D_0\). Here \(D_0\) has \(d=2k\) double points. In our results relating knot invariants to Whitney towers, we will use intersection data from the order one Whitney discs, together with data from additional discs called accessory discs. This will construct an order two presentation tower for K, as promised.
For a double point p of \(D_0\), a double point loop is a loop on \(D_0\) that leaves p along one sheet and returns along the other, avoiding all other intersection points. An accessory disc (see [9, Section 3.1]) is a disc in \(D^4 {\setminus }\nu D_0\) whose boundary is a pushoff of a double point loop to the boundary \(\partial _+ := \partial ({{\,\mathrm{cl}\,}}(\nu D_0)) {\setminus }\nu K\) of a neighbourhood of \(D_0\). By a judicious choice, the pushoff can be arranged to be trivial in \(\pi _1(D^4 {\setminus }\nu D_0) \cong {\mathbb {Z}}\). It therefore bounds an accessory disc in \(D^4 {\setminus }\nu D_0\). (See Lemma 2.2 below.)
For each Whitney disc \(D_1^i\), pick one of the two intersections paired by \(D_1^i\), and produce an accessory disc \(A_1^i\) for this intersection as above.
2.1 Fixing the fundamental group
Lemma 2.1
A properly immersed disc \(D'_0\) in \(D^4\) with boundary a knot \(K \subset S^3\) is regularly homotopic to a disc \(D_0\) for which \(\pi _1(D^4 {\setminus }\nu D_0) \cong {\mathbb {Z}}\). Moreover, new double points support order 1 framed Whitney discs.
Proof
The idea is to use finger moves, as introduced by Casson [3]. A finger move kills a commutator of the form \([g,g^w]\), where g is a meridian of \(D'_0\), w is the curve the finger pushes along, and \(g^w\) means \(wgw^{1}\).
Apply finger moves to make any pair of meridional loops commute. Since meridional loops (finitely) generate the fundamental group, the fundamental group \(\pi _1(D^4{\setminus }\nu D_0)\) corresponding to the new immersed disc \(D_0\) is the abelianisation of \(\pi _1(D^4{\setminus }\nu D_0')\) which is \({\mathbb {Z}}\). \(\square \)
Define \(W:= D^4 {\setminus }\nu D_0\) to be the exterior of the immersed disc \(D_0\) produced by Lemma 2.1. A consequence of Lemma 2.1 is the existence of an accessory disc.
Lemma 2.2
Each double point of \(D_0\) has an accessory disc in W.
Proof
Choose a pushoff of a double point loop. By winding the pushoff around a meridian to \(D_0\) if necessary, arrange that the pushoff is nullhomotopic in W. Here we use that \(\pi _1(W) \cong {\mathbb {Z}}\). A nullhomotopy in general position gives us an accessory disc as required. Here we do not impose any framing condition on the accessory disc. \(\square \)
The same argument applies to the Whitney disc case, showing that any pair of double points with opposite sign admit a (potentially twisted) order one Whitney disc in W.
2.2 Arranging \(D_0 \cap D_1 = \emptyset \)
A Whitney tower of order one is a properly immersed disc \(D_0\) together with Whitney discs \(D_1 = D_1^1 \cup \cdots \cup D_1^k\) which pair up all the double points of \(D_0\). The Whitney discs are said to have order one (since they pair selfintersections of the order zero disc.) We impose nothing about the framing of the Whitney discs. We remark that we can indeed arrange each Whitney disc to be framed, by applying boundary twists, and in this case the tower is called a framed Whitney tower of order one.
In an order one Whitney tower, since a Whitney disc pairs double points of opposite signs, \(D_0\) automatically has vanishing algebraic self intersection. Conversely, when \(D_0\) is an immersed disc in \(D^4\) with algebraic selfintersection zero then, since \(D^4\) is simply connected, there exist Whitney discs which pair up all the double points.
Furthermore, for any given order one Whitney tower, we can modify the tower so that the interiors of the order one Whitney discs are disjoint from the order zero disc \(D_0\), as required in the definition of an order 2 presentation tower (Definition 1.1). For the convenience of the reader, we explain the procedure in the next lemma, which is well known to the experts.
This is a special case of a general result of Conant et al. c.f. [7, Proof of Lemma 10]. However, note that Conant et al. do not need to actually cancel intersection points geometrically; in their situation it is enough to pair them up with Whitney discs which admit higher order intersections only. For this reason we spell out the details in our special case. If one wishes to simply show the existence of an order two presentation tower, rather than promoting a given order one Whitney tower, one can choose Whitney discs in the exterior of \(D_0\), as in the remark just after the proof of Lemma 2.2.
Everything in 4manifold topology seems to comes at a price, and in this case we can arrange the desired disjointness \(D_0 \cap D_1 = \emptyset \) at the cost of allowing twisted Whitney discs.
Lemma 2.3
Let \(D_0 \cup D_1\) be an order one Whitney tower, where \(D_1=D_1^1 \cup \dots \cup D_1^n\). After performing boundary twists on \(D_1\), there is a regular homotopy of \(D_0\) to an immersed disc \(D_0'\) which supports an order 2 tower \(D_0' \cup D_1'\) where \(D_0' \cap {{\,\mathrm{int}\,}}D_1' = \emptyset \).
Proof
A boundary twist [9, Section 1.3] of an order one Whitney disc \(D_1^i\) adds an intersection point \(D_1^i \cap D_0\). Perform boundary twists until all such intersection points occur algebraically zero times. The \(D_1^i\) may now be twisted (essentially or otherwise). Pair up the intersection points in \(D_0 \cap D_1^i\) and find Whitney discs \(D_2\) for each pair. These always exist by simple connectivity of \(D^4\). However we may have that \(D_1 \cap D_2\) and \(D_0 \cap D_2\) are nonempty. Push the intersections \(D_1 \cap D_2\) off \(D_2\) over the \(D_1\) part of its boundary by a finger move. This creates new \(D_1 \cap D_1\) intersections but we do not mind. Push the intersections \(D_0 \cap D_2\) off the \(D_0\) part of the boundary. This creates new \(D_0 \cap D_0\) intersections. These have to be paired up with a new order 1 Whitney disc \(D_1^j\). This is always possible, since the new intersections came from a finger move (note that the new disc \(D_1^j\) is framed). One has to be careful that the new Whitney arcs for the new \(D_1^j\) do not intersect the Whitney arcs for \(D_2\). This can easily be arranged by pushing the boundary arc (see [20, Figures 6, 7 and 8]), but means that the new \(D_1^j\) intersects the old \(D_1^i\) (the order one disc whose intersections with \(D_0\) are being paired up by \(D_2\)). However new \(D_1 \cap D_1\) intersections are allowed. We have now arranged that \(D_2\) is disjoint from everything. Therefore we can use it to perform the Whitney move. Push \(D_1^i\) across \(D_2\). Any selfintersections of \(D_2\) result in more \(D_1 \cap D_1\) intersections, but again these are permitted. We have now decreased the number of intersection points in \(D_0 \cap D_1\) by two, at the cost of new intersection points in \(D_0 \cap D_0\), \(D_1 \cap D_1\), potentially twisting a \(D_1\) disc, and a new \(D_1\) Whitney disc which is disjoint from \(D_0\). These are all within our budget. By repeating this process we can therefore arrange that \(D_1 \cap D_0 = \emptyset \) as claimed. All the operations apart from the boundary twists are regular homotopies on the original discs, together with introducing new order 1 Whitney discs to pair up new \(D_0 \cap D_0\) intersections. \(\square \)
We quickly indicate how to see the following statement, since the argument of the proof of Lemma 2.3 is pertinent. We do not need the following lemma but include it for completeness, since it is closely related to Theorem 1.9.
Lemma 2.4
Let \(D_0 \cup D_1\) be an order two Whitney tower with an even number of essentially twisted Whitney discs and \(D_0 \cap {{\,\mathrm{int}\,}}D_1= \emptyset \). Then there is a regular homotopy of \(D_0\) to a new immersed disc \(D_0'\) which supports a framed Whitey tower of order two \(D_0' \cup D_1'\) with \(D_0' \cap D_1' = \emptyset \).
Proof
For each pair of essentially twisted Whitney discs, perform interior twists so that one has twisting coefficient \(+\,1\) and the other has twisting coefficient \(\,1\). Then perform boundary twists so that both are framed. This introduces a pair of \(D_1 \cap D_0\) intersections. The proof of [6, Theorem 2.15] enables us to perform regular homotopies so that these arise on the same order 1 Whitney disc. We may then pair them up with an order 2 Whitney disc \(D_2\). Now we apply the argument of the proof of Lemma 2.3 to trade the \(D_0 \cap D_1\) intersections for higher order \(D_1 \cap D_1\) intersections and potentially new \(D_0 \cap D_0\) intersections which are paired by new framed order 1 discs. This produces an order 2 framed Whitney tower as claimed. \(\square \)
3 The intersection form of an immersed disc exterior in the 4ball
In this section we give the detailed description of the matrices \(\Omega \) and \(\Psi \) from the introduction (Theorems 1.2 and 1.3 respectively), in terms of intersection data of the Whitney and accessory discs, and we state our main technical results, that relate these matrices to the intersection pairing of an immersed disc exterior.
Suppose that a knot K bounds an order two presentation tower as constructed in Sect. 2, where the order zero disc \(D_0\) has \(d=2k\) selfintersection points. We may assume by Lemma 2.1 that \(\pi _1(D^4 {\setminus }\nu D_0) \cong {\mathbb {Z}}\). Consider the free module \({\mathbb {Z}}[{\mathbb {Z}}]^{d}\), with basis elements \(e_{2i1}\), \(i=1,\dots ,k\) corresponding to order one Whitney discs \(D_1^1,\dots ,D_1^k\) pairing up the double points, and with the basis elements \(e_{2i}\), \(i=1,\dots ,k\) corresponding to accessory discs \(A^1_1,\dots ,A^k_1\) (see [9, Section 3.1] and Lemma 2.2) for half of the selfintersections of \(D_0\), the double point with a positive sign for each pair which is paired up by one of the \(D_1^i\).
The matrix \(\Omega \) described below is hermitian, that is \(\Omega =\overline{\Omega }{}^T\), and defines a pairing \(\Omega :{\mathbb {Z}}[{\mathbb {Z}}]^d \times {\mathbb {Z}}[{\mathbb {Z}}]^d \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }{\mathbb {Z}}[{\mathbb {Z}}]\). Here the overline denotes the involution on the group ring \({\mathbb {Z}}[{\mathbb {Z}}]\) defined by extending \(t \mapsto t^{1}\) linearly. We abuse notation and conflate the matrix and the pairing which it determines on \({\mathbb {Z}}[{\mathbb {Z}}]^d\).
As before define \(W:= D^4 {\setminus }\nu D_0\). Choose a path from a chosen basepoint of each \(D_i^i\), and of each \(A_1^j\), to the basepoint of W. For each intersection point q involving \(D_1^i\), choose a path from q to the basepoint of \(D_1^i\), inside \(D_1^i\) and missing all double points. Similarly for the \(A_1^i\). For each intersection point in \(D_1^i \cap D_1^j\), \(D_1^i \cap A_1^j\) and \(A_1^i \cap A_1^j\), there is an associated element \(\pm t^{\ell }\) of \(\pi _1(W) \cong {\mathbb {Z}}\), defined by considering the usual concatenation of paths. By summing over such intersection points we obtain an element p(t) of \({\mathbb {Z}}[{\mathbb {Z}}]\). Let \(p_{rs}(t)\) be the polynomial associated to the pair \((e_r,e_s)\). Note that \(p_{rs}(t) = \overline{p_{sr}(t)}\). When \(i=j\), we abuse notation and use \(D_1^i \cap D_1^i\) and \(A_1^i \cap A_1^i\) for the double point set of the immersion. Here there is an indeterminacy in \(p_{rr}(t)\), up to \(t=t^{1}\), due to a lack of ordering of sheets at an intersection point. However this will not affect the outcome of the computation, so we may make any choice of ordering.
3.1 Precise description of the matrix \(\Omega \)

For \(r \ne s\) and \(\{r,s\} \ne \{2i1,2i\}\), \(\Omega _{rs} = zp_{rs}(t)\).

For \(\{r,s\} = \{2i1,2i\}\) for some i, \(\Omega _{rs} = zp_{rs}(t) + 1\), where \(p_{rs}(t)\) is computed from intersection points \(D_1^i \cap A_1^i\).

When \(r=s=2i1\), \(\Omega _{rs} = zp_{rr}(t) + \overline{zp_{rr}(t)} + za_i\) where \(p_{rr}(t)=p_{ss}(t)\) arises from the self intersection points of \(D_1^i\), and \(a_i \in {\mathbb {Z}}\) is the twisting of the Whitney framing relative to the disc framing for \(D_1^i\).

When \(r=s=2i\), \(\Omega _{rs} = zp_{ss}(t) + \overline{zp_{ss}(t)} + zb_i + 1\) where \(p_{ss}(t) = p_{rr}(t)\) arises from the self intersection points of \(A_1^i\), and \(b_i \in {\mathbb {Z}}\) is the twisting of the accessory framing relative to the disc framing for \(A_1^i\).
For practical purposes it is not always convenient to have the accessory disc correspond to a double point with positive intersection sign. If we use a double point with negative sign, then replace the \(+1\) in \(\Omega _{2i,2i}\) entry in the last bullet point with a \(1\).
3.2 Structure of the intersection form of W
The following is one of our main technical results.
Theorem 3.1
 (1)
The homotopy group \(\pi _2(W)\) is a free \({\mathbb {Z}}[{\mathbb {Z}}]\) module of rank d.
 (2)There is a linearly independent set \(\{S_i\}\) of immersed 2spheres which generate a free submodule F of \(\pi _2(W)\) of rank d on which the equivariant intersection form \(\lambda :F \times F \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }{\mathbb {Z}}[{\mathbb {Z}}]\) can be written as \(z(X + (zY + \overline{zY}^T))\) where X is a block diagonal sum of k copies of the formwith \(a_i,b_i \in {\mathbb {Z}}\), and Y is an upper triangular \(d \times d\) matrix.$$\begin{aligned} \begin{bmatrix} za_i&1 \\ 1&1+ zb_i \end{bmatrix} \end{aligned}$$
 (3)
The \(S_i\) form a basis for \(\pi _2(W) \otimes _{{\mathbb {Z}}[{\mathbb {Z}}]} {\mathbb {Z}}\).
 (4)
The coefficients \(a_i,b_i \in {\mathbb {Z}}\) in the ith \(2 \times 2\) block diagonals of X are the twisting numbers of the ith Whitney disc \(D^i_1\) and the ith accessory disc \(A^i_1\) respectively.
 (5)
The coefficients of Y are the \({\mathbb {Z}}[{\mathbb {Z}}]\)twisted intersection numbers and selfintersection numbers of the \(D_1^i\) and the \(A_1^i\).
Comparing the matrix \(\Omega \) defined above with the matrix of the intersection form of W, we have \(\lambda = z \Omega \).
The proof of this theorem will take the entire next section. In the course of the proof we explicitly construct immersed 2spheres \(S_i\) which represent elements of \(\pi _2(W)\) and compute the intersection form using these explicit elements and intersections between Whitney discs and accessory discs.
It is quite possible that \(F = \pi _2(W)\), however we are only able to prove this in the special case that \(D_0\) arises from crossing changes; see Lemma 6.2.
We have another version which only uses accessory discs, and which is used to deduce Theorem 1.3. For the purpose of deducing Theorem 1.3 we give the explicit statement.
Theorem 3.2
 (1)
The homotopy group \(\pi _2(W)\) is a free \({\mathbb {Z}}[{\mathbb {Z}}]\) module of rank d.
 (2)
There is a linearly independent set \(\{S_i\}\) of immersed 2spheres which generate a free submodule F of \(\pi _2(W)\) of rank d on which the equivariant intersection form \(\lambda :F \times F \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }{\mathbb {Z}}[{\mathbb {Z}}]\) can be written as \(z(X + (zY + \overline{zY}^T))\) where X is a diagonal matrix with entries \( \pm 1 + zb_i\), with \(b_i \in {\mathbb {Z}}\), and Y is an upper triangular \(d \times d\) matrix.
 (3)
The \(S_i\) form a basis for \(\pi _2(W) \otimes _{{\mathbb {Z}}[{\mathbb {Z}}]} {\mathbb {Z}}\).
 (4)
The coefficients \(b_i \in {\mathbb {Z}}\) in X are the twisting numbers of the ith accessory disc \(A_i\), and the \(\pm 1\) is determined by the sign of the ith double point.
 (5)
The coefficients of Y are the \({\mathbb {Z}}[{\mathbb {Z}}]\)twisted intersection numbers and selfintersection numbers of the \(A_i\).
Compare this with the matrix \(\Psi \) from the introduction to observe that \(\lambda = z \Psi \). Both sets of spheres from the above two theorems arise from ambient surgery on a basis of \(H_2(W;{\mathbb {Z}})\) comprising Clifford tori of the double points, as we will see in Sect. 4.2. Restricting the proof of Theorem 3.1 to the accessory discs only gives the proof of Theorem 3.2. Therefore we focus on Theorem 3.1.
4 Proofs of the intersection form Theorems 3.1 and 3.2
4.1 The second homotopy group of W is a free module
In this subsection we prove the following.
Lemma 4.1
The homotopy group \(\pi _2(W)\) is a free \({\mathbb {Z}}[{\mathbb {Z}}]\) module.
Proof
4.2 Construction of spheres in \(\pi _2(W)\)
We proceed to construct explicit elements of \(\pi _2(W)\) whose intersection data can be computed in terms of intersection and twisting data for the discs \(D_1\) and \(A_1\).
We describe the basic construction of a sphere \(S_{2i}\) using an accessory disc \(A_1^i\) for the double point p. The authors learnt this construction from Peter Teichner. We will postpone detailed discussion of framing issues for later computations, for now contenting ourselves with conveying the main idea of the construction. We may modify the construction later by inserting interior or boundary twists into the procedure, in order to arrange that our spheres have framed normal bundles.
For Theorem 3.2 this describes the construction of our entire set of spheres \(\{S_i\}\). For Theorem 3.1, this creates half of our spheres: use this construction to produce a sphere from the Clifford torus of one double point in each pair which is paired up by a Whitney disc. Recall that we use the double point with positive sign and recall that \(d=2k\). So we have created spheres \(S_{2i}\) for \(i=1,\dots ,k\). For the other spheres, which will form the other half of our set of spherical elements of \(H_2(W;{\mathbb {Z}}[{\mathbb {Z}}])\), we will use the Whitney discs as below.
Let \(p_1\), \(p_2\) be two double points of \(D_0\) which have opposite intersection signs and which are paired up by an order one Whitney disc \(D_1^i\). Let \(T_1\) and \(T_2\) be the Clifford tori for the double points \(p_1\) and \(p_2\) respectively. Let \(\alpha \) be the Whitney circle: a curve which goes from \(p_1\) to \(p_2\) on \(D_0\), changes sheets, and then returns to \(p_1\) on the opposite sheet to the sheet it left on. Write \(\alpha = \alpha _1 \cup \alpha _2\), dividing \(\alpha \) into two Whitney arcs by cutting at \(p_1\) and \(p_2\).
This completes our description of the spheres \(S_i\), for \(i=1,\dots ,2k=d\). Recall that we called the submodule in \(\pi _2(W)\) they generate F. Next we will show that F and \(\pi _2(W)\) have the same rank, which is equal to the number of double points of \(D_0\).
Lemma 4.2
Both \(H_2(W;{\mathbb {Z}}[{\mathbb {Z}}])\cong \pi _2(W)\) and its submodule F are free \({\mathbb {Z}}[{\mathbb {Z}}]\)modules of rank d.
Together with Lemma 4.1, this proves (1) of Theorems 3.1 and 3.2.
Proof
The fact that \(\pi _1(W) \cong {\mathbb {Z}}\) is crucial for this proof. By Lemma 4.1, \(H_2(W;{\mathbb {Z}}[{\mathbb {Z}}])\) is a free module, so is isomorphic to \({\mathbb {Z}}[{\mathbb {Z}}]^\delta \) for some \(\delta \).
Claim
\(H_2(W;{\mathbb {Z}}[{\mathbb {Z}}]) \otimes _{{\mathbb {Z}}[{\mathbb {Z}}]} {\mathbb {Z}}\cong H_2(W;{\mathbb {Z}})\).
Therefore \(H_2(W;{\mathbb {Z}}) \cong {\mathbb {Z}}[{\mathbb {Z}}]^\delta \otimes _{{\mathbb {Z}}[{\mathbb {Z}}]} {\mathbb {Z}}\cong {\mathbb {Z}}^\delta \). Now we have a second claim:
Claim
The second homology is \(H_2(W;{\mathbb {Z}}) \cong {\mathbb {Z}}^d\), generated by the spheres \(S_i\).
Note that the claim proves (3) of Theorems 3.1 and 3.2. Assuming the claim it follows from \({\mathbb {Z}}^\delta \cong {\mathbb {Z}}^d\) that \(\delta =d\). It also follows that the spheres generating F define linearly independent elements of \(\pi _2(W) \cong H_2(W;{\mathbb {Z}}[{\mathbb {Z}}])\). To see this, note that each sphere \(S_i\) lifts to a nontrivial element of \(H_2(W;{\mathbb {Z}}[{\mathbb {Z}}])\); let \({\mathbb {Z}}[{\mathbb {Z}}]^d \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }H_2(W;{\mathbb {Z}}[{\mathbb {Z}}])\cong {\mathbb {Z}}[{\mathbb {Z}}]^d\) be the homomorphism sending the ith basis to \([S_i]\), and let P(t) be the associated square matrix over \({\mathbb {Z}}[{\mathbb {Z}}]\). The claim implies that \(\det P(1)=\pm 1\). It follows that \(\det P(t)\ne 0\), that is, \({\mathbb {Z}}[{\mathbb {Z}}]^d \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }H_2(W;{\mathbb {Z}}[{\mathbb {Z}}])\) is injective. So F has rank d.
Remark 4.3
In the case of accessory spheres only, the final basis change is not required. Also, note that unfortunately we do not know that \(F = \pi _2(W)\), only that the two are both free modules of the same rank and that the generators of F give a basis over \({\mathbb {Z}}\). Therefore, choosing a basis for \(\pi _2(W)\) and representing the generators of F as vectors, and then making these vectors the columns of a matrix, yields a matrix P(t) which augments to be unimodular. This matrix appeared in the proof of linear independence above and it will appear in the proofs in Sects. 6, 9 and 10. In the special case that \(D_0\) arises from crossing changes, we will see in Lemma 6.2 that \(F=\pi _2(W)\).
4.3 Definitions of Whitney and accessory framings
In this section we recall the precise definition of the Whitney framing of the boundary of a Whitney disc. Note that a normal bundle to a surface in 4dimensional space has 2dimensional fibre. An orientation of the surface and an orientation of the ambient space determines an orientation of the normal bundle. Thus a single nonvanishing vector field in the normal bundle of a surface determines two nonvanishing vector fields, up to homotopy, and therefore a framing. The second vector is chosen so as to be consistent with the orientations.
Definition 4.4
(Whitney framing) Suppose that we have two surfaces, or two sheets of the same surface, \(\Sigma _1\) and \(\Sigma _2\), intersecting in two points p and q of opposite signs. Let \(\gamma _i\) be an arc on \(\Sigma _i\) between p and q, such that \(\gamma _1 \cup \gamma _2\) bounds a Whitney disc \(D_1\). We will describe a framing of \(\nu _{D_1}_{\partial D_1}\). Choose a framing of \(\nu _{\gamma _1 \subset \Sigma _1}\), a nonvanishing vector field in the normal bundle of \(\gamma _1\) in \(\Sigma _1\). This yields a nonvanishing vector field in \(\nu _{D_1}_{\gamma _1}\). Along \(\gamma _2\) we choose a vector field in \(\nu _{D_1}_{\gamma _2} \cap \nu _{\Sigma _2}\), which agrees at p and q with the vector field along \(\gamma _1\) which we have already chosen (for this to be possible we need that p and q are of opposite signs.) Note that the intersection \(\nu _{D_1}_{\gamma _2} \cap \nu _{\Sigma _2}\) is a 1dimensional bundle. The resulting framing along \(\partial D_1 = \gamma _1 \cup \gamma _2\) is the Whitney framing. The transport of the Whitney framing to \(\partial W\) along \(D_1\) is depicted in Fig. 6.
Compare this framing to the disc framing, that is the unique framing of the normal bundle to \(D_1^i\) restricted to \(\partial D_1^i\), in order to obtain the twisting coefficient \(a_i \in {\mathbb {Z}}\) of \(D_1^i\). Recall that for the purposes of assigning an integer \(a_i\), the disc framing is considered to be the zero framing. A Whitney disc is said to be framed if and only if it has coefficient 0; equivalently a Whitney disc is framed if the Whitney framing and the disc framing coincide.
As remarked in the introduction, interior twists change the disc framing by \(\pm 2\) relative to the Whitney framing, so we can arrange that the twisting coefficient is either 1 or 0. Whether or not this step is performed, the entries of \(\lambda \) (and therefore of the matrix \(\Omega \)) do not change.
While the Whitney framing defined above is standard (see [22, pages 54–8] for a nice exposition), a framing of the boundary of an accessory disc does not seem to be standard. However we will need a detailed understanding of this in order to compute the matrix of the intersection form of W.
Definition 4.5
(Accessory framing) Consider the double point loop \(\gamma \) of an intersection point p of \(D_0\), which bounds an accessory disc \(A_1^i\). By restricting the normal bundle of \(D_0\) to \(\gamma \), and looking at \(W \cap \partial ({{\,\mathrm{cl}\,}}(\nu D_0)_\gamma )\), we obtain the image N of a map into W of an annulus. Define the curve \(\gamma ' := A_1^i \cap N\). The boundary \(\partial N\) is the union of a longitude and a meridian of the Clifford torus T of the double point p. Two points \(q_1,q_2\) on \(\partial N\), one on each component of \(\partial N \cong S^1 \times S^0\), are identified, where the longitude and meridian of the Clifford torus meet. Thus \(\gamma '\) is a simple closed curve; in fact \(\gamma ' = \partial A_1^i\).
Compare the accessory framing to the disc framing of \(A_1^i\), in order to compute the twisting coefficient \(b_i \in {\mathbb {Z}}\) which occurs in the diagonal terms \(\lambda _{2i}\) of \(\lambda \). Recall that for the purposes of assigning an integer \(b_i\), the disc framing is considered to be the zero framing.
4.4 Equivariant intersections of the spheres \(S_i\)
Sections 4.4–4.9 describe the intersections amongst the spheres \(S_i\). Together these sections prove (2), (4) and (5) of Theorem 3.1. Only the computations of Sects. 4.4, 4.7 and 4.9 are required for the proof of (2), (4) and (5) of Theorem 3.2.
We begin with a lemma translating intersections with a Whitney or accessory disc into the intersection numbers from the intersections with a sphere \(S_i\).
In the next lemma let \(\Sigma \) be a surface in W with a path from a basepoint of \(\Sigma \) to the basepoint of W, for which \(\pi _1(\Sigma ) \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }\pi _1(W)\) is the trivial map. Recall that \(z := (1t)(1t^{1})\).
Lemma 4.6
For each intersection point of \(\Sigma \cap D_1^j\) (respectively \(\Sigma \cap A_1^j)\), there are four resulting intersections of \(\Sigma \cap S_{2j1}\) (respectively \(\Sigma \cap S_{2j})\). If the \({\mathbb {Z}}[{\mathbb {Z}}]\) intersection number of the intersections of \(\Sigma \) with \(D_1^j\) (respectively \(A_1^j)\) is p(t), then the \({\mathbb {Z}}[{\mathbb {Z}}]\) intersection number with \(S_{2j1}\) (respectively \(S_{2j})\) is \(z\cdot p(t)\).
Proof
We discuss the case of Whitney discs and odd indexed spheres first. Assume that there is a single intersection point in \(\Sigma \cap D_1^j\) and it has \({\mathbb {Z}}[{\mathbb {Z}}]\) intersection number \(+1\).
Consider the four copies of the Whitney disc \(D_1^j\) which occur in \(S_{2j1}\). First we use two copies of \(D_1^j\) to surger an annulus \(N_2\) into a disc C. These copies of \(D_1^j\) are called \((D_1^j)_{\pm }\). Label so that going from \((D_1^j)_+\) to \((D_1^j)_\) along \(N_2\) involves traversing a meridian of \(D_0\) in the positive sense.
Then we use two copies \(C_{\pm }\) of C to surger the torus \(T_{12}\). Label so that going from \(C_+\) to \(C_\) along \(T_{12}\) involves traversing a meridian of \(D_0\) in the negative sense. Creating \(C_+\) and \(C_\) requires two copies of each of \((D_1^j)_{\pm }\), which we call \((D_1^j)_{\pm \pm }\). Observe that \(C_+\) uses \((D_1^j)_{++}\) and \((D_1^j)_{+}\), while \(C_\) uses \((D_1^j)_{+}\) and \((D_1^j)_{}\). If \(\Sigma \) intersects \(D_1^j\) in a point then \(\Sigma \) intersects each of the \((D_1^j)_{\pm \pm }\) in a point.
In order for \(S_{2j1}\) to be oriented, we need to take the opposite orientations on \((D_1^j)_{+}\) and \((D_1^j)_{+}\). Choose the orientation of \(S_{2j1}\) to be such that the intersection signs for \(\Sigma \cap (D_1^j)_{\zeta \xi }\) is equal to \(\zeta \cdot \xi \) for \(\zeta ,\xi \in \{+,\}\).
We are given a choice of path from the basepoint of W to the basepoint of \(D_1^j\). Use the same path, perturbed slightly, with the basepoint of \(S_{2i1}\) located on \(D^j_{++}\). With respect to this choice of basepoint, the contributions from the intersections of \(\Sigma \) with \((D_1^j)_{++}, (D_1^j)_{+}, (D_1^j)_{}, (D_1^j)_{+}\) are \(+1\), \(t^{1}\), \(+1\), \(t\) respectively. The sum is \(2tt^{1} = (1t)(1t^{1})=z\). See Fig. 8.
Add the contributions from multiple intersection points in \(D_1^j \cap \Sigma \) to obtain the desired result. If the initial \({\mathbb {Z}}[{\mathbb {Z}}]\) intersection number of a point of intersection between \(D^j_1\) and \(\Sigma \) is \(\pm t^{\ell }\), then the contribution to the intersection number of \(\Sigma \) with \(S_{2j1}\) is \(\pm zt^{\ell }\).
The result for the intersection number of the sphere \(S_{2j}\) with a surface \(\Sigma \) in terms of the intersection number of \(\Sigma \) with \(A_1^j\) is proved in the same way, with \(A_1^j\) replacing \(D_1^j\), N replacing \(N_2\), D replacing C, and with T replacing \(T_{12}\). \(\square \)
4.5 Intersection of \(S_{i}\) with \(S_{j}\) for \(i \ne j\) and \(\{i,j\} \ne \{2i1,2i\}\)
First we consider the intersections between the spheres \(S_{2i1}\) and \(S_{2j1}\) for \(i \ne j\). The \({\mathbb {Z}}[{\mathbb {Z}}]\) intersections between the spheres \(S_{2i1}\) and \(S_{2j1}\) for \(i \ne j\) arise directly from intersections between the order one Whitney discs \(D_1^i\) and \(D_1^j\).
We investigate the contribution of a single intersection point between \(D_1^i\) and \(D_1^j\) with associated element \(\pm t^{\ell }\). Since \(S_{2i1}\) contains 4 parallel copies of \(D_1^i\) and \(S_{2j1}\) contains 4 parallel copies of \(D_1^j\), there are 16 intersection points in \(S_{2i1} \cap S_{2j1}\) arising from the single intersection point in \(D_1^i \cap D_1^j\).
We apply Lemma 4.6 five times, once with \(\Sigma =D_1^i\) and \(D_1^j\) as the intersecting disc, and then once with \(\Sigma \) as each of the four parallel copies of \(D_1^j\) in \(S_{2j1}\), and \(D_1^i\) the intersecting disc. The resulting \({\mathbb {Z}}[{\mathbb {Z}}]\)intersection number is therefore \(\pm z^2 t^{\ell }\).
The intersections of \(S_{2i1}\) with \(S_{2j}\) for \(i \ne j\) and the intersection of \(S_{2i}\) with \(S_{2j}\) for \(i \ne j\) are computed in the same way, except that a sphere with even index \(S_{2i}\) contains four parallel copies of an accessory disc instead of a Whitney disc.
4.6 Intersection of \(S_{2i1}\) and \(S_{2i}\)
During the construction of \(S_{2i1}\) and \(S_{2i}\) we must be careful to make sure that the intersections are transverse. There is one Clifford torus associated to one of the double points paired up by \(D_1^i\), say \(T_2\), a parallel copy of which is also used as the Clifford torus T to surger using \(A_1^i\) in the construction of \(S_{2i}\). We may assume that \(T_2\) and T are associated to a selfintersection point of \(D_0\) of positive sign. We use a slightly bigger Clifford torus for \(T_2\) than for T. As a result T is disjoint from \(S_{2i1}\) but \(T_2\) intersects \(A_1^i\) in a single point. Apply Lemma 4.6 to obtain a contribution of z to the offdiagonal entries of each \(2 \times 2\) block of the matrix X from Theorem 3.1.
4.7 Framing conditions for surgery
To understand the self intersection terms, first we need to give a description of the framing conditions that must hold in order for surgery to be performed and the normal bundle of the outcome to again be framed. One can still perform surgery without the framing condition, but then it becomes tricky to verify that one is keeping track of intersection numbers and framing conditions correctly.
Recall that a framing of a surface in a 4manifold means a framing of its 2dimensional normal bundle, and a framing is specified by a single nonvanishing vector field in the normal bundle. A second nonvanishing vector field can then be found using the orientation of the normal bundle, which is itself inherited from the orientation of the surface and the orientation of the ambient 4manifold.
Let V be a 4manifold, let \(T \subset V\) be an embedded torus with trivial normal bundle, with an essential, simple closed curve \(\gamma \subset T\), and let \(D\looparrowright V\) be an immersed disc which we want to use to perform surgery on T, so that \(\partial D = \gamma \).

A framing of T in W, which we call a surgery framing.

A framing \(f_{\gamma \subset T}\) of \(\gamma \subset T\), that is, a trivialisation of the normal bundle \(\nu _{\gamma \subset T}\).

A framing \(f_{\gamma \subset D}\) of \(\gamma \subset D\).
 (F1)
\((f_{\gamma \subset T},\mathbf {w})\) is equivalent to the disc framing on \(\gamma \).
 (F2)
\((f_{\gamma \subset D},\mathbf {w})\) is equivalent to the surgery framing on \(\gamma \).
We may then use the surgery framing to take two parallel copies of D and construct a framed sphere S. The framing on S is obtained by taking the framing on \(\nu D\) on one copy of D, its negative on the other copy of D, the framing of \(\nu T\) on \(T {\setminus }(\gamma \times D^1)\), and then smoothing the corners by rotating between the two vector fields in a neighbourhood of \(\gamma \times \{\pm 1\}\). The rotation occurs in the 2dimensional subbundle of \(TV_{\gamma }\) which is orthogonal to \(T\gamma \) and \(\mathbf {w}\).
4.8 Self intersection of \(S_{2i1}\)
First, we note that each selfintersection of the disc \(D^i_1\) gives rise to 16 self intersection points of \(S_{2i1}\), which means that we should count 32 intersection points between \(S_{2i1}\) and a pushoff.
Given a selfintersection point p of \(D_1^i\) with double point loop \(t^{\ell }\) and sign ±, the intersection number between \(D_1^i\) and a parallel pushoff is \(\pm (t^\ell +t^{\ell })\). We can only define the double point loop up to the indeterminacy \(t^{\ell }=t^{\ell }\), since we have no canonical ordering of sheets. Of course \(t^\ell +t^{\ell }\) is independent of the choice here. Now apply the argument of Sect. 4.5 to yield a coefficient of \(z^2\), noting that \(z=\overline{z}\). This accounts for the diagonal terms of \(z(zY + \overline{zY}^T)\). There are indeed 32 terms for each \(\pm t^{\ell }\) summand of Y.
The potential twisting of the Whitney discs gives the crucial extra terms. We want the sphere \(S_{2i1}\) to be framed, in order to be able to compute the self intersection number \(\lambda (S_{2i1},S_{2i1})\) by counting intersection points between \(S_{2i1}\) and a parallel pushoff. The twisting occurs in the first step, during the construction of C from \(N_2\) and \((D_1^i)_{\pm }\).
Recall that we denote \(\alpha _1 = N_1 \cap \partial D_1^i\) and \(\alpha _2 = N_2 \cap \partial D_1^i\). The notation \(\alpha _1,\alpha _2\) was also used for the Whitney arcs which lie on \(D_0\), so we make a slight abuse to use the same notation for their pushoffs onto \(N_1\), \(N_2\) respectively.
Align the disc framing of \(D_1^i\) with the Whitney framing along \(\alpha _1\). Note that, within the homotopy class, we are free to adjust any framing on an interval. Then look at the disc framing of \(D_1^i\) restricted to \(\alpha _2\). The difference between this framing and Whitney framing, which is also the surgery framing along \(N_2\), is the twisting coefficient \(a_i\). Introduce \(a_i\) boundary twists along \(\alpha _2\). Twisting is described in [9, Section 1.3]. (With respect to the whole of the Whitney disc, as originally pairing intersections of \(D_0\), this is an interior twist. However with respect to the subdisc whose boundary is \((N_1 \cap \partial D_1^i) \cup (N_2 \cap \partial D_1^i)\), this is a boundary twist. Only the part of the Whitney disc that we use for surgery is relevant.) The boundary twist changes the Whitney disc, and therefore the disc framing, so that it now coincides with the surgery framing along \(N_2\). Strictly speaking, for these boundary twists, we should push \(N_2\) slightly off \(\partial W\).
The Whitney framing along \(N_1\) differs from the surgery framing on \(T_{12}\) by a fixed rotation. Both are normal to \(D_1^i\) along \(N_1 \cap \partial D_1^i\). Therefore in a neighbourhood of \(\alpha _1\) we can arrange the disc framing by a homotopy so that it lies in \(\nu _{\alpha _1 \subset N_1}\).
The disc framing of C is constructed from the disc framing of \((D_1^i)_{+}\), the negative of the disc framing of \((D_1^i)_\) and the normal framing to \(N_2\). This latter is also the disc framing of \(N_2 {\setminus }(\alpha _2 \times D^1)\). The fact that we obtain the disc framing of C is guaranteed by the boundary twists above. For the second surgery, converting \(T_{12}\) to \(S_{2i1}\) using \(C_{\pm }\), the framings already coincide as required by Sect. 4.7. Therefore no more boundary twisting is required.
Now we consider the contribution of a boundary twist as above to the self intersection number. Each boundary twist produces a single intersection point between \(N_2\) and \(D_1^i\). It therefore produces two selfintersection points of C.
Two copies of \(N_2\) will be in the final sphere \(S_{2i1}\). To compute the self intersection number \(\lambda (S_{2i1}, S_{2i1})\), first we compute the Wall self intersection \(\mu (S_{2i1})\) [24, Chapter 5], and observe that \(\lambda (S_{2i1}, S_{2i1}) = \mu (S_{2i1}) + \overline{\mu (S_{2i1})}\). This works for two reasons. First, the sphere \(S_{2i1}\) is framed, as we just went to great lengths above to ensure. Thus there is no extra term from the Euler characteristic of the normal bundle [24, Theorem 5.2 (iii)]. Second, although the selfintersection \(\mu (S_{2i1})\) is only welldefined up to the indeterminacy \(a= \overline{a}\), the sum \(\mu (S_{2i1}) + \overline{\mu (S_{2i1})}\) is welldefined and determines a unique element of \({\mathbb {Z}}[{\mathbb {Z}}]\).
4.9 Self intersection of \(S_{2i}\)
There are three types of contributions to the self intersection of \(S_{2i}\). First, a selfintersection of the disc \(A_1^i\) with \({\mathbb {Z}}[{\mathbb {Z}}]\)intersection number p(t) contributes \(z(zp(t) + \overline{zp(t)})\), by the analogous argument as for the spheres \(S_{2i1}\) in Sect. 4.8.
The twisting \(b_i\) of the accessory framing (Fig. 7) with respect to the disc framing contributes \(b_iz^2\), by a similar argument to that in Sect. 4.8. We give the outline. Again we need that the disc framing of D is constructed from the disc framings of \(N {\setminus }(D^1 \times D^1)\) and \(A_+\) together with the negative of the disc framing of \(A_\). To achieve this perform \(b_i\) boundary twists of \(A_1^i\) around \(A_1^i \cap N\). These contribute \(b_iz^2\) to \(\lambda (S_{2i},S_{2i})\) as claimed.
In the construction of the spheres \(S_{2i1}\), the first set of boundary twists was sufficient: after this the second surgery, of \(T_{12}\) into a sphere, was automatically correctly framed. However, for the spheres \(S_{2i}\) constructed from the accessory discs, that we consider in this section, this is not the case.
Claim
The surgery framing of the (1, 1) curve on the Clifford torus T is \(+1\) with respect to the disc framing on D.
Given the claim, we perform a single boundary twist of D about its boundary, before using it to surgery T into \(S_{2i}\). This gives rise to a contribution of \(1t\) to the self intersection \(\mu (S_{2i})\), therefore a contribution of \(\mu (S_{2i}) + \overline{\mu (S_{2i})} = 1t + 1t^{1} = z\) to \(\lambda (S_{2i},S_{2i})\) as desired.
Roughly, the \(+1\) from the claim arises from the self linking of the (1, 1) curve on the Clifford torus. This was previously observed in a different context in [8, Lemma 4]. Note that if the sign of the associated double point of \(D_0\) were \(1\), then the difference in framings would instead be \(1\).
Lemma 4.7
There exists a 3ball B in \(D^4\) whose boundary is the 2sphere formed from the union of the surgery disc D with the disc \(D'\). Moreover there exists a framing for the normal bundle of B which restricts to the disc framings of both D and \(D'\).
Proof
The 3ball B is constructed from glueing together \(A_1^i \times [1,1]\) and \(\alpha \times D^2\)—recall that \(A_1^i \times \{\pm 1\} \cong A_{\pm }\) and \(\alpha \times S^1 =N\). The normal bundle of B is one dimensional, so the framing only depends on a choice of sign. The framing determines a nonvanishing vector field in the normal bundle of D and \(D'\), which therefore must restrict to the disc framings on their common normal boundary. \(\square \)
To compute the framing of \(D'\), isotope it in a collar neighbourhood of the boundary so that a (smaller) collar neighbourhood lies in \(S^3\). The framing of \(D'\) and the surgery framing agree along the meridian of T, are opposite along the longitude, and in a neighbourhood of the intersection point of the longitude and the meridian of T there is a rotation. The arrangement is as shown in Fig. 10. As the framing vector for \(D'\) stays normal to the two small triangles we see that it undertakes a single full \(1\) twist with respect to the surgery framing. We compute that the framing of \(D'\) induces a pushoff which has linking number zero with the (1, 1) curve of T. Thus the surgery framing is \(+1\) with respect to the disc framing. This completes the proof of the claim and therefore of the computation of the selfintersection of the spheres \(S_{2i}\).
5 Homology of the boundary of W
Proposition 5.1
The first homology \(H_1(\partial W;{\mathbb {Z}}[{\mathbb {Z}}])\) is isomorphic to \(H_1(X_K;{\mathbb {Z}}[{\mathbb {Z}}])\oplus ({\mathbb {Z}}[{\mathbb {Z}}]/\langle z\rangle )^d\). Consequently the order of \(H_1(\partial W;{\mathbb {Z}}[{\mathbb {Z}}])\) is \((t1)^{2d}\Delta _K(t)\).
Proof
The left hand side of Fig. 12 is a surgery description of \(\partial (\nu D_0) = \partial _+ \cup \partial _\) obtained from a standard Kirby diagram of the plumbed handle. More precisely, by choosing double point loops for self plumbings, a homeomorphism between \(\partial (\nu D_0)\) and the 3manifold given by the surgery description is determined. For the purpose of this section, temporarily choose double point loops whose pushoffs along the accessory framing are trivial in \(\pi _1(W)={\mathbb {Z}}\). This can be done by wrapping part of a double point loop on a sheet near the double point, around another sheet, if necessary. (The double point loops used here may be different from those in other sections of the article.) Now, remove the solid torus \(\partial _\) and take the infinite cyclic cover of \(\partial _+\). Note that the meridians of the zeroframed circles correspond to pushoffs of double point loops along the accessory framing, and so they are trivial in \(\pi _1(W)={\mathbb {Z}}\). It follows that the infinite cyclic cover is given by the surgery diagram in the right hand side of Fig. 12, which consists of d infinite chains lying in \(D^2\times {\mathbb {R}}\). Observe that the zero framing of the surgery curve in the base corresponds to the \(\pm 2\) framing of the surgery curve in the cover. The signs of the surgery coefficients in the cover and the signs of the clasps are determined by the sign of the double points.
From the surgery description of the infinite cyclic cover, we obtain a presentation of \(H_1(\partial _+;{\mathbb {Z}}[{\mathbb {Z}}])\) with d generators, say \(v_i\), and d defining relations \(\pm (2t^{1}t)v_i=0\). It follows that \(H_1(\partial _+;{\mathbb {Z}}[{\mathbb {Z}}]) = \bigoplus ^{d} {\mathbb {Z}}[{\mathbb {Z}}]/(2t^{1}t)\).
6 Proof of Alexander polynomial assertions of main theorems
We begin with a straightforward lemma.
Lemma 6.1
The relative homology \(H_2(W,\partial W;{\mathbb {Z}}[{\mathbb {Z}}])\) is isomorphic to \({\mathbb {Z}}[{\mathbb {Z}}]^d\).
Proof
We are ready to connect the pieces of the previous two sections to prove the Alexander polynomial parts of the main theorems. The assertions relating to the Blanchfield form are addressed later in Sect. 10. Theorem 1.4 also uses Lemma 6.2 below.
Proof of Alexander polynomial assertions of Theorems 1.2, 1.3 and 1.4
Now suppose that \(F=\pi _2(W)\). Then \(\Lambda = \lambda \) so \((t1)^{2d}\Delta _K(t) = (t1)^{2d}\det (\Psi )\), and cancelling the \((t1)\) factors yields \(\det (\Omega ) = \Delta _K(t)\). Thus Alexander polynomial assertion of Theorem 1.4 follows from Lemma 6.2 below.
The next lemma completes the proof of the Alexander polynomial assertions of Theorem 1.4, by showing that in a special case our spheres \(S_i\), which generate F, in fact give a basis for \(\pi _2(W)\).
Let \(D_0 \looparrowright D^4\) be an immersed disc in the 4ball with boundary a knot \(K \subset S^3\), where \(D_0\) is produced as the track of a homotopy between K and the unknot, followed by a disc bounding the unknot, where all selfintersection points of the homotopy occur at time 1 / 2, corresponding to d crossing changes of the knot. More precisely, let \(f :S^1 \times I \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }S^3\) be a homotopy with \(f(S^1,\{s\})\) isotopic to K for \(s <1/2\), isotopic to U for \(s >1/2\), and \(f(S^1,\{1/2\})\) a singular knot with d double points. The track of the homotopy is the image of \(g :S^1 \times I \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }S^3 \times I\) given by \(g(x,s) = (f(x,s),s)\). Cap off \(S^3 \times \{1\}\) with a copy of \(D^4\) and cap off \(U \subset S^3 \times \{1\}\) with a standard slice disc for the unknot in this \(D^4\).
The Clifford tori for the double points can be surgered into 2spheres \(S_i\), where \(i=1,\dots ,d\), using accessory discs, just as in the construction of the spheres \(S_{2i}\) in Sect. 4.2. As usual define \(W:= D^4 {\setminus }\nu D_0\).
Lemma 6.2
The 2spheres \(S_i\) form a basis for \(\pi _2(W)\).
Proof
We construct a handle decomposition for W. Start with a 0handle and a single 1handle. Represent this by a Kirby diagram with a single dotted unknot. Perform an isotopy of this unknot until it is represented by a diagram having a set of marked crossings (potentially a proper subset of all the crossings) which, if changed, yield the knot K. At each such crossing, add a single 0framed 2handle in the configuration shown in Fig. 13.
Detailed justification for this can be found in [16, Proposition 3.1], which we now summarise. The exterior of an immersed disc constructed by a crossing change on a knot can be understood in two steps as follows, which occur at the level sets \(1/2 \pm \varepsilon \) of the function F given by projection to the I factor of \(S^3 \times I\), restricted to the exterior of \(D_0\). Since we are now passing from U to K, we move in the direction of decreasing I factor. First, at \(1/2+\varepsilon \), remove a small vertical arc which connects the two strands of the crossing. One observes that removing the neighbourhood of an arc as described does not change the diffeomorphism type i.e. the diffeomorphism type of \(F^{1}([a,1])\) does not change when a crosses \(1/2+\varepsilon \). The crossing may be switched by sliding the arcs of the knot (the dotted circle) up and down along the removed arc. Then replace the neighbourhood of the vertical arc. Replacing the arc is equivalent to adding the 2handle as shown in Fig. 13, since this figure shows the crossing of the unknotted circle, that is before the sliding of the arcs (once the crossing is changed, the 2handle attaching circle bounds a disc in between crossing strands).
7 Examples and an algorithm for computation
7.1 Using Whitney towers
We will simultaneously discuss both examples, indicating differences between the Whitney towers for \(3_1\) and \(4_1\) when they arise. The only difference turns out to be one sign change. It is a straightforward computation to see that \(\pi _1(W) \cong {\mathbb {Z}}\). Since there is one Whitney disc and one accessory disc, we have that \(H_2(W;{\mathbb {Z}}[{\mathbb {Z}}]) \cong {\mathbb {Z}}[{\mathbb {Z}}]^2\), generated by the spheres \(S_1\) and \(S_2\), constructed from the Whitney and the accessory disc respectively, as in Sect. 4.2 i.e. \(d=2\).
7.2 An algorithm for computation using accessory discs only

Fix a given set of crossing changes on a planar diagram of K which convert K to a trivial knot; recall that such a set of crossings can be found on any knot diagram.

Consider the planar diagram obtained by replacing all the crossings to be changed with a singularity. This is the diagram at the level of the intersection points in a movie picture of the immersed disc in \(D^4\) arising as the trace of a homotopy realising the crossing changes. The sign of the crossing change determines the sign of the intersection point of \(D_0\). For each intersection in the singular diagram, draw a double point loop which leaves the crossing, follows along the knot agreeing with the given orientation, leaving along one strand and returning to the crossing along the other strand.

Push the loop slightly off the singular knot, and twist the loop around the singular knot until the linking number with the singular knot is zero i.e. after the crossing change the linking number with the resulting unknot is 0.

Choose basing paths for each accessory loop.

Now, replace the singular crossings with the outcome of each of the crossings changes, and apply an ambient isotopy which takes the resulting unknot to the standard unknot U.

Under the isotopy, the union of double point loops becomes an oriented based link, say L. The ith component of L will give rise to the ith accessory disc \(A_i\).

In the complement of U, apply a homotopy of L, that is, crossing changes of L, dragging the basing paths along, until \(L\cup U\) becomes the trivial link. Here crossing changes involving different components of L are allowed. For each crossing change on L, record the sign of the crossing change and the element \(\ell \in {\mathbb {Z}}= \pi _1(S^3 {\setminus }\nu U)\) determined by linking with U of the usual concatenation of paths in L with the basing paths.

The number of twists of \(L_i\) that we made away from the blackboard framing, plus twice the signed count of self intersections of \(L_i\), determines the negative of the twisting of \(A_i\). With these considerations the intersection data can be completely recovered.
7.3 Examples using accessory discs only
8 The Seifert form and the Arf invariant
We are about to investigate the implications of Theorem 1.2 for the Arf invariant of a knot. First, in this section, we briefly recall the usual definition of the Arf invariant of a knot in terms of a Seifert form.
Definition 8.1
Definition 8.2
We will define a \({\mathbb {Z}}_2\)valued quadratic enhancement on the \({\mathbb {Z}}_2\)valued intersection form on the first homology of a Seifert surface F of the knot. Represent an element of \(H_1(F;{\mathbb {Z}}_2)\) by an oriented simple closed curve \(\gamma \subset F\), and define a framing of its normal bundle by choosing a framing of the normal bundle \(\nu _{F \subset S^3}\) of F in \(S^3\). (Using the orientation of \(S^3\) and \(\gamma \) this choice determines a framing of the normal bundle \(\nu _{\gamma \subset F}\), and therefore a framing of \(\nu _{\gamma \subset S^3}\) in the conventional sense). Every simple closed curve in \(S^3\) bounds a closed oriented Seifert surface \(G_{\gamma }\), and the unique (up to homotopy) framing of \(\nu _{\gamma \subset S^3}\) which extends to a framing of the normal bundle of \(G_{\gamma }\) is the zero framing of \(\gamma \). We may therefore compare the zero framing of \(\gamma \) with the framing defined above by the embedding of F, to obtain an integer. This measures the number of full twists in the “band” of the Seifert surface with core \(\gamma \). The modulo 2 reduction of this integer defines a quadratic enhancement of the \({\mathbb {Z}}_2\)intersection form on \(H_1(F;{\mathbb {Z}}_2)\), as promised, that is a function \(q :H_1(F;{\mathbb {Z}}_2) \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }{\mathbb {Z}}_2\). The Arf invariant of K is \({{\,\mathrm{Arf}\,}}(H_1(F;{\mathbb {Z}}_2),\lambda ,q)\).
9 Proof of Arf Invariant Theorem 1.9
Proof of Theorem 1.9
We saw in the proof of Theorem 1.2 that \(\det (\Omega (t)) = \Delta _K(t) f(t)f(t^{1})\) for some \(f \in {\mathbb {Z}}[t,t^{1}]\) with \(f(1)= \pm 1\). Thus \(\det (\Omega (1)) = \Delta _K(1)f(1)^2\). But \(f(1)=\pm 1\) implies that \(f(1)\) is odd. Thus \(f(1)^2 \equiv \pm 1 \mod 8\), and so we have that \(\Delta _K(1) \equiv \det (\Omega (1)) \mod 8\). Then observe that \(\Omega (t)=\lambda (t)/z\), so \(\Omega (1) = \lambda (1)/4\). The form of \(\lambda \) in Theorem 3.1 implies that \(\Omega (1)\) reduces to the matrix A in Lemma 9.1 below, with \(X(1)=B\), \(Y(1)=C\), \(x_i=4a_i\) and \(y_i=4b_i\). \(\square \)
Lemma 9.1
Let A be a \(d \times d\) matrix over \({\mathbb {Z}}\), with \(d=2k\), of the form \(B + 4C + 4C^T\) where C is upper triangular and B is a block diagonal sum of \(2 \times 2\) matrices \(D_i\) of the form \(\left[ {\begin{matrix}x_i &{} 1 \\ 1 &{} 1+ y_i\end{matrix}}\right] \), where \(x_i\) and \(y_i\) are both a multiple of 4. Then \(\det A \equiv (1)^k +\sum \nolimits _{i=1}^k x_i \mod 8\).
The idea for Lemma 9.1 and its proof come from [14, Section 3.5]. The argument in this lemma is slightly simpler since the contributions from the accessory discs are always odd, thus the Whitney disc terms decide the outcome modulo 8. In the Seifert surface case considered by Levine, the twisting of both of a dual pair of generators determine whether that dual pair contributes to the Arf invariant.
Proof of Lemma 9.1
Following Levine, we call an element of the matrix Aspecial if it is odd: these are the entries \(a_{(2i1),(2i)} = a_{(2i),(2i1)}\) and \(a_{(2i),(2i)}\), for \(i=1,\dots ,k\). The remaining entries of A are even and these are called nonspecial.
The determinant is computed as a sum of terms, where each term is a product of elements, one taken from each row and each column. Note that all the nonspecial terms are in fact a multiple of 4. Thus in order for a summand of the determinant to contribute to the reduction modulo 8 it must be a product of elements, at most one of which is nonspecial.
10 The Blanchfield form
In this section we show that the matrices \(\Omega \) and \(\Psi \) present a linking form in the Witt class of the Blanchfield form of K, and that the form they present is isometric to the Blanchfield form of K in the case that the immersed disc \(D_0\) arises from crossing changes on K. This will prove the Blanchfield form statements of Theorems 1.2, 1.3 and 1.4.
The Blanchfield form of an oriented knot K is defined to be that of the exterior \(X_K\) endowed with the homomorphism \(\pi _1(M)\mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }{\mathbb {Z}}\) that sends a positive meridian to the generator t.
Definition 10.1
Lemma 10.2
Suppose W is a 4manifold with \(\pi _1(W)={\mathbb {Z}}\) so that \(\partial W=M\) is over \({\mathbb {Z}}\), and \(\Lambda =\Lambda (t)\) is a matrix representing the Rvalued intersection form on \(H_2(W;R)\). Then \(\Lambda \) presents the Blanchfield form of M.
Proof
First, \(H_1(W;R)=0\) since \(\pi _1(W)={\mathbb {Z}}\). In addition, \(H_2(W;R)\) and \(H_2(W,M;R)\) are free Rmodules of the same rank, by Lemmas 4.1 and 6.1. Since \(\Lambda \) represents \(H_2(W;R) \mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }H_2(W,M;R)\), it follows that \(\Lambda \) is a presentation matrix for \(H_1(M;R)\). Here we fix an arbitrary basis for \(H_2(W;R)\) and use the dual basis for \(H_2(W,M;R)\) as usual.
Claim
The matrix A presents the Blanchfield form \({{\,\mathrm{B\ell }\,}}_{X_K}\) of K.
In the case that the submodule F generated by our 2spheres is equal to \(H_2(W;R)\), for example in the special case of an immersed disc arising from crossing changes on K, we have \(\Lambda =\lambda =z\Psi \), that is, \(A=\Psi \). This completes the proof of the Blanchfield form assertion of Theorem 1.4.
In general, namely when F is not necessarily \(H_2(W;R)\), let \(P=P(t)\) be the square matrix representing the inclusion \(R^d \cong F\mathchoice{\longrightarrow }{\rightarrow }{\rightarrow }{\rightarrow }H_2(W;R)\cong R^d\). The matrix P(1) is unimodular over \({\mathbb {Z}}\), since our spherical basis elements of F descend to a basis of \(H_2(W;{\mathbb {Z}})\).
From the above diagram, it follows that \(\Omega =PAP^*\). By the following lemma, \(\Omega \) presents a linking form which is Witt equivalent to the Blanchfield form of \(X_K\). This completes the proof of the Blanchfield form assertions of Theorems 1.2 and 1.3.
Lemma 10.3
(Ranicki) The two linking forms presented by hermitian matrices A(t) and \(P(t)A(t)P(t^{1})^T\) are Witt equivalent, where \(\det P(1)=\pm 1\) and \(\det A(t) \ne 0\).
Proof
This lemma appears on Ranicki [18, p. 268], in the proof of his Proposition 3.4.6 (ii). To make the translation from Ranicki’s notation to ours without having to read too much of [18], one needs to know that the boundary of a form is the linking form presented by a matrix representing that form, and the fact that \(\det P(1)=\pm 1\) implies that P is an isomorphism over \({\mathbb {Q}}({\mathbb {Z}})\), that is P corresponds to an Sisomorphism, with S the nonzero polynomials in \({\mathbb {Z}}[{\mathbb {Z}}]\). \(\square \)
Notes
Acknowledgements
We would like to thank Peter Teichner for several useful suggestions, and in particular for sharing the idea of the construction of spheres from Whitney discs. We also thank Nick Castro, Stefan Friedl, Daniel Kasprowski, Allison Moore and Rob Schneiderman for their interest and helpful comments. The second author gratefully acknowledges the support provided by the SFB 1085 Higher Invariants at the University of Regensburg while on sabbatical in the fall of 2014, and funded by the Deutsche Forschungsgemeinschaft (DFG).
References
 1.Blanchfield, R.C.: Intersection theory of manifolds with operators with applications to knot theory. Ann. Math. 2(65), 340–356 (1957)MathSciNetCrossRefzbMATHGoogle Scholar
 2.Borodzik, M., Friedl, S.: On the algebraic unknotting number. Trans. Lond. Math. Soc. 1(1), 57–84 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
 3.Casson, A.J.: Three lectures on newinfinite constructions in \(4\)dimensional manifolds. In: À la recherche de la topologie perdue, vol. 62 of Progr. Math., pp. 201–244. Birkhäuser Boston, Boston (1986) (With an appendix by L. Siebenmann)Google Scholar
 4.Cha, J.C.: Topological minimal genus and \(L^2\)signatures. Algebraic Geom. Topol. 8, 885–909 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
 5.Cochran, T.D., Orr, K.E., Teichner, P.: Knot concordance, Whitney towers and \(L^2\)signatures. Ann. Math. (2) 157(2), 433–519 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
 6.Conant, J., Schneiderman, R., Teichner, P.: Whitney tower concordance of classical links. Geom. Topol. 16(3), 1419–1479 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
 7.Conant, J., Schneiderman, R., Teichner, P.: Milnor invariants and twisted Whitney towers. J. Topol. 7(1), 187–224 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
 8.Freedman, M., Kirby, R.: A geometric proof of Rochlin’s theorem. In: Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 2, Proc. Sympos. Pure Math., XXXII, pp. 85–97. Amer. Math. Soc., Providence, RI (1978)Google Scholar
 9.Freedman, M.H., Quinn, F.: Topology of 4Manifolds. Princeton Mathematical Series, vol. 39. Princeton University Press, Princeton (1990)zbMATHGoogle Scholar
 10.Friedl, S., Powell, M.: A calculation of Blanchfield pairings of \(3\)manifolds and knots. arXiv:1512.04603v2 (2016)
 11.Kawauchi, A.: Three dualities on the integral homology of infinite cyclic coverings of manifolds. Osaka J. Math. 23(3), 633–651 (1986)MathSciNetzbMATHGoogle Scholar
 12.Kearton, C.: Blanchfield duality and simple knots. Trans. Am. Math. Soc. 202, 141–160 (1975)MathSciNetCrossRefzbMATHGoogle Scholar
 13.Kirby, R.C.: The Topology of \(4\)Manifolds. Lecture Notes in Mathematics, vol. 1374. Springer, Berlin (1989)CrossRefzbMATHGoogle Scholar
 14.Levine, J.P.: Polynomial invariants of knots of codimension two. Ann. Math. 2(84), 537–554 (1966)MathSciNetCrossRefzbMATHGoogle Scholar
 15.Levine, J.P.: Knot modules. Trans. Am. Math. Soc. 229, 1–50 (1977)MathSciNetCrossRefzbMATHGoogle Scholar
 16.Lightfoot, A.: The Schneiderman–Teichner invariant applied to immersions arising from link maps in \({S}^4\). arXiv:1312.1936 (2013)
 17.Matsumoto, Y.: Secondary intersectional properties of \(4\)manifolds and Whitney’s trick. In: Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 2, Proc. Sympos. Pure Math., XXXII, pp. 99–107. Amer. Math. Soc., Providence, RI (1978)Google Scholar
 18.Ranicki, A.: Exact Sequences in the Algebraic Theory of Surgery. Mathematical Notes, vol. 26. Princeton University Press, Princeton, N.J. (1981)zbMATHGoogle Scholar
 19.Rourke, C.P., Sullivan, D.: On the Kervaire obstruction. Ann. Math. 2(94), 397–413 (1971)MathSciNetCrossRefzbMATHGoogle Scholar
 20.Schneiderman, R.: Simple Whitney towers, halfgropes and the Arf invariant of a knot. Pac. J. Math. 222(1), 169–184 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
 21.Schneiderman, R.: Whitney towers and gropes in 4manifolds. Trans. Am. Math. Soc. 358(10), 4251–4278 (2006). (electronic)MathSciNetCrossRefzbMATHGoogle Scholar
 22.Scorpan, A.: The Wild World of 4Manifolds. American Mathematical Society, Providence (2005)zbMATHGoogle Scholar
 23.Seifert, H.: Über das Geschlecht von Knoten. Math. Ann. 110(1), 571–592 (1935)MathSciNetCrossRefzbMATHGoogle Scholar
 24.Terence, C., Wall, C.: Surgery on Compact Manifolds. Mathematical Surveys and Monographs, vol. 69, 2nd edn. American Mathematical Society, Providence, RI (1999) (Edited and with a foreword by A. A. Ranicki)Google Scholar
 25.Weibel, C.A.: An Introduction to Homological Algebra. Cambridge Studies in Advanced Mathematics, vol. 38. Cambridge University Press, Cambridge (1994)CrossRefzbMATHGoogle Scholar
Copyright information
Open AccessThis 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.