Nonreduced reducible fibre between integral schemes

ID: nonreduced-reducible-fibre-between-integral-schemes

A morphism of schemes between integral schemes can have a scheme-theoretic fibre that is neither reduced nor irreducible. For the map of affine lines given by , the fibre at has ring . The Chinese remainder theorem identifies it with the product of two dual number rings, so it consists of two nonreduced double points. Its nilpotent structure is invisible to the set-theoretic fibre.

New to topics? Read the docs here!