Higher-dimensional geometry