Hyperbolicity in presence of a large local system
Yohan Brunebarbe
TL;DR
<3-5 sentence high-level summary>The paper proves that projective varieties carrying a large complex local system satisfy a strengthened Green–Griffiths–Lang conjecture: the algebraic, abelian, and holomorphic special subsets coincide and form a Zariski-closed locus Sp(X) that detects general-type behavior. The authors develop a comprehensive framework combining non-abelian Hodge theory, Shafarevich morphisms, and a non-Archimedean detour via Katzarkov–Zuo reductions and Klingler’s local system, to reduce the general problem to base cases with semisimple monodromy and solvable fiber monodromy. They establish a canonical decomposition of X into a fibration over a general-type base with fibers of abelian-type, and prove Lang-type statements first for big local systems and then for large ones, including structural results and precise handling of semi-simple vs. general cases. The results yield not only theoretical insight into hyperbolicity phenomena in the presence of local systems but also a path toward a broader, birationally robust understanding of when varieties exhibit Green–Griffiths–Lang hyperbolicity in the presence of rich monodromy data.
Abstract
We prove that the projective complex algebraic varieties admitting a large complex local system satisfy a strong version of the Green-Griffiths-Lang conjecture.
