Jonathan C. Johnson

Office: MSCS 524
Department of Mathematics
Oklahoma State University

Introduction to Heegaard Floer Homology - Summer 2018 Mini-Course

Heegaard Floer homology is a package of powerful invariants of smooth 3-manifolds introduced by Ozsvath and Szabo in 2004. In this course, we will define the invariants for 3-manifolds including hat, plus, and minus flavors (well-definedness and invariance will not be proved). We will focus primarily on computing concrete examples, using key computational tools such as the surgery exact triangle, absolute gradings and d-invariants.. If we have time, we will say a word or two about knot Floer homology and bordered Floer homology.


We will be following the two introductory papers by Ozsvath and Szobo below:

Ozsvath and Szabo, "An Introduction to Heegaard Floer Homology"
Ozsvath and Szabo, "Lectures on Heegaard Floer Homology"

You may also want to check out the following:

Ozsvath and Szabo, "Heegaard Diagrams and Holomorphic Disks"

For details, see the following sources:

Ozsvath and Szabo, "Holomorphic disks and topological invariants for closed three-manifolds"
Ozsvath and Szabo, "Holomorphic disks and three-manifold invariants: properties and applications"
Jacob Rasmussen, "Floer homology and knot complements"
Robert Lipshitz, "A cylindrical reformulation of Heegaard Floer homology"
Ozsvath and Szabo, "Absolutely Graded Floer homologies and intersection forms for four-manifolds with boundary"


Exercise Set #1
Exercise Set #2
Exercise Set #3
Exercise Set #4


Here's the tentative schedule for this course:

Monday - August 13

10:30-11:30am The story of Heegaard Floer homology and definition of HFhat
1:00-2:00pm Computing of HF

Tuesday, August 14

10:30-12:00pm Problem Session #1
1:00-2:00pm Definition and computation of HF, HF+, HF-

Wednesday, August 15

10:30-12:00pm Problem Session #2
1:00-2:00pm Surgery exact triangle for HF

Thursday, August 16

10:30-12:00pm Problem Session #3
1:00-2:00pm Absolute gradings and d-invariants

Friday, August 17

10:30-12:00pm Problem Session #4
1:00-2:00pm Knot Floer homology, bordered Floer homology, and other Heegaard Floer like invariants