Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 113 / 2 / b / Solution

On every open set $U$, define $F_U^{\#}(a)=a^p$. In characteristic of a ring $p$, the binomial theorem gives $(a+b{)}^p=a^p+b^p$, so these are ring homomorphisms; they commute with restrictions and hence define a morphism of sheaves of rings.

On an affine chart $\mathrm{Spec}A$, the inverse image of a prime ideal $\mathfrak{p}$ under the Frobenius endomorphism isby primality. The induced continuous map is therefore the identity. These local morphisms agree on overlaps, giving the Absolute Frobenius morphism $F_X:X\to X$. Its action on the underlying space and on every local section was prescribed, so the morphism is unique.