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:
“No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
—André Breton (1896–1966)
“Histories are more full of examples of the fidelity of dogs than of friends.”
—Alexander Pope (1688–1744)
“It is hardly to be believed how spiritual reflections when mixed with a little physics can hold people’s attention and give them a livelier idea of God than do the often ill-applied examples of his wrath.”
—G.C. (Georg Christoph)