フレアーホモロジー
A knot in a three-manifold induces a filtration on the Heegaard Floer homology groups, and the filtered homotopy type is a powerful knot invariant, called knot Floer homology. It categorifies the Alexander polynomial. Knot Floer homology was defined by and independently by . It is known to detect knot genus. Using grid diagrams for the Heegaard splittings, knot Floer homology was given a combinatorial construction by .