Floer homology
閉じたについての複数のフレアーホモロジーの間には、同値関係があると予想されている。3つのタイプのホモロジー群が互いに同値であり、完全三角性を形成すると予想されている。3次元多様体の結び目は、それぞれの理論のチェイン複体のフィルトレーションを引き起こし、チェインのホモトピータイプが結び目不変量となる。（それらのホモロジーは、組み合わせ的に定義されたコバノフホモロジーと同じような公式の性質を満たす。）