Articles by others on the same topic
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.