Floer homology
上記の半正という条件とシンプレクティック多様体 "M" がコンパクトであるという条件は、ノビコフ環と、フレアーホモロジーと量子コホモロジーの定義の双方を得るために必要となる。半正という条件は次の3点のことを言う。