Floer homology
数学において、フレアーホモロジー(Floer homology)は、シンプレクティック幾何学や低次元トポロジーの研究に使用される有用なツールである。フレアーホモロジーは、有限次元のモース理論の無限次元の類似として発生した高級な不変量である。アンドレアス・フレアー(Andreas Floer)は、現在はハミルトニアンフレアーホモロジーと呼ばれているフレアーホモロジーの最初のバージョンを導入し、シンプレクティック幾何学のアーノルド予想の証明に使った。フレアーは、これと密接に関連するシンプレクティック多様体のラグランジアン部分多様体の理論を開発した。フレアーは、また、シンプレクティック多様体のラグランジアン部分多様体に密接に関連する理論も開発した。フレアーが第三番目に構成したことは、ヤン・ミルズ汎函数を使い、ホモロジー群を閉 3次元多様体へ関連付けた。これらの理論とそれの適用は、3次元や 4次元トポロジーと同様に、シンプレクティック多様体や接触多様体の現在の研究で、基本的な役割を果たしている。