Title: (Un)knotted nullhomotopic spheres and disks in 4-manifolds produced via knot surgery

Abstract: For each knot $K\subset S^3$ and a 4-manifold $X$ that satisfies certain conditions, we use Fintushel-Stern's knot surgery to construct a nullhomotopic 2-sphere $S_K\subset X\#S^2\times S^2$ such that $S_K$ bounds a topologically embedded handlebody, i.e., $S_K$ is topologically isotopic to an unknotted 2-sphere contained in a 4-ball. If there is a diffeomorphism of pairs $(X\#S^2\times S^2, S_{K_1})\rightarrow (X\#S^2\times S^2, S_{K_2})$, then the knots $K_1$ and $K_2$ have the same Alexander polynomial. In particular, the construction in this note yields an infinite set of topologically unknotted nullhomotopic 2-spheres in $X\#S^2\times S^2$ and an infinite set of topologically equivalent 2-disks in $X\#S^2\times S^2\setminus D^4$ that are smoothly inequivalent, and for which the diffeomorphism types of the embeddings are detected by the Alexander polynomial. Examples of knotted behaviour of 2-spheres in 4-manifolds that is detected by the Reidemeister/Turaev torsion of lens spaces are also provided.