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

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)].