Title: The smooth closing lemma for area-preserving surface diffeomorphisms

Abstract: In this talk, I will introduce the smooth closing lemma for area-preserving diffeomorphisms on surfaces. The proof is based on a Weyl formula for PFH spectral invariants and a non-vanishing result of twisted Seiberg- Witten Floer homology. This is joint work with Dan Cristofaro-Gardiner and Rohil Prasad.