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