In algebraic geometry, given a
morphism of schemes In algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes.
A morphism of algebraic stacks generalizes a ...
, the diagonal morphism
:
is a morphism determined by the universal property of the
fiber product
In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit of a diagram consisting of two morphisms and with a common codomain. The pullback is often w ...
of ''p'' and ''p'' applied to the identity
and the identity
.
It is a special case of a
graph morphism: given a morphism
over ''S'', the graph morphism of it is
induced by
and the identity
. The diagonal embedding is the graph morphism of
.
By definition, ''X'' is a separated scheme over ''S'' (
is a separated morphism) if the diagonal morphism is a
closed immersion
In algebraic geometry, a closed immersion of schemes is a morphism of schemes f: Z \to X that identifies ''Z'' as a closed subset of ''X'' such that locally, regular functions on ''Z'' can be extended to ''X''. The latter condition can be formaliz ...
. Also, a morphism
locally of finite presentation is an
unramified morphism In algebraic geometry, an unramified morphism is a morphism f: X \to Y of schemes such that (a) it is locally of finite presentation and (b) for each x \in X and y = f(x), we have that
# The residue field k(x) is a separable algebraic extension of ...
if and only if the diagonal embedding is an open immersion.
Explanation
As an example, consider an
algebraic variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Mo ...
over an
algebraically closed field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in .
Examples
As an example, the field of real numbers is not algebraically closed, because ...
''k'' and
the structure map. Then, identifying ''X'' with the set of its ''k''-rational points,
and
is given as
; whence the name diagonal morphism.
Separated morphism
A separated morphism is a morphism
such that the
fiber product
In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit of a diagram consisting of two morphisms and with a common codomain. The pullback is often w ...
of
with itself along
has its
diagonal
In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. Informally, any sloping line is called diagonal. The word ''diagonal'' derives from the ancient Greek δ ...
as a closed subscheme — in other words, the diagonal morphism is a ''closed immersion''.
As a consequence, a scheme
is separated when the diagonal of
within the ''scheme product'' of
with itself is a closed immersion. Emphasizing the relative point of view, one might equivalently define a scheme to be separated if the unique morphism
is separated.
Notice that a
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points ...
''Y'' is
Hausdorff iff the diagonal embedding
:
is closed. In algebraic geometry, the above formulation is used because a scheme which is a Hausdorff space is necessarily empty or zero-dimensional. The difference between the topological and algebro-geometric context comes from the topological structure of the fiber product (in the category of schemes)
, which is different from the product of topological spaces.
Any ''affine'' scheme ''Spec A'' is separated, because the diagonal corresponds to the surjective map of rings (hence is a closed immersion of schemes):
:''
''.
Let
be a scheme obtained by identifying two affine lines through the identity map except at the origins (see
gluing scheme#Examples). It is not separated.
Indeed, the image of the diagonal morphism
image has two origins, while its closure contains four origins.
Use in intersection theory
A classic way to define the
intersection product
In mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theore ...
of
algebraic cycles In mathematics, an algebraic cycle on an algebraic variety ''V'' is a formal linear combination of subvarieties of ''V''. These are the part of the algebraic topology of ''V'' that is directly accessible by algebraic methods. Understanding the alg ...
on a
smooth variety In algebraic geometry, a smooth scheme over a field is a scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no singular points. A special case is the notion of a smo ...
''X'' is by intersecting (restricting) their cartesian product with (to) the diagonal: precisely,
:
where
is the pullback along the diagonal embedding
.
See also
*
regular embedding
In algebraic geometry, a closed immersion i: X \hookrightarrow Y of schemes is a regular embedding of codimension ''r'' if each point ''x'' in ''X'' has an open affine neighborhood ''U'' in ''Y'' such that the ideal of X \cap U is generated by a re ...
*
Diagonal morphism
In category theory, a branch of mathematics, for any object a in any category \mathcal where the product a\times a exists, there exists the diagonal morphism
:\delta_a : a \rightarrow a \times a
satisfying
:\pi_k \circ \delta_a = \operatorn ...
References
*
{{algebraic-geometry-stub
Algebraic geometry