A generalized Bloch's theorem and the hyperbolicity of the complement of an ample divisor in an abelian variety (Q2563774)

The purpose of this paper is to prove the following generalization of Bloch's theorem: If the image of a holomorphic map \(f\) from \(\mathbb{C}\) to an abelian variety is Zariski dense, then the image of the differential of any order of the map \(f\) is invariant under any translation of the abelian variety. As a corollary the authors prove the next statement: The image from \(\mathbb{C}\) to an abelian variety with Zariski dense image must intersect any hypersurface of the abelian variety. This theorem together with Bloch's theorem implies Lang's conjecture [\textit{S. Lang}: `Number theory', III: Diophantine geometry. (1991; Zbl 0744.14012)].