We consider slice disks for knots in the boundary of a smooth compact 4-manifold $X^{4}$. We call a knot $K \subset \partial X$deep slice in $X$ if there is a smooth properly embedded $2$-disk in $X$ with boundary $K$, but $K$ is not concordant to the unknot in a collar neighborhood $\partial X \times {I}$ of the boundary.
We point out how this concept relates to various well-known conjectures and give some criteria for the nonexistence of such deep slice knots. Then we show, using the Wall self-intersection invariant and a result of Rohlin, that every 4-manifold consisting of just one 0- and a nonzero number of 2-handles always has a deep slice knot in the boundary.
We end by considering 4-manifolds where every knot in the boundary bounds an embedded disk in the interior. A generalization of the Murasugi-Tristram inequality is used to show that there does not exist a compact, oriented $4$-manifold$V$ with spherical boundary such that every knot $K \subset {S}^{3} = \partial V$ is slice in $V$ via a null-homologous disk.
1. Overview
The Smooth 4-Dimensional Poincaré Conjecture (SPC4) proposes that every closed smooth 4-manifold $\Sigma$ that is homotopy equivalent to ${S}^{4}$ is diffeomorphic to the standard ${S}^{4}$. By work of Freedman Reference Fre82, it is known that if $\Sigma$ is homotopy equivalent to ${S}^{4}$, then $\Sigma$ is in fact homeomorphic to ${S}^{4}$. In stark contrast to the SPC4, it might be the case that every compact smooth 4-manifold admits infinitely many distinct smooth structures. The existence of an exotic homotopy 4-sphere is equivalent to the existence of an exotic contractible compact manifold with ${S}^{3}$ boundary Reference Mil65, p. 113, henceforth called an exotic homotopy 4-ball.
One possible approach to proving that a proposed exotic homotopy 4-ball $\mathcal{B}$ is in fact exotic is to find a knot $K \subset {S}^{3} = \partial \mathcal{B}$, such that there is a smooth properly embedded disk ${D}^{2} \hookrightarrow \mathcal{B}$, with $\partial {D}^{2}$ mapped to $K$, where $K$ is not smoothly slice in the usual sense in the standard 4-ball ${B}^{4}$. A knot is (topologically/smoothly) slice in ${B}^{4}$ if and only if it is null-concordant in ${S}^{3} \times {I} = {S}^{3} \times [0, 1]$, i.e. there is a properly embedded (locally flat/smooth) cylinder ${S}^{1} \times {I} \hookrightarrow {S}^{3} \times {I}$ whose oriented boundary is $K \subset {S}^{3} \times \{ 0 \}$ together with the unknot $U \subset {S}^{3} \times \{ 1 \}$. Another way of thinking about this strategy is that we want to find a knot $K$ in ${S}^{3} = \partial \mathcal{B}$ that bounds a properly embedded smooth disk in $\mathcal{B}$ but does not bound any such disk that is contained in a collar ${S}^{3} \times {I}$ of the boundary of $\mathcal{B}$. In this case, to verify the sliceness of $K$, we have to go “deep” into $\mathcal{B}$.
An easier task might be to find a homology 4-ball $X$ with ${S}^{3}$ boundary such that there is a knot in the boundary that bounds a smooth properly embedded disk in $X$ but not in ${B}^{4}$, however, this is also an open problem. In Reference FGMW10, the authors investigate the possibility of proving that a homotopy 4-ball $\mathcal{B}$ with ${S}^{3}$ boundary is exotic by taking a knot in the boundary that bounds a smooth properly embedded disk in $\mathcal{B}$ and computing the $s$-invariant of $K$, in the hopes that $s(K) \neq 0$, whereby they could then conclude that $\mathcal{B}$ is exotic. Unfortunately for this approach as noted in the paper, it turns out that the homotopy 4-ball that they were studying was in fact diffeomorphic to ${B}^{4}$, see Reference Akb10. It is still open whether the $s$-invariant can obstruct the sliceness of knots in ${B}^{4}$ that are slice in some homotopy 4-ball, as is noted in the corrigendum to Reference KM13.
Motivated by this, we make the following definitions: For a 3-manifold $M^3$ containing a knot $K \colon {S}^{1} \hookrightarrow M$, we say that $K$ is null-concordant in $M \times {I}$ if there is a smoothly properly embedded annulus ${S}^{1} \times {I} \hookrightarrow M \times I$ cobounding $K \subset M \times \{ 0 \}$ on one end and an unknot contained in a 3-ball $U \subset B^3 \subset M \times \{ 1 \}$ on the other. Equivalently, $K \subset M \times \{ 0 \}$ bounds a smoothly properly embedded disk in $M \times {I}$.
In this language, Problem 1.95 on Kirby’s list Reference Kir95 (attributed to Akbulut) can be reformulated as follows: Are there contractible smooth 4-manifolds with boundary an integral homology 3-sphere which contain deep slice knots that are null-homotopic in the boundary? Note that any knot that is not nullhomotopic in the boundary will not be shallow slice and thus if it is slice, it will be deep slice. For this reason we will be looking for deep slice knots that are null-homotopic in the boundary. We will often consider our knots to be contained in 3-balls in the boundary, which we call local knots, so we can freely consider them in the boundary of any 4-manifold and discuss if they are slice there. To avoid confusion when we say that a (local) knot in a 3-manifold $M^3$ is slice we will usually qualify it with “in $X^4$”.
1.1. Outline
In the first part of this paper we will restrict ourselves to the smooth category, starting in section 2, where we discuss a condition that guarantees that some 4-manifolds have no deep slice knots and related results. In section 3, we prove that every 2-handlebody has a deep slice knot in its boundary. To do this we employ the Wall self-intersection number and a result of Rohlin which we discuss briefly.
In section 4, we recall the Norman-Suzuki trick and observe that every 3-manifold bounds a 4-manifold where every knot in the boundary bounds a properly embedded disk. In contrast, if we restrict to slice disks trivial in relative second homology, we will see that every compact topological $4$-manifold with boundary ${S}^{3}$ contains a knot which does not bound a null-homologous topological slice disk. We finish with some questions and suggestions for further directions in section 5.
1.2. Conventions
In the literature, properly embedded slice disks in a $4$-manifold$X$ are often assumed to be null-homologous in $H_{2}(X, \partial X)$. We will make this extra assumption on homology only in section 4 when discussing the “universal slicings”. For the first part deep slice and shallow slice will describe the existence of a embedded disks with the relevant properties without conditions on the homology class.
Starting from an $n$-manifold$M^{n}$ without boundary, we obtain a punctured $M$ (more precisely a bounded punctured $M$) by removing a small open $n$-ball$M^{\circ } \coloneq M \setminus \operatorname {int}{D}^{n}$, which yields a manifold with boundary $\partial M^{\circ } = {S}^{n-1}$. Observe that a punctured $M$ is the same as a connected sum $M^{\circ } \cong M \# {D}^{n}$ with a $n$-ball.
2. Nonexistence of deep slice knots
For starters, we have:
The following might be a surprise, as one could expect that additional topology in a 3-manifold $M^3$ creates more room for concordances:
We have added a proof of this proposition here to highlight that this lifting argument breaks down in the case of higher genus surfaces if their inclusion induces a nontrivial map on fundamental groups. If $K$ bounds a genus $g$ surface with one boundary component $\Sigma _{g, 1}$ in $M \times {I}$, we can only lift this to the universal cover (and subsequently find a genus $g$ surface for $K$ in ${S}^{3}$ via this method) under the condition that the inclusion of $\Sigma _{g, 1}$ in $M \times {I}$ is $\pi _{1}$-trivial. So this argument does not work if the surface really “uses the extra topology of $M$”.
It would be interesting to find an example of an orientable $3$-manifold$M^3$ where the $g^{M \times {I}}(K)$ genus of some local knot $K \subset {D}^{3} \subset M$ is strictly smaller than the $4$-ball genus $g^{4}(K)$, or prove that no such $M$ exists. Local $K$ satisfy $g^{M \times {I}}(K) \le g^4(K)$ as cobordisms in ${S}^{3} \times {I}$ can be embedded into $M \times {I}$. Because of Proposition 2.2 an example where these values differ can only appear for $g^{4}(K) \ge 2$. Moreover, as we will see in Proposition 2.4 such an $M$ would necessarily not embed in $S^4$. Another special case is treated in Reference DNPR18, Thm. 2.5 where a handle cancellation argument shows that there is no difference for local knots in $M = {S}^{1} \times {S}^{2}$, that is the equality $g^{{S}^{1} \times {S}^{2} \times {I}} = g^{4}$ holds (and also analogous statements for $\#^{k} {S}^{1} \times {S}^{2}$). Topological concordance in ${S}^{1} \times {S}^{2} \times {I}$ is investigated in Reference FNOP19.
We now give a criterion that shows that certain 4-manifolds have no local deep slice knots in the boundary. This idea is also contained in Reference Suz69, Thm. 0 and its variants.
As an example, Proposition 2.4 implies that $\natural ^k {S}^{2} \times {D}^{2}$ contains no deep slice local knots, since these manifolds can all be embedded in ${S}^{4}$. However, these manifolds all contain deep slice knots, necessarily non-local, as will be seen shortly. Additionally, we have:
3. Existence of deep slice knots
A 2-handlebody is a 4-manifold whose handle decomposition contains one 0-handle, some nonzero number of 2-handles and no handles of any other index. Examples of this are knot traces, where a single $2$-handle is attached along a framed knot to the 4-ball. In this section, we prove:
3.1 breaks up naturally into two cases depending on whether the boundary has nontrivial $\pi _1$ or not (i.e. if it is or is not $S^3$). In the case where $\pi _1(\partial X) \neq 1$, there is a concordance invariant for knots in arbitrary 3-manifolds, closely related to the Wall self-intersection number (see Reference Wal99, Reference FQ90, and Reference Sch03), that will allow us to show that some obviously slice knots are not shallow slice. In the case where $\pi _1 (\partial X)$ is trivial, and therefore by the 3-dimensional Poincaré conjecture Reference Per03$\partial X = {S}^{3}$, the Wall self-intersection number is of no use. However, in this case, the consideration of whether a knot that is slice in $X$ is deep slice in $X$ is related to the existence of spheres representing various homology classes in the manifold obtained by closing $X$ off with a 4-handle.
Following Reference Yil18 and Reference Sch03, we briefly introduce the Wall self-intersection number in the setting that we will be working in, and state some of its basic properties. Let $Y^3$ be a closed oriented 3-manifold and let $\gamma \colon {S}^{1} \hookrightarrow Y$ be a knot in $Y$. Let $\mathcal{C}_\gamma (Y)$ denote the set of concordance classes of oriented knots in $Y$ that are freely-homotopic to $\gamma$. In particular $\mathcal{C}_{U}(Y)$ denotes the set of concordance classes of oriented null-homotopic knots in $Y$, where we write $U$ for the local unknot in $Y$. Given an oriented null-homotopic knot $K \subset Y$, by transversality there exists an oriented immersed disk $D$ in $Y \times {I}$ with boundary $K \subset Y \times \{ 0 \} = Y$ that has only double points of self-intersection. Let $\star \in Y$ denote a basepoint which we implicitly use for $\pi _1(Y) = \pi _1(Y \times {I})$ throughout. Choose an arc, which we will call a whisker, from $\star$ to $D$. For each double point of self-intersection $p \in D$ choose a numbering of the two sheets of $D$ that intersect at $p$. Then let $g_p \in \pi _1(Y)$ be the homotopy class of the loop in $Y \times {I}$ obtained by starting at $\star$, taking the whisker to $D$, taking a path to $p$ going in on the first sheet, taking a path back to where the whisker meets $D$ that leaves $p$ on the second sheet, and then returning to $\star$ using the whisker. Note that changing the order of the two sheets would transform $g_p$ to $g_p^{-1}$. Also, since $K$ and $Y$ are oriented, $D$ and $Y \times {I}$ obtain orientations with the convention that $K \subset Y \times \{ 0 \} = Y$, and therefore, for every self-intersection point $p \in D$, there is an associated sign which we will denote by $\operatorname {sign}(p)$.
See Reference Sch03 for a proof that it is independent of the choice of $D$, the choice of whisker, and the choice of orderings of the sheets of $D$ around the double points. Further, $\mu$ is a concordance invariant in $Y \times {I}$, and therefore defines a map:
Notice that if $g \in \pi _1(Y)$ and $g \neq 1$ then $g$ is also nonzero in $\widetilde{\Lambda }$.
Notice that if $\pi _1(\partial X) = 1$, then $\mu$ is of no use since $\widetilde{\Lambda } = 0$. Now assume that $\pi _1(\partial X) = 1$ so that $\partial X = {S}^{3}$. Again $X$ is obtained by attaching 2-handles to some framed link $L$. Let $\widehat{X}$ denote the closed 4-manifold obtained by closing off $X$ with a 4-handle. We will need a lemma on surfaces in 2-handlebodies, whose statement is standard and could alternatively be concluded from the KSS-normal form for surfaces as in Reference Kam17, Thm. 3.2.7 and Reference KSS82.
The main ingredient for the proof of the second case of 3.1 is the following theorem of Rohlin, and in particular the corollary that follows. Rohlin’s theorem has been used in a similar way to study slice knots in punctured connected sums of projective spaces, for example in Reference Yas91 and Reference Yas92.
4. Universal slicing manifolds do not exist
The Norman-Suzuki trick Reference Nor69, Cor. 3, Reference Suz69, Thm. 1 can be used to show that any knot $K \subset {S}^{3}$ bounds a properly embedded disk in a punctured ${S}^{2} \times {S}^{2}$: The track of a null-homotopy of $K$ in ${D}^{4}$ can be placed in the punctured ${S}^{2} \times {S}^{2}$ which gives a disk that we can assume to be a generic immersion, missing ${S}^{2} \vee {S}^{2} \subset ({S}^{2} \times {S}^{2})^{\circ }$, and with a finite number of double points. By tubing into the spheres ${S}^{2} \times \{ \mathrm{pt} \}, \{ \mathrm{pt} \} \times {S}^{2}$ we can remove all the intersections – but observe that this changes the homology class of the disk.
One way of studying if a knot $K$ is slice in ${D}^{4}$ is to approximate $D^4$ by varying the $4$-manifold$X$. By restricting the intersection form and looking at simply-connected 4-manifolds $X$ this gives rise to various filtrations of the knot concordance group (notably the $(n)$-solvable filtration $\mathcal{F}_{n}$ of Cochran-Orr-Teichner Reference COT03 and the positive and negative variants $\mathcal{P}_{n}, \mathcal{N}_{n}$Reference CHH13).
We say that the properly embedded disk $\Delta$ is null-homologous if its fundamental class $[\Delta , \partial \Delta ] \in H_{2}(X, \partial X)$ is zero. Since by Poincaré duality the intersection pairing $H_{2}(X) \otimes _{\mathbb{Z}} H_{2}(X, \partial X) \xrightarrow {\pitchfork } \mathbb{Z}$ is non-degenerate, a null-homologous disk is characterized by the property that it intersects all closed second homology classes algebraically zero times. For slicing in arbitrary $4$-manifolds, we here restrict to null-homologous disks to exclude constructions as in the Norman-Suzuki trick.
For every fixed knot $K \!\subset \! {S}^{3}$, there is a $4$-manifold in which $K$ is null-homologically slice. Norman Reference Nor69, Thm. 4 already observes that it is possible to take as the 4-manifold a punctured connected sum of the twisted 2-sphere bundles ${S}^{2} \widetilde{\times } {S}^{2}$. Similarly, Reference CL86, Lem. 3.4 discuss that for any knot $K \subset {S}^{3}$ there are numbers $p, q \in \mathbb{N}$ such that $K$ is null-homologous slice in the punctured connected sum $\#^{p} \mathbb{CP}^{2} \#^{q} \overline{\mathbb{CP}^{2}}$ of complex projective planes. The argument starts with a sequence of positive and negative crossing changes leading from $K$ to the unknot, and then realizes say a positive crossing change by sliding a pair of oppositely oriented strands over the $\mathbb{CP}^{1}$ in a projective plane summand. The track of this isotopy, together with a disk bounding the final unknot gives a motion picture of a null-homologous slice disk. Since both positive and negative crossing changes might be necessary, it is important that both orientations $\mathbb{CP}^{2}, \overline{\mathbb{CP}^{2}}$ are allowed to appear in the connected sum.
In view of $({S}^{2} \times {S}^{2})^{\circ }$ where every knot in the boundary bounds a disk (which is rarely null-homologous) and $(\#^{p} \mathbb{CP}^{2} \#^{q} \overline{\mathbb{CP}^{2}})^{\circ }$, in which we find plenty of null-homologous disks (but only know how many summands $p, q$ we need after fixing a knot on the boundary) a natural question concerns the existence of a universal slicing manifold. Is there a fixed compact, smooth, oriented $4$-manifold$V^{4}$ with $\partial V = {S}^{3}$ such that any knot $K \subset {S}^{3}$ is slice in $V$ via a null-homologous disk? It turns out that a signature estimate shows such a universal solution cannot exist.
The remainder of this section is concerned with a proof of 4.4. As preparation, let us specialize a result Reference CN20, Thm. 3.8, which is a generalization of the Murasugi-Tristram inequality for links bounding surfaces in $4$-manifolds, to the case of knots. Here $\sigma _{\omega }(K)$ is the Levine-Tristram signature of the knot $K$, defined as the signature of the hermitian matrix $(1-\omega )V + (1 - \overline{\omega })V^T$, where $V$ is a Seifert matrix of $K$ and $\omega$ a unit complex number not equal to $1$. References for this signature include Reference Lev69, Reference Tri69 and the recent survey Reference Con19. The following inequality only holds for specific values of $\omega$, and will adopt the notation ${S}^{1}_{!}$ for unit complex numbers $\omega \in {S}^{1} - \{ 1 \}$ which do not appear as a zero of an integral Laurent polynomial $p \in \mathbb{Z}[t, t^{-1}]$ with $p(1) = \pm 1$.
For $K \subset \partial X^{\circ }$ which is null-homologous slice in $X$ and $\Sigma$ an annulus, we can further simplify:
To prove 4.4 it will be enough to obstruct the sliceness of a single knot in the boundary. The strategy is to use surgery to trivialize $H_{1}$, then pick the knot $K$ in the original manifold boundary and arrive at a contradiction to Corollary 4.7 in the surgered manifold if $K$ was null-homologous slice.
5. Speculation and questions
5.1. Connection to other conjectures
An alternative approach to the SPC4 is to find a compact 3-manifold $M$ that embeds smoothly in some homotopy 4-sphere $\Sigma ^{4}$, but not in ${S}^{4}$. Notice that if a smooth integral homology sphere $M$ smoothly embeds in $\Sigma$, then $M$ is the boundary of a smooth homology 4-ball Reference AGL17, Prop. 2.4. However, there is no known example of a 3-manifold $M$ that is the boundary of a smooth homology 4-ball but that does not embed into ${S}^{4}$. Both this and the approach in the introduction are hung up at the homological level. Further discussion of knots in homology spheres and concordance in homology cylinders can be found in, for example, Reference HLL18, Reference Dav19.
Corollary 2.5 has some relevance to this which we now discuss (a similar discussion also appears in a comment by Ian Agol on Danny Calegari’s blogpost Reference Ago13). The unsolved Schoenflies conjecture proposes that if $\mathcal{S} \subset {S}^{4}$ is a smoothly embedded submanifold with $\mathcal{S}$ homeomorphic to ${S}^{3}$, then $\mathcal{S}$ bounds a submanifold $B \subset {S}^{4}$ that is diffeomorphic to ${D}^{4}$. The SPC4 implies the Schoenflies conjecture.
Note that if the answer to Question 5.1 is yes, then the Schoenflies conjecture implies the SPC4 and hence the two conjectures are equivalent: If any homotopy 4-ball would embed into ${S}^{4}$ and thus, by the Schoenflies conjecture, would be diffeomorphic to ${D}^{4}$, hence all homotopy 4-balls would be standard, so all homotopy 4-spheres would be standard. We have:
Thus by Corollary 2.5, if the answer to Question 5.1 is yes, the approach towards SPC4 mentioned in this section would never succeed. Similarly, there would be no 3-manifold that would smoothly embed into a homotopy 4-sphere but not into ${S}^{4}$. This is because any such embedding into a homotopy sphere avoids a standard 4-ball and after removing this ball the complement is a homotopy 4-ball which we assume embeds into $S^4$, so this approach to SPC4 would also be a dead end.
5.2. More questions
One strategy for answering this question would be to start with a framed link $L$ describing a 2-handlebody other than $\natural ^k ({S}^{2} \times {B}^{2})$ and to handle-slide $L$ to a new framed link $L'$ that contains a knot $K$ that is not slice in ${B}^{4}$. Then this knot $K$ when considered in a 3-ball $K \subset {B}^{3} \subset \partial X$ is an example of such a deep slice knot in $X$. This strategy fails to find any non-slice knots $K$ (as it must) for $\natural ^k ({S}^{2} \times {D}^{2})$ when we start with $L$ being the 0-framed unlink – since then all resulting knots $K$ will be ribbon hence slice in ${B}^{4}$.
In view of the $2$-handlebodies constructed in Proposition 4.1, one could ask whether this extension of the Norman-Suzuki trick is the only way to make any knot in the boundary of a manifold bound an embedded disk:
Acknowledgments
The authors would like to thank Anthony Conway, Rob Kirby, Mark Powell, Arunima Ray and Peter Teichner for helpful conversations, their encouragement and guidance. The second author would like to thank Thorben Kastenholz for asking about the decidability of the embedded genus problem in 4-manifolds, which motivated section 4. We are especially grateful to Akira Yasuhara for pointing us to related literature and the work of Suzuki. We are also especially grateful to the anonymous referee for numerous helpful suggestions that improved the exposition. The Max Planck Institute for Mathematics in Bonn supported us financially and with a welcoming research environment.
The Whitehead double of a nontrivial meridian $\gamma$ to one of the surgery link components is deeply slice in $X$.
Figure 4.
Track of a homotopy from the Whitehead double of $\gamma$ to the unknot giving an immersed disk with a single double point (red in the middle frame). The red double point loop based at the green basepoint calculates that $\mu (K) = \gamma$.
Figure 5.
Schematic of the blue surface $F$ in the 2-handlebody, intersecting $X=$ the union of the 0- and 2-handles in a disk $D$. If $\partial D$ was shallow slice (dashed light blue) in $X$, disk $D$ union the shallow slice disk flipped into the 4-handle (solid light blue) would be an impossible sphere representative of the homology class of $F$.
If a local knot $K \subset {B}^{3} \subset M^{3}$ is null concordant in $M^{3} \times {I}$, then $K$ is null concordant in ${S}^{3} \times {I}$.
Proposition 2.4.
Let $X^4$ be a compact 4-manifold with a local knot $\gamma \subset {B}^{3} \subset \partial X$ that is slice in $X$. If there is a cover of $X$ which can be smoothly embedded into ${S}^{4}$, then $\gamma \subset {B}^{3} \hookrightarrow {S}^{3} = \partial {B}^{4}$ is slice in ${B}^{4}$. Hence, $\gamma$ is shallow slice in $X$.
Corollary 2.5.
Suppose that $X$ is a closed smooth 4-manifold with universal cover $\mathbb{R}^4$ or ${S}^{4}$, and let $X^{\circ }$ denote the punctured version. Then $X^{\circ }$ has no deep slice knots.
Theorem 3.1.
Every 2-handlebody $X$ contains a null-homotopic deep slice knot in its boundary.
Lemma 3.4.
Let $X$ be a closed smooth 4-manifold with a handle decomposition consisting of only 0-, 2-, and 4-handles, with exactly one 0-handle and one 4-handle. Every element of $H_2(X;\mathbb{Z})$ can be represented by a smooth closed orientable surface whose intersection with the union of the 0- and 2-handles of $X$ is a single disk.
Let $X$ be an oriented closed smooth 4-manifold with $H_1(X; \mathbb{Z}) = 0$. Let $\psi \in H_2(X; \mathbb{Z})$ be an element that is divisible by 2, and let $F$ be a closed oriented surface of genus $g$ smoothly embedded in $X$ that represents $\psi$. Then
Let $X$ be a closed smooth 4-manifold with $H_1(X; \mathbb{Z}) = 0$, and $H_2(X; \mathbb{Z}) \neq 0$. Then there exists a homology class $\psi \in H_2(X; \mathbb{Z})$ that cannot be represented by a smoothly embedded sphere.
Proposition 4.1.
Let $M^3$ be a closed orientable 3-manifold. There exists a compact orientable 4-manifold $X^4$ constructed with only a 0-handle and 2-handles, with $\partial X = M$ such that every knot in $M$ is slice in $X$.
Theorem 4.4.
Any compact oriented $4$-manifold$V^{4}$ with $\partial V = {S}^{3}$ contains a knot in its boundary that is not topologically null-homologous slice in $V$.
Corollary 4.7.
Let $X$ be a closed topological $4$-manifold with $H_{1}(X; \mathbb{Z}) = 0$. If the knot $K \subset {S}^{3}$ is topologically null-homologous slice in $X^{\circ }$ then for $\omega \in {S}^{1}_{!}$ we have
Selman Akbulut, Cappell-Shaneson homotopy spheres are standard, Ann. of Math. (2) 171 (2010), no. 3, 2171–2175, DOI 10.4007/annals.2010.171.2171. MR2680408, Show rawAMSref\bib{akbulut2010cappell}{article}{
label={Akb10},
author={Akbulut, Selman},
title={Cappell-Shaneson homotopy spheres are standard},
journal={Ann. of Math. (2)},
volume={171},
date={2010},
number={3},
pages={2171--2175},
issn={0003-486X},
review={\MR {2680408}},
doi={10.4007/annals.2010.171.2171},
}
Reference [BN17]
Hans U. Boden and Matthias Nagel, Concordance group of virtual knots, Proc. Amer. Math. Soc. 145 (2017), no. 12, 5451–5461, DOI 10.1090/proc/13667. MR3717970, Show rawAMSref\bib{boden2017concordance}{article}{
label={BN17},
author={Boden, Hans U.},
author={Nagel, Matthias},
title={Concordance group of virtual knots},
journal={Proc. Amer. Math. Soc.},
volume={145},
date={2017},
number={12},
pages={5451--5461},
issn={0002-9939},
review={\MR {3717970}},
doi={10.1090/proc/13667},
}
Reference [Cel18]
Daniele Celoria, On concordances in 3-manifolds, J. Topol. 11 (2018), no. 1, 180–200, DOI 10.1112/topo.12051. MR3784229, Show rawAMSref\bib{celoria2018concordance}{article}{
label={Cel18},
author={Celoria, Daniele},
title={On concordances in 3-manifolds},
journal={J. Topol.},
volume={11},
date={2018},
number={1},
pages={180--200},
issn={1753-8416},
review={\MR {3784229}},
doi={10.1112/topo.12051},
}
Reference [CHH13]
Tim D. Cochran, Shelly Harvey, and Peter Horn, Filtering smooth concordance classes of topologically slice knots, Geom. Topol. 17 (2013), no. 4, 2103–2162, DOI 10.2140/gt.2013.17.2103. MR3109864, Show rawAMSref\bib{MR3109864}{article}{
label={CHH13},
author={Cochran, Tim D.},
author={Harvey, Shelly},
author={Horn, Peter},
title={Filtering smooth concordance classes of topologically slice knots},
journal={Geom. Topol.},
volume={17},
date={2013},
number={4},
pages={2103--2162},
issn={1465-3060},
review={\MR {3109864}},
doi={10.2140/gt.2013.17.2103},
}
Reference [CL86]
T. D. Cochran and W. B. R. Lickorish, Unknotting information from $4$-manifolds, Trans. Amer. Math. Soc. 297 (1986), no. 1, 125–142, DOI 10.2307/2000460. MR849471, Show rawAMSref\bib{cochran1986unknotting}{article}{
label={CL86},
author={Cochran, T. D.},
author={Lickorish, W. B. R.},
title={Unknotting information from $4$-manifolds},
journal={Trans. Amer. Math. Soc.},
volume={297},
date={1986},
number={1},
pages={125--142},
issn={0002-9947},
review={\MR {849471}},
doi={10.2307/2000460},
}
Reference [CN20]
Anthony Conway and Matthias Nagel, Stably slice disks of links, J. Topol. 13 (2020), no. 3, 1261–1301, DOI 10.1112/topo.12154. MR4125756, Show rawAMSref\bib{conway2020stably}{article}{
label={CN20},
author={Conway, Anthony},
author={Nagel, Matthias},
title={Stably slice disks of links},
journal={J. Topol.},
volume={13},
date={2020},
number={3},
pages={1261--1301},
issn={1753-8416},
review={\MR {4125756}},
doi={10.1112/topo.12154},
}
Reference [Con19]
Anthony Conway, The Levine-Tristram signature: a survey, 2019. arXiv:1903.04477.
Christopher W. Davis, Concordance, crossing changes, and knots in homology spheres, Canad. Math. Bull. 63 (2020), no. 4, 744–754, DOI 10.4153/s0008439519000791. MR4176766, Show rawAMSref\bib{davis2019concordance}{article}{
label={Dav19},
author={Davis, Christopher W.},
title={Concordance, crossing changes, and knots in homology spheres},
journal={Canad. Math. Bull.},
volume={63},
date={2020},
number={4},
pages={744--754},
issn={0008-4395},
review={\MR {4176766}},
doi={10.4153/s0008439519000791},
}
Reference [DNPR18]
Christopher W. Davis, Matthias Nagel, JungHwan Park, and Arunima Ray, Concordance of knots in $S^1\times S^2$, J. Lond. Math. Soc. (2) 98 (2018), no. 1, 59–84, DOI 10.1112/jlms.12125. MR3847232, Show rawAMSref\bib{Davis_2018}{article}{
label={DNPR18},
author={Davis, Christopher W.},
author={Nagel, Matthias},
author={Park, JungHwan},
author={Ray, Arunima},
title={Concordance of knots in $S^1\times S^2$},
journal={J. Lond. Math. Soc. (2)},
volume={98},
date={2018},
number={1},
pages={59--84},
issn={0024-6107},
review={\MR {3847232}},
doi={10.1112/jlms.12125},
}
Reference [FGMW10]
Michael Freedman, Robert Gompf, Scott Morrison, and Kevin Walker, Man and machine thinking about the smooth 4-dimensional Poincaré conjecture, Quantum Topol. 1 (2010), no. 2, 171–208, DOI 10.4171/QT/5. MR2657647, Show rawAMSref\bib{Freedman_2010}{article}{
label={FGMW10},
author={Freedman, Michael},
author={Gompf, Robert},
author={Morrison, Scott},
author={Walker, Kevin},
title={Man and machine thinking about the smooth 4-dimensional Poincar\'{e} conjecture},
journal={Quantum Topol.},
volume={1},
date={2010},
number={2},
pages={171--208},
issn={1663-487X},
review={\MR {2657647}},
doi={10.4171/QT/5},
}
Reference [FNOP19]
Stefan Friedl, Matthias Nagel, Patrick Orson, and Mark Powell, Satellites and concordance of knots in 3-manifolds, Trans. Amer. Math. Soc. 371 (2019), no. 4, 2279–2306, DOI 10.1090/tran/7313. MR3896081, Show rawAMSref\bib{friedl2019satellites}{article}{
label={FNOP19},
author={Friedl, Stefan},
author={Nagel, Matthias},
author={Orson, Patrick},
author={Powell, Mark},
title={Satellites and concordance of knots in 3-manifolds},
journal={Trans. Amer. Math. Soc.},
volume={371},
date={2019},
number={4},
pages={2279--2306},
issn={0002-9947},
review={\MR {3896081}},
doi={10.1090/tran/7313},
}
Reference [FQ90]
Michael H. Freedman and Frank Quinn, Topology of 4-manifolds, Princeton Mathematical Series, vol. 39, Princeton University Press, Princeton, NJ, 1990. MR1201584, Show rawAMSref\bib{freedman1990topology}{book}{
label={FQ90},
author={Freedman, Michael H.},
author={Quinn, Frank},
title={Topology of 4-manifolds},
series={Princeton Mathematical Series},
volume={39},
publisher={Princeton University Press, Princeton, NJ},
date={1990},
pages={viii+259},
isbn={0-691-08577-3},
review={\MR {1201584}},
}
Reference [Fre82]
Michael Hartley Freedman, The topology of four-dimensional manifolds, J. Differential Geometry 17 (1982), no. 3, 357–453. MR679066, Show rawAMSref\bib{freedman1982topology}{article}{
label={Fre82},
author={Freedman, Michael Hartley},
title={The topology of four-dimensional manifolds},
journal={J. Differential Geometry},
volume={17},
date={1982},
number={3},
pages={357--453},
issn={0022-040X},
review={\MR {679066}},
}
Reference [Gil81]
Patrick M. Gilmer, Configurations of surfaces in $4$-manifolds, Trans. Amer. Math. Soc. 264 (1981), no. 2, 353–380, DOI 10.2307/1998544. MR603768, Show rawAMSref\bib{MR603768}{article}{
label={Gil81},
author={Gilmer, Patrick M.},
title={Configurations of surfaces in $4$-manifolds},
journal={Trans. Amer. Math. Soc.},
volume={264},
date={1981},
number={2},
pages={353--380},
issn={0002-9947},
review={\MR {603768}},
doi={10.2307/1998544},
}
Reference [HLL18]
Jennifer Hom, Adam Simon Levine, and Tye Lidman, Knot concordance in homology cobordisms, 2018. arXiv:1801.07770.
Reference [Kam17]
Seiichi Kamada, Surface-knots in 4-space: An introduction, Springer Monographs in Mathematics, Springer, Singapore, 2017, DOI 10.1007/978-981-10-4091-7. MR3588325, Show rawAMSref\bib{kamada2017surface}{book}{
label={Kam17},
author={Kamada, Seiichi},
title={Surface-knots in 4-space},
series={Springer Monographs in Mathematics},
subtitle={An introduction},
publisher={Springer, Singapore},
date={2017},
pages={xi+212},
isbn={978-981-10-4090-0},
isbn={978-981-10-4091-7},
review={\MR {3588325}},
doi={10.1007/978-981-10-4091-7},
}
P. B. Kronheimer and T. S. Mrowka, Gauge theory and Rasmussen’s invariant, J. Topol. 6 (2013), no. 3, 659–674, DOI 10.1112/jtopol/jtt008. MR3100886, Show rawAMSref\bib{kronheimer2013gauge}{article}{
label={KM13},
author={Kronheimer, P. B.},
author={Mrowka, T. S.},
title={Gauge theory and Rasmussen's invariant},
journal={J. Topol.},
volume={6},
date={2013},
number={3},
pages={659--674},
issn={1753-8416},
review={\MR {3100886}},
doi={10.1112/jtopol/jtt008},
}
Reference [KSS82]
Akio Kawauchi, Tetsuo Shibuya, and Shin’ichi Suzuki, Descriptions on surfaces in four-space. I. Normal forms, Math. Sem. Notes Kobe Univ. 10 (1982), no. 1, 75–125. MR672939, Show rawAMSref\bib{MR672939}{article}{
label={KSS82},
author={Kawauchi, Akio},
author={Shibuya, Tetsuo},
author={Suzuki, Shin'ichi},
title={Descriptions on surfaces in four-space. I. Normal forms},
journal={Math. Sem. Notes Kobe Univ.},
volume={10},
date={1982},
number={1},
pages={75--125},
issn={0385-633x},
review={\MR {672939}},
}
Reference [Lev69]
J. Levine, Invariants of knot cobordism, Invent. Math. 8 (1969), 98–110; addendum, ibid. 8 (1969), 355, DOI 10.1007/BF01404613. MR253348, Show rawAMSref\bib{MR253348}{article}{
label={Lev69},
author={Levine, J.},
title={Invariants of knot cobordism},
journal={Invent. Math.},
volume={8},
date={1969},
pages={98--110; addendum, ibid. 8 (1969), 355},
issn={0020-9910},
review={\MR {253348}},
doi={10.1007/BF01404613},
}
Reference [Lic97]
W. B. Raymond Lickorish, An introduction to knot theory, Graduate Texts in Mathematics, vol. 175, Springer-Verlag, New York, 1997, DOI 10.1007/978-1-4612-0691-0. MR1472978, Show rawAMSref\bib{lickorish1997introduction}{book}{
label={Lic97},
author={Lickorish, W. B. Raymond},
title={An introduction to knot theory},
series={Graduate Texts in Mathematics},
volume={175},
publisher={Springer-Verlag, New York},
date={1997},
pages={x+201},
isbn={0-387-98254-X},
review={\MR {1472978}},
doi={10.1007/978-1-4612-0691-0},
}
Reference [Mil65]
John Milnor, Lectures on the $h$-cobordism theorem: Notes by L. Siebenmann and J. Sondow, Princeton University Press, Princeton, N.J., 1965. MR0190942, Show rawAMSref\bib{MR0190942}{book}{
label={Mil65},
author={Milnor, John},
title={Lectures on the $h$-cobordism theorem},
subtitle={Notes by L. Siebenmann and J. Sondow},
publisher={Princeton University Press, Princeton, N.J.},
date={1965},
pages={v+116},
review={\MR {0190942}},
}
Reference [NOPP19]
Matthias Nagel, Patrick Orson, JungHwan Park, and Mark Powell, Smooth and topological almost concordance, Int. Math. Res. Not. IMRN 23 (2019), 7324–7355, DOI 10.1093/imrn/rnx338. MR4039014, Show rawAMSref\bib{nagel2019smooth}{article}{
label={NOPP19},
author={Nagel, Matthias},
author={Orson, Patrick},
author={Park, JungHwan},
author={Powell, Mark},
title={Smooth and topological almost concordance},
journal={Int. Math. Res. Not. IMRN},
date={2019},
number={23},
pages={7324--7355},
issn={1073-7928},
review={\MR {4039014}},
doi={10.1093/imrn/rnx338},
}
Reference [Nor69]
R. A. Norman, Dehn’s lemma for certain $4$-manifolds, Invent. Math. 7 (1969), 143–147, DOI 10.1007/BF01389797. MR246309, Show rawAMSref\bib{MR246309}{article}{
label={Nor69},
author={Norman, R. A.},
title={Dehn's lemma for certain $4$-manifolds},
journal={Invent. Math.},
volume={7},
date={1969},
pages={143--147},
issn={0020-9910},
review={\MR {246309}},
doi={10.1007/BF01389797},
}
Reference [Per03]
Grisha Perelman, Finite extinction time for the solutions to the Ricci flow on certain three-manifolds, 2003. arXiv:math/0307245.
Reference [Roh71]
V. A. Rohlin, Two-dimensional submanifolds of four-dimensional manifolds(Russian), Funkcional. Anal. i Priložen. 5 (1971), no. 1, 48–60. MR0298684, Show rawAMSref\bib{rokhlin1971two}{article}{
label={Roh71},
author={Rohlin, V. A.},
title={Two-dimensional submanifolds of four-dimensional manifolds},
language={Russian},
journal={Funkcional. Anal. i Prilo\v {z}en.},
volume={5},
date={1971},
number={1},
pages={48--60},
issn={0374-1990},
review={\MR {0298684}},
}
Reference [Sch03]
Rob Schneiderman, Algebraic linking numbers of knots in 3-manifolds, Algebr. Geom. Topol. 3 (2003), 921–968, DOI 10.2140/agt.2003.3.921. MR2012959, Show rawAMSref\bib{schneiderman2003algebraic}{article}{
label={Sch03},
author={Schneiderman, Rob},
title={Algebraic linking numbers of knots in 3-manifolds},
journal={Algebr. Geom. Topol.},
volume={3},
date={2003},
pages={921--968},
issn={1472-2747},
review={\MR {2012959}},
doi={10.2140/agt.2003.3.921},
}
Reference [Suz69]
Shin’ichi Suzuki, Local knots of $2$-spheres in $4$-manifolds, Proc. Japan Acad. 45 (1969), 34–38. MR248851, Show rawAMSref\bib{suzuki1969localknots}{article}{
label={Suz69},
author={Suzuki, Shin'ichi},
title={Local knots of $2$-spheres in $4$-manifolds},
journal={Proc. Japan Acad.},
volume={45},
date={1969},
pages={34--38},
issn={0021-4280},
review={\MR {248851}},
}
Reference [Tri69]
A. G. Tristram, Some cobordism invariants for links, Proc. Cambridge Philos. Soc. 66 (1969), 251–264, DOI 10.1017/s0305004100044947. MR248854, Show rawAMSref\bib{tristram1969some}{article}{
label={Tri69},
author={Tristram, A. G.},
title={Some cobordism invariants for links},
journal={Proc. Cambridge Philos. Soc.},
volume={66},
date={1969},
pages={251--264},
issn={0008-1981},
review={\MR {248854}},
doi={10.1017/s0305004100044947},
}
Reference [Wal99]
C. T. C. Wall, Surgery on compact manifolds, 2nd ed., Mathematical Surveys and Monographs, vol. 69, American Mathematical Society, Providence, RI, 1999. Edited and with a foreword by A. A. Ranicki, DOI 10.1090/surv/069. MR1687388, Show rawAMSref\bib{wall1999surgery}{book}{
label={Wal99},
author={Wall, C. T. C.},
title={Surgery on compact manifolds},
series={Mathematical Surveys and Monographs},
volume={69},
edition={2},
note={Edited and with a foreword by A. A. Ranicki},
publisher={American Mathematical Society, Providence, RI},
date={1999},
pages={xvi+302},
isbn={0-8218-0942-3},
review={\MR {1687388}},
doi={10.1090/surv/069},
}
Reference [Yas91]
Akira Yasuhara, $(2,15)$-torus knot is not slice in ${\mathbf{C}}{\mathrm{P}}^2$, Proc. Japan Acad. Ser. A Math. Sci. 67 (1991), no. 10, 353–355. MR1151354, Show rawAMSref\bib{yasuhara1991torusknot}{article}{
label={Yas91},
author={Yasuhara, Akira},
title={$(2,15)$-torus knot is not slice in ${\mathbf {C}}{\mathrm {P}}^2$},
journal={Proc. Japan Acad. Ser. A Math. Sci.},
volume={67},
date={1991},
number={10},
pages={353--355},
issn={0386-2194},
review={\MR {1151354}},
}
Reference [Yas92]
Akira Yasuhara, On slice knots in the complex projective plane, Rev. Mat. Univ. Complut. Madrid 5 (1992), no. 2-3, 255–276. MR1195083, Show rawAMSref\bib{yasuhara1992complexplane}{article}{
label={Yas92},
author={Yasuhara, Akira},
title={On slice knots in the complex projective plane},
journal={Rev. Mat. Univ. Complut. Madrid},
volume={5},
date={1992},
number={2-3},
pages={255--276},
issn={0214-3577},
review={\MR {1195083}},
}
Reference [Yas96]
Akira Yasuhara, Connecting lemmas and representing homology classes of simply connected $4$-manifolds, Tokyo J. Math. 19 (1996), no. 1, 245–261, DOI 10.3836/tjm/1270043232. MR1391941, Show rawAMSref\bib{yasuhara1996homologyclasses}{article}{
label={Yas96},
author={Yasuhara, Akira},
title={Connecting lemmas and representing homology classes of simply connected $4$-manifolds},
journal={Tokyo J. Math.},
volume={19},
date={1996},
number={1},
pages={245--261},
issn={0387-3870},
review={\MR {1391941}},
doi={10.3836/tjm/1270043232},
}
Reference [Yil18]
Eylem Zeliha Yildiz, A note on knot concordance, Algebr. Geom. Topol. 18 (2018), no. 5, 3119–3128, DOI 10.2140/agt.2018.18.3119. MR3848410, Show rawAMSref\bib{yildiz2018note}{article}{
label={Yil18},
author={Yildiz, Eylem Zeliha},
title={A note on knot concordance},
journal={Algebr. Geom. Topol.},
volume={18},
date={2018},
number={5},
pages={3119--3128},
issn={1472-2747},
review={\MR {3848410}},
doi={10.2140/agt.2018.18.3119},
}
Show rawAMSref\bib{4273166}{article}{
author={Klug, Michael},
author={Ruppik, Benjamin},
title={Deep and shallow slice knots in 4-manifolds},
journal={Proc. Amer. Math. Soc. Ser. B},
volume={8},
number={17},
date={2021},
pages={204-218},
issn={2330-1511},
review={4273166},
doi={10.1090/bproc/89},
}
Settings
Change font size
Resize article panel
Enable equation enrichment
(Not available in this browser)
Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.