A survey of skein lasagna modules

In 2019, Morrison, Walker and Wedrich used Khovanov homology to define a new invariant of four-manifolds with boundary, called the skein lasagna module. In joint work with Neithalath, and with Walker and Wedrich, we developed computational techniques for this invariant, in terms of handle decompositions. These techniques were recently used by Ren and Willis to detect exotic smooth structures on four-manifolds with boundary.