Subgroups of hyperbolic groups, finiteness properties and complex hyperbolic lattices

We prove that in a cocompact complex hyperbolic arithmetic lattice $\Gamma<{\rm PU}(m,1)$ of the simplest type, deep enough finite index subgroups admit plenty of homomorphisms to $\mathbb{Z}$ with kernel of type $\mathscr{F}_{m-1}$ but not of type $\mathscr{F}_{m}$. 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\"ahler manifolds.


Introduction
A classifying space for a group G, or K(G, 1), is an aspherical CW-complex with fundamental group G. Following Wall [53], we say that G is of type F n if it has a K(G, 1) with finite n-skeleton. One usually refers to property F n as a finiteness property for the group G. Property F 1 (resp. F 2 ) is equivalent to being finitely generated (resp. finitely presented). We say that G is of type F ∞ if it is F n for all n and that G is of type F if it admits a finite K(G, 1). For each integer n, there are groups of type F n but not of type F n+1 [5,49]. There are also other families of finiteness properties for groups [4,12]; the only one which we shall refer to below is property FP n (Q), see [4] for its definition. If a group is of type F n , then it is of type FP n (Q), but the converse implication does not hold.
Using methods from complex geometry, we prove for each integer n ≥ 1 the existence of Gromov hyperbolic groups containing coabelian subgroups of type F n but not of type F n+1 . We now state our main results more precisely, before explaining the historical context and motivation behind them.
They were introduced by Bieri, Neumann and Strebel in [6] (for j = 1) and by Renz in [44] (for j ≥ 2). Their definition is recalled in Section 2.1. We simply mention here that they encode in some sense the finiteness properties of kernels of homomorphisms from G to R. In what follows we write [ξ] for the image in the sphere S(G) of a nonzero class ξ ∈ H 1 (G, R).
Arithmetic lattices of the simplest type are the lattices associated to Hermitian forms with coefficients in a purely imaginary quadratic extension of a totally real number field. See Section 3.2 for their definition. Before going further we also introduce the following classical: Definition 2 Two groups are said to be commensurable if they have isomorphic finite index subgroups.
Since arithmetic lattices of the simplest type in PU(m, 1) (m ≥ 2) form an infinite family of commensurability classes (see Section 3.2), Theorem 1 has the following consequence.
Corollary 3 Let n ≥ 2 be an integer. There exist infinitely many hyperbolic groups (G n,j ) j≥0 and homomorphisms φ n,j : G n,j → Z such that the G n,j 's are pairwise noncommensurable and such that the kernel of φ n,j is of type F n but not of type FP n+1 (Q).
We now move on to a more detailed introduction. A finitely generated group is called hyperbolic if its Cayley graph with respect to some finite generating set is δ-hyperbolic [15,25]. Introduced in Gromov's seminal essay [26], the class of hyperbolic groups has attracted much attention. Indeed these groups satisfy many nice properties. For instance, they have solvable word and conjugacy problem, they do not contain any Z 2 -subgroups, they satisfy the Tits alternative and every hyperbolic group is of type F ∞ (and of type F in the torsion-free case). It is natural to look for properties of hyperbolic groups which are satisfied by all of their subgroups. While some of the aforementioned properties obviously pass to all subgroups, answering this question for others turns out to be surprisingly difficult. It is in this general context that Brady asked in 1999 the following: Question 4 (Brady [11]) For a given integer n ≥ 3, does there exist a hyperbolic group G which has a subgroup H < G of type F n , but not of type F n+1 ?
Preceding Brady's question, in 1982 Rips proved the existence of non-coherent hyperbolic groups [45], i.e. the existence of subgroups of hyperbolic groups of type F 1 and not F 2 ; many more examples have been constructed since by different authors. Gersten proved that every finitely presented subgroup of a hyperbolic group of cohomological dimension two is hyperbolic [24]. However, this result is not true for subgroups of hyperbolic groups of higher cohomological dimension. The existence of finitely presented non-hyperbolic subgroups of hyperbolic groups was first suggested by Gromov in his 1987 essay [26]. In [11], Brady constructed the first example of such a subgroup. It is of type F 2 but not of type F 3 (thus answering the question above for n = 2) and arises as the fundamental group of a generic fibre of a map from a ramified covering of a direct product of three graphs onto the circle. More examples of subgroups of hyperbolic groups of type F 2 and not F 3 have been constructed since by Lodha [39] and Kropholler [36].
Very recently the authors of the present article, together with Martelli [38] showed the existence of subgroups of hyperbolic groups of type F 3 and not F 4 . These examples are obtained by starting from a cusped real hyperbolic 8-manifold M 8 and a map f : M 8 → S 1 with ker(f * : π 1 (M 8 ) → Z) of type F 3 and not F 4 and then considering certain Dehn fillings of M 8 . The map f was constructed by Italiano, Martelli and Migliorini [29]. Before [38], Italiano, Martelli and Migliorini had already built a fibration from a cusped hyperbolic 5-manifold to the circle and from it had produced a non-hyperbolic finitely presented subgroup of type F of a hyperbolic group [30]. This constituted fundamental progress in the area.
All of the aforementioned constructions rely on Bestvina-Brady Morse theory [4], which requires checking some combinatorial conditions. While one may hope that similar methods will allow one to answer Brady's question for n ≥ 4 using e.g. cubulated lattices in PO(2n, 1) or right-angled Coxeter groups, we follow a different path here. We use complex hyperbolic lattices instead of real hyperbolic lattices and apply complex Morse theory (also known as Lefschetz theory) instead of Bestvina-Brady Morse theory. This allows us to answer elegantly Brady's question for all n. In this context, the high connectivity of the kernels that we study appears as a natural consequence of Lefschetz theory. For earlier uses of this theory to study finiteness properties of groups, see [20,31,37,43].
One may raise analogues of Question 4 for other finiteness properties of groups. Motivated by this, we mention a relation between our work and the work of Fisher and Kielak [22,33,34]. In what follows we will always denote by b (2) i (G) the i-th 2 -Betti number of a group G; see [13,41] for the definition. A classical theorem of Lück [40,Th. 3.3 (4)] implies that if G is any group, if φ : G → Z k≥1 is a surjective homomorphism and if b (2) i (G) = 0 then the kernel of φ cannot be of type FP i (Q). See e.g. [22] or [38,Prop. 14] for a proof of this fact. Hence the presence of nonvanishing 2 -Betti numbers provides an "upper bound" for the finiteness properties of coabelian normal subgroups. For RFRS groups this bound is sharp in the following sense: Theorem 5 (Fisher, Kielak) Let G be a group which is virtually RFRS and of type FP n (Q). Then the following conditions are equivalent: 1. there exists a finite index subgroup G 1 < G and a homomorphism φ : G 1 → Z whose kernel is of type FP n (Q); We refer to [2] for the definition of RFRS groups. Kielak [33] proved the case i = 1 of the theorem above and conjectured the higher degree version [34], which was subsequently proved by Fisher [22]. Theorem 1 is philosophically similar to Theorem 5. Although we deal with a specific class of groups (cocompact complex hyperbolic arithmetic lattices of the simplest type), which are not known to be RFRS, the conclusion is close in spirit. We prove that sufficiently deep finite index subgroups in such lattices admit homomorphisms to Z (in fact plenty of them) whose finiteness properties are as "good" as allowed by the 2 -Betti numbers. Indeed, it is known that the 2 -Betti numbers b (2) i (Γ) of a cocompact lattice Γ < PU(m, 1) are all zero except for the m-th one which is nonzero [9]. The difference between the two theorems is that we use the stronger property F n instead of property FP n (Q). Note also that in Theorem 1, the fact that the kernels of the rational characters lying in the set Σ m−1 (Γ 1 )∩−Σ m−1 (Γ 1 ) are not of type FP m (Q) can alternatively be shown by a topological argument not relying on 2 -Betti numbers, see [38,Prop. 21]. Beyond the philosophical similarity between Theorems 1 and 5 we would also like to point out that one of the consequences of Theorem 5 is the existence of subgroups of hyperbolic groups of type FP n (Q), but not FP n+1 (Q) for all integers n ≥ 1 [38,Prop. 19].
We now move to the complex geometric setting. We shall deduce Theorem 1 from the following result, dealing with arbitrary closed aspherical Kähler manifolds.
Theorem 6 Let X be a closed aspherical Kähler manifold of complex dimension m ≥ 2.
1. Let β be a holomorphic 1-form on X with finitely many zeros. Then the cohomology class b = [Re(β)] ∈ H 1 (X, R) H 1 (π 1 (X), R) lies in Σ m−1 (π 1 (X)) ∩ −Σ m−1 (π 1 (X)). If b is rational then its kernel is of type F m−1 ; if furthermore the Euler characteristic of X is nonzero, the kernel of b is not of type FP m (Q).
2. Let ψ : X → A be a holomorphic map to a complex torus. Assume that ψ is a finite map. Let α be a holomorphic 1-form on A which does not vanish on any nontrivial subtorus of A. Then the form ψ * α has finitely many zeros. Consequently, the class [Re(ψ * α)] lies in Σ m−1 (π 1 (X)) ∩ −Σ m−1 (π 1 (X)).
We recall that a map f : X → Y between two topological spaces is said to be finite if each of its fibers f −1 (y) (y ∈ Y ) is a finite set.
The proof of Theorem 6 relies on the work of Simpson [47]. Note that Delzant [19] used the same work of Simpson to give a complete description of the BNS invariant Σ 1 for Kähler groups. Our results can be seen as a higher degree generalization of Delzant's work. Of course we have to make additional hypotheses (we consider an aspherical Kähler manifold and finite maps to complex tori) and we do not describe completely the invariant Σ m−1 but just exhibit a large set contained in it.
Throughout this text, we will identify the group PU(m, 1) with the group of holomorphic automorphisms of the unit ball B of C m . If Γ < PU(m, 1) is a lattice, we will denote by X Γ the corresponding quotient: The link between Theorem 6 and Theorem 1 is provided by the following two facts. Firstly, for a lattice Γ < PU(m, 1) satisfying the hypotheses of Theorem 1, and for a deep enough finite index subgroup Γ 0 < Γ, the first Betti number of Γ 0 is positive [32] and the Albanese map of X Γ 0 is an immersion, thus a finite map. The latter fact is due to Eyssidieux [21] and we give a short account of it in Section 3. Secondly, keeping the notations from Theorem 6 and assuming that A is the Albanese torus of X, the condition "α does not vanish on any nontrivial subtorus" is a condition satisfied by a dense set of classes see Proposition 18. For the reader more familiar with hyperbolic groups than with Kähler manifolds, we mention that the Albanese torus Alb(X) of a closed Kähler manifold X is a complex torus of complex dimension 1 2 b 1 (X) which comes with a natural holomorphic map alb X : X → Alb(X) inducing an isomorphism between the first real (co)homology groups of X and Alb(X). We will recall its definition in Section 3.
Our results raise the question of whether one can give a complete description of the invariants Σ j (j ≥ 2) for fundamental groups of closed aspherical Kähler manifolds, or at least in some specific situations. This problem is related to a question of Kotschick [35,Question 15]. Note also that Friedl and Vidussi conjecture that Σ 2 (π 1 (X)) is always empty when X is a closed aspherical Kähler surface of nonzero Euler characteristic [23, p. 53]. So far we have seen that a result of Lück on 2 -Betti numbers gives restrictions on finiteness properties of kernels of homomorphisms to Abelian groups. This result implies that if b (2) i (G) is nonzero for a group G which is of type F i , then Σ i (G) ∩ −Σ i (G) must be empty. In our setting, we ask: Question 7 Let X be a closed aspherical Kähler manifold of nonzero Euler characteristic. Let m = dim C X. Is it true that Σ m (π 1 (X)) is empty?
This question generalizes the conjecture by Friedl and Vidussi. In this direction we prove: Theorem 8 Let X be a closed aspherical Kähler manifold of nonzero Euler characteristic. Let m = dim C X. Assume that the Albanese map of X is finite. Then Σ m (π 1 (X)) is empty.
Combined with the properties of the Albanese map of arithmetic ball quotients alluded to above, Theorem 8 has the following consequence.
Finally, we also observe that our results naturally imply a special case of the Singer conjecture [48], in the context of Kähler manifolds. This conjecture states that a closed aspherical n-dimensional manifold M satisfies b (2) i (M ) = 0 if 2i is distinct from the dimension of M . See [41] for a survey of known cases. In the context of Kähler manifolds, the most important result is Gromov's theorem [28] stating that a Kähler hyperbolic manifold satisfies the Singer conjecture (without the asphericity hypothesis). Consider now a closed Kähler manifold X admitting a holomorphic 1-form with finitely many zeros. This implies that the top Chern number of T * X is nonnegative, hence where m = dim C X and χ(X) is the Euler characteristic. In other words, X satisfies the conclusion of the Hopf-Chern-Thurston conjecture (see [16,Ch. 16]). Recall that this conjecture states that Equation (2) holds for all real aspherical 2m-dimensional closed manifolds and is implied by Singer's conjecture. Assuming that X is aspherical, our methods naturally yield the following stronger conclusion.
Theorem 10 Let X be a closed aspherical Kähler manifold. Assume that X carries a holomorphic 1-form α with finitely many zeros. Then X satisfies the Singer conjecture.
The article is organized as follows. In Section 2, we recall the definition of the BNSR invariants of a group G and then prove Theorems 6, 8 and 10. In Section 3, we study the Albanese map of arithmetic quotients of complex hyperbolic space, then we recall the definition of arithmetic lattices of the simplest type, and finally we prove Theorem 1 and Corollaries 3 and 9.
2 Lefschetz theory and finiteness properties

