Let 549615b01360869815f31bc52f74fdd" title="Click to view the MathML source">K be the compact Lie group or . Let be the moduli space of framed 549615b01360869815f31bc52f74fdd" title="Click to view the MathML source">K-instantons over 5498697a9425960f8e565d4737bf78ee" title="Click to view the MathML source">S4 with the instanton number n. By Donaldson (1984), is endowed with a natural scheme structure. It is a Zariski open subset of a GIT quotient of μ−1(0), where 4e14424bc4030a9410" title="Click to view the MathML source">μ is a holomorphic moment map such that μ−1(0) consists of the ADHM data.
The purpose of the paper is to study the geometric properties of μ−1(0) and its GIT quotient, such as complete intersection, irreducibility, reducedness and normality. If e171d74ee1c7f0b28f7b696500"> then 4e14424bc4030a9410" title="Click to view the MathML source">μ is flat and μ−1(0) is an irreducible normal variety for any n and even N. If the similar results are proven for low n and N.
As an application one can obtain a mathematical interpretation of the 549615b01360869815f31bc52f74fdd" title="Click to view the MathML source">K-theoretic Nekrasov partition function of Nekrasov and Shadchin (2004).