Subgroups of hyperbolic groups, finiteness properties and complex hyperbolic lattices

We prove that in a cocompact complex hyperbolic arithmetic lattice Γ<PU(m,1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\Gamma < {\mathrm{PU}}(m,1)$\end{document} of the simplest type, deep enough finite index subgroups admit plenty of homomorphisms to ℤ with kernel of type Fm−1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathscr{F}_{m-1}$\end{document} but not of type Fm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathscr{F}_{m}$\end{document}. This provides many finitely presented non-hyperbolic subgroups of hyperbolic groups and answers an old question of Brady. Our method also yields a proof of a special case of Singer’s conjecture for aspherical Kähler manifolds.