$K3$ surfaces and Enriques surfaces Surfaces and higher-dimensional varieties mathematics