📝 SummarXiv

Abstract

Call a normal complex projective variety $X$ Koll\'ar-hyperbolic if any nonconstant map from a smooth projective curve to $X$ induces a nontrivial homomorphism of \'etale 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\'ar-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 \'etale covers. We call such varieties V-hyperbolic. V-hyperbolic varieties satisfy a Gromov type vanishing theorem for $L^2$ cohomology, the inequalities $(-1)^d\chi(X) \ge 0$ and $(-1)^{d-p}\chi(\Omega_X^p)\ge 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.