Floer homology
インスタントンフレアーホモロジーは、フレアー自身により導入され、ドナルドソン理論と結ばれた 3次元多様体の不変量である。これは、3次元多様体のSU(2)-主バンドルの接続の空間上のチャーン・サイモンズ汎函数を使って得られる。チャーン-サイモンズ汎函数の臨界点では、接続が平坦接続となり、力線が(Instanton)、つまり実直線と 3次元多様体の交点の上の反自己双対接続となる。フレアーホモロジーのオイラー標数がキャッソン不変量に一致するので、インスタントンフレアーホモロジーはキャッソン不変量の一般化とも考えられる。