Abstract:For any $g_1, g_2 \ge 0$, this paper shows that there is a cocompact lattice $\Gamma < \mathrm{PU}(2,1)$ such that the ball quotient $\Gamma \backslash \mathbb{B}^2$ is birational to a product $C_1 \times C_2$ of smooth projective curves $C_j$ of genus $g_j$. The only prior examples were $\mathbb{P}^1 \times \mathbb{P}^1$, due to Deligne--Mostow and rediscovered by many others, and a lesser-known product of elliptic curves whose existence follows from work of Hirzebruch. Combined with related new examples, this answers the rational variant of a question of Gromov in the positive for surfaces of Kodaira dimension $\kappa \le 0$, namely that they admit deformations $V^\prime$ such that there is a compact ball quotient $\Gamma \backslash \mathbb{B}^2$ with a rational map $\Gamma \backslash \mathbb{B}^2 \dashrightarrow V^\prime$. Often the proof gives the stronger conclusion that $V^\prime$ is birational to a ball quotient orbifold. It also follows that every simply connected $4$-manifold is dominated by a complex hyperbolic manifold. All examples considered in this paper are shown to be arithmetic, and even arithmeticity of Hirzebruch's example appears to be new.

Cubulating Drilled bundles over graphs

Drilling hyperbolic groups

Cubulating Surface-by-free Groups

Special cubulation of strict hyperbolization

Cubic surface bundles and the Brauer group

On Negatively Curved Bundles with Hyperbolic Fibers Outside the Igusa Stable Range

Profinite rigidity and hyperbolic four-punctured sphere bundles over the circle

Cubulating hyperbolic free-by-cyclic groups: the irreducible case

A non-trivial family of trivial bundles with complex hyperbolic structure

Cohomologie mod $p$ des fibrés en droites équivariants sur le demi-plan de Drinfeld

Surface groups among cubulated hyperbolic and one-relator groups

Tschirnhausen bundles of covers of the projective line

Negatively Curved Bundles in the Igusa Stable Range

Cubulating a free-product-by-cyclic group

On some topological equivalences for moduli spaces of $G$-bundles

Gromov--Witten theory of $[\bC^2/\bZ_{n+1}]\times \bP^1$

Products of curves as ball quotients

Hierarchical hyperbolicity of admissible curve graphs and the boundary of marked strata

Atoroidal surface bundles

Cusp shape and fractional Dehn twists of fibred hyperbolic 3-manifolds