Related papers: On dissolving knot surgery $4$-manifolds under a $…

We prove a surgery formula for the ordinary Seiberg-Witten invariants of smooth $4$-manifolds with $b_1 =1$. Our formula expresses the Seiberg-Witten invariants of the manifold after the surgery, in terms of the original Seiberg-Witten…

Given an $S\cong \mathbb{R}P^2$ smoothly embedded in a 4-manifold $X^4$ with Euler number 2 or -2, the Price twist is a surgery operation on $\nu(S)$ yielding (up to) three different 4-manifolds: $X^4,\tau_S(X^4),\Sigma_S(X^4)$. This is of…

We prove that there exist infinitely many topologically slice knots which cannot bound a smooth null-homologous disk in any definite 4-manifold. Furthermore, we show that we can take such knots so that they are linearly independent in the…

We show that for any finitely presented group $G$, there is a simply connected closed 4-manifold containing an infinite family of topologically isotopic but smoothly inequivalent 2-links whose 2-link group is $G$. We also show that, if $G$…

Manolescu and Piccirillo recently initiated a program to construct an exotic $S^4$ or $\# n \mathbb{CP}^2$ by using zero surgery homeomorphisms and Rasmussen's $s$-invariant. They find five knots that if any were slice, one could construct…

In this note we prove that, for any integer n, there exist a smooth 4-manifold, homotopic to a K3 surface, defined by applying the link surgery method of Fintushel-Stern to a certain 2-component graph link, which admits n inequivalent…

This paper concerns the Dehn surgery construction, especially those Dehn surgeries leaving the manifold unchanged. In particular, we describe an oriented 1-cusped hyperbolic 3-manifold X with a pair of slopes r_1, r_2 such that the Dehn…

Kreck's modified surgery theory reduces the classification of closed, connected 4-manifolds, up to connect sum with some number of copies of $S^2\times S^2$, to a series of bordism questions. We implement this in the case of unorientable…

We define a "reduced" version of the knot Floer complex $CFK^-(K)$, and show that it behaves well under connected sums and retains enough information to compute Heegaard Floer $d$-invariants of manifolds arising as surgeries on the knot…

We show that two Dehn surgeries on a knot $K$ never yield manifolds that are homeomorphic as oriented manifolds if $V_K''(1)\neq 0$ or $V_K'''(1)\neq 0$. As an application, we verify the cosmetic surgery conjecture for all knots with no…

We prove that a closed 4-manifold has shadow-complexity zero if and only if it is a kind of 4-dimensional graph manifold, which decomposes into some particular blocks along embedded copies of S^2 x S^1, plus some complex projective spaces.…

In this paper we study submanifold with nonpositive extrinsic curvature in a positively curved manifold. Among other things we prove that, if $K\subset (S^n, g)$ is a totally geodesic submanifold in a Riemannian sphere with positive…

We study the equivariant 4-genus of strongly invertible knots in the $S^3$ boundary of 4-manifolds with involution. We provide techniques for constructing slice disks for knots in various symmetric 4-manifolds via an equivariant version of…

Freedman and Krushkal showed that if the surgery conjecture and the $s$-cobordism conjecture hold for all topological 4-manifolds, then every link with pairwise zero linking numbers is topologically round handle slice. Kim, Powell, and…

Kawauchi proved that every strongly negative amphichiral knot $K \subset S^3$ bounds a smoothly embedded disk in some rational homology ball $V_K$, whose construction a priori depends on $K$. We show that $V_K$ is independent of $K$ up to…

We point out that recent constructions of inequivalent smooth structures yield a manufacturing procedure of infinite sets of pairwise smoothly non-isotopic nullhomologous 2-tori and spheres inside a myriad of 4-manifolds. The corresponding…

We show that if $p/q$-surgery on a nontrivial knot $K$ yields the branched double cover of an alternating knot or link, then $|p/q|\leq 4g(K)+3$. This generalises a bound for lens space surgeries first established by Rasmussen. We also show…

We show that two properly embedded compact surfaces in an orientable 4-manifold are cobordant if and only if they are $\mathbb{Z}/2$-homologous and either the 4-manifold has boundary or the surfaces have the same normal Euler number. If the…

We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In particular, we explain in detail how closed, simply…

We prove that for every natural number k there are simply connected topological four-manifolds which have at leat k distinct smooth structures supporting Einstein metrics, and also have infinitely many distinct smooth structures not…