Subgroups of hyperbolic groups, finiteness properties and complex hyperbolic lattices (Q6139248)

A classifying space for a group \(G\) or \(K(G,1)\), is an aspherical \(CW\)-complex with fundamental group \(G\) and \(G\) is of type \(\mathcal{F}_{n}\) (following [\textit{C. T. C. Wall}, Ann. Math. (2) 81, 56--69 (1965; Zbl 0152.21902)]), if it has a \(K(G,1)\) with finite \(n\)-skeleton. In the paper under review, the authors prove that in a cocompact complex hyperbolic arithmetic lattice \(\Gamma < \mathrm{PU}(m,1)\) of the simplest type, deep enough finite index subgroups admit plenty of homomorphisms to \(\mathbb{Z}\) with kernel of type \(\mathcal{F}_{m-1}\) but not of type \(\mathcal{F}_{m}\). This provides many finitely presented non-hyperbolic subgroups of hyperbolic groups and answers a question of \textit{N. Brady} [J. Lond. Math. Soc., II. Ser. 60, No. 2, 461--480 (1999; Zbl 0940.20048)]. The authors' work also provides a proof of a special case of Singer's conjecture for aspherical Kähler manifolds.