On real structures on rigid surfaces

We construct examples of rigid surfaces (that is, surfaces whose deformation class consists of a unique surface) with a particular behaviour with respect to real structures. In one example the surface has no real structure. In another it has a unique real structure, which is not maximal with respect to the Smith–Thom inequality. These examples give negative answers to the following problems: the existence of real surfaces in each deformation class of complex surfaces, and the existence of maximal real surfaces in every complex deformation class that contains real surfaces. Moreover, we prove that there are no real surfaces among surfaces of general type with $p_g=q=0$ and $K^2=9$.
These surfaces also provide new counterexamples to the “Dif = Def” problem.