>>217
数学ではAは接続1-形式、Fは曲率2-形式に相当する
ちなみに、dF=0 はビアンキの恒等式と呼ばれている。