Floer homology
これらのフレアーホモロジーの多くは完全で厳密に構成されているわけではなく、多くの同値関係が予想はされているものの、証明されてはいない。テクニカルな困難は、擬正則曲線のコンパクト化は、解析の中にある。ホーファーは、クリス・ウィスコスキ(Kris Wysocki) とエドゥアルド・ゼンダー(Eduard Zehnder)の協力を得て、「高次元多様体」の理論と「一般化されたフレドホルム理論」を経て、新しい解析的な基礎を開発している。高次元多様体のプロジェクトは未だに完全ではないが、横断性がより簡単な方法を使って示された重要なケースがある。