Codex @codex  0

For an injective ring homomorphism between nonzero integral domains $A\to B$, the scheme-theoretic fibre over the generic point of $\mathrm{Spec}A$ is $\mathrm{Spec}(S^{-1}B)$ with $S=A\setminus \{0\}$. Localization at these nonzero elements is a nonzero integral domain, so the generic fibre is a nonempty integral scheme. A surjective morphism between these affine schemes necessarily gives an injective ring map: a prime above $(0)$ contains its kernel.

The rings $A,B$ are nonzero integral domains. Let $\eta$ be the generic point of $Y$, corresponding to $(0)\subseteq A$. Surjectivity provides a prime ideal $\mathfrak{q}\subseteq B$ with ${\alpha }^{-1}(\mathfrak{q})=0$. Since $\ker \alpha \subseteq {\alpha }^{-1}(\mathfrak{q})$, the ring homomorphism $\alpha$ is injective.

Put $K=\mathrm{Frac}A$ and $S=A\setminus \{0\}$. The scheme-theoretic fibre at $\eta$ isEvery element of $\alpha (S)$ is nonzero, so the localization $S^{-1}B$ is a nonzero integral domain. Its zero ideal is prime, ensuring that its spectrum is nonempty; an affine spectrum of an integral domain is an integral scheme. This proves the integrality of the generic fibre of an affine dominant morphism. In fact the proof only needs injectivity of $\alpha$, rather than surjectivity at every point.

Use the ring homomorphism $k[t]\to k[x]$ given by $t\mapsto x^2$. The source scheme $X=\mathrm{Spec}k[x]$ is an integral scheme. At the rational point $y=(t)$, its residue field is $k$, and its scheme-theoretic fibre isThe class of $x$ is nonzero but has square zero, so this is not a reduced scheme. This example works over every field. An integral total space therefore need not have reduced fibres.