We define the stabilizing number $operatorname{sn}(K)$ of a knot $K subset S^3$ as the minimal number $n$ of $S^2 times S^2$ connected summands required for $K$ to bound a nullhomotopic locally flat disc in $D^4 # n S^2 times S^2$. This quantity is defined when the Arf invariant of $K$ is zero. We show that $operatorname{sn}(K)$ is bounded below by signatures and Casson-Gordon invariants and bounded above by the topological $4$-genus $g_4^{operatorname{top}}(K)$. We provide an infinite family of examples with $operatorname{sn}(K)<g_4^{operatorname{top}}(K)$.
For every $k geq 2$ we construct infinitely many $4k$-dimensional manifolds that are all stably diffeomorphic but pairwise not homotopy equivalent. Each of these manifolds has hyperbolic intersection form and is stably parallelisable. In fact we construct infinitely many such infinite sets. To achieve this we prove a realisation result for appropriate subsets of Krecks modified surgery monoid $ell_{2q+1}(mathbb{Z}[pi])$, analogous to Walls realisation of the odd-dimensional surgery obstruction $L$-group $L_{2q+1}^s(mathbb{Z}[pi])$.
A knot in $S^3$ is rationally slice if it bounds a disk in a rational homology ball. We give an infinite family of rationally slice knots that are linearly independent in the knot concordance group. In particular, our examples are all infinite order. All previously known examples of rationally slice knots were order two.
The fundamental quandle is a powerful invariant of knots and links, but it is difficult to describe in detail. It is often useful to look at quotients of the quandle, especially finite quotients. One natural quotient introduced by Joyce is the $n$-quandle. Hoste and Shanahan gave a complete list of the knots and links which have finite $n$-quandles for some $n$. We introduce a generalization of $n$-quandles, denoted $N$-quandles (for a quandle with $k$ algebraic components, $N$ is a $k$-tuple of positive integers). We conjecture a classification of the links with finite $N$-quandles for some $N$, and we prove one direction of the classification.
We consider Milnor invariants for certain covering links as a generalization of covering linkage invariants formulated by R. Hartley and K. Murasugi. A set of Milnor invariants for covering links is a cobordism invariant of a link, and that this invariant can distinguish some links for which the ordinary Milnor invariants coincide. Moreover, for a Brunnian link $L$, the first non-vanishing Milnor invariants of $L$ is modulo-$2$ congruent to a sum of Milnor invariants of covering links. As a consequence, a sum of linking numbers of iterated covering links gives the first non-vanishing Milnor invariant of $L$ modulo $2$.
Kashaev and Reshetikhin previously described a way to define holonomy invariants of knots using quantum $mathfrak{sl}_2$ at a root of unity. These are generalized quantum invariants depend both on a knot $K$ and a representation of the fundamental group of its complement into $mathrm{SL}_2(mathbb{C})$; equivalently, we can think of $mathrm{KR}(K)$ as associating to each knot a function on (a slight generalization of) its character variety. In this paper we clarify some details of their construction. In particular, we show that for $K$ a hyperbolic knot $mathrm{KaRe}(K)$ can be viewed as a function on the geometric component of the $A$-polynomial curve of $K$. We compute some examples at a third root of unity.