Uhlenbeck-Donaldson compactification for framed sheaves on projective surfaces

We construct a compactification of the Uhlenbeck-Donaldson type for the moduli space of slope stable framed bundles. This is a kind of a moduli space of slope semistable framed sheaves. We show that there exists a projective morphism , where is the moduli space of S-equivalence classes of Gieseker-semistable framed sheaves. The space has a natural set-theoretic stratification which allows one, via a Hitchin-Kobayashi correspondence, to compare it with the moduli spaces of framed ideal instantons.