On relative integral monodromy of abelian logarithms and normal functions

Abstract

The relative algebraic monodromy of abelian logarithms (defined as the kernel of a map between algebraic monodromy groups attached to an abelian scheme with and without a section) was computed in \cite{A1}: under natural assumptions, this vector group turns out to be maximal. The relative integral monodromy of abelian logarithms is defined similarly as a kernel of integral monodromy groups, without taking Zariski closures. We show that if the integral monodromy of the abelian scheme is a lattice in the algebraic monodromy (which is not always the case), then the relative integral monodromy of the abelian logarithm is also a lattice in the relative algebraic monodromy. The proof uses a Hodge-theoretic interpretation of sections of abelian schemes. We also consider relative integral monodromy groups in the more general context of normal functions.