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.
Articles by others on the same topic
There are currently no matching articles.