Theorem 5.1 is incorrect as stated. Condition (2) should also include a choice of isomorphism (sigma)X -> X^{op}, as different isomorphisms may give rise to different surfaces over F.