Call a normal complex projective variety X Kollár-hyperbolic if any nonconstant map from a smooth projective curve to X induces a nontrivial homomorphism of étale fundamental groups. Examples include (a) smooth varieties with finite Albanese map, (b) normalizations of subvarieties of hermitian locally symmetric varieties of noncompact type, and (c) higher dimensional Kodaira fibrations. We conjecture that Kollár-hyperbolic varieties satisfy a vanishing theorem, which says roughly that if P is perverse sheaf underlying a mixed Hodge module on such a variety then the limit of normalized dimensions of the cohomology groups of P are zero in nonzero degrees, where the limit is taken over a suitable tower of étale covers. We call such varieties V-hyperbolic. V-hyperbolic varieties satisfy a Gromov type vanishing theorem for L² cohomology, the inequalities (-1) ᵈχ (X) 0 and (-1) ^d-pχ (ΩXᵖ) 0 in the smooth case, and more generally, an inequality for mixed Hodge modules conjectured under related assumptions by Maxim, Wang and the author. We prove that examples of type (a) and (c) listed above are V-hyperbolic.
Donu Arapura (Thu,) studied this question.