The compactification problem of Moduli space of Instantons is studied. It is known that the common used Uhlenbeck compactified space is very singular. Although, a better version provided by bubble tree compactification modifies the situation, there are still singularities. Observing the similarity between the structure of singularities and Fulton-MacPherson compactification, we introduce a new operation "flip resolution" to resolve singularities and achieve a smooth compactification.; As an application, we are able to use our new compactification to prove the Kotschick-Morgan conjecture on Donaldson wall-crossing formula for 4-manifolds with b+ = 1. |