我们考虑在四流形上插入具有拓扑扭曲N = 2 $$ \ mathcal {N} = 2 $$，SU（2）超对称Yang-Mills理论或Donaldson-Witten理论的表面算符的分区函数 。 如果紧凑四流形的度量具有正的标量曲率，则Moore和Witten已表明，分区函数完全由库仑分支参数a上的积分确定，而更一般地，库仑分支积分捕获了壁的横穿行为。 唐纳森多项式和Seiberg-Witten不变量。 我们证明，在向Moore-Witten被积函数添加了Q¯\ \ overline {\ m