In Varieties and Schemes Revisited we defined the notion of schemes, which is a far-reaching generalization inspired by the concept of varieties, which is essentially a kind of “shape” defined by polynomials in some way. However, the definition of schemes were but one of many innovations in algebraic geometry developed by the mathematician Alexander Grothendieck. In this post, we discuss another of these innovations, the so-called “**relative point of view**“, in which the focus is not just on schemes in isolation, but schemes relative to (with a morphism to) some “base scheme”.

Let be a scheme. A **scheme over** , or an **-scheme**, is a scheme with a morphism called the **structural morphism.** If is another -scheme with structural morphism , a morphism of -schemes is a morphism such that .

If the scheme is the spectrum of some ring , we may also refer to above as a **scheme over** . Every ring has a morphism from the ring of ordinary integers , and every scheme therefore has a morphism to the scheme , so we may think of all schemes as schemes over .

Given two schemes and over a third scheme , we define the **fiber product** to be a scheme together with projection morphisms and such that , and such that for any other scheme and morphisms and , there is a unique morphism up to isomorphism (the concept of fiber product is part of category theory – see also More Category Theory: The Grothendieck Topos).

We can use the fiber product to introduce the concept of **base change**. Given a scheme over a scheme , and a morphism , the fiber product is a scheme over . We may think of it as being “induced” by the morphism . One of the things that can be done with this idea of base change is to look at the properties of and see if we can use these to learn about the properties of , which may be useful if the properties of are difficult to determine directly compared to the properties of (in essence we want to be able to attack a difficult problem indirectly by first attacking an easier problem related to it, which is a common strategy in mathematics).

A special case of base change is when is given by the spectrum of the **residue field** (see Localization) corresponding to a point of . There is a morphism of schemes which we may think of as the inclusion of the point into the scheme . Then the fiber product is called the **fiber** of at the point . The terminology is perhaps reminiscent of **fiber bundles** (see Vector Fields, Vector Bundles, and Fiber Bundles), and is also rather similar to the concept of **covering spaces** (see Covering Spaces) in that we have some kind of space “over” every point of our “base” scheme. However, unlike those two earlier concepts, the spaces which make up our fibers may now vary as the points vary.

Actually, the concept that this special case of fiber product and base change should bring to mind is that of a **moduli space** (see The Moduli Space of Elliptic Curves), where every point represents a space, and the spaces vary as the points vary. Or, as we worded it in The Moduli Space of Elliptic Curves, every point of the moduli space (given by the base scheme) corresponds to a space (given by the fiber), and the moduli space tells us how these spaces vary, so that spaces which are similar to each other in some way correspond to points in the moduli space that are close together.

The lecture notes of Andreas Gathmann listed among the references below contain some nice diagrams to help visualize the idea of the fiber product and base change (these can be found in chapter 5 of the 2002 version). To see these ideas in action, one can look at the article Arithmetic on Curves by Barry Mazur (also among the references) which discusses, among other things, the approach taken by Gerd Faltings in proving the famous conjecture of Louis J. Mordell which says that there is a finite number of rational points on a curve of genus greater than .

References:

Grothendieck’s Relative Point of View on Wikipedia

Arithmetic on Curves by Barry Mazur

Algebraic Geometry by Andreas Gathmann

The Rising Sea: Foundations of Algebraic Geometry by Ravi Vakil

Algebraic Geometry by Robin Hartshorne

Pingback: Differentiable Manifolds Revisited | Theories and Theorems