In algebraic geometry, a morphism of schemes f from X to Y is called quasi-separated if the diagonal map from X to X × YX is quasi-compact (meaning that the inverse image of any quasi-compact open set is quasi-compact). A scheme X is called quasi-separated if the morphism to SpecZ is quasi-separated. Quasi-separated algebraic spaces and algebraic stacks and morphisms between them are defined in a similar way, though some authors include the condition that X is quasi-separated as part of the definition of an algebraic space or algebraic stack X. Quasi-separated morphisms were introduced by Grothendieck & Dieudonné (1964, 1.2.1) as a generalization of separated morphisms.
All separated morphisms (and all morphisms of Noetherian schemes) are automatically quasi-separated. Quasi-separated morphisms are important for algebraic spaces and algebraic stacks, where many natural morphisms are quasi-separated but not separated.
The condition that a morphism is quasi-separated often occurs together with the condition that it is quasi-compact.
Examplesedit
If X is a locally Noetherian scheme then any morphism from X to any scheme is quasi-separated, and in particular X is a quasi-separated scheme.
Any separated scheme or morphism is quasi-separated.
The line with two origins over a field is quasi-separated over the field but not separated.
If X is an "infinite dimensional vector space with two origins" over a field K then the morphism from X to spec K is not quasi-separated. More precisely X consists of two copies of Spec K[x1,x2,....] glued together by identifying the nonzero points in each copy.
The quotient of an algebraic space by an infinite discrete group acting freely is often not quasi-separated. For example, if K is a field of characteristic 0 then the quotient of the affine line by the group Z of integers is an algebraic space that is not quasi-separated. This algebraic space is also an example of a group object in the category of algebraic spaces that is not a scheme; quasi-separated algebraic spaces that are group objects are always group schemes. There are similar examples given by taking the quotient of the group scheme Gm by an infinite subgroup, or the quotient of the complex numbers by a lattice.
quasi, separated, morphism, algebraic, geometry, morphism, schemes, from, called, quasi, separated, diagonal, from, quasi, compact, meaning, that, inverse, image, quasi, compact, open, quasi, compact, scheme, called, quasi, separated, morphism, spec, quasi, se. In algebraic geometry a morphism of schemes f from X to Y is called quasi separated if the diagonal map from X to X YX is quasi compact meaning that the inverse image of any quasi compact open set is quasi compact A scheme X is called quasi separated if the morphism to Spec Z is quasi separated Quasi separated algebraic spaces and algebraic stacks and morphisms between them are defined in a similar way though some authors include the condition that X is quasi separated as part of the definition of an algebraic space or algebraic stack X Quasi separated morphisms were introduced by Grothendieck amp Dieudonne 1964 1 2 1 as a generalization of separated morphisms All separated morphisms and all morphisms of Noetherian schemes are automatically quasi separated Quasi separated morphisms are important for algebraic spaces and algebraic stacks where many natural morphisms are quasi separated but not separated The condition that a morphism is quasi separated often occurs together with the condition that it is quasi compact Examples editIf X is a locally Noetherian scheme then any morphism from X to any scheme is quasi separated and in particular X is a quasi separated scheme Any separated scheme or morphism is quasi separated The line with two origins over a field is quasi separated over the field but not separated If X is an infinite dimensional vector space with two origins over a field K then the morphism from X to spec K is not quasi separated More precisely X consists of two copies of Spec K x1 x2 glued together by identifying the nonzero points in each copy The quotient of an algebraic space by an infinite discrete group acting freely is often not quasi separated For example if K is a field of characteristic 0 then the quotient of the affine line by the group Z of integers is an algebraic space that is not quasi separated This algebraic space is also an example of a group object in the category of algebraic spaces that is not a scheme quasi separated algebraic spaces that are group objects are always group schemes There are similar examples given by taking the quotient of the group scheme Gm by an infinite subgroup or the quotient of the complex numbers by a lattice References editGrothendieck Alexandre Dieudonne Jean 1964 Elements de geometrie algebrique IV Etude locale des schemas et des morphismes de schemas Premiere partie Publications Mathematiques de l IHES 20 doi 10 1007 bf02684747 MR 0173675 Retrieved from https en wikipedia org w index php title Quasi separated morphism amp oldid 1170288025, wikipedia, wiki, book, books, library,