The BNSR invariants
We recall here the definition of the BNSR invariants of a finitely generated group G [6,44]. As in the introduction, we set where R * + acts by scalar multiplication on H 1 (G, R). The set S(G) is called the character sphere of G. The BNSR invariants form a decreasing family of open subsets Here we will focus on groups which are fundamental groups of closed aspherical manifolds, hence this condition will be automatically satisfied.
So let M be a closed aspherical manifold with fundamental group G and universal cover π : M → M . Let χ : G → R be a nonzero character. We pick a closed 1-form u on M representing χ and write π * u = df for some smooth function f : M → R. We let

Definition 11
We say that M d is essentially m-connected if there exists a real number on homotopy groups for i ≤ m (for i = 0 this means by convention that the image of the map on π 0 is a singleton).
One can easily prove that M d is essentially m-connected for some real number d if and only if it is essentially m-connected for all d. Moreover, the fact that M d is essentially m-connected only depends on the ray [χ] ∈ S(G), i.e. it does not depend on the choice of u and f and is unaffected if we multiply χ by a positive real number. We can thus introduce the following: When m = 1, one can also define Σ 1 (G) by studying the connectivity of a certain subgraph of a Cayley graph of G, see e.g. [33,Def. 3.9]. A proof of the fact that the definition given in [33] is equivalent to Definition 12 (for m = 1) can be found in [8].
In general, the definition of Σ m (G) is given using a CW-complex Q which is a K(G, 1) (instead of our manifold M ), Q being assumed to have finite m-skeleton, and working with a function F from the universal cover of Q to R which is χ-equivariant (i.e. satisfies F (g · x) = F (x) + χ(g)). The definition is then formulated in terms of the homotopical properties of the sets {F ≥ d} as above, see e.g. [7, Remark 6.5] or [44]. Assuming that G is the fundamental group of a closed aspherical manifold, one checks readily that our definition is equivalent to the original one [8, Prop. B2.1].
We close this short presentation by mentioning two results about the invariants Σ m (G). When dealing with certain rational cohomology classes below, we will propose two proofs of the fact that their kernels are of type F m . One is based on Theorem 13, the other is based on a direct complex Morse theory argument going back to [20].

