In this paper we study the algebraic structure of the hyperelliptic mapping class group of Klein surfaces, which is closely related to the mapping class group of punctured discs. This group plays an important role in the study of the moduli space of hyperelliptic real algebraic curves. Our main result provides a presentation by generators and relations for the hyperelliptic mapping class group of surfaces of prescribed topological type.

AMS 2000 Mathematics subject classification: Primary 14H10; 20H10; 30F50

Classification of real K3 surfaces $X$ with non-symplectic involution $\tau$ is considered. We define a natural notion of degeneration for them. We show that the connected component of moduli of non-degenerate surfaces of this type is defined by the isomorphism class of the action of $\tau$ and the anti-holomorphic involution $\varphi$ in the homology lattice. (There are very few similar results known.) For their classification we apply invariants of integral lattice involutions with conditions that were developed by the first author in 1983. As a particular case, we describe connected components of moduli of real non-singular curves $A \in | -2 K_V|$ for the classical real surfaces: $V = P^2$, hyperboloid, ellipsoid, $F_1$, $F_4$.

As an application, we describe all real polarized K3 surfaces that are deformations of general real K3 double rational scrolls (the surfaces $V$ above). There are very few exceptions. For example, any non-singular real quartic in $P^3$ can be constructed in this way.

A first aim of this paper is to answer, in the case of real ruled surfaces $X_l$ of base $\mathbb{C}P^1$, with $l \geq 2$, a question of V. A. Rokhlin: is it true that the equivariant isotopy class does not suffice to distinguish the connected components of the space of smooth real algebraic curves of $X_l$? A second aim is to prove that there exist in these surfaces some real schemes realized by real flexible curves but not by smooth real algebraic curves. These two results of real algebraic geometry are deduced from the following comparison theorem: when $m = l + 2k$, with $k > 0$, the discriminants of the surface $X_m$ are deduced from those of the surface $X_l$ via weighted homotheties. All these results are obtained from a study of a deformation of ruled surfaces.

The paper is written in French.

2000 Mathematical Subject Classification: 14H10, 14J26, 14P25.