Examples
The projective space Pd over a field K is proper over a point (that is, Spec(K)). In the more classical language, this is the same as saying that projective space is a complete variety. Projective morphisms are proper, but not all proper morphisms are projective. Affine varieties of non-zero dimension are never proper. More generally, it can be shown that affine proper morphisms are necessarily finite. For example, it is not hard to see that the affine line A1 is not proper. In fact the map taking A1 to a point x is not universally closed. For example, the morphism
is not closed since the image of the hyperbola uv = 1, which is closed in A1 × A1, is the affine line minus the origin and thus not closed.
Read more about this topic: Proper Morphism
Famous quotes containing the word examples:
“There are many examples of women that have excelled in learning, and even in war, but this is no reason we should bring ‘em all up to Latin and Greek or else military discipline, instead of needle-work and housewifry.”
—Bernard Mandeville (1670–1733)
“No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
—André Breton (1896–1966)