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!