Fiber product
The fiber product (also pullback, cartesian square or pullback square) is a term from the mathematical branch of category theory . The fiber product is of central importance in algebraic geometry .
The term fiber product is dual to the term pushout .
Fiber product of quantities
If and are two maps of sets, then the fiber product of and over the subset
of the Cartesian product of and .
Fiber products in any category
Definition via objects
If morphisms and are given in a category , then an object is called together with morphisms
- and
the so-called canonical projections, a fiber product of X and Y over S, if and the following universal property is fulfilled:
- For each pair of morphisms from a test object T to X or Y , for the
- (as morphisms )
- holds, there is exactly one morphism
- so that
- and
- applies.
In other words: the functors
- and
are of course equivalent via pr _{1} and pr _{2} .
Definition via morphisms
In a more general approach, such pairs of morphisms and from an object to or from a fiber product, pullback, Cartesian, or pullback square are called, for which:
- (as morphisms ')
- every further pair of morphisms and from an object to or for which applies is interchangeable with the first pair of morphisms via a uniquely determined morphism , i.e. H. and
The morphisms of pullbacks form a commutative diagram:
This diagram represents a cone above the diagram with the “middle” arrow (the one between and ) omitted. The second condition expresses that the pullback is a limit of all such cones. It is said that it arises by pulling back from along and arises by withdrawing from along
Pullback cone
Occasionally, such pairs of morphisms ( ) from an object to or , for which only
- (as morphisms )
is known as a pullback cone ; Morphisms of pullback cones are defined using commutative diagrams. The fiber product is then an end object of the category of possible pullback cones above the diagram
Uniqueness
The components and the fiber product from the definition via morphisms do not have to be clearly determined, but are unambiguous except for isomorphism. Ie., Is together with pictures and another such fiber product, so are and isomorphic and clearly through and determined. There can also be different possibilities for the morphisms and for one and the same object . The different variants are then in turn clearly determined by an isomorphism (of to itself) through one another.
Also from the definition of objects, there is generally only one symbol for several possible objects that are isomorphic to one another. However, a standard representation is usually given for; z. B. in the category of quantities the quantity:
designation
The terms are not used consistently. More commonly, in mathematical texts, fiber product is used to describe the resulting object of product formation, while pullback is used to describe the resulting pair of images. In addition, there is the generalized designation of the fiber product as "Product about ...". With Cartesian or pullback square the overall construction or pullback diagram is then even more referred. Ultimately, however, the terms are interpreted synonymously and are only used differently in order to focus on a certain aspect of the fiber product.
properties
- If morphism is arbitrary, then is
- .
- If and are injective set mappings (generally monomorphisms ), then the fiber product is the intersection (of the images) of and
- If the set is one element, the fiber product is isomorphic to the Cartesian product . The standard representation (see above) of the fiber product in the category of quantities is then identical to the Cartesian product. If an end object is general , the fiber product is isomorphic to the general categorical product .
- The standard representation (see above) of a fiber product in the category of quantities is a subset of the Cartesian product. In general there is always a monomorphism from the fiber product to the general categorical product
- (if both constructions exist).
- For an asymmetrical view of the fiber product, see change of base (fiber product) .
Examples
- The fiber product is a special Limes . Due to the continuity of the respective forget function , in the following categories - whose objects are always based on quantities - the underlying quantity of the fiber product (in this category) is the same as the fiber product (in the category of quantities) of the underlying quantities:
- Groups, Abelian groups, rings, modules, vector spaces, topological spaces, Banach spaces.
- In the scheme category , the fiber product is given locally by tensor products . It's I. A. not the fiber product of the underlying topological spaces!
- The equality union in relational algebra .
Fiber products in algebraic geometry
The above categorical definition is used in particular in algebraic geometry to define the fiber product of two schemes with given morphisms .
If and are affine schemes , then there is also an affine scheme. From it follows namely
- .
This gives an explicit description (and in particular proves the existence) of the fiber product of affine schemes.
An explicit description for fiber products of any scheme is obtained as follows. Be a covering by affine schemes, and all were
coverages by affine schemes, then is
a coverage by affine schemas, in particular, is thus defined as a schema.
For each point in a scheme, designate the associated local ring . The points of the fiber product then correspond bijectively to the tuples with and a prime ideal .
Individual evidence
- ↑ ^{a } ^{b} R. Goldblatt u. a .: Topoi - The Categorial Analysis of Logic . Studies in Logic and the Foundations of Mathematics. Vol. 98. North-Holland Publishing Company, Amsterdam / New York / Oxford 1979, ISBN 0-444-85207-7 , chap. 3.13, p. 63 (English, description of pullbacks.).
- ↑ R. Goldblatt u. a .: Topoi - The Categorial Analysis of Logic . Studies in Logic and the Foundations of Mathematics. Vol. 98. North-Holland Publishing Company, Amsterdam / New York / Oxford 1979, ISBN 0-444-85207-7 , chap. 3.11, p. 58 (English, description of limits and co-limits.).
- ↑ Hartmut Ehrig, Michael Pfender and students of mathematics: Categories and automata . Walter de Gruyter, Berlin / New York 1972, ISBN 3-11-003902-8 , Def.334, p. 60 (Definition of pullbacks.).
- ↑ R. Goldblatt u. a .: Topoi - The Categorial Analysis of Logic . Studies in Logic and the Foundations of Mathematics. Vol. 98. North-Holland Publishing Company, Amsterdam / New York / Oxford 1979, ISBN 0-444-85207-7 , chap. 3.6, p. 44 (English, definition of end objects.).
- ↑ Hartmut Ehrig, Michael Pfender and students of mathematics: Categories and automata . Walter de Gruyter, Berlin / New York 1972, ISBN 3-11-003902-8 , Def.1.25, p. 19 (Definition of end objects.).
- ↑ R. Goldblatt u. a .: Topoi - The Categorial Analysis of Logic . Studies in Logic and the Foundations of Mathematics. Vol. 98. North-Holland Publishing Company, Amsterdam / New York / Oxford 1979, ISBN 0-444-85207-7 (English).
- ↑ Hartmut Ehrig, Michael Pfender and students of mathematics: Categories and automata . Walter de Gruyter, Berlin / New York 1972, ISBN 3-11-003902-8 .
- ^ Saunders Mac Lane: Categories . Conceptual language and mathematical theory. Springer-Verlag, Berlin / Heidelberg / New York 1972, ISBN 3-540-05634-3 (American English: Categories. For the Working Mathematician. Translated by Klaus Schürger).
- ↑ The stacks Project Lemma 25.17.3
- ↑ The stacks Project Lemma 25.6.7
- ↑ The stacks Project Lemma 25.17.4
- ↑ The stacks Project Lemma 25.17.5