Floer theory and low dimensional topology

The new $3$- and $4$-manifold invariants recently constructed by Ozsváth and Szabó are based on a Floer theory associated with Heegaard diagrams. The following notes try to give an accessible introduction to their work. In the first part we begin by outlining traditional Morse theory, using the Heegaard diagram of a $3$-manifold as an example. We then describe Witten's approach to Morse theory and how this led to Floer theory. Finally, we discuss Lagrangian Floer homology. In the second part, we define the Heegaard Floer complexes, explaining how they arise as a special case of Lagrangian Floer theory. We then briefly describe some applications, in particular the new $4$-manifold invariant, which is conjecturally just the Seiberg-Witten invariant.