A higher dimensional version of Delzant's theorem
In this section we prove Theorem 6. For the moment we keep its notations and asumptions, except for one thing: we do not assume yet that X is aspherical. We first deal with the second point. It reduces to the first, thanks to the following proposition, which already appears in [47].
Proposition 14 Under the assumptions of Theorem 6, the form ψ * α has only finitely many zeros on X.
Proof. Let Z be a connected component of the set of zeros of ψ * α. If ψ(Z) is positive dimensional, it generates a nontrivial subtorus of A on which α vanishes (see [17,VIII.1]). This is a contradiction. Hence ψ(Z) must be zero dimensional and thus a point. Since ψ is finite, this implies that Z is a point. P We now deal with the first point of Theorem 6. Since β and −β both have finitely many zeros, it is enough to show that b = [Re(β)] ∈ Σ m−1 (π 1 (X)). We then have the following result due to Simpson [47].
Theorem 15 Let Y be a compact Kähler manifold of complex dimension m ≥ 2 and β be a holomorphic 1-form on Y with finitely many zeros. Let Y be the universal cover of Y and f : Y → R be a primitive of the lift to Y of the form Re(β). Then for all real numbers c, d such that c ≤ d the inclusion induces an isomorphism on π i for i ≤ m − 2 and a surjection on π m−1 .
This result is essentially contained in Theorem 17 and the subsequent remark from [47]. However, in [47] Simpson deals with a more general situation: he considers the homotopical properties of the level sets of the primitive of (the lift to X of) either a harmonic form or a holomorphic form and he also allows the case where one works on a covering space of a quasi-projective variety (with extra assumptions). This makes the proof more involved. To make this text more self-contained, we shall give a quick proof of Theorem 15 in Section 2.3, following Simpson's approach.
We now explain how to conclude the proof of the first item of Theorem 6, using Theorem 15. Assume that X is aspherical. Let X be the universal cover of X and let f : X → R be a primitive of the lift of β to X. We set X d = f −1 ([d, ∞)), as in Section 2.1. We shall prove that π i ( X d ) = 0 for i ≤ m − 2 and every real number d; this obviously implies that X d is essentially (m − 2)-connected. Theorem 15 implies that X d is path-connected for all d. So let 1 ≤ i ≤ m − 2 and ξ : S i → X d be a continuous map representing a class in π i ( X d ). Since X is contractible, ξ extends to a continuous map ξ : B i+1 → X. If c := min{d, inf B i+1 f •ξ}, the class of ξ vanishes in π i ( X c ). Since by Theorem 15 the inclusion X d ⊂ X c induces an isomorphism on π i , we see that [ξ] = 0 in π i ( X d ). Hence π i ( X d ) = 0. This proves that the class b = [Re(β)] belongs to Σ m−1 (π 1 (X)) (hence to −Σ m (π 1 (X)) as well).
The fact that the kernel of b is of type F m−1 if b is rational follows from Theorem 13. Let us also provide a more direct argument for this result. If b is rational, the image of the integration morphism π 1 (X) → R associated to b is cyclic. Consider the associated infinite cyclic covering space X 0 → X and let g : X 0 → R be a primitive of the lift to X 0 of the form Re(β). Rationality of b implies that the critical values of g are discrete. The map g being proper, each critical level set contains only finitely many critical points. Let c be a regular value of g. We can choose an ascending sequence of compact intervals such that j≥0 I j = R and I j \ I j−1 contains a single critical value of g. Since the critical points of g are isolated, Lefschetz theory implies that g −1 (I j ) has the homotopy type of g −1 (I j−1 ) with finitely many m-cells attached to it. Thus, X 0 has the homotopy type of a space obtained from g −1 (c) by attaching (possibly infinitely many) m-cells. Since g −1 (c) is a compact manifold and X 0 is a K(ker(b), 1), we deduce that ker(b) is F m−1 .

