$4$-folds Surfaces and higher-dimensional varieties mathematics