The notion of the Cousin complex of a module was given by Sharp in 1969. It wasn’t known whether its cohomologies are finitely generated until recently. In 2001, Dibaei and Tousi showed that the Cousin cohomologies of a finitely generated A-module M are finitely generated if the base ring A is local, has a dualizing complex, M satisfies Serre’s (S2)-condition and is equidimensional. In the pres...

We try to determine the partition function of N = 4 ADE gauge theory on K3 by self-dualizing our previous ADE partition function. The resulting partition function satisfies gap condition.