Fiber product of schemes
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 X over Y), 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