A proper morphism factors as , with finite and ; its fibers are connected. When is normal, is normal. For a morphism from a smooth surface onto a curve, is therefore a smooth projective curve over an algebraically closed field.
New to topics? Read the docs here!