Floer homology
1996年、S. Piunikhin、D. Salamon、M. Schwarzは、フレアーホモロジーと量子コホモロジー環との間の関係についての結果をまとめ、次のように定式化した。