If X is a complex algebraic
variety defined over R, complex conjugation in C induces an involution τ : X → X
which we shall still call complex conjugation. If X is nonsingular and of complex
dimension 2, τ is an orientation preserving diffeomorphism and the quotient X∕τ of
X by τ is, as X, a naturally oriented smooth manifold without boundary. Our aim is
to describe X∕τ, up to diffeomorphisms, in case X is a nonsingular quadric or cubic
in PC3.
Our results can be summarized in the following:
Proposition. If X is a nonsingular quadric or cubic in PC3 defined over R then X∕τ
is, up to diffeomorphisms, obtained from the 4-sphere S4 by a connected sum with
copies of PC2.
|