A morphism is a separated morphism when its diagonal morphism
is a closed immersion.
For the requested example, take the affine plane with doubled origin: glue two copies by the identity on
The opens and are affine, while their intersection is the punctured affine plane, which is not affine. Indeed, its regular functions are still ; if it were affine, the canonical map to would be an isomorphism, contrary to the missing origin. The resulting scheme is not separated: in a separated scheme, the intersection of two affine opens is the inverse image of the closed diagonal inside their affine product and is therefore affine.

Articles by others on the same topic (0)

There are currently no matching articles.