On the Kodaira-Spencer map of abelian schemes

Abstract: Let

A

be an abelian scheme over a smooth affine complex variety

S

,

v a r O m e g a_{A}

the

s O_{S}

-module of

1

-forms of the first kind on

A

,

s D_{S} v a r O m e g a_{A}

the

s D_{S}

-module spanned by

v a r O m e g a_{A}

in the first algebraic De Rham cohomology module, and

h e t a_{p} a r t i a l : v a r O m e g a_{A} o s D_{S} v a r O m e g a_{A} / v a r O m e g a_{A}

the Kodaira-Spencer map attached to a tangent vector field

p a r t i a l

on

S

. We compare the rank of

s D_{S} v a r O m e g a_{A} / v a r O m e g a_{A}

to the maximal rank of

h e t a_{p} a r t i a l

when

p a r t i a l

varies: we show that both ranks do not change when one passes to the "modular case", ie when one replaces

S

by the smallest weakly special subvariety of

s A_{g}

containing the image of

S

(assuming, as one may up to isogeny, that

A / S

is principally polarized), we then analyse the "modular case" and deduce, for instance, that {it for any abelian pencil of relative dimension

g

with Zariski-dense monodromy in

S p_{2 g}

}, {it the derivative with respect to a parameter of a non zero abelian integral of the first kind is never of the first kind}.

Recommendations

Cited In (5)

This page was built for publication: On the Kodaira-Spencer map of abelian schemes