Mientras Michael Freedman clasificó las variedades topológicas en dimensión 4, el trabajo de Donaldson se centró en variedades de dimensión 4 que admitían una estructura diferenciable.