The open immersionis of finite type and has a proper scheme-theoretic fibre over every point: a point over its residue field away from zero, and the empty scheme over zero. Nevertheless, is not a proper morphism. Its whole source is a closed subset of itself, while its image omits zero and is not closed in , so is not universally closed.
The failure is also visible in the valuative criterion for properness. Send the coordinate to in the discrete valuation ring . Its fraction field gives a point of the punctured line because is invertible there. An extension to over would require to be invertible in , which it is not. Proper fibers alone do not control whether a family has a limit inside the source.
Articles by others on the same topic
There are currently no matching articles.