No Arabic abstract
The first main purpose of this paper is to contribute to the existing knowledge about the complex projective surfaces $S$ of general type with $p_g(S) = 0$ and their moduli spaces, constructing 19 new families of such surfaces with hitherto unknown fundamental groups. We also provide a table containing all the known such surfaces with K^2 <=7. Our second main purpose is to describe in greater generality the fundamental groups of smooth projective varieties which occur as the minimal resolutions of the quotient of a product of curves by the action of a finite group. We classify, in the two dimensional case, all the surfaces with q=p_g = 0 obtained as the minimal resolution of such a quotient, having rational double points as singularities. We show that all these surfaces give evidence to the Bloch conjecture.
Motivated by a question by D. Mumford : can a computer classify all surfaces with $p_g = 0$ ? we try to show the complexity of the problem. We restrict it to the classification of the minimal surfaces of general type with $p_g = 0, K^2 = 8$ which are constructed by the Beauville construction, namely, which are quotients of a product of curves by the free action of a finite group G acting separately on each component. We think that man and computer will soon solve this classification problem. In the paper we classify completely the 5 cases where the group G is abelian. For these surfaces, we describe the moduli space (sometimes it is just a real point), and the first homology group. We describe also 5 examples where the group G is non abelian. Three of the latter examples had been previously described by R. Pardini.
Let $k$ be an algebraically closed field of characteristic $p>0$ and let $C/k$ be a smooth connected affine curve. Denote by $pi_1(C)$ its algebraic fundamental group. The goal of this paper is to characterize a certain subset of closed normal subgroups $N$ of $pi_1(C)$. In Normal subgroups of fundamental groups of affine curves in positive characteristic we proved the same result under the additional hypothesis that $k$ had countable cardinality.
We show that general triple planes with p_g=q=0 belong to at most 12 families, that we call surfaces of type I,..., XII, and we prove that the corresponding Tschirnhausen bundle is direct sum of two line bundles in cases I, II, III, whereas is a rank 2 Steiner bundle in the remaining cases. We also provide existence results and explicit constructions for surfaces of type I,..., VII, recovering all classical examples and discovering several new ones. In particular, triple planes of type VII provide counterexamples to a wrong claim made in 1942 by Bronowski.
We prove that an analogue of Jordans theorem on finite subgroups of general linear groups holds for the groups of biregular automorphisms of algebraic surfaces. This gives a positive answer to a question of Vladimir L. Popov.
Let $pi_1(C)$ be the algebraic fundamental group of a smooth connected affine curve, defined over an algebraically closed field of characteristic $p>0$ of countable cardinality. Let $N$ be a normal (resp. characteristic) subgroup of $pi_1(C)$. Under the hypothesis that the quotient $pi_1(C)/N$ admits an infinitely generated Sylow $p$-subgroup, we prove that $N$ is indeed isomorphic to a normal (resp. characteristic) subgroup of a free profinite group of countable cardinality. As a consequence, every proper open subgroup of $N$ is a free profinite group of countable cardinality.