1974年、チャーンとジェームズ・シモンズは、次を満たす2"k" -1形式 "df"("ω")を具体的に構成した。