逼近formula_7这是因为formula_8而且曲率形式formula_9因为陈-西蒙斯形式formula_10所以formula_11formula_12若M是R4，其边界是formula_13，一个3维球面。因为A是规范群G值的，A在边界定义一个从G到formula_14的函数。这样的函数是 第三同伦类 formula_15分类的。的确，上面的第二陈数是一个卷绕数。formula_16所以若formula_17那么威克转动的路径积分成为