On the Grothendieck-Lefschetz theorem for a family of varieties

Abstract: Let

k

be an algebraically closed field of characteristic

p > 0

,

W

the ring of Witt vectors over

k

and

R

the integral closure of

W

in the algebraic closure

of

K := F r a c (W)

; let moreover

X

be a smooth, connected and projective scheme over

W

and

H

a relatively very ample line bundle over

X

. We prove that when

d i m (X / W) g e q 2

there exists an integer

d_{0}

, depending only on

X

, such that for any

d g e q d_{0}

, any

Y i n | H^{o t i m e s d} |

connected and smooth over

W

and any

y i n Y (W)

the natural

R

-morphism of fundamental group schemes

p i_{1} (Y_{R}, y_{R}) o p i_{1} (X_{R}, y_{R})

is faithfully flat,

X_{R}

,

Y_{R}

,

y_{R}

being respectively the pull back of

X

,

Y

,

y

over

S p e c (R)

. If moreover

d i m (X / W) g e q 3

then there exists an integer

d_{1}

, depending only on

X

, such that for any

d g e q d_{1}

, any

Y i n | H^{o t i m e s d} |

connected and smooth over

W

and any section

y i n Y (W)

the morphism

p i_{1} (Y_{R}, y_{R}) o p i_{1} (X_{R}, y_{R})

is an isomorphism.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: On the Grothendieck-Lefschetz theorem for a family of varieties