compactification