four-dimensional geometry