A Lefschetz theorem for intersections with projective varieties

Abstract: One version of the classical Lefschetz hyperplane theorem states that for

U s u b s e t m a t h b b P^{n}

a smooth quasi-projective variety of dimension at least

2

, and

H c a p U

a general hyperplane section, the resulting map on 'etale fundamental groups

p i_{1} (H c a p U) i g h t a r r o w p i_{1} (U)

is surjective. We prove a generalization, replacing the hyperplane by a general

o p e r a t o r n a m e {P G L}_{n + 1}

-translate of an arbitrary projective variety: If

U s u b s e t m a t h b b P^{n}

is a normal quasi-projective variety,

X

is a geometrically irreducible projective variety of dimension at least

n + 1 - d i m U

, and

Y

is a general

o p e r a t o r n a m e {P G L}_{n + 1}

-translate of

X

, then the map

p i_{1} (Y c a p U) i g h t a r r o w p i_{1} (U)

is surjective.

This page was built for publication: A Lefschetz theorem for intersections with projective varieties