Surfaces of general type Surfaces and higher-dimensional varieties mathematics