compactification of dimensions