Title: Slice links and smooth 4-manifolds

Abstract: We vary the trace embedding lemma in order to prove results about smooth, closed, simply connected 4-manifolds, studying smoothly slice links in them. We focus on homotopy 4-spheres, which are potential counterexamples to the smooth 4-dimensional Poincaré conjecture. In particular, we split them, as for exotic R^4’s,  in large and small 4-spheres and we show that links cannot distinguish the latter ones from the standard S^4.