  If a smooth, geometrically rational surface over a finite field is not
rational over that field, then over some finite extension of that field the
Brauer group of the surface is nonzero. In particular such a surface is not
stably rational. This is a special case of a general statement about
geometrically rational surfaces which split over a cyclic extension of their
field of definition.
