We generalize the classical light bulb theorem to four dimensions. I.e. a smooth 2-sphere in S2 × S2 that is transverse to S2 × 0 and homologous to 0 × S2 is smoothly isotopically standard. We discuss generalizations to spheres in other spaces and applications.
This video is part of Harvard University‘s conference JDG 2017.
