= Solution
Take
$$
X=\mathbb P_{\mathbb F_p}^1.
$$
The <global regular functions on projective space> give $\Gamma(X,\mathcal O_X)=\mathbb F_p$, on which the <Absolute Frobenius morphism> is the identity. On the standard <affine line> $\operatorname{Spec}\mathbb F_p[t]$, however, its map on functions is $t\mapsto t^p$, which is not surjective. Thus $F_X$ is not an <isomorphism of schemes>.
Choose the rational closed point $x$ given by $t=0$. The affine formula for a <fibre product of schemes> gives its <scheme-theoretic fiber>:
$$
F_X^{-1}(x)
=\operatorname{Spec}\left(\mathbb F_p[t]\otimes_{\mathbb F_p[t],\,t\mapsto t^p}\mathbb F_p\right)
\cong\boxed{\operatorname{Spec}\mathbb F_p[t]/(t^p)}.
$$
This is the <Fibre of absolute Frobenius over a rational point of the affine line>: it is a one-point, length-$p$ <nonreduced scheme>, rather than a reduced point.
Back to article page
