Let X be a smooth compact
complex surface of general type and let D be the union of all rational and elliptic
curves in X. If there exist a complex torus T of dimension ≥ 2 and a nontrivial
holomorphic map X → T whose image contains no elliptic curves then X is
hyperbolic modulo D. In particular, if X has irregularity h0(X,ΩX1) ≥ 2 and its
Albanese variety is not isogenous to a product of elliptic curves then X is hyperbolic
modulo D.