English

On the Kodaira-Spencer map of abelian schemes

Algebraic Geometry 2016-06-14 v1

Abstract

Let AA be an abelian scheme over a smooth affine complex variety SS, ΩA\varOmega_A the \sOS\sO_S-module of 11-forms of the first kind on AA, \sDSΩA\sD_S\varOmega_A the \sDS\sD_S-module spanned by ΩA\varOmega_A in the first algebraic De Rham cohomology module, and θ:ΩA\sDSΩA/ΩA\theta_\partial: \varOmega_A \to \sD_S\varOmega_A/\varOmega_A the Kodaira-Spencer map attached to a tangent vector field \partial on SS. We compare the rank of \sDSΩA/ΩA\sD_S\varOmega_A/\varOmega_A to the maximal rank of θ\theta_\partial when \partial varies: we show that both ranks do not change when one passes to the "modular case", \ie when one replaces SS by the smallest weakly special subvariety of \sAg\sA_g containing the image of SS (assuming, as one may up to isogeny, that A/SA/S is principally polarized), we then analyse the "modular case" and deduce, for instance, that {\it for any abelian pencil of relative dimension gg with Zariski-dense monodromy in Sp2gSp_{2g}}, {\it the derivative with respect to a parameter of a non zero abelian integral of the first kind is never of the first kind}.

Keywords

Cite

@article{arxiv.1606.03691,
  title  = {On the Kodaira-Spencer map of abelian schemes},
  author = {Yves André},
  journal= {arXiv preprint arXiv:1606.03691},
  year   = {2016}
}