ケーラー多様体
ケーラー多様体とは、シンプレクティック多様体 formula_1 とそのシンプレクティック形式 formula_2 と以下の意味で整合性を持つ可積分な概複素構造 J の組である：