An algebraic surface is an algebraic variety of dimension two. The Enriques-Kodaira classification gives an overview of the possibilities. Over the complex numbers, a non-singular algebraic surface is an example of a 4-manifold.