A cubic surface is a degree-three projective hypersurface in the projective space . Over an algebraically closed field every cubic surface contains a projective line. The smooth case has finitely many lines, although the incidence proof of existence does not require smoothness.
New to topics? Read the docs here!