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. The 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 that a variety over a field k means an integral separated scheme of finite type over k.) 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 ×Y Z → Z. Formally: it is a useful property of the category of schemes that the always exists. That is, for any morphisms of schemes X → Y and Z → Y, there is a scheme X ×Y Z 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 ×Y Z that makes the diagram commute. As always with universal properties, this condition determines the scheme X ×Y Z up to a unique isomorphism, if it exists.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (19)

Related courses (5)

Related lectures (38)

Related MOOCs (2)

MATH-510: Algebraic geometry II - schemes and sheaves

The aim of this course is to learn the basics of the modern scheme theoretic language of algebraic geometry.

MATH-657: Deformation Theory

We will study classical and modern deformation theory of schemes and coherent sheaves. Participants should have a solid background in scheme-theory, for example being familiar with the first 3 chapter

MATH-662: Perfectoid spaces

The course is about defining perfectoid spaces, and possibly presenting some applications.

Crowdfunding: Launching New Ventures

Explores crowdfunding for new ventures, covering players, schemes, strategies, and practical tips.

Mixing Time Changes of Nilflows

Delves into mixing time changes in nilflows, emphasizing the delicate nature of mixing and its dependence on singularities.

Crowdfunding: The Funding Universe MOOC: Launching New Ventures

Delves into crowdfunding schemes, players, funding types, and success stories in the entrepreneurial world.

Launching New Ventures

Develop your promising idea into a successful business concept proposal, and launch it! Gain practical experience in the key steps of the venture creation process, including marketing and fundraising.

Launching New Ventures

Fiber product of schemes

Glossary of algebraic geometry

This is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.

Residue field

In mathematics, the residue field is a basic construction in commutative algebra. If R is a commutative ring and m is a maximal ideal, then the residue field is the quotient ring k = R/m, which is a field. Frequently, R is a local ring and m is then its unique maximal ideal. This construction is applied in algebraic geometry, where to every point x of a scheme X one associates its residue field k(x). One can say a little loosely that the residue field of a point of an abstract algebraic variety is the 'natural domain' for the coordinates of the point.