Remark 16
Without assuming X aspherical, the above argument also shows that the inclusion g −1 (c) → X 0 is (m−1)-connected, i.e. induces an isomorphism on π i for i < m−1 and a surjection on π m−1 . The proof of Theorem 15 is nothing else than a refinement of this line of argument, taking into account that the cohomology class need not be rational. This means that the set of singular values of f need no longer be discrete. However, the key point is that the set of critical points of f remains discrete in X, hence we can still apply Lefschetz theory to reconstruct f −1 ([c, ∞)) from f −1 ([d, ∞)) up to homotopy by attaching cells of dimension m. We will explain this in more detail in Section 2.3.
To complete the proof of Theorem 6 we need to show that if X has non-trivial Euler characteristic and b is rational, its kernel is not of type FP m (Q). The following result shows this.

Lemma 17
Let Y be a 2m-dimensional closed aspherical real manifold and let [χ] ∈ S(π 1 (Y )) be a character with kernel of type F m−1 . Then b (2) i (π 1 (Y )) = 0 for 2i = m. In particular, Singer's conjecture holds for Y . If moreover b Proof. Since the kernel of χ is of type F m−1 , the 2 -Betti numbers (b (2) j (π 1 (Y ))) 0≤j≤m−1 vanish (see [22] or [38,Prop. 14], this is a consequence of Lück's work [40]). By Poincaré duality, the 2 -Betti numbers (b (2) j (π 1 (Y ))) m+1≤j≤2m must also vanish. This proves the first two assertions. If b (2) m (π 1 (Y )) = 0 it then follows from another application of [38,Proposition 14] that ker(χ) is not FP m (Q). P Note that one can provide a direct proof that the kernel of b is not of type FP m (Q) using either complex Morse theory arguments as in [43] or homology of cyclic coverings as in [38,Prop. 21]. Both arguments provide the stronger result that H m (ker(b), Q) is not finite dimensional.
Before stating our next proposition, we recall that a G δ is by definition a countable intersection of open sets. Proof. We identify A with C n /Λ where n = dim C A and Λ < C n is a lattice. The space H 0 (A, Ω 1 A ) is then identified with the dual space (C n ) * . We define: The set U 0 is obviously a G δ and we shall check that U 0 ⊂ U . Let φ ∈ (C n ) * be a holomorphic 1-form on A which vanishes on a subtorus T ⊂ A ∼ = C n /Λ of positive dimension. Then the inverse image of T in C n is a linear subspace V such that φ(V ) = 0 and V ∩ Λ < V is a lattice. This implies that φ vanishes on a nontrivial element of Λ, hence φ / ∈ U 0 . This concludes the proof. P Proposition 18 will be used in Section 3.2, to prove Theorem 1. Observe that if the torus A in Proposition 18 is a direct product A = A 1 × · · · × A r of pairwise nonisogenous simple tori A i , then it contains only finitely many distinct complex subtori. Thus, in this case the set U is open.
We now turn to the proofs of Theorems 8 and 10.
Proof of Theorem 8. Let X be as in the statement of the theorem. For m = 1, X is a closed Riemann surface and the assertion is well-known. So we assume that m ≥ 2 and, by contradiction, that Σ m (π 1 (X)) is nonempty. Since this set is open, Propositions 14 and 18 imply that there exists a holomorphic 1-form with finitely many zeros on X such that the cohomology class [Re(α)] lies in Σ m (π 1 (X)). We let χ : π 1 (X) → R be the induced character.
To make our argument more transparent, we shall consider a perturbation α of α constructed as follows. For each point p ∈ X such that α p = 0 we pick two small balls V p ⊂ V p ⊂ U p centered at p (in some chart) such that the U p 's are pairwise disjoint. By adding a small generic complex linear form to α in U p we obtain a perturbation with only nondegenerate singularities. This form on U p can be perturbed in U p − V p in a C ∞ way to coincide with α near the boundary of U p . This allows us to construct a form α close to α (and cohomologous to it), which is holomorphic everywhere except in the set p,αp=0 and whose zeros are nondegenerate and contained in the union of the V p 's. Theorem 15 still applies to α . Indeed the proof only uses that the form is holomorphic near its critical points (see Section 2.3). Since α and α define the same cohomology class, we have [Re(α )] ∈ Σ m (π 1 (X)).
Let now X be the universal cover of X and let f : X → R be a primitive of the lift of the form Re(α ) to X. As before, for a real number d, we write We first claim that the (m − 1)-th homotopy group of X d vanishes for every real number d. By the definition of the m-th BNSR invariant, there exists a real number r ≥ 0 such that the map has a one point image for i ≤ m−1. Let ξ ∈ π m−1 ( X −r ). According to Theorem 15, ξ lies in the image of the map (4). Since this map is trivial, ξ = 0 and thus π m−1 ( X −r ) is trivial. It follows that for every element g ∈ π 1 (X), g( X −r ) = X χ(g)−r also has trivial π m−1 .
Given an arbitrary real number d, there is an element g ∈ π 1 (X) such that χ(g) − r > d. Theorem 15 implies that the inclusion X χ(g)−r ⊂ X d induces a surjection on π m−1 , hence π m−1 ( X d ) = 0. This proves the claim.
We will now finish the proof by an argument which is very similar in spirit to arguments appearing in [31,43]. Since the Euler characteristic of X is nonzero, we can pick two real numbers c > d such that there exists at least one zero of α in the open set {d < f < c}.
The proof of Theorem 15 shows that X d has the homotopy type of a space W c obtained from X c by gluing some m-dimensional balls (B i ) i∈I along a non-empty family of disjoint spheres (S i ) i∈I contained in the set {f = c}. We pick one of these spheres, say S i 0 , and consider the corresponding ball B i 0 . Since π m−1 ( X c ) is trivial, there exists a map v : B m → X c such that the restriction of v to the boundary of B m is a homeomorphism onto S i 0 . By "gluing" v and a parametrization of the ball B i 0 , we obtain a map v 1 : S m → W c from the m-dimensional sphere to the space W c . Writing W c as the union of X c and some m-dimensional balls and using the Mayer-Vietoris exact sequence we see that v 1 defines a nontrivial homology class v 1 . Applying the proof of Theorem 15 again, we see that X is obtained from X d by gluing successively some m-dimensional balls. In particular the map is injective. Since X d has the same homotopy type as W c , the existence of the nontrivial thus contradicts the asphericity of X. This concludes the proof. P As a side remark, we state the following proposition, which follows easily from Gromov's theorem characterizing Kähler groups with nonzero first 2 -Betti number [3,27].

Proposition 19
Let X be a closed aspherical Kähler manifold with dim C X ≥ 2. Then the first 2 -Betti number of π 1 (X) is zero.
Proof. We assume by contradiction that X has positive first 2 -Betti number. A result of Gromov [27] then implies that there exists a finite covering space X 1 → X and a holomorphic map with connected fibers p : X 1 → Σ onto a closed hyperbolic Riemann surface such that the fundamental group of every smooth fiber of p has finite image in π 1 (X 1 ). We refer the reader to [3,Ch. 4] for a proof. Let F be a smooth fiber of p. Since the image Im(π 1 (F ) → π 1 (X 1 )) is finite, there exists a finite covering space F 1 → F such that F 1 can be lifted to the universal cover X of X. Since X is Kähler, the image of this lift defines a nontrivial homology class in X. This contradicts the asphericity of X and finishes the proof. P

As a consequence of this proposition we have:
Corollary 20 Let X be a closed aspherical Kähler surface. Then X satisfies Singer's conjecture.
Proof of Theorem 10. Let X and α be as in the statement of the theorem. According to Theorem 6, the cohomology class a of the real 1-form Re(α) lies in Σ m−1 (π 1 (X)) ∩ −Σ m−1 (π 1 (X)). In particular Σ m−1 (π 1 (X)) ∩ −Σ m−1 (π 1 (X)) is non-empty. Since this set is open, we can pick a rational class a 0 in it. According to Theorem 13 the kernel of a 0 is then of type F m−1 and Lemma 17 implies Singer's conjecture for X. P

Simpson's theorem
For the reader's convenience, we include a brief account of Simpson's work [47] in this section, providing a proof of Theorem 15. We restrict ourselves to the situation required in our work, although Simpson's results are stated in greater generality. Moreover, we assume that β has only nondegenerate singularities. The general case follows by a simple perturbation argument, see e.g. [43, §2].
Let {p 1 , . . . , p r } be the set of zeros of β. We choose disjoint open sets (O i ) 1≤i≤r in Y such that p i ∈ O i and such that for each i ∈ {1, . . . r}, there exists a biholomorphic map i . Standard arguments from the study of Milnor fibrations show that there exists ε > 0 such that for each i ∈ {1, . . . , r} the restriction of f i to the boundary of the ball B(0, 1) is a submersion at each point of the set {|Ref i | ≤ ε}. We now state two lemmas whose proofs are left to the reader. The first one follows from standard arguments from Morse or Lefschetz theory [52,Ch. 14]; the second follows easily from the fact that f i | ∂B(0,1) is a submersion along ∂B(0, 1) ∩ {|Ref i | ≤ ε}. From now on we fix a positive number δ ≤ ε.
If N is a closed manifold with boundary endowed with a submersion p : N → I where I = [s 1 , s 2 ] is a closed interval of R, each trivialization Φ : N → p −1 (s 2 ) × I of p provides a canonical retraction by deformation of N onto p −1 (s 2 ) given (in the trivialization) by the map (x, s) → x. We shall say that this retraction is induced by the trivialization Φ. This retraction can be chosen to coincide on ∂B(0, 1) ∩ {µ ≤ Re(f i ) ≤ λ} with the retraction induced by any trivialization of the bundle In the lemma below we write for −δ ≤ u ≤ u ≤ δ, and denote by Int(U i,u,u ) the interior of U i,u,u .

Lemma 22 There exists a smooth vector field
Let π : Y → Y be the projection, h : Y → C be a primitive of the lift of β to Y and let f = Re(h). Let V be the lift to Y of the vector field V from Lemma 22. If x ∈ Y is a critical point of h, the image of x in Y equals one of the zeros of β, say p i . If −δ ≤ u ≤ u ≤ δ, we let U x,u,u be the component of the preimage by π of U i,u,u containing x. Since π identifies U x,u,u and U i,u,u as well as h and h i (up to translation) we can apply Lemma 21 to the map h : U x,u,u → C. Note that using our convention (5), we have u ≤ f − f (x) ≤ u on U x,u,u since f and Re(h i ) • π differ by the constant f (x) on U x,u,u . Let c be a real number and let Λ c be the set of critical points x of h such that is nonempty. We now define a continuous map F : {f ≥ c} → {f ≥ c} whose image will be the union of {f ≥ c+ δ 10 } together with countably many m-dimensional cells glued to {f ≥ c + δ 10 } along their boundary. The map F will be a retraction by deformation onto its image. This implies the conclusion of Theorem 15 whenever c ≤ d ≤ ε 10 . The general case follows by applying this step finitely many times. Note that ε is fixed once and for all and only depends on Y and β.
The map F is built as follows. If a point z does not belong to the set ] is a locally trivial fibration in this case. This completes the proof of Theorem 15.

Arithmetic lattices of the simplest type and Albanese maps
We start this section by defining the Albanese map of a compact Kähler manifold and studying it for arithmetic quotients of complex balls in Section 3.1. After that we turn to the definition of arithmetic lattices of the simplest type and to the proof of Theorem 1 and Corollaries 3 and 9 in Section 3.2.

Albanese maps are virtually immersions
Let X be a closed Kähler manifold and let H 0 (X, Ω 1 X ) be the space of holomorphic 1-forms on X. If θ : [0, 1] → X is a path in X we denote by i(θ) ∈ (H 0 (X, Ω 1 X )) * the linear map on H 0 (X, Ω 1 X ) taking a form α to the integral θ α.
Since holomorphic forms on X are closed, this only depends on the homotopy class of θ relative to its endpoints. Thus, one can also define i(u) for u ∈ H 1 (X, Z). The kernel of the map i : H 1 (X, Z) → (H 0 (X, Ω 1 X )) * is the torsion subgroup of H 1 (X, Z) and its image is a lattice in (H 0 (X, Ω 1 X )) * . The Albanese torus of X is defined as Alb(X) := (H 0 (X, Ω 1 X )) * /i(H 1 (X, Z)).
For a fixed point x 0 ∈ X we define a map alb X : X → Alb(X) by setting alb X (x) = i(θ x ) mod i(H 1 (X, Z)), where θ x is any continuous path going from x 0 to x. This does not depend on the choice of θ x . The resulting map alb X is holomorphic. We refer the reader to [52, §12.1.3] for more details on these notions. By construction the differential of the map alb X at a point x ∈ X is the evaluation map Hence we have: The linear map dalb X (x) is injective if and only if the evaluation map We now turn to the study of the Albanese map in the case of a quotient of the unit ball B ⊂ C m by an arithmetic lattice. Let Γ < PU(m, 1) be a cocompact torsionfree lattice. We recall that the commensurator of Γ is defined as follows: This is a subgroup of Γ and a well-known theorem of Margulis states that Γ is arithmetic if and only if Comm(Γ) is a dense subgroup of PU(m, 1). Below we will make the assumption that Γ is arithmetic but this hypothesis will only play a role through the density of the commensurator of Γ so that the reader can take the conclusion of Margulis' theorem as a definition of arithmeticity if they so desire.
We assume that b 1 (Γ) > 0 and that Γ is arithmetic. In that case it is well-known that the virtual first Betti number of Γ must be infinite [1,51]. The following theorem relies on similar ideas and gives a geometric application.
Theorem 24 (Eyssidieux) Assume that Γ is arithmetic and has positive first Betti number. Then there exists a finite index subgroup Γ 0 < Γ with the property that the Albanese map of X Γ 0 is an immersion.
This result appears in [21]. More precisely, in that work the author proves Theorem 24 for non-uniform lattices and gives applications of this result to the Shafarevich conjecture of holomorphic convexity for certain toroidal compactifications. The cocompact case is analogous. Since the proof is quite simple, we include it here for the reader's convenience. We also note that part of Eyssidieux's arguments are identical to the ones in [1].
In what follows we shall say that two lattices Γ 1 , Γ 2 < PU(m, 1) are commensurable if Γ 1 ∩ Γ 2 has finite index in both Γ 1 and Γ 2 . When using the abstract notion of commensurability from Definition 2, we shall say it explicitly.
We fix Γ < PU(m, 1) as in Theorem 24. Let Ω 1 B be the space of all holomorphic 1-forms on B. For a lattice Λ < PU(m, 1), let Ω 1 B,Λ ⊂ Ω 1 B be the subspace of Λ-invariant forms. We define a subset L ⊂ Ω 1 B as follows. A holomorphic 1-form α on B belongs to L if and only if there exists a cocompact lattice Λ < PU(m, 1) such that Λ is commensurable to Γ and α is invariant under Λ. Following Agol [1] and Eyssidieux [21], we consider the linear subspace V 0 ⊂ Ω 1 B spanned by L and let V be the closure of V 0 for the topology of uniform convergence on compact sets. We first observe that the set L is invariant under the action of Comm(Γ). Indeed, if α ∈ L is invariant under a lattice Λ commensurable with Γ, and if g ∈ Comm(Γ), then (g −1 ) * α is invariant under the lattice gΛg −1 which is still commensurable with Γ. Hence g(L ) = L and consequently g(V 0 ) = V 0 and g(V ) = V for all g ∈ Comm(Γ). The density of Comm(Γ) in PU(m, 1) then implies that the space V is PU(m, 1)-invariant.
Since the intersection of finitely many lattices commensurable with Γ is again a lattice commensurable with Γ, the following lemma is clear.
Lemma 26 Let p ∈ B. Let ev p : V → (C m ) * be the evaluation map at p. Then ev p is onto.
Proof of Lemma 26. Since V is PU(m, 1)-invariant, it is enough to prove the Lemma for p = o, the origin of the ball. If the image ev o (V ) ⊂ (C m ) * is equal to 0, then ev p would be equal to 0 for each point p ∈ B and V would be reduced to zero. This is impossible since b 1 (Γ) > 0. Hence the image of ev o is nonzero. Since ev o (V ) ⊂ (C m ) * is invariant under the natural action of U(m), we must have ev o (V ) = (C m ) * . This concludes the proof. P For a lattice Λ < PU(m, 1), we now define the following subset of the ball: We make the following observations. Given a point p ∈ B, Lemma 26 implies that there exist elements α 1 , . . . , α m in V such that the evaluations (α i (p)) 1≤i≤m generate (C m ) * . Since this is an open condition, we can actually assume that α 1 , . . . , α m belong to V 0 . Note that the evaluations α 1 (q), . . . , α m (q) will then be linearly independent for q in a neighborhood of p. This implies that for each compact subset M ⊂ B, there exists a finite dimensional subspace W ⊂ V 0 such that ev p (W ) = (C m ) * for each point p ∈ M . According to Lemma 25, there exists a lattice Λ commensurable with Γ such that W ⊂ Ω 1 B,Λ . Thanks to Lemma 23, this implies that In other words, we have proved: Proposition 27 For each compact subset M ⊂ B, there exists a lattice Λ < PU(m, 1) commensurable with Γ such that Z Λ does not intersect M .
We now pick a compact fundamental domain K ⊂ B for the action of Γ on B. According to Proposition 27, there exists a lattice Λ < PU(m, 1) commensurable with Γ and such that Z Λ ∩ K = ∅. Let Γ 0 ¡ Γ be a normal finite index subgroup such that Γ 0 ⊂ Λ ∩ Γ. Since Γ 0 < Λ we must have Hence Z Γ 0 does not intersect K. But Z Γ 0 is Γ-invariant since Γ 0 ¡ Γ. If x ∈ Z Γ 0 , there exists γ ∈ Γ such that γ · x ∈ K. But γ · x also lies in Z Γ 0 . We thus obtain a contradiction. This shows that Z Γ 0 = ∅, implying that the Albanese map of X Γ 0 is an immersion. This concludes the proof of Theorem 24.

Remark 28
We shall describe below a class of arithmetic lattices in PU(m, 1) which are known to have positive virtual first Betti number. Note though that there are other classes of arithmetic lattices for which we currently don't know if they have positive virtual first Betti number. This includes a class for which the first Betti number is known to vanish on all congruence subgroups, while the existence of noncongruence finite index subgroups is open [14]. We emphasize that all the results from this paper which are stated for arithmetic lattices of the simplest type in fact hold for all arithmetic lattices in PU(m, 1) with positive first Betti number. Indeed our proofs only use the arithmeticity, not the specific arithmetic construction.

Conclusion of the proofs
In this section we prove Theorem 1 and Corollaries 3 and 9. We start by recalling the definition of arithmetic lattices of the simplest type in the group PU(m, 1). Let F ⊂ R be a totally real number field and E ⊂ C be a purely imaginary quadratic extension of F . Let V = E m+1 and let H : V × V → E be a hermitian form. We assume that the extension of H to V ⊗ C has signature (m, 1) and that for every embedding σ : E → C with σ| F distinct from the identity of F , the twisted Hermitian form H σ has signature (m + 1, 0) over C. Let O E be the ring of integers of E and U (H, O E ) be the group of (m + 1) × (m + 1) matrices with coefficients in O E which preserve the Hermitian form H. The group U (H, O E ) is a lattice in the group U (V ⊗ C, H) of automorphisms of the space (V ⊗ C, H), which is cocompact if and only if F is distinct from Q. It is these lattices and the ones commensurable to them that are usually called "of the simplest type". See [10, §VIII.5] for more details.
A result of Kazhdan [32] states that when F = Q, the group U (H, O E ) always admits congruence subgroups with positive first Betti number. This result is also exposed in [10] and has been extended by Shimura to the noncocompact case [46]. lies in Σ m−1 (Γ 1 ). Since the set of such classes is dense by Proposition 18, this concludes the proof of the first statement of the theorem. The affirmation about rational classes follows from Theorem 13 and Lemma 17, together with the fact that B/Γ 1 has nonzero Euler characteristic. Again, we could also have appealed to [38,Prop. 21]. P Proof of Corollary 3. The following arguments are classical. We will show that arithmetic lattices of the simplest type in PU(m, 1) form infinitely many commensurability classes in the sense of Definition 2. We recall that the adjoint trace field of a lattice Γ < PU(m, 1) is the field generated by the traces of the transformations Ad(γ) : Lie(PU(m, 1)) → Lie(PU(m, 1)) (γ ∈ Γ).
We now observe that if Γ 1 and Γ 2 are two lattices in the group PU(m, 1) (m ≥ 2) which are commensurable in the sense of Definition 2, Mostow's rigidity theorem implies that there exists an element g ∈ PU(m, 1) such that the intersection has finite index in both gΓ 1 g −1 and Γ 2 . This implies that Γ 1 and Γ 2 have the same adjoint trace field [18,Prop. 12.2.1]. But the adjoint trace field of the lattice U (H, O E ) built above is known to be the field F [18, 12.2.5]. Since there are infinitely many possibilites for F , this proves the corollary. P Proof of Corollary 9. Let Γ 1 < Γ be a finite index subgroup such that the Albanese map of the manifold X Γ 1 is an immersion. We denote by i : Γ 1 → Γ the inclusion. If χ ∈ H 1 (Γ, R) − {0} is such that [χ] ∈ Σ m (Γ), then [χ • i] ∈ Σ m (Γ 1 ); this follows directly from the definition of Σ m . But Σ m (Γ 1 ) is empty by Theorem 8. This forces Σ m (Γ) to be empty and finishes the proof. P Remark 29 Let Γ < PU(m, 1) be a cocompact arithmetic lattice of the simplest type. Theorem 1 improves on Stover's work [50] who proved that the invariant Σ 1 of deep enough finite index subgroups of Γ is nonempty. In particular, for m = 2, Theorem 1 is a consequence of [19,50]. Indeed, Delzant's work shows that the invariant Σ 1 of a Kähler group, when nonempty, is the complement of the union of finitely many proper subspheres of the character sphere.