Smooth projective surface
= Smooth projective surface
A <smooth projective surface> is a two-dimensional <smooth variety> admitting a closed embedding in <projective space>. Its integral curves are <Cartier divisors>, and their intersections, arithmetic adjunction and point blowups control its birational geometry.