Length-two criterion for a very ample linear system

ID: length-two-criterion-for-a-very-ample-linear-system

For a finite generating space on a projective scheme, its map to projective space is a closed immersion exactly when, after algebraic closure of the ground field, the displayed evaluation is surjective for every length-two closed subscheme . Two distinct points test point separation; a double point tests a direction in the Zariski tangent space. For the complete section space, this characterizes a very ample line bundle.

New to topics? Read the docs here!