我们研究了Fujiki-Oka型对循环商奇点的复曲面修正。特别是对有理Chow环、orbifold签名等的行为进行了显式计算。因此，我们推广了高维Dedekind和的Zagier互易性。即利用Atiyah-Singer的非孤立不动点轨迹等变签名定义了带权的Dedekind和，并证明了它们之间的互易性。