Fiber Product of Schemes

The universal scheme of pairs of maps compatible over a common base, realized affinely by a tensor product and serving as the engine of base change, scheme-theoretic fibers, and intersections.

Version

v4 · 2026-09-19 · History

Domain-specific #

1831

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Algebraic Geometry → Mathematics

Aliases

Fibre product of schemes, Fibred product of schemes, Scheme-theoretic fiber product

Core Idea

Given two morphisms of schemes with a common target,

\[ f:X\longrightarrow S, \qquad g:Y\longrightarrow S, \]

their fiber product is a scheme \(X\times_S Y\) equipped with projection morphisms \(p:X\times_S Y\to X\) and \(q:X\times_S Y\to Y\) such that \(f\circ p=g\circ q\), and universal among all schemes carrying such a compatible pair of maps. Concretely, for every scheme \(T\), composition with the projections gives a natural bijection

\[ \operatorname{Hom}(T,X\times_S Y) \cong \operatorname{Hom}(T,X) \times_{\operatorname{Hom}(T,S)} \operatorname{Hom}(T,Y). \]

How would you explain it like I'm…

 

No faithful explanation at this level. Any child-level picture reduces the fiber product to collecting matching pairs of points. That is exactly the naive set-level view, which loses nilpotents, residue-field extensions and intersection structure.

 

No faithful explanation at this level. Without schemes and rings, the only available story is pairs of points landing in the same place. That teaches the point-set pullback that the scheme-theoretic fiber product goes beyond.

Scheme-Theoretic Pullback

Start with two maps of schemes, X → S and Y → S, to the same base S. Their fiber product X ×_S Y is a scheme with maps to X and to Y that agree once you go down to S. It is defined by a universal property: a map from any scheme T into it is exactly the same as a pair of maps T → X and T → Y that agree on S. For schemes built from rings A and B over a ring R, the fiber product comes from the tensor product A ⊗_R B, and general schemes are handled by gluing such pieces. Because of this algebra, the result can carry information that a plain set of matching point pairs would lose. Examples include multiplicity at tangency and extended number systems at a point.

 

Given morphisms f: X → S and g: Y → S, the fiber product X ×_S Y is a scheme with projections p and q to X and Y satisfying f∘p = g∘q, universal among such data. Equivalently, for every scheme T, maps T → X ×_S Y correspond naturally and bijectively to pairs of maps T → X and T → Y that agree after composing to S; this determines the fiber product up to unique isomorphism. For affine schemes X = Spec A, Y = Spec B, S = Spec R, it is Spec(A ⊗_R B): the tensor product is a pushout of rings, and Spec reverses arrows, turning it into a pullback. General fiber products are glued from these affine pieces, and the category of schemes has all such fiber products. Because of the tensor product, the result can carry nilpotents and residue-field extensions not visible in the set of compatible points. Standard special cases include base change, the fiber of a morphism over a point, scheme-theoretic inverse images, intersections of closed subschemes, and the source of diagonal morphisms.

Scope of Application

Fiber products are the working syntax of relative algebraic geometry. A scheme “over \(S\)” is a scheme with a structure morphism to \(S\); changing the base from \(S\) to \(S'\) means forming \(X_{S'}=S'\times_S X\). The Stacks Project treats this as the precise language for studying relative properties and families. Field extension is the familiar instance: for \(k\subset K\), a \(k\)-scheme \(X\) becomes the \(K\)-scheme \(X_K=X\times_{\operatorname{Spec}k}\operatorname{Spec}K\).

Clarity

A reliable four-part diagnostic separates the construction from its neighbors.

1. Write the base explicitly. Record \(X\to S\leftarrow Y\). Omitting \(S\) hides the compatibility relation and can turn a relative product into an apparently absolute one.
2. State the universal property. A test scheme \(T\) maps to the result exactly when it maps compatibly to both inputs. If only a concrete set or ring has been written, universality has not yet been verified.

Manages Complexity

Without fiber products, base extension, fibers, inverse images, intersections, equalizers, and comparison of families would look like unrelated constructions, each needing independent definitions and proofs. Fiber Product of Schemes compresses them into one universal square. The analyst tracks only the common base, two input maps, compatibility, and the unique mediator; the special-case vocabulary then says what the square is being used for.

Abstract Reasoning

The universal square licenses several dependable moves.

Map construction. To construct \(T\to X\times_S Y\), construct \(a:T\to X\) and \(b:T\to Y\), prove \(f a=g b\), and invoke unique mediation. To prove two maps into the fiber product equal, it is enough to show both composites with \(p\) and \(q\) agree.

Knowledge Transfer

Within algebraic geometry the mechanism transfers without metaphor. The identical role structure appears in scalar extension, scheme-theoretic fibers, inverse images of subschemes, intersections, products over a field, diagonals, equalizers, base-changed morphisms, moduli families, group-scheme operations, and algebraic-stack atlases. In each case the same intervention works: identify the two maps to a base, form the universal compatible object, calculate affinely by tensor product, and read the relevant special case from one projection.

Relationships to Other Abstractions

Current abstraction Fiber Product of Schemes Domain-specific

Parents (1) — outgoing typed relations

• Fiber Product of Schemes is a kind of Universal property Domain-specific

  domain_specific:universal_property. Fiber Product of Schemes is a specific universal construction: the unique map from every compatible cone is constitutive, and the result is determined up to unique isomorphism.

Hierarchy paths (4) — routes to 4 parentless roots

• Fiber Product of Schemes → is a kind of Universal property → presupposes Category → includes Associativity → is a kind of Invariance

Show alternative paths (3)

Neighborhood in Abstraction Space

Fiber Product of Schemes sits in a sparse region of the domain-specific corpus (81^st percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

• Pullback (category theory) — 0.83
• Algebraic stack — 0.83
• Stack (Mathematics) — 0.82
• Beck–Chevalley Condition — 0.82
• Prestack — 0.81

Computed from structural-signature embeddings · 2026-10-25