Floer homology
フレアーホモロジーのシンプレクティックバージョンは、ホモロジカルミラー対称性予想の定式化の中で決定的な方法となっている。