Every rational map from a smooth projective curve to a projective variety extends uniquely to a morphism. At a missing point, the discrete valuation ring of the curve lets one divide homogeneous coordinates by their smallest valuation, leaving regular coordinates of which at least one is a unit.
Let be the normalization of a nodal curve. Its rational inverse cannot extend over the node: the two branches give two distinct points of , whereas a morphism can assign only one image to the node.
Articles by others on the same topic
There are currently no matching articles.