The Betti map associated to a section of an abelian scheme (with an appendix by Z. Gao)
arXiv:1802.03204
Abstract
Given a point on a complex abelian variety , its abelian logarithm can be expressed as a linear combination of the periods of with real coefficients, the Betti coordinates of . When varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions. Computing its rank (in the sense of differential geometry) becomes important when one is interested about how often takes a torsion value (for instance, Manin's theorem of the kernel implies that this coordinate system is constant in a family without fixed part only when is a torsion section). We compute this rank in terms of the rank of a certain contracted form of the Kodaira-Spencer map associated to (assuming without fixed part, and Zariski-dense in ), and deduce some explicit lower bounds in special situations. For instance, we determine this rank in relative dimension , and study in detail the case of jacobians of families of hyperelliptic curves. Our main application, obtained in collaboration with Z. Gao, states that if is a principally polarized abelian scheme of relative dimension which has no non-trivial endomorphism (on any finite covering), and if the image of in the moduli space has dimension at least , then the Betti map of any non-torsion section is generically a submersion, so that is dense in .
31 pages, with an Appendix by Z. Gao