The Rasmussen s-invariant and exotic 4-manifolds

Abstract: We give a short exposition of Ren and Willis's analysis-free proof of the existence of exotic compact, orientable 4-manifolds. There are two distinguishing features of our exposition. First, we avoid skein lasagna modules; we use Beliakova and Wehrli's generalization of Rasmussen's s-invariant to links in $S^{3}$ directly. Second, we reduce the complexity of the computations by choosing clever induction hypotheses in Stošić's induction scheme; this in particular allows us to avoid Ren and Willis's Comparison Lemma.