Ramified covers of abelian varieties over function fields (Q1901671)

Lang has conjectured that the set of rational points of a variety of general type defined over a number field is not Zariski dense. This has been proved by Faltings in the special case that the variety is a subvariety of an abelian variety. The same conjecture can be made for function fields if one excludes isotrivial varieties, i.e. those defined over the constant field. In positive characteristic the conjecture is false since there are non-isotrivial unirational varieties of general type. In characteristic zero, however, the conjecture is plausible. It has also been proved when the variety is a subvariety of an abelian variety (Buium, Raynaud, Hrushovski) and when the variety has an ample cotangent bundle (Noguchi, Martin-Deschamps). The present paper adds further evidence to the conjecture by proving it for cyclic ramified covers of abelian varieties.