フレアーホモロジー
Floer homologies are generally difficult to compute explicitly. For instance, the symplectic Floer homology for all surface symplectomorphisms was completed only in 2007. The Heegaard Floer homology has been a success story in this regard: researchers have exploited its algebraic structure to compute it for various classes of 3-manifolds and have found combinatorial algorithms for computation