For a morphism of schemes with an integral scheme and generic point , the generic fiber is its scheme-theoretic fiber over . On affine schemes and , it is . It can be empty, and it need not be a reduced scheme or an irreducible scheme without further assumptions.
New to topics? Read the docs here!