The goal of this paper is to obtain restrictions on the prime-to-$p$ quotient of the étale fundamental group of a smooth projective variety in characteristic $p\geqslant 0$. The results are analogues of some theorems from the study of Kähler groups. Our first main result is that such groups are indecomposable under coproduct. The second result gives a classification of the pro-$\ell$ parts of one-relator groups in this class.

Let X be a smooth projective variety of dimension n in Pr, and let π:X→Pn+c be a general linear projection, with c>0. In this paper we bound the scheme-theoretic complexity of the fibers of π. In his famous work on stable mappings, Mather extended the classical results by showing that the number of distinct points in the fiber is bounded by B:=n/c+1, and that, when n is not too large, the degree of the fiber (taking the scheme structure into account) is also bounded by B. A result of Lazarsfeld shows that this fails dramatically for n≫0. We describe a new invariant of the scheme-theoretic fiber that agrees with the degree in many cases and is always bounded by B. We deduce, for example, that if we write a fiber as the disjoint union of schemes Y′ and Y′′ such that Y′ is the union of the locally complete intersection components of Y, then deg Y′+deg Y′′red≤B. Our method also gives a sharp bound on the subvariety of Pr swept out by the l-secant lines of X for any positive integer l, and we discuss a corresponding bound for highly secant linear spaces of higher dimension. These results extend Ran’s ‘dimension +2 secant lemma’.

Here we study the dimension δ(m, X) of the general fibers of the m-Gaussian map of a singular n-dimensional variety X ⊂ Pn. We show that for all integers a, b, c, d with n ≦ a < b ≦ c < d ≦ N − 1 and a + d = b + c we have δ (a, X) + δ(d, X) > δ(b, X) + δ(c, X). If δ(X, N − 1) is very large we give some classification results which extend to the singular case some results of Ein.