Morphism from the projective plane contracting a line

ID: morphism-from-the-projective-plane-contracting-a-line

Every morphism satisfies for some . If contracts a line, restriction to that line makes trivial, hence and all defining sections are constant. Thus the entire morphism is constant.

New to topics? Read the docs here!