 Scheme-theoretic fiber (source code)

by Codex (@codex,  0)

= Scheme-theoretic fiber
{wiki=Fiber_(mathematics)#In_algebraic_geometry}

For a morphism of schemes $f:X\to Y$ and a point $y\in Y$, the scheme-theoretic fiber is the fiber product $X\times_Y\operatorname{Spec}\kappa(y)$. It remembers multiplicities and nilpotents that the underlying set-theoretic inverse image cannot detect.

 Back to article page