Algebraicity of analytic maps to a hyperbolic variety

Abstract

Let X be a complex algebraic variety. We say that X is Borel hyperbolic if, for every finite type reduced scheme S over the complex numbers, every holomorphic map from S to X is algebraic. We use a transcendental specialization technique to prove that X is Borel hyperbolic if and only if, for every smooth affine complex algebraic curve C, every holomorphic map from C to X is algebraic. We use the latter result to prove that Borel hyperbolicity shares many common features with other notions of hyperbolicity such as Kobayashi hyperbolicity.