Fiber product of schemes

Last updated August 17, 2022

In mathematics, specifically in algebraic geometry, the fiber product of schemes is a fundamental construction. It has many interpretations and special cases. For example, the fiber product describes how an algebraic variety over one field determines a variety over a bigger field, or the pullback of a family of varieties, or a fiber of a family of varieties. Base change is a closely related notion.

Definition

The category of schemes is a broad setting for algebraic geometry. A fruitful philosophy (known as Grothendieck's relative point of view) is that much of algebraic geometry should be developed for a morphism of schemes X → Y (called a scheme XoverY), rather than for a single scheme X. For example, rather than simply studying algebraic curves, one can study families of curves over any base scheme Y. Indeed, the two approaches enrich each other.

In particular, a scheme over a commutative ring R means a scheme X together with a morphism X → Spec(R). The older notion of an algebraic variety over a field k is equivalent to a scheme over k with certain properties. (There are different conventions for exactly which schemes should be called "varieties". One standard choice is that a variety over a field k means an integral separated scheme of finite type over k.^[1])

In general, a morphism of schemes X → Y can be imagined as a family of schemes parametrized by the points of Y. Given a morphism from some other scheme Z to Y, there should be a "pullback" family of schemes over Z. This is exactly the fiber product X ×_YZ → Z.

Formally: it is a useful property of the category of schemes that the fiber product always exists.^[2] That is, for any morphisms of schemes X → Y and Z → Y, there is a scheme X ×_YZ with morphisms to X and Z, making the diagram

commutative, and which is universal with that property. That is, for any scheme W with morphisms to X and Z whose compositions to Y are equal, there is a unique morphism from W to X ×_YZ that makes the diagram commute. As always with universal properties, this condition determines the scheme X ×_YZ up to a unique isomorphism, if it exists. The proof that fiber products of schemes always do exist reduces the problem to the tensor product of commutative rings (cf. gluing schemes). In particular, when X, Y, and Z are all affine schemes, so X = Spec(A), Y = Spec(B), and Z = Spec(C) for some commutative rings A,B,C, the fiber product is the affine scheme

X\times _{Y}Z=\operatorname {Spec} (A\otimes _{B}C).

The morphism X ×_YZ → Z is called the base change or pullback of the morphism X → Y via the morphism Z → Y.

In some cases, the fiber product of schemes has a right adjoint, the restriction of scalars.

Interpretations and special cases

In the category of schemes over a field k, the productX × Y means the fiber product X ×_kY (which is shorthand for the fiber product over Spec(k)). For example, the product of affine spaces A^m and Aⁿ over a field k is the affine space A^m+n over k.
For a scheme X over a field k and any field extension E of k, the base changeX_E means the fiber product X ×_Spec(k) Spec(E). Here X_E is a scheme over E. For example, if X is the curve in the projective plane P²
_R over the real numbers R defined by the equation xy² = 7z³, then X_C is the complex curve in P²
_C defined by the same equation. Many properties of an algebraic variety over a field k can be defined in terms of its base change to the algebraic closure of k, which makes the situation simpler.
Let f: X → Y be a morphism of schemes, and let y be a point in Y. Then there is a morphism Spec(k(y)) → Y with image y, where k(y) is the residue field of y. The fiber of f over y is defined as the fiber product X ×_Y Spec(k(y)); this is a scheme over the field k(y).^[3] This concept helps to justify the rough idea of a morphism of schemes X → Y as a family of schemes parametrized by Y.
Let X, Y, and Z be schemes over a field k, with morphisms X → Y and Z → Y over k. Then the set of k-rational points of the fiber product X x_YZ is easy to describe:

(X\times _{Y}Z)(k)=X(k)\times _{Y(k)}Z(k).

That is, a k-point of X x_YZ can be identified with a pair of k-points of X and Z that have the same image in Y. This is immediate from the universal property of the fiber product of schemes.

If X and Z are closed subschemes of a scheme Y, then the fiber product X x_YZ is exactly the intersection X ∩ Z, with its natural scheme structure.^[4] The same goes for open subschemes.

Base change and descent

Some important properties P of morphisms of schemes are preserved under arbitrary base change. That is, if X → Y has property P and Z → Y is any morphism of schemes, then the base change X x_YZ → Z has property P. For example, flat morphisms, smooth morphisms, proper morphisms, and many other classes of morphisms are preserved under arbitrary base change.^[5]

The word descent refers to the reverse question: if the pulled-back morphism X x_YZ → Z has some property P, must the original morphism X → Y have property P? Clearly this is impossible in general: for example, Z might be the empty scheme, in which case the pulled-back morphism loses all information about the original morphism. But if the morphism Z → Y is flat and surjective (also called faithfully flat) and quasi-compact, then many properties do descend from Z to Y. Properties that descend include flatness, smoothness, properness, and many other classes of morphisms.^[6] These results form part of Grothendieck's theory of faithfully flat descent .

Example: for any field extension k ⊂ E, the morphism Spec(E) → Spec(k) is faithfully flat and quasi-compact. So the descent results mentioned imply that a scheme X over k is smooth over k if and only if the base change X_E is smooth over E. The same goes for properness and many other properties.

Notes

↑ Stacks Project, Tag 020D .
↑ Grothendieck, EGA I, Théorème 3.2.6; Hartshorne (1977), Theorem II.3.3.
↑ Hartshorne (1977), section II.3.
↑ Stacks Project, Tag 0C4I .
↑ Stacks Project, Tag 02WE .
↑ Stacks Project, Tag 02YJ .

Related Research Articles

In commutative algebra, the prime spectrum of a ring R is the set of all prime ideals of R, and is usually denoted by $; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings .$

In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular functions. Abelian varieties are at the same time among the most studied objects in algebraic geometry and indispensable tools for much research on other topics in algebraic geometry and number theory.

In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

In mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The category of group schemes is somewhat better behaved than that of group varieties, since all homomorphisms have kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The initial development of the theory of group schemes was due to Alexander Grothendieck, Michel Raynaud and Michel Demazure in the early 1960s.

In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphismf from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat map of rings, i.e.,

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In algebraic geometry, a proper morphism between schemes is an analog of a proper map between complex analytic spaces.

In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.

In mathematics, a distinctive feature of algebraic geometry is that some line bundles on a projective variety can be considered "positive", while others are "negative". The most important notion of positivity is that of an ample line bundle, although there are several related classes of line bundles. Roughly speaking, positivity properties of a line bundle are related to having many global sections. Understanding the ample line bundles on a given variety X amounts to understanding the different ways of mapping X into projective space. In view of the correspondence between line bundles and divisors, there is an equivalent notion of an ample divisor.

In algebraic geometry, divisors are a generalization of codimension-1 subvarieties of algebraic varieties. Two different generalizations are in common use, Cartier divisors and Weil divisors. Both are derived from the notion of divisibility in the integers and algebraic number fields.

In algebraic geometry, a finite morphism between two affine varieties $is a dense regular map which induces isomorphic inclusion between their coordinate rings, such that is integral over . This definition can be extended to the quasi-projective varieties, such that a regular map between quasiprojective varieties is finite if any point like has an affine neighbourhood V such that is affine and is a finite map.$

In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin for use in deformation theory. Intuitively, schemes are given by gluing together affine schemes using the Zariski topology, while algebraic spaces are given by gluing together affine schemes using the finer étale topology. Alternatively one can think of schemes as being locally isomorphic to affine schemes in the Zariski topology, while algebraic spaces are locally isomorphic to affine schemes in the étale topology.

In algebraic geometry, an étale morphism is a morphism of schemes that is formally étale and locally of finite presentation. This is an algebraic analogue of the notion of a local isomorphism in the complex analytic topology. They satisfy the hypotheses of the implicit function theorem, but because open sets in the Zariski topology are so large, they are not necessarily local isomorphisms. Despite this, étale maps retain many of the properties of local analytic isomorphisms, and are useful in defining the algebraic fundamental group and the étale topology.

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.

In commutative algebra, a quasi-excellent ring is a Noetherian commutative ring that behaves well with respect to the operation of completion, and is called an excellent ring if it is also universally catenary. Excellent rings are one answer to the problem of finding a natural class of "well-behaved" rings containing most of the rings that occur in number theory and algebraic geometry. At one time it seemed that the class of Noetherian rings might be an answer to this problem, but Masayoshi Nagata and others found several strange counterexamples showing that in general Noetherian rings need not be well-behaved: for example, a normal Noetherian local ring need not be analytically normal.

In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist.

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 smooth variety over a field. Smooth schemes play the role in algebraic geometry of manifolds in topology.

This is a glossary of algebraic geometry.

In algebraic geometry, a functor represented by a schemeX is a set-valued contravariant functor on the category of schemes such that the value of the functor at each scheme S is the set of all morphisms $. The scheme X is then said to represent the functor and that classify geometric objects over S given by F .$

In algebraic geometry, given a morphism of schemes $, the diagonal morphism$

References

Grothendieck, Alexandre; Dieudonné, Jean (1960). "Éléments de géométrie algébrique: I. Le langage des schémas". Publications Mathématiques de l'IHÉS . 4. doi:10.1007/bf02684778. MR 0217083.
Hartshorne, Robin (1977), Algebraic Geometry , Graduate Texts in Mathematics, vol. 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157

External links

The Stacks Project Authors, The Stacks Project

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[St020D-1] Stacks Project, Tag 020D .

[2] Grothendieck, EGA I, Théorème 3.2.6; Hartshorne (1977), Theorem II.3.3.

[3] Hartshorne (1977), section II.3.

[St0C4I-4] Stacks Project, Tag 0C4I .

[St02WE-5] Stacks Project, Tag 02WE .

[St02YJ-6] Stacks Project, Tag 02YJ .

[1]

[2]

[3]

[4]

[5]

[6]