In characteristic zero, Castelnuovo proved that every
unirational surface is rational. In positive characteristic, this
fails dramatically: there exist many non-rational, often even
general-type, surfaces that are nevertheless unirational. In
1977...