Point-like instantons on K3 orbifolds

The map between the moduli space of F-theory (or type 11 string) compactifications and heterotic string compactifications can be considerably simplified by using "stable degenerations". We discuss how this method applies to both the E₈ × E₈ and the Spin(32)/ Z₂ heterotic string. As a simple application of the method we derive some basic properties of the non-perturbative physics of collections of E ₈ or Spin(32)/ Z₂ point-like instantons sitting at ADE singularities on a K3 surface.