Floer homology
定理(フレアー)：　フレアーホモロジー formula_220はハミルトン関数 formula_2 、及び、概複素構造 formula_114 に依らず、formula_6 のホモロジーに同型である。