A DECISION PROCEDURE FOR CERTAIN ABELIAN-VARIETIES OVER FUNCTION-FIELDS

[摘要] We prove that there is a decision procedure for the additive group of isogenies between two abelian varieties over Q(c)(t), where Q(c) is the algebraic closure of the rational numbers. This procedure uses Falting's isogeny theorem, a countable listing of possible isogenies for a sequence of lower bounds, and a calculation of Galois actions on the division points modulo m for increasing m for an upper bound. This gives a decision procedure for abelian varieties which become trivial over some finite extension field. We prove that a formula of Kodaira and Shioda for rank of general elliptic surfaces is valid for all abelian varieties over Q(c)(t) having no continuous family of sections, namely rank of numerical equivalence classes of 2-dimensional divisors modulo classes from fibres and the zero section. We also give a computable upper bound on the rank based on etale cohomology. It is equal to the rank if the Tate conjecture holds. (C) 1994 Academic Press, Inc.

[发布日期] 1994-01-15