Abstract
We generalise a theorem of Gersten on surjectivity of the restriction map in \(\ell ^{\infty }\)-cohomology of groups. This leads to applications on subgroups of hyperbolic groups, quasi-isometric distinction of finitely generated groups and \(\ell ^{\infty }\)-cohomology calculations for some well-known classes of groups. Along the way, we obtain hyperbolicity criteria for groups of type \(FP_2({{\mathbb {Q}}})\) and for those satisfying a rational homological linear isoperimetric inequality, answering a question of Arora and Martínez-Pedroza.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Bounded-valued cohomology, also known as \(\ell ^{\infty }\)-cohomology, is a quasi-isometry invariant of finitely generated groups. It was introduced by Gersten as a tool to find lower bounds for the Dehn function of some finitely presented groups [23, 27]. Later, Gersten found a complete characterisation of hyperbolic groups in terms of \(\ell ^{\infty }\)-cohomology [24].
Theorem 1.1
(Gersten) Suppose that G is a finitely presented group. Then G is hyperbolic if and only if \(H^2_{(\infty )}(G; \ell ^{\infty }({{\mathbb {N}}}, {{\mathbb {R}}}))=0\).
Recently, Milizia [36], extended this characterisation to relatively hyperbolic groups, and also gave a characterisation of amenable groups using the comparison map from ordinary group cohomology to \(\ell ^{\infty }\)-cohomology. Another result of Gersten concerns the surjectivity of the restriction homomorphism in \(\ell ^{\infty }\)-cohomology of groups [24, Theorem 6.3].
Theorem 1.2
(Gersten) Let G be the fundamental group of a finite aspherical 3-complex such that \({\textrm{cd}}\, G=2\). Suppose H is a finitely presented subgroup of G. Then the restriction homomorphism \(H^2_{(\infty )}(G; V)\rightarrow H^2_{(\infty )}(H; V)\) is surjective for all normed \({{\mathbb {Z}}}\)-modules V.
By combining Theorems 1.1 and 1.2, Gersten in [24] obtained a new proof of his remarkable theorem which states that a finitely presented subgroup of a hyperbolic group G with \({\textrm{cd}}\, G=2\) is hyperbolic [26].
Our main result is the following generalisation of Theorem 1.2.
Theorem 1.3
Let R be a subring of \({{\mathbb {Q}}}\) containing \({{\mathbb {Z}}}\). Suppose H is a group of type \(FP_n(R)\) and is a subgroup of G with \({\textrm{cd}}_R \, G = n<\infty \). Then the restriction homomorphism \(H^n_{(\infty )}(G; V)\rightarrow H^n_{(\infty )}(H; V)\) is surjective for all normed R-modules V.
Here, \({\textrm{cd}}_R \, G\) stands for the cohomological dimension of a group G over a ring R. When \(R={{\mathbb {Z}}}\), we omit it from the notation and simply write \({\textrm{cd}}\, G\). This notion and properties F, FP(R), \(FP_n(R)\) and \(FP_{\infty }(R)\) are reviewed is Sect. 2.
Theorem 1.3 generalises Theorem 1.2 in several ways: by allowing torsion in G, by removing the finiteness assumption on G, and by extending to higher cohomological dimensions. We can then apply Theorem 1.3 to subgroups of hyperbolic groups of type F, or more generally of type \(FP({{\mathbb {Q}}})\).
A major tool in the proof of Theorem 1.3 is our new characterisation of \(\ell ^{\infty }\)-cohomology of a group G as the cohomology of orbitally-bounded cochains on any projective resolution of R over the group ring RG. The freedom to interpolate between different projective resolutions allows us to also generalise Gersten’s Theorem 1.1, from finitely presented groups, to groups of type \(FP_2({{\mathbb {Q}}})\). Together, they lead to applications such as Corollary 1.5 below.
Corollary 1.4
Let G be a hyperbolic group which is not virtually free. Suppose H is a subgroup of type F. Then \(H^n_{(\infty )}(H; V)=0\) for all normed \({{\mathbb {R}}}\)-modules V, where \(n={\textrm{cd}}_{{{\mathbb {Q}}}} \,G\).
Corollary 1.5
Let H be a subgroup of a hyperbolic group G such that \({\textrm{cd}}_{{{\mathbb {Q}}}} \,G = 2\). Then H is hyperbolic if and only if H is of type \(FP_2({{\mathbb {Q}}})\).
Weaker versions of Corollary 1.5 were previously established by Gersten when \({\textrm{cd}}\,G=2\) and H is of type \(FP_2({{\mathbb {Z}}})\) [26], and more recently by Arora and Martínez-Pedroza [2] when \({\textrm{cd}}_{{{\mathbb {Q}}}} \,G=2\) and H is finitely presented. Gersten’s result implied that homological coherence and coherence are equivalent for hyperbolic groups of cohomological dimension two. Corollary 1.5 strengthens this both in the direction of the hyperbolic group and the subgroup: for hyperbolic groups of rational cohomological dimension two, rational homological coherence is equivalent to coherence.
In [43], Rips constructed the first examples of finitely generated subgroups of hyperbolic (small cancellation) groups that are not finitely presented and hence not hyperbolic (see Theorem 5.3). Next corollary shows that these subgroups are not even of type \(FP_2({{\mathbb {Q}}})\).
Corollary 1.6
Given any finitely presented group Q, let
be the Rips construction [43, Theorem 1], for G being \(C'(1/6)\), with N finitely generated. Suppose P is a finitely generated subgroup of Q which is not finitely presented. Then \(q^{-1}(P)\) is finitely generated but not of type \(FP_2({{\mathbb {Q}}})\).
An advantage of using rational cohomological dimension over the integral one is that it allows torsion. Corollary 1.5 can then be directly applied to one-relator groups.
Corollary 1.7
A subgroup of a hyperbolic one-relator group is hyperbolic if and only if it is of type \(FP_2({{\mathbb {Q}}})\).
Corollary 1.7 in particular applies to one-relator groups with torsion, since they are hyperbolic [4]. Note that Jaikin-Zapirain and Linton subsequently proved that one-relator groups are coherent [32], from which the above may be alternatively deduced in combination with earlier results (in fact, \(FP_2({{\mathbb {Q}}})\) may be relaxed to finitely generated).
Groups of rational cohomological dimension 2 play a prominent role in geometric group theory. Besides aforementioned examples, they also notably include random groups and fundamental groups of graphs of virtually free groups with virtually cyclic edge groups. Both of these classes of groups were shown to satisfy Gromov’s Surface Subgroup Conjecture [13, 47].
Recall that a finitely presented group is necessarily of type \(FP_2({{\mathbb {Z}}})\), i.e. almost finitely presented, which in turn is stronger than being of type \(FP_2({{\mathbb {Q}}})\). In order to relax the finiteness assumption on the subgroup H in Corollary 1.5, we generalise in Sect. 4 Gersten’s Theorem 1.1 and a result of Mineyev [38] from finitely presented groups to groups of type \(FP_2({{\mathbb {Q}}})\). This also leads us to answer positively a question of Arora and Martínez-Pedroza [2, Question 1.9] on hyperbolicity of groups of type \(FP_2({{\mathbb {Q}}})\) satisfying a rational homological linear isoperimetric inequality.
Theorem 1.8
Suppose G is a group. Then G is hyperbolic if and only if it is of type \(FP_2({{\mathbb {Q}}})\) and its rational homological filling function of degree 2 is bounded above by a linear function.
A similar result over other rings, but with a notion of an isoperimetric inequality that is not the usual one, appears in [33].
As Gersten states in [22], “Calculation of \(H^n_{(\infty )}(G; {{\mathbb {R}}})\) poses an interesting but difficult problem”. Indeed, there are only a few such calculations in the literature. Also, applications of these calculations have mostly been in degrees \(n=1, 2\). Next, we state some applications of Theorem 1.3 on (non-)vanishing of \(H^n_{(\infty )}(G; {{\mathbb {R}}})\) in the top degree.
Corollary 1.9
Let \(A={{\mathbb {Z}}}\) or \({{\mathbb {R}}}\). Suppose \(\Gamma \) is one of the following groups and \(d={\textrm{vcd}}\, \Gamma \geqslant 1\):
-
(i)
\(\Gamma \) is a finitely generated right-angled Artin group;
-
(ii)
\(\Gamma \) is the Bestvina–Brady group of any finite flag complex \(L^n\) with \(H^n(L; A)=0\);
-
(iii)
\(\Gamma \) is the mapping class group of a closed orientable surface of genus 2;
-
(iv)
\(\Gamma ={\textrm{SL}}(n,{{\mathbb {Z}}})\) for \(n\geqslant 2\);
-
(v)
\(\Gamma =\textrm{Out}({\mathbb {F}}_n)\) for \(n\geqslant 2\).
Then the cokernel of the comparison map \(\iota ^d:H^d(\Gamma ; A)\rightarrow H^d_{(\infty )}(\Gamma ; A)\) contains a continuum of linearly independent elements.
In contrast, by a result of Wienhard [46], all uniform lattices in connected semisimple Lie groups with finite centre have vanishing \(\ell ^{\infty }\)-cohomology with real coefficients in dimensions above the dimension of maximal flats of the associated symmetric space. In Section 5, we obtain an analogue of Wienhard’s result for relatively hyperbolic groups (see Corollary 5.14).
Poincaré duality groups have vanishing \(\ell ^{\infty }\)-cohomology with real coefficients in the top dimension precisely when they are not amenable (see Lemma 5.5). This can be seen from the fact that \(\ell ^{\infty }\)-cohomology of a countable group is dual to the uniformly finite homology of Block and Weinberger and their fundamental characterisation of amenable groups via uniformly finite homology in degree zero [11]. The following are applications of this result and Theorem 1.3.
Corollary 1.10
Let G be a finitely generated relatively hyperbolic group with \({\textrm{cd}}_{{{\mathbb {Q}}}} \, G<\infty \). Let \({\Gamma }\) be a finitely generated group with \(2\leqslant {\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }<\infty \). Suppose that \({\Gamma }\) has an amenable Poincaré duality subgroup of dimension \({\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }\). If G is quasi-isometric to \({\Gamma }\), then there is a peripheral subgroup H of G such that \({\textrm{cd}}_{{{\mathbb {Q}}}} \, H={\textrm{cd}}_{{{\mathbb {Q}}}} \, G\).
Corollary 1.10 applies, for example, to groups \({\Gamma }\) listed in Corollary 1.9; of note being the case when \({\Gamma }\) is a Bestvina–Brady group, as the other cases were previously known.
Corollary 1.11
Let \({\Gamma }\) be a finitely generated group with \(2\leqslant {\textrm{cd}}_{{{\mathbb {Q}}}} \,{\Gamma }<\infty \). Suppose that \({\Gamma }\) has an amenable Poincaré duality subgroup of dimension \({\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }\). Suppose \({\Gamma }\) is quasi-isometric to the fundamental group G of a finite graph of hyperbolic groups. Then \({\textrm{cd}}_{{{\mathbb {Q}}}} \, G={\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }= 2\).
Corollary 1.12
Let \({\Gamma }\) be a finitely generated group satisfying the hypothesis of Corollary 1.9. Suppose \({\Gamma }\) is quasi-isometric to the fundamental group of a finite graph of hyperbolic groups. Then \({\textrm{cd}}\,{\Gamma }\leqslant 2\), and \({\Gamma }\) is either a right-angled Artin group or a Bestvina–Brady group.
Besides our main result, Theorem 1.3 and its applications, in Sect. 5, we consider a long exact sequence in group cohomology arising from a group pair of a relatively hyperbolic group G and the collection of its peripheral subgroups. We use this sequence for calculations of \(\ell ^{\infty }\)-cohomology of G. The following result is an application of such a calculation.
Theorem 1.13
Let M be a complete, finite-volume Riemannian manifold of dimension n of negative sectional curvature bounded away from zero. Then \(H^{n}_{(\infty )}(M; {{\mathbb {R}}})=0\). In addition, if M is non-compact, then \(H^{n-1}_{(\infty )}(M; {{\mathbb {R}}})\) contains a continuum of linearly independent elements.
Another motivation to study \(\ell ^{\infty }\)-cohomology comes from its connection to Gromov’s bounded cohomology via the comparison maps:
The composition of the comparison maps is known to vanish [46] and Wienhard asks when the sequence is exact [46, Question 8]. Blank in [7, Question 6.3.10] also asks if the sequence (1) can be extended. Frigerio and Sisto in [21], show that the exactness of (1), when G is finitely presented, \(V={{\mathbb {R}}}\) and \(n=2\), is equivalent to a conjecture of Gromov on bounded primitives of differential forms on universal covers of closed Riemannian manifolds [28]. Using this reformulation, Gromov’s conjecture was recently disproved by Ascari and Milizia [1].
In Sect. 3, we make the following observation.
Theorem 1.14
Let G be a relatively hyperbolic group with amenable peripheral subgroups, then the sequence (1) is exact for all \(n\geqslant 2\) and all dual normed \({{\mathbb {R}}}G\)-modules V.
We should note that when \(n=2\) and \(V={{\mathbb {R}}}\), Theorem 1.14 follows from Theorem 4 and Proposition 14 of [21].
In Sect. 5, we also define \(\ell ^{\infty }\)-cohomological dimension \({\textrm{cd}_{(\infty )}}G\) of a group G. It is a quasi-isometry invariant of finitely generated groups. As we have alluded to in Corollaries 1.10 and 1.12, \({\textrm{cd}_{(\infty )}}G\) can be useful for distinguishing finitely generated groups up to quasi-isometry. By Theorem 1.1 and [37, Theorem 20], a finitely presented group G is hyperbolic if and only if \({\textrm{cd}_{(\infty )}}G\leqslant 1\). It is natural to ask what other properties of a group G can be detected by \({\textrm{cd}_{(\infty )}}G\). In Section 6, we end with some questions on \({\textrm{cd}_{(\infty )}}G\) and its connections to acylindrical hyperbolicity, the dimension of maximal flats in cocompact CAT(0) complexes, and higher homological filling functions of G.
1.1 A few words on the proof of Theorem 1.3
In Gersten’s proof of Theorem 1.2 [24, Theorem 6.3], he constructs a retraction from the relation module \(Z_1(G)\) to the relation module \(Z_1(H)\) which is a bounded linear map with respect to an \(\ell ^1\)-norm on \(Z_1(G)\) and the standard norm on \(Z_1(H)\). A key property used by Gersten is that \(Z_1(G)\) can be constructed to be finitely generated and free. This follows from the assumptions that \({\textrm{cd}}\, G=2\) and that G admits a finite 3-dimensional K(G, 1)-complex. The \(\ell ^1\)-norm on \(Z_1(G)\) is then equivalent to the standard norm, and the retraction becomes bounded with respect to the standard norms. As he states, “When translated into the language of \(\ell ^{\infty }\)-cohomology, this means that the restriction homomorphism is surjective”.
This method of using the standard norm and Gersten’s original definition of \(\ell ^{\infty }\)-cohomology does not work in our generality, because we have no finiteness assumptions on G. First, we make the key observation that the \(\ell ^{\infty }\)-cohomology of a group can be defined using orbitally-bounded cochains on any projective resolution. For our purposes, this resolution is the truncation of a suitably constructed free RG-resolution \(F_*\twoheadrightarrow R\). In order to deal with torsion in G, we work over any ring \({{\mathbb {Z}}}\leqslant R\leqslant {{\mathbb {Q}}}\). The resolution \(F_*\twoheadrightarrow R\) comes with an embedded RH-resolution \(P_*\twoheadrightarrow R\) by finitely generated free RH-modules and such that \(Z_{n-1}(F_*)\) is a free RG-module equipped with an \(\ell ^1\)-norm. We then construct a retraction \(\rho : Z_{n-1}(F_*)\rightarrow Z_{n-1}(P_*)\) which is also a bounded linear map with respect to the corresponding norms. With this in hand, given an n-cocycle \(\alpha \in Hom_R(Z_{n-1}(F_*), V)\) bounded on H-orbits, the retraction \(\rho \) defines an n-cocycle \(\beta \in Hom_R(Z_{n-1}(F_*), V)\), which maps to \(\alpha \) under the restriction map. The fact that \(\rho \) is a bounded linear map allows us to show that \(\beta \) is bounded on G-orbits. This shows that the restriction map in \(\ell ^{\infty }\)-cohomology is surjective in degree n.
2 Preliminary results
First, we define the necessary finiteness notions and mention their relevant properties. For more details, we refer the reader to Chapter VIII of [10].
Let R denote a commutative ring with unit and G denote a discrete group. The cohomological dimension of G over R can be defined by
When \(R={{\mathbb {Z}}}\), we omit it from the notation and denote the cohomological dimension by \({\textrm{cd}}\, G\). A group G is said to have finite virtual cohomological dimension equal to n, denoted \({\textrm{vcd}}\, G\), if G has a subgroup H of finite index with \({\textrm{cd}}\, H =n\). This is a well-defined notion by [10, VIII.2.4]. A group G is said to be of type \(FP_n(R)\) for some \(n\in {\mathbb {Z}}_{\geqslant 0}\cup \{\infty \}\) if there is a projective RG-resolution
such that \(P_i\) is finitely generated and projective as an RG-module for all \(i\leqslant n\). A projective RG-resolution \(P_*\twoheadrightarrow R\) is said to be of length n, if \(P_n\ne 0\) and \(P_i=0\) for all \(i> n\). A group G is said to be of type FP(R), if there is a projective RG-resolution of R by finitely generated projective RG-modules of finite length. It is immediate from the definitions that if G is of type FP(R), then it is of type \(FP_{\infty }(R)\).
Denote \({\textrm{cd}}_R \, G=n\). By [10, VIII.2.1], it follows that G is of type FP(R) if and only if \(n<\infty \) and G is of type \(FP_n(R)\).
There are analogous topological finiteness properties which we explain next.
An Eilenberg-MacLane space or K(G, 1)-complex is an aspherical CW-complex with fundamental group equal to G. A group G is of type \(F_n\) if there is a K(G, 1)-complex X with finite n-skeleton and it is of type F if X is finite. If G is of type \(F_n\) or F, then it is of type \(FP_n({{\mathbb {Z}}})\) or FP, respectively. A group G is finitely generated if and only if it is of type \(F_1\) or \(FP_1(R)\) [6, 1.2.1]. A group G is finitely presented if and only if it is of type \(F_2\).
Let H be a subgroup of G. Recall that given an RH-module M, the induced RG-module is defined as \({\textrm{Ind}_H^G}{M}:=RG\otimes _{RH} M\). The left action of G on RG induces an RG-module structure on \({\textrm{Ind}_H^G}{M}\). Define an RH-module homomorphism
by \(j_M(m)=1_G\otimes m, \, \forall m\in M\). The following result is a direct corollary of [10, III.5.1].
Lemma 2.1
Suppose G is a group, H is a subgroup of G and M is an RH-module. Then \(j_M\) is a canonical embedding of M as a direct RH-module summand in \({\textrm{Ind}_H^G}M\).
Throughout the remainder of this section, R will denote a subring of \({{\mathbb {Q}}}\) containing \({{\mathbb {Z}}}\). Let F be a free RG-module with free RG-basis \(\Lambda \). Then \(\Omega =\{g\alpha \;|\; g\in G, \alpha \in \Lambda \}\) is a free R-basis of F. The \(\ell ^1\)-norm on F with respect to \(\Lambda \) is defined as
Definition 2.2
Let \(\rho : F\twoheadrightarrow M\) be a surjective homomorphism of RG-modules where F is a free RG-module given the \(\ell ^1\)-norm \(|\cdot |_1\) with respect to a fixed basis. The filling norm on M (with respect to \(\rho \)) is defined as
When F is finitely generated over RG, we will say that this is the standard norm on M.
Remark 2.3
The filling norm on an RG-module is a pseudo-norm. It is a norm for example if \(R={{\mathbb {Z}}}\).
Lemma 2.4
([39, Lemma 4.6]) Let \(f: M\rightarrow N\) be a homomorphism between finitely generated RG-modules with standard norms \(\Vert \cdot \Vert _M\) and \(\Vert \cdot \Vert _N\), respectively. Then, there is a constant \(C>0\) so that \(\Vert f(m)\Vert _N\leqslant C\Vert m\Vert _M\) for all \(m\in M\).
Two filling norms \(\Vert \cdot \Vert _1\) and \(\Vert \cdot \Vert _2\) on an RG-module M are called equivalent if there a constant \(C >0\) such that for all \(m\in M\),
Lemma 2.4 implies the following result.
Lemma 2.5
Any two standard norms on a finitely generated RG-module are equivalent.
By Lemma 2.5, the standard norm on a finitely generated RG-module is well-defined up to linear equivalence.
We will need the following result of Gersten in [26].
Proposition 2.6
([26, Proposition 4.4]) Assume that there is a short exact sequence of RH-modules
where M is a finitely generated RH-module and equipped with the standard norm, N is RH-free equipped with the associated \(\ell ^1\)-norm, and P is projective. Then there is an RH-retraction \(\rho : N\rightarrow M\) for \(\iota \) and a constant \(C>0\) so that \(\Vert \rho (x)\Vert \leqslant C|x|_{1}\) for all \(x\in N\).
We are ready to prove the main result of this section.
Proposition 2.7
Let G be a group with \({\textrm{cd}}_{R} \, G =n\geqslant 1\). Suppose H is a subgroup of G of type FP(R) and \(P_*\twoheadrightarrow R\) is a resolution by finitely generated free RH-modules. Then, the following hold.
-
(1)
There is a free RG-resolution \(F_*\twoheadrightarrow R\) where \(Z_{n-1}(F_*)\) is RG-free equipped with the associated \(\ell ^1\)-norm and an injective RH-morphism \(\iota _*: P_* \rightarrow F_*\).
-
(2)
There is a constant \(C>0\), and an RH-retraction \(\rho : Z_{n-1}(F_*)\twoheadrightarrow Z_{n-1}(P_*)\) for \(\iota _{n-1}:Z_{n-1}(P_*)\hookrightarrow Z_{n-1}(F_*)\) such that \(\Vert {\rho }(y)\Vert \leqslant C|y|_{1}\) for all \(y\in Z_{n-1}(F_*)\).
Proof
The induction of \(P_*\twoheadrightarrow R\) gives the free RG-resolution \({\textrm{Ind}_H^G}P_*\twoheadrightarrow {\textrm{Ind}_H^G}R\). Let \(F'_*\twoheadrightarrow R\) be a free RG-resolution. By the Fundamental Lemma of Homological Algebra [10, Lemma I.7.4], there is an RG-morphism \(f_*:{\textrm{Ind}_H^G}P_*\rightarrow F'_*\) extending the augmentation map \({\textrm{Ind}_H^G}R\twoheadrightarrow R :\, g\otimes r\mapsto r, \, \forall g\in G, \forall r\in R\). Denote by \(C(f)_*\) the algebraic mapping cylinder of \(f_*\) [45, 1.5.5]. Recall that
for all \(i> 0\), \(C(f)_0= {\textrm{Ind}_H^G}P_0\oplus F'_0\). Since the natural inclusion \(F'_*\hookrightarrow C(f)_*\) is a chain homotopy equivalence [45, 1.5.4], we have that \(C(f)_*\twoheadrightarrow R\) is a free RG-resolution. Since \({\textrm{cd}}_{R} \, G =n\), the submodule \(Z_{n-1}(C(f)_*)\) of \((n-1)\)-cycles in \(C(f)_{n-1}\) is RG-projective. By applying the Eilenberg swindle [10, Lemma VIII.2.7], we can add an RG-free module N as a direct summand to both \(C(f)_n\) and \(C(f)_{n-1}\), so that the resulting complex \(F_*\) stays exact and \(Z_{n-1}(F_*)\cong N\). The complex \(P_*\) embeds in \(F_*\) by the maps \(j_{P_i}\) that send \(P_i\) naturally into the \({\textrm{Ind}_H^G}P_i\) summand in \(F_i\) for each i. Denote this embedding by \(\iota _*: P_*\hookrightarrow F_*\). Observe that by construction and Lemma 2.1, \(\iota _i\) is an embedding of \(P_i\) as a direct RH-module summand in \(F_i\), for all \(i\geqslant 0\). Hence \(\iota _i\) splits for all \(i\geqslant 0\). We form the quotient complex
and consider the short exact sequence of RH-modules:
Since \(\iota _i\) splits and \(F_i\) is RG-free and in particular RH-free, \(Q_i\) is RH-projective for all \(i\geqslant 0\). The long exact sequence in homology associated to (2), shows that the complex \(Q_*\) is acyclic. Since
is exact and \(Q_*\) is RH-projective, it follows that \(Z_{1}(Q_*)\) is a projective RH-module. Proceeding by induction, and considering the short exact sequence
for all \(i\geqslant 2\), we obtain that \(Z_{i}(Q_*)\) is a projective RH-module for all \(i\geqslant 1\). Therefore, we obtain the short exact sequence:
of projective RH-modules. Since H is of type FP(R), by [10, VIII.4.3], \(Z_{n-1}(P_*)\) is a finitely generated RH-module. Since \(Z_{n-1}(F_*)\) is a free RH-module, by Proposition 2.6, there is a constant \(C>0\), and an RH-retraction \(\rho : Z_{n-1}(F_*)\twoheadrightarrow Z_{n-1}(P_*)\) of \(\iota _{n-1}\) such that \(\Vert {\rho }(y)\Vert \leqslant C|y|_{1}\) for all \(y\in Z_{n-1}(P_*)\). \(\square \)
3 \(\ell ^{\infty }\)-cohomology of groups
We start this section with preliminary results on \(\ell ^{\infty }\)-cohomology of groups and derive our main result, Theorem 1.3.
Throughout, let R be a subring of \({{\mathbb {R}}}\) containing \({{\mathbb {Z}}}\). We equip R with the norm which is the restriction of the usual norm on \({{\mathbb {R}}}\). A norm on an R-module V is a function \(\Vert \cdot \Vert _V:V\rightarrow {{\mathbb {R}}}\), so that for any \(m, m'\in V\) and \(r\in R\),
-
(1)
\(\Vert m\Vert _V\geqslant 0\) and \(\Vert m\Vert _V=0\) implies \(m=0\),
-
(2)
\(\Vert m+m'\Vert _V\leqslant \Vert m\Vert _V+\Vert m'\Vert _V\),
-
(3)
\(\Vert rm\Vert _V\leqslant |r|\Vert m\Vert _V\).
Let G be a group. A normed RG-module is a normed R-module with an isometric R-linear action of G. Let V be a normed RG-module. We denote by
the RG-module of bounded functions defined on G with values in V. The \(\ell ^{\infty }\)-cohomology of a group G can be defined as the ordinary (integral) cohomology of G with coefficients in \(\ell ^{\infty }(G, V)\),
This definition of \(\ell ^{\infty }\)-cohomology in terms of ordinary group cohomology is due to Wienhard [46]. It reduces to Gersten’s definition when G is assumed to be of type \(F_n\), a necessary assumption in the original definition.
Remark 3.1
As noted in [36], two finitely generated quasi-isometric groups have isomorphic \(\ell ^{\infty }\)-cohomologies. This can be seen by the fact that \(\ell ^{\infty }\)-cohomology of a finitely generated group coincides with Elek’s cohomology theory [18] of its Cayley graph. The latter is invariant under quasi-isometries of graphs [18, Theorem 2.1]. In fact, Elek defines \(\ell ^{\infty }\)-cohomology only with trivial coefficients \(V={{\mathbb {R}}}\), but both [18, Definition 2.1] and [18, Theorem 2.1] generalise verbatim to any normed \({{\mathbb {R}}}\)-module coefficients V. Alternatively, for general coefficients V, the quasi-isometry invariance of \(\ell ^{\infty }\)-cohomology follows from Corollary 3.39 of [34]. When G is of type \(F_n\), quasi-isometric invariance of \(H^n_{(\infty )}(G; {{\mathbb {R}}})\) was already established in [22].
Definition 3.2
Suppose \(P_*\) be a projective RG-resolution of R. We say a cochain \(\beta \in {Hom}_R(P_i, V)\) is bounded on G-orbits if for all \(\sigma \in P_i\), the subset \(\{ \beta (g\cdot \sigma ) \;|\; g\in G\}\subset V\) is bounded. We denote by \({Hom}^{bG}_R(P_i, V)\) the subspace containing all such co-chains.
The following observation is essential for our purposes.
Lemma 3.3
\({Hom}^{bG}_R(P_*, V)\) is a co-chain complex whose cohomology is naturally isomorphic to \(H^*_{(\infty )}(G; V)\).
Proof
The boundary operator on \(P_*\) gives a co-boundary operator on \({Hom}_R(P_*, V)\) which restricts to \({Hom}^{bG}_R(P_*, V)\).
We claim that \({Hom}^{bG}_R(P_i, V)\) is naturally isomorphic to \({Hom}_{RG}(P_i, \ell ^{\infty }(G,V))\). For each \(i\geqslant 0\), define
One can check that \(\Phi _i\) and \(\Psi _i\) are well-defined co-chain maps and are inverses of each other. This proves the claim. Thus, the cohomology of \({Hom}^{bG}_R(P_i, V)\) is naturally isomorphic to \(H^*_R(G; \ell ^{\infty }(G, V))=\text{ Ext}_{R G}(R, \ell ^{\infty }(G, V))\).
Let \(F_*\) be a free \({{\mathbb {Z}}}G\)-resolution of \({{\mathbb {Z}}}\). By [10, III.3.3], we get the natural isomorphism
which shows that \(H^*_R(G; \ell ^{\infty }(G, V))\) is naturally isomorphic to \(H^*(G; \ell ^{\infty }(G, V))\). \(\square \)
Remark 3.4
It follows from Lemma 3.3 that the G-action on the coefficient module V has no bearing on the \(\ell ^{\infty }\)-cohomology of G, i.e. two different G-actions on V induce isomorphic cohomology groups, a fact that can also be seen directly from the definition. It therefore suffices to consider coefficients that are simply normed R-modules with trivial G-action.
We are now ready to prove our main result.
Theorem 3.5
Let R be a subring of \({{\mathbb {Q}}}\) containing \({{\mathbb {Z}}}\). Suppose H is a group of type \(FP_n(R)\) and is a subgroup of G with \({\textrm{cd}}_R \, G = n<\infty \). Then the restriction homomorphism \(H^n_{(\infty )}(G; V)\rightarrow H^n_{(\infty )}(H; V)\) is surjective for all normed R-modules V.
Remark 3.6
Note that since H is a subgroup of G, we have \({\textrm{cd}}_R \, H \leqslant {\textrm{cd}}_R \, G =n\). By Sect. 2, it follows that H is of type \(FP_n(R)\) if and only if it is of type FP(R).
Proof of Theorem 3.5
Since the \(n=0\) case is trivially satisfied, we assume \(n\geqslant 1\). Since H is of type of type FP(R), it is of type \(FP_{\infty }(R)\). So, there is a free RH-resolution \(P_*\twoheadrightarrow R\) by finitely generated free RH-modules (possibly of infinite length) [10, VIII.4.5]. We use the notation of Proposition 2.7. Observe that the truncation of the resolutions \(P_*\) and \(F_*\) at n,
and
are RH- and RG-projective resolutions of R, respectively. Let \(\alpha \in Hom^{bH}_R(Z_{n-1}({P_*}), V)\) be a cocycle which is bounded on H-orbits. Then \(\beta :=\alpha \circ \rho \in Hom_R(Z_{n-1}({F_*}), V)\). Since \({\iota }^{n-1}(\beta )=\alpha \), it is left to show that \(\beta \) is bounded on G-orbits.
Let \(\sigma \in Z_{n-1}(F_*)\). By Proposition 2.7, there is a constant \(C>0\) such that \(\forall g\in G\),
Now, let \(\omega _1, \dots , \omega _k\) be the standard generators of \(P_{n}\) as a free RH-module. Consider \(\lambda \in P_n\) so that \(\partial _n^P(\lambda )=\rho (g\cdot \sigma )\). Then \(\lambda =q_1 \omega _1+\cdots + q_k\omega _k\) with \(q_i\in RH\). We can write each \(q_i=\sum _j r_{ij}h_{ij}\) where \(h_{ij}\in H\) and \(r_{ij}\in R\). Then
By the above inequality and the definition of the filling norm on \(\rho (g\cdot \sigma )\), it follows that for any \(\varepsilon >0\), there is such \(\lambda \) so that
It follows that
Let \(L=\sup \{\Vert \alpha (h\cdot \partial _n^P(\omega _i))\Vert _V \; | \; 1\leqslant i\leqslant k, h\in H\}.\) Since \(\alpha \) is bounded on H-orbits, \(L<\infty \). We have established that \(\Vert \beta (g\cdot \sigma )\Vert _V\leqslant LC|\sigma |_{1}\) for all \(g\in G\). This shows that \(\beta \) is bounded on G-orbits. \(\square \)
Remark 3.7
The first example of a non-hyperbolic subgroup H of type F of a hyperbolic group G was given in [30]. By Theorem 1.1, we know that \(H^2_{(\infty )}(H;\ell ^{\infty }({{\mathbb {N}}},{{\mathbb {R}}}))\ne 0\). Yet, since G is hyperbolic, \(H^2_{(\infty )}(G;\ell ^{\infty }({{\mathbb {N}}},{{\mathbb {R}}}))= 0\). This shows that Theorem 3.5 does not generalise to degrees below the top degree, which in this example is \({\textrm{cd}}\, G=5\).
We conclude this section with an observation regarding relatively hyperbolic groups.
Theorem 3.8
Let G be a relatively hyperbolic group with amenable peripheral subgroups, then the sequence
is exact for all \(n\geqslant 2\) and all dual normed \({{\mathbb {R}}}G\)-modules V.
Proof
Denote by \({\mathcal {H}}= \{H_i\}_{i\in I}\) the collection of peripheral subgroups of G. There is a commutative diagram with exact middle row:
We know that the homomorphism \(c'\) is surjective [20] and \(\iota ''\) is injective [36, Theorem 1.1]. The result now follows by a diagram chase. \(\square \)
4 Hyperbolicity criteria
In [38], numerous equivalent conditions for a finitely presented group G to be hyperbolic are listed. In this section, we make the observation that (with a suitable restatement of the results) the finite presentability of G may be relaxed to \(FP_2({{\mathbb {Q}}})\).
A group G of type \(FP_2({{\mathbb {Q}}})\) is finitely generated, so we may fix a finite generating set and form the Cayley graph \(\Gamma \). The property \(FP_2({{\mathbb {Q}}})\) now implies that \(Z_1(\Gamma ,{{\mathbb {Q}}})\) is finitely generated as a \({{\mathbb {Q}}}G\)-module. We choose a finite generating set \(\{\alpha _i\}_{i\in I}\) for \(Z_1(\Gamma ,{{\mathbb {Q}}})\) (as a \({{\mathbb {Q}}}G\)-module) where each generator \(\alpha _i\) lies in \(C_1(\Gamma ,{{\mathbb {Z}}})\) and hence is represented by a circuit \(w_i\) in \(\Gamma \). Without loss of generality we may assume that there are no superfluous generators in this generating set. We attach 2-cells with attaching maps \(gw_i\) for each \(g\in G\) and \(i\in I\) and make the corresponding 2-complex X (where \(X^{(1)}=\Gamma \)). By construction, \(H_1(X;{{\mathbb {Q}}})=0\) and G acts freely and cocompactly on X.
To distinguish filling norms with different coefficients, we adopt notation similar to [38]. For a 1-boundary with coefficients in \(A={{\mathbb {Z}}}, {{\mathbb {Q}}}, {{\mathbb {R}}}\), we define:
We also have the norm \(|\cdot |_1\) on 1-boundaries coming from the \(\ell _1\)-norm on 1-chains.
The following result extends Theorem 7 of [38].
Theorem 4.1
Suppose the group G is of type \(FP_2({{\mathbb {Q}}})\), and X is the complex above. Then the following are equivalent:
-
(1)
G is hyperbolic.
-
(2)
There exists \(K\geqslant 0\) such that for any \(b\in B_1(X,{{\mathbb {Z}}})\), we have the inequality:
$$\begin{aligned} \Vert b\Vert _{{{\mathbb {Q}}}}\leqslant K|b|_1. \end{aligned}$$ -
(3)
There exists \(K\geqslant 0\) such that for any \(b\in B_1(X,{{\mathbb {R}}})\), we have the inequality:
$$\begin{aligned} \Vert b\Vert _{{{\mathbb {R}}}}\leqslant K|b|_1. \end{aligned}$$
Note that since X is not necessarily simply-connected even when G is finitely presented, results such as Theorem 7 in [38] do not apply verbatim. Therefore we give a proof, although the arguments used are almost the same as in the proofs of the original results in the literature.
Proof
Note that by construction of X, any circuit in \(\Gamma \) lies in \(B_1(X,{{\mathbb {Q}}})\).
(1)\(\implies \) (2): Without loss of generality, \(\Gamma \) is \(\delta \)-hyperbolic for some positive integer \(\delta \). Since b is an integral 1-cycle, it can be represented by a circuit \(\gamma _b\) in \(X^{(1)}\). We use induction on \(|b|_1\). Since \(X^{(1)}\) is locally finite, there are finitely many G-orbits of circuits of a given length, thus for the base case of \(0\leqslant |b|_1 \leqslant 16\delta \) we may take:
For the inductive step, suppose we have \(|b|_1>16\delta \). If \(\gamma _b\) self-intersects, we may split it into two shorter circuits and the result follows by induction. Otherwise, we may invoke Lemma 2.6 in [5] (III.H) to represent \(\gamma _b=\gamma _1+\gamma _2\) as a sum in \(C_1(X, {{\mathbb {Z}}})\) of a shorter circuit \(\gamma _a=\gamma _1+\gamma _3\) and a circuit \(\gamma _c=\gamma _2-\gamma _3\) of length at most \(16\delta \) (see Fig. 1, where dotted lines denote length). By induction,
Moreover, \(\Vert \gamma _c\Vert _{{\mathbb {Q}}}\leqslant K\). Finally,
whence by induction the result holds.
(2)\(\implies \)(3): Suppose that \(b\in B_1(X,{{\mathbb {R}}})\). Applying Theorem 4 and the second part of Theorem 6 from [38], there exist \(p_1,p_2,\dots ,p_n\in B_1(X,{{\mathbb {Z}}})\) and positive \(\alpha _i\in {{\mathbb {R}}}\) such that
and
from which the required inequality follows (the same value for K works).
(3)\(\implies \) (i): There are finitely many orbits of 2-cells in X, therefore there exists a constant M such that for all \(a\in C_2(X,{{\mathbb {R}}})\),
holds. Arguing by contradiction, suppose that G is not hyperbolic, but (3) holds. Theorem 1.4 of Papasoglu in [42] and its corollary, Lemma 5.2 of Gersten in [24], only rely on the group being finitely generated as they are results concerning the Cayley graph. We may therefore find arbitrarily long and thick quadrilaterals w in \(X^{(1)}\), just like in the proof of Proposition 8 of Mineyev in [38]. Following the argument there, which we can do since the first real homology of X vanishes, we can get:
Choosing \(|w|_1\) large enough, this contradicts (3). \(\square \)
Definition 4.2
(Integral part) We say that a \({{\mathbb {Z}}}G\)-submodule I of a finitely generated \({{\mathbb {Q}}}G\)-module M is an integral part of M if I is finitely generated as a \({{\mathbb {Z}}}G\)-module as well as generating M as a \({{\mathbb {Q}}}G\)-module.
Note that for a group G which is of type \(FP_2({{\mathbb {Q}}})\) but not of type \(FP_2({{\mathbb {Z}}})\), the relation module \(Z_1(\Gamma ,{{\mathbb {Z}}})\) is not finitely generated as a \({{\mathbb {Z}}}G\)-module, thus is not an integral part of \(Z_1(\Gamma ,{{\mathbb {Q}}})\).
Lemma 4.3
For \(b\in B_1(X,{{\mathbb {Q}}})\) and any \(r\in {{\mathbb {Q}}}\), we have \(\Vert rb\Vert _{{{\mathbb {Q}}}}=|r|\Vert b\Vert _{{{\mathbb {Q}}}}\).
Proof
This is an extension of the second statement of Lemma 3.1 in [24], where X was assumed to be simply-connected. Recall that the generating set for 1-cycles of \(\Gamma \) does not have superfluous generators. Over the rationals, \(|ra|_1=|r||a|_1\) holds in \(C_2(X,{{\mathbb {Q}}})\). \(\square \)
Definition 4.4
(Rational homological filling function, [2]) Suppose that G is a group of type \(FP_{n+1}({{\mathbb {Q}}})\). Let
be a partial projective resolution via finitely generated \({{\mathbb {Q}}}G\)-modules. Note that by [10, VIII.4.3], \(\ker {\partial _n}\) is finitely generated as a \({{\mathbb {Q}}}G\)-module. Let \(K_n\) be an integral part of \(\ker {\partial _n}\). For \(\gamma \in K_n\), define
Finally, define the \(n^{th}\)-filling function
where \(\Vert \cdot \Vert \) denote the appropriate filling norms.
It is Theorem 3.3 in [2] that \(FV^{n+1}_{G,{{\mathbb {Q}}}}\) is well-defined up to linear equivalence. In particular, being bounded above by a linear function is invariant under choice of a partial resolution \(P_*\) by finitely generated projective \({{\mathbb {Q}}}G\)-modules, integral part or filling norms.
The following question was asked by Arora and Martínez-Pedroza.
Question 4.5
([2, Question 1.9]) Let G be a group of type \(FP_2({{\mathbb {Q}}})\) and suppose \(FV_{G,{{\mathbb {Q}}}}^2\) is bounded above by a linear function. Is G a hyperbolic group?
We give a positive answer to this question below.
Theorem 4.6
Suppose that G is a group of type \(FP_2({{\mathbb {Q}}})\) and that \(FV_{G,{{\mathbb {Q}}}}^2\) is bounded above by a linear function. Then G is hyperbolic.
Proof
By the construction of X above, we have that \(H_1(X;{{\mathbb {Q}}})=0\). Suppose that G is not hyperbolic. Then by Theorem 4.1, for any \(K\geqslant 0\) there exists some \(b_K\in B_1(X,{{\mathbb {Z}}})\) such that
i.e.
By considering \(K=1,2,3,\dots \), we form a sequence \((b_i)_{i\in {\mathbb {N}}}\). Since each \(b_i\) is in \(B_1(X,{{\mathbb {Z}}})\), which is contained in \(Z_1(X,{{\mathbb {Q}}})\), we can think of them as rational 1-cycles.
Let \(z_1,z_2,\dots ,z_m\) be the generators of \(Z_1(X,{{\mathbb {Q}}})\) from the construction of X; recall that these are integral 1-cycles. Consider the free \({{\mathbb {Q}}}G\)-module N with generating set \(\{e_1,e_2,\dots ,e_m\}\) and the epimorphism
defined by \(\phi (e_i)=z_i\) for \(i=1,2,\dots ,m\). Let \(f_i\in N\) be such that \(\phi (f_i)=b_i\).
Consider the free \({{\mathbb {Z}}}G\)-module M with generating set \(\{e_1,e_2,\dots ,e_m\}\). We have a natural inclusion \(M\subset N\). For each i, there exists some positive integer \(r_i\) such that \(r_i f_i\in M\) and \(\phi (r_i f_i)=r_i b_i\).
The image \(I=\phi (M)\) inside \(Z_1(X,{{\mathbb {Q}}})\) is finitely generated as a \({{\mathbb {Z}}}G\)-module by \(\phi (e_i)=z_i\), but it also generates all of \(Z_1(X,{{\mathbb {Q}}})\) as a \({{\mathbb {Q}}}G\)-module. Therefore I is an integral part for \(Z_1(X,{{\mathbb {Q}}})\). Furthermore, it contains every \(r_i b_i\).
We compute \(FV_{G,{{\mathbb {Q}}}}^2(n)\) using the rational cellular structure on X and take I as the required integral part. By our assumptions, there exists a constant C such that
This means that for all positive integers n, we have
This implies that for all \(b\in I\) such that \(|b|_{C_1(X,{{\mathbb {Q}}})}\leqslant m\), we have
where \(|\cdot |_{C_1(X,{{\mathbb {Q}}})}\) denotes the \(\ell _1\)-norm on \(C_1(X,{{\mathbb {Q}}})\). This is a filling norm because the module \(C_1(X,{{\mathbb {Q}}})\) is free as a \({{\mathbb {Q}}}G\)-module.
Now choose i such that \(i>C\). For this i, let \(n=|b_i|_1\). By construction, we have
which implies
On the other hand, \(|b_i|_{C_1(X,{{\mathbb {Q}}})}= n\). Consider \(r_i b_i\in I\). We have
so by setting \(m=|r_i| n\) in (5), we get
Applying Lemma 4.3, we get
which contradicts (6). Hence G is hyperbolic. \(\square \)
This proves Theorem 1.8, since the converse follows from hyperbolic groups being finitely presented and Theorem 1.8 in [2].
We end this section by giving a generalisation of a theorem of Gersten [24] from finitely presented groups to groups of type \(FP_2({{\mathbb {Q}}})\). It will be needed for applications to subgroups of hyperbolic groups in Sect. 5.
We use the shorthand \(\ell _{\infty }:=\ell ^{\infty }({{\mathbb {N}}},{{\mathbb {R}}})\) to denote the injective Banach space of bounded real sequences, which can be thought of as a normed \({{\mathbb {R}}}G\)-module for any group G with trivial G-action.
Theorem 4.7
Suppose that G is a group of type \(FP_2({{\mathbb {Q}}})\) with \(H^2_{(\infty )}(G; \ell _{\infty })=0\). Then G is hyperbolic.
Proof
Consider the two-dimensional X above. We can use its cellular complex, extended abstractly to an \({{\mathbb {R}}}G\)-resolution \(F_*\twoheadrightarrow {{\mathbb {R}}}\) (possibly infinite) where \(F_i=C_i(X, {{\mathbb {R}}})\) for \(i\leqslant 2\) and Lemma 3.3 to compute the \(\ell _{\infty }\)-cohomology in lower degrees of G. Thus, our assumption implies that the second cohomology of the co-chain complex
vanishes.
For \(i\in \{1,2\}\), since X has finitely many G-orbits of both 1-cells and 2-cells, we may define the following norm on i-cochains bounded on G-orbits \({Hom}^{bG}_{{\mathbb {R}}}(C_i(X,{{\mathbb {R}}}), {{\mathbb {R}}})\):
We claim that there exists \(M>0\) with the property that for all \(z\in {Hom}^{bG}_{{\mathbb {R}}}(C_2(X,{{\mathbb {R}}}), {{\mathbb {R}}})\) with \(\delta (z)=0\), there exists some \(c\in {Hom}^{bG}_{{\mathbb {R}}}(C_1(X,{{\mathbb {R}}}), {{\mathbb {R}}})\) with \(\delta (c)=z\) and \(\Vert c\Vert _{\infty }\leqslant M\Vert z\Vert _{\infty }\).
If not, then there exist \(z_i\in {Hom}^{bG}_{{\mathbb {R}}}(C_2(X,{{\mathbb {R}}}), {{\mathbb {R}}})\) for \(i\in {{\mathbb {N}}}\) such that \(\delta (z_i)=0\) and \(\Vert z_i\Vert _{\infty }=1\) for all i, with the property that
We can now combine the \(z_i\) to form a 2-cocycle \({\bar{z}}\in {Hom}^{bG}_{{\mathbb {R}}}(C_2(X,{{\mathbb {R}}}), \ell _{\infty })\) via \({\bar{z}}(x)(i)=z_i(x)\) which is bounded on G-orbits, but which is not the image of any 1-cochain bounded on G-orbits. This contradicts the assumption that \(H^2_{(\infty )}(G; \ell _{\infty })=0\), which proves the claim. Note that this is similar to the proof of Proposition 4.6 in [24], where this property was referred to as strong vanishing.
By the same argument as Proposition 4.7 in [24], it follows that the second cohomology of the co-chain complex
vanishes for all discrete sets S. We now follow the argument in the proof of Theorem 4.3 in [24]. By setting S to be the set of all bounded linear maps
of norm 1, we can deduce that the norms \(\Vert \cdot \Vert _{{{\mathbb {R}}}}\) (denoted \(N_{{{\mathbb {R}}}}\) in [24]) and \(|\cdot |_1\) are equivalent on \(B_1(X,{{\mathbb {R}}})\), which means there exists a constant K such that \(\Vert \cdot \Vert _{{{\mathbb {R}}}}\leqslant K |\cdot |_1\).
Finally, by Theorem 4.1 we deduce that G is hyperbolic. \(\square \)
5 Applications
In this section, we give some applications of Sect. 3 and Theorem 3.5.
5.1 Subgroups of hyperbolic groups
Subgroups of hyperbolic groups inherit some of the properties of hyperbolic groups, but may not inherit hyperbolicity even when these subgroups have strong finiteness conditions [9, 30, 43]. We consider subgroups of type \(FP({{\mathbb {Q}}})\).
Corollary 5.1
Let G be a hyperbolic group with \({\textrm{cd}}_{{{\mathbb {Q}}}} \, G = n\), \(n\geqslant 2\). Suppose H is a subgroup of type \(FP({{\mathbb {Q}}})\). Then \(H^n_{(\infty )}(H; V)=0\) for all normed \({{\mathbb {R}}}\)-modules V.
Proof
Since G is hyperbolic, \(H^n_{(\infty )}(G; V)=0\) [37]. By Theorem 3.5, we have \(H^n_{(\infty )}(H; V)=0\). \(\square \)
When the hyperbolic group has rational cohomological dimension 2, we can say more.
Corollary 5.2
Let G be a hyperbolic group such that \({\textrm{cd}}_{{{\mathbb {Q}}}} \, G = 2\). Suppose H is a subgroup of G of type \(FP_2({{\mathbb {Q}}})\). Then H is hyperbolic.
Proof
By Theorems 3.5 and 1.1, \(H^2_{(\infty )}(H; \ell _{\infty })=0\). By Theorem 4.7, H is hyperbolic. \(\square \)
Rips constructed subgroups of hyperbolic small cancellation groups that are finitely generated but not finitely presented [43, Theorem 1]. Corollary 5.2 shows that those subgroups are not of type \(FP_2({{\mathbb {Q}}})\).
Theorem 5.3
(Rips) Given any finitely presented group Q and any real number \(\lambda >0\), there is a \(C'(\lambda )\) group G and a short exact sequence
such that N is finitely generated.
Proof of Corollary 1.6
Suppose Q is a finitely presented group that contains a finitely generated subgroup P which is not finitely presented. Consider the preimage \(H=q^{-1}(P)\). Then H is finitely generated but it is not finitely presented, for otherwise P would be finitely presented. Set \(\lambda =1/6\). Then G is hyperbolic and moreover \({\textrm{cd}}_{{{\mathbb {Q}}}} \, G \leqslant 2\) [40]. Since H is not finitely presented, Corollary 5.2 shows that H is not of type \(FP_2({{\mathbb {Q}}})\).\(\square \)
5.2 Non-vanishing in top dimension
The following result was proven by Gersten in [25, Prop. 7.2] for groups of type \(F_n\). The proof generalises verbatim to any group.
Lemma 5.4
(Gersten) Let G be a group. Then \(H^i_{(\infty )}(G; {{\mathbb {Z}}})=H^i_{(\infty )}(G; {{\mathbb {R}}})\) for all \(i\geqslant 2\).
Lemma 5.5
Let \({\Gamma }\) be a Poincaré duality group of dimension \(d\geqslant 1\). Then \({\Gamma }\) is amenable if and only if \(H^d_{(\infty )}(\Gamma , {{\mathbb {R}}})\ne 0\) if and only if \(H^d_{(\infty )}(\Gamma , {{\mathbb {R}}})\) has uncountably infinite dimension over \({{\mathbb {R}}}\).
Proof
Recall that \(\ell ^{\infty }\)-cohomology is quasi-isometry invariant and a finite index subgroup of a Poincaré duality group is again a Poincaré duality group [31]. Passing to an index at most 2 subgroup of \({\Gamma }\), we can assume it is an orientable Poincaré duality group. By duality, we have
Moreover, \(H_0({\Gamma }; \ell ^{\infty }({\Gamma }, {{\mathbb {R}}}))\) is isomorphic to uniformly finite homology of G in degree 0 [8]. By the fundamental result of Block and Weinberger [11], amenable groups are exactly those groups for which uniformly finite homology in degree 0 does not vanish. If \({\Gamma }\) amenable, then combining Theorem 6.6.1 and Proposition 6.7.2 of [7], it follows that \(\ell ^{\infty }({\Gamma }, {{\mathbb {R}}})_{{\Gamma }}\) has dimension at least \(2^{2^{|{\Gamma }|}}\). \(\square \)
The next proposition is our main tool for establishing non-vanishing of \(\ell ^{\infty }\)-cohomology in the top degree.
Proposition 5.6
Let \(A={{\mathbb {Z}}}\) or \({{\mathbb {R}}}\). Let \(\Gamma \) be a group that has an amenable Poincaré duality subgroup N of dimension \(d\geqslant 1\) and \(d={\textrm{vcd}}\, \Gamma <\infty \) or \(d={\textrm{cd}}_{{{\mathbb {Q}}}} \, \Gamma <\infty \). Then \(H^d_{(\infty )}(\Gamma , A)\) contains a continuum of linearly independent elements.
Proof
By Lemma 5.4, it suffices to consider \(A={{\mathbb {R}}}\). Recall that \(\ell ^{\infty }\)-cohomology is quasi-isometry invariant and a finite index subgroup of a Poincaré duality group is again a Poincaré duality group [31]. Passing to a finite index subgroup of \(\Gamma \), we can either assume that \(d={\textrm{cd}}\, \Gamma <\infty \) or \(d={\textrm{cd}}_{{{\mathbb {Q}}}} \, \Gamma <\infty \). The result now follows from Theorem 3.5 and Lemma 5.5. \(\square \)
It turns out that many well-known classes of groups contain free abelian or nilpotent subgroups of large Hirsch length.
Corollary 5.7
Let \(A={{\mathbb {Z}}}\) or \({{\mathbb {R}}}\). Suppose \(\Gamma \) is one of the following groups and \(d={\textrm{vcd}}\, \Gamma \geqslant 1\):
-
(i)
\(\Gamma \) is a finitely generated right-angled Artin group;
-
(ii)
\(\Gamma \) is the Bestvina–Brady group of any finite flag complex \(L^n\) with \(H^n(L; A)=0\);
-
(iii)
\(\Gamma \) is the mapping class group \(\textrm{Mod}(S_2)\) of a closed orientable surface of genus 2;
-
(iv)
\(\Gamma ={\textrm{SL}}(n,{{\mathbb {Z}}})\) for \(n\geqslant 2\);
-
(v)
\(\Gamma =\textrm{Out}({\mathbb {F}}_n)\) for \(n\geqslant 2\).
Then the cokernel of the comparison map \(\iota ^d:H^d(\Gamma ; A)\rightarrow H^d_{(\infty )}(\Gamma ; A)\) contains a continuum of linearly independent elements.
Proof
We first check that each case satisfies the hypothesis of Proposition 5.6 where N can be taken either abelian or nilpotent.
(i) The dimension of the flag complex L for \(\Gamma \) equals to \(d-1\) (see for example [35, Proposition 18]) and hence \(\Gamma \) contains a subgroup isomorphic to \({{\mathbb {Z}}}^{d}\).
(ii) \(\Gamma \) contains a free abelian subgroups of rank equal to the dimension of L which is n. By our hypothesis and [35, Theorem 22], \({\textrm{cd}}\, \Gamma =n\).
(iii) In this case \(d=3\) and \(\textrm{Mod}(S_2)\) contains a group isomorphic to \({{\mathbb {Z}}}^3\) generated by Dehn twists [29].
(iv) It is known that \({\textrm{vcd}}\, \Gamma =n(n-1)/2\) [10]. The unipotent subgroup of \(\Gamma \) of upper triangular matrices is a nilpotent subgroup of Hirsch length (and hence rational cohomological dimension) equal to \(n(n-1)/2\).
(v) It is shown in [12] that \(\textrm{Out}({\mathbb {F}}_n)\) contains a free abelian subgroup of rank d.
Proposition 5.6 implies that \(H^d_{(\infty )}(\Gamma ; A)\) contains a continuum of linearly independent elements. Our stronger assertion follows, since in each of the cases (i) and (iii)–(v), the groups are of type VF, in which case \(H^d(\Gamma ; A)\) is a finitely generated A-module. In case (ii), it follows by Corollary 12 of [35] that \(H^d(\Gamma ; A)\) is countably generated as an A-module. \(\square \)
Lemma 5.8
Let G be the fundamental group of a graph of groups with vertex groups \(\{G_v\}_{v\in V}\) and edge groups \(\{G_e\}_{e\in E}\). Then there is a long exact Mayer-Vietoris sequence:
for all \(i> 0\) and normed \({{\mathbb {R}}}G\)-modules W.
Proof
For any subgroup \(H\leqslant G\), there is an \({{\mathbb {R}}}H\)-module isomorphism
The result now follows from applying this isomorphism to the Mayer-Vietoris long exact sequence of G in group cohomology with \(\ell ^{\infty }(G,W)\) coefficients. \(\square \)
Corollary 5.9
Let \({\Gamma }\) be a finitely generated group with \(2\leqslant {\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }<\infty \). Suppose that \({\Gamma }\) has an amenable Poincaré duality subgroup of dimension \({\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }\). Suppose \({\Gamma }\) is quasi-isometric to the fundamental group G of a finite graph of hyperbolic groups. Then \({\textrm{cd}}_{{{\mathbb {Q}}}} \, G={\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }= 2\).
Proof
Since rational cohomological dimension is a quasi-isometry invariant amongst groups with finite rational cohomological dimension [44, Theorem 1.2], denote
Suppose \(n\geqslant 3\). Let \(\{G_v\}_{v\in V}\) be the vertex groups and \(\{G_e\}_{e\in E}\) be the edge groups of the finite graph of groups. We apply the Mayer-Vietoris sequence of Lemma 5.8:
By [37, Theorem 0],
Then \(H^{n}_{(\infty )}(G; {{\mathbb {R}}})\) vanishes, implying that \(H^{n}_{(\infty )}({\Gamma }; {{\mathbb {R}}})\) also vanishes, but by Proposition 5.6, \(H^{n}_{(\infty )}({\Gamma }; {{\mathbb {R}}})\ne 0\). This is a contradiction. \(\square \)
We recall that by a result of Dunwoody, finitely generated groups of rational cohomological dimension at most one are virtually free [17]. Thus the assumption of Corollary 5.9 that \({\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }\geqslant 2\) is in fact equivalent to G not being virtually free.
Corollary 5.10
Let \({\Gamma }\) be a finitely generated group satisfying the hypothesis of Corollary 1.9. Suppose \({\Gamma }\) is quasi-isometric to the fundamental group of a finite graph of hyperbolic groups. Then either \({\Gamma }\) is a right angled Artin group or a Bestvina–Brady groups of cohomological dimension at most 2.
Proof
In the proof of Corollary 5.7, we have established that \({\Gamma }\) has either an abelian or a nilpotent Poincaré duality subgroup of dimension equal to \({\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }\). By Corollary 5.9, \({\textrm{cd}}_{{{\mathbb {Q}}}} \, {\Gamma }= 2\), which rules out (iii)–(v). \(\square \)
5.3 \(\ell ^{\infty }\)-cohomological dimension
Suppose G is a group. Define the \(\ell ^{\infty }\)-cohomological dimension of G by
Let V be a normed \({{\mathbb {R}}}\)-module such that \(H^n_{(\infty )}(G; V)\ne 0\). Viewing V as a normed \({{\mathbb {Q}}}\)-module, by the last claim of the proof of Lemma 3.3, we obtain \(H^n_{{{\mathbb {Q}}}}(G; \ell ^{\infty }(G,V))=H^n_{(\infty )}(G; V).\) This shows that \({\textrm{cd}}_{{{\mathbb {Q}}}} \, G\geqslant n\) and hence \({\textrm{cd}}_{{{\mathbb {Q}}}} \, G \geqslant {\textrm{cd}_{(\infty )}}G\).
Note also that when G is finitely generated, then by Remark 3.1, \({\textrm{cd}_{(\infty )}}G\) is a quasi-isometry invariant of G. We end this section with some applications to \({\textrm{cd}_{(\infty )}}G\).
Lemma 5.11
Let G be a group of type \(FP_2({{\mathbb {Q}}})\). Then G is an infinite hyperbolic group if and only if \({\textrm{cd}_{(\infty )}}G=1\).
Proof
If G satisfies \({\textrm{cd}_{(\infty )}}G=1\), then by Theorem 4.7, it is hyperbolic. Conversely, if G is hyperbolic, then \({\textrm{cd}_{(\infty )}}G\leqslant 1\) [37]. Since G contains a quasi-convex infinite cyclic subgroup C, by Corollary 10.3 of [27], the restriction \(C\hookrightarrow G\) induces a surjection
This shows that \({\textrm{cd}_{(\infty )}}G=1\). \(\square \)
Here is another reformulation of Corollary 5.1.
Corollary 5.12
Let G be a hyperbolic group with \({\textrm{cd}}_{{{\mathbb {Q}}}} \, G = n\), \(n\geqslant 2\). Suppose H is a subgroup of type \(FP({{\mathbb {Q}}})\). Then \({\textrm{cd}_{(\infty )}}H\leqslant n-1\).
Before stating the next result, we need the following lemma.
Lemma 5.13
Let H be a subgroup of G and V be a normed \({{\mathbb {R}}}\)-module. Then \(\ell ^{\infty }(H,V)\) is a direct summand of \(\ell ^{\infty }(G,V)\) as an \({{\mathbb {R}}}H\)-module.
Proof
Let T be a right transversal of H in G. We define
One can check that \(\varphi \) is an H-equivariant section of the restriction morphism from \(\ell ^{\infty }(G,V)\) to \(\ell ^{\infty }(H,V)\). \(\square \)
Corollary 5.14
Let G be a finitely generated infinite group, and hyperbolic relative to \({\mathcal {H}}= \{H_i\}_{i\in I}\). Then
Proof
Denote \(m:=\max \{ 1, {\textrm{cd}_{(\infty )}}H_i \; | \; i\in I\}\), which may be infinity. If G is hyperbolic, then so are all peripheral subgroups because they are undistorted. In this case, \({\textrm{cd}_{(\infty )}}G= m=1\).
Suppose \({\textrm{cd}_{(\infty )}}G\geqslant 2\). Using the long exact sequence in group cohomology for the group pair \((G, {{\mathcal {H}}})\) with coefficients in \(\ell ^{\infty }(G,V)\), we have
By Theorem 1.3 of [36], we know that \(H^j_{(\infty )}(G, {{\mathcal {H}}}; V)=0\) for all \(j\geqslant 2\). So, the long exact sequence shows that
By Lemma 5.13, \(\ell ^{\infty }(H_i,V)\) is a direct summand of \(\ell ^{\infty }(G,V)\); therefore, it follows that \(H^{j}_{(\infty )}(H_i; V)\) is isomorphic to a direct summand of \(H^{j}_{(\infty )}(G; V)\), for each \(i\in I\). This gives us \({\textrm{cd}_{(\infty )}}G\geqslant m\).
On the other hand, since
we obtain \({\textrm{cd}_{(\infty )}}G =m\). \(\square \)
Corollary 5.15
Suppose \(\Gamma \) is the fundamental group of a non-compact complete finite-volume Riemannian n-dimensional manifold M of negative sectional curvature bounded away from zero. Then \({\textrm{cd}_{(\infty )}}\Gamma =n-1\) and \(H^{n-1}_{(\infty )}(\Gamma ; {{\mathbb {R}}})\) contains a continuum of linearly independent elements.
Proof
We know that \(\Gamma \) is hyperbolic relative to the fundamental groups of the cusps, which are infra-nilmanifolds of dimension \((n-1)\) [19]. Therefore, peripheral subgroups are torsion-free virtually nilpotent groups of Hirsch length \((n-1)\). The first claim now follows from Corollary 5.14 and Lemma 5.5.
Let \({\mathcal {H}}= \{H_i\}_{i\in I}\) denote the collection of the fundamental groups of the cusps. For the second claim, observe that the long exact sequence in group cohomology for the group pair \((\Gamma , {{\mathcal {H}}})\) with coefficients in \(\ell ^{\infty }({\Gamma },V)\) gives a surjection from \(H^{n-1}_{(\infty )}(\Gamma , {{\mathbb {R}}})\) to \(\prod _{i\in I}H^{n-1}(H_i; \ell ^{\infty }({\Gamma },{{\mathbb {R}}}))\). This in turn surjects onto \(\prod _{i\in I}H^{n-1}_{(\infty )}(H_i; {{\mathbb {R}}})\) by Lemma 5.13. By Lemma 5.5, we know that each \(H^{n-1}_{(\infty )}(H_i; {{\mathbb {R}}})\) has dimension at least \(2^{2^{|H_i|}}\), hence the claim follows. \(\square \)
Proof of Theorem 1.13
There is an isomorphism \(H^{*}_{(\infty )}(M; V)\cong H^*_{(\infty )}(\pi _1(M); V)\) [36, Remark 2.3]. If M is non-compact, then by Corollary 5.15, we obtain that \(H^n_{(\infty )}(M; {{\mathbb {R}}})=0\) and \(H^{n-1}_{(\infty )}(M; {{\mathbb {R}}})\) contains a continuum of linearly independent elements. If M is compact, then \(\pi _1(M)\) is a Poincaré duality group. It is non-amenable, since \(\pi _1(M)\) is a non-elementary hyperbolic group. By Lemma 5.5, it follows that \(H^n_{(\infty )}(M; {{\mathbb {R}}})=0\). \(\square \)
Corollary 5.16
Let G be a finitely generated relatively hyperbolic group with \({\textrm{cd}}_{{{\mathbb {Q}}}}\, G<\infty \). Let \({\Gamma }\) be a finitely generated group with \(2\leqslant {\textrm{cd}}_{{{\mathbb {Q}}}}\, {\Gamma }<\infty \). Suppose that \({\Gamma }\) has an amenable Poincaré duality subgroup of dimension \({\textrm{cd}}_{{{\mathbb {Q}}}} \,{\Gamma }\). If G is quasi-isometric to \({\Gamma }\), then there is a peripheral subgroup H of G such that \({\textrm{cd}}_{{{\mathbb {Q}}}} \,H={\textrm{cd}}_{{{\mathbb {Q}}}} \,G\).
Proof
Suppose each peripheral subgroup H of G satisfies \({\textrm{cd}}_{{{\mathbb {Q}}}} \, H<{\textrm{cd}}_{{{\mathbb {Q}}}}\, G\). Since rational cohomological dimension is a quasi-isometry invariant amongst group with finite rational cohomological dimension [44, Theorem 1.2], \(n:={\textrm{cd}}_{{{\mathbb {Q}}}}\, G={\textrm{cd}}_{{{\mathbb {Q}}}}\, {\Gamma }\). By Corollary 5.14, \({\textrm{cd}_{(\infty )}}G\leqslant n-1\), implying \(H^n_{(\infty )}(G;{{\mathbb {R}}})=0\). Since G and \({\Gamma }\) are quasi-isometric, we have \(H^n_{(\infty )}({\Gamma };{{\mathbb {R}}})=0\). On the other hand, by Proposition 5.6, \(H^n_{(\infty )}({\Gamma }; {{\mathbb {R}}})\ne 0\), which is a contradiction. \(\square \)
Corollary 5.16 applies to groups \({\Gamma }\) satisfying the hypothesis of Corollary 5.7. We should mention that a finitely generated group which is quasi-isometric to a finitely generated relatively hyperbolic group is itself relatively hyperbolic [15]. It is known that, apart from perhaps some right-angled Artin groups and Bestvina–Brady groups, that the other classes of groups listed in Corollary 1.9 are not relatively hyperbolic. In the case of right-angled Artin groups, they are non-virtually cyclic relatively hyperbolic if and only if the associated flag complex is disconnected [3].
6 Some questions
We have only scratched the surface and many questions on the relationship between \(\ell ^{\infty }\)-cohomology of a group and its geometric properties remain unanswered. We state some of these next.
Question 6.1
Let H be a hyperbolically embedded subgroup of a finitely generated group G. Is \({\textrm{cd}_{(\infty )}}H\leqslant {\textrm{cd}_{(\infty )}}G\)?
For the definition of a hyperbolically embedded subgroup, we refer to [14]. There are many examples of such subgroups, such as parabolic subgroups of a relatively hyperbolic group; or the fact that a group is acylindrically hyperbolic if and only if it contains a non-trivial hyperbolically embedded virtually cyclic subgroup [41]. In the former case, the question has a positive answer by Corollary 5.14.
Question 6.2
Let G be a group acting properly and cocompactly by simplicial isometries on a CAT(0)-simplicial complex X. Does \({\textrm{cd}_{(\infty )}}G\) equal to the maximum dimension of flats in X?
By [27, Theorem 7.1], it follows that \(H^2_{(\infty )}(G; \ell ^{\infty })\ne 0\) if and only if X contains a flat plane.
Question 6.3
Let G be the outer automorphism group of a finitely generated right-angled Artin group with \({\textrm{vcd}}\, G=d\geqslant 2\). Is \(H^d_{\infty }(G, {{\mathbb {R}}})\ne 0\)?
By Corollary 5.7, we know that Question 6.3 has a positive answer in the extremal cases when the associated graph is either a set of points or it is complete. In [16], it is conjectured that G contains a poly-\({{\mathbb {Z}}}\) subgroup of Hirsch length equal to \({\textrm{vcd}}\, G\). If this conjecture holds, then Question 6.3 can be answered positively by Proposition 5.6.
Question 6.4
Let G be a group of type \(FP_n({{\mathbb {Q}}})\) for \(n\geqslant 2\). Is \({\textrm{cd}_{(\infty )}}G\leqslant n-1\) if and only if the filling function \(FV_{G,{{\mathbb {Q}}}}^n\) is bounded above by a linear function?
Question 6.4 has a positive answer for \(n=2\) by Theorems 4.7 and 4.6, and for all \(n\geqslant 2\) when G is hyperbolic by [37]. We note that Question 3.9 of [2] asks if \(FV_{G,{{\mathbb {Q}}}}^n(k)<\infty \) for each \(k\in {\mathbb {N}}\) when G is of type \(FP_n({{\mathbb {Q}}})\).
Data Availability
Not Applicable.
References
Ascari, D., Milizia, F.: Weakly bounded cohomology classes and a counterexample to a conjecture of Gromov. arXiv:2207.03972 (2022)
Arora, S., Martínez-Pedroza, E.: Subgroups of word hyperbolic groups in rational dimension 2. Groups Geom. Dyn. 15(1), 83–100 (2021)
Behrstock, J., Druţu, C., Mosher, L.: Thick metric spaces, relative hyperbolicity, and quasi-isometric rigidity. Math. Ann. 344(3), 543–595 (2009)
Baumslag, G., Fine, B., Rosenberger, G.: One-relator groups: an overview. In: Groups St Andrews 2017 in Birmingham, London Math. Soc. Lecture Note Ser., vol. 455, pp. 119–157. Cambridge University Press, Cambridge (2019)
Bridson, M.R., Haefliger, A.: Metric Spaces of Non-positive Curvature. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319. Springer, Berlin (1999)
Bieri, R.: Homological Dimension of Discrete Groups, Queen Mary College Mathematics Notes. Queen Mary College, 2nd edn. Department of Pure Mathematics, London (1981)
Blank, M.: Relative Bounded Cohomology for Groupoids. Ph.D. Thesis. Regensburg University (2015). https://epub.uni-regensburg.de/31298/
Brodzki, J., Niblo, G.A., Wright, N.: Pairings, duality, amenability and bounded cohomology. J. Eur. Math. Soc. (JEMS) 14(5), 1513–1518 (2012)
Brady, N.: Branched coverings of cubical complexes and subgroups of hyperbolic groups. J. Lond. Math. Soc. (2) 60(2), 461–480 (1999)
Brown, K.S.: Cohomology of groups. In: Axler, S., Gehring, F.W., Halmos, P.R. (eds.) Graduate Texts in Mathematics, vol. 87. Springer, New York (1982)
Block, J., Weinberger, S.: Aperiodic tilings, positive scalar curvature and amenability of spaces. J. Am. Math. Soc. 5(4), 907–918 (1992)
Culler, M., Vogtmann, K.: Moduli of graphs and automorphisms of free groups. Invent. Math. 84(1), 91–119 (1986)
Calegari, D., Walker, A.: Random groups contain surface subgroups. J. Am. Math. Soc. 28(2), 383–419 (2015)
Dahmani, F., Guirardel, V., Osin, D.: Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces. Mem. Am. Math. Soc. 245(1156), v+152 (2017)
Druţu, C.: Relatively hyperbolic groups: geometry and quasi-isometric invariance. Comment. Math. Helv. 84(3), 503–546 (2009)
Day, M.B., Sale, A.W., Wade, R.D.: Calculating the virtual cohomological dimension of the automorphism group of a RAAG. Bull. Lond. Math. Soc. 53(1), 259–273 (2021)
Dunwoody, M.J.: Accessibility and groups of cohomological dimension one. Proc. Lond. Math. Soc. (3) 38(2), 193–215 (1979)
Elek, G.: Coarse cohomology and \(l_p\)-cohomology. K-Theory 13(1), 1–22 (1998)
Farb, B.: Relatively hyperbolic groups. Geom. Funct. Anal. 8(5), 810–840 (1998)
Franceschini, F.: A characterization of relatively hyperbolic groups via bounded cohomology. Groups Geom. Dyn. 12(3), 919–960 (2018)
Frigerio, R., Sisto, A.: Central extensions and bounded cohomology. arXiv:2003.01146 (2020)
Gersten, S.M.: Bounded cocycles and combings of groups. Int. J. Algebra Comput. 2(3), 307–326 (1992)
Gersten, S.M.: Isoperimetric functions of groups and exotic cohomology. In: Combinatorial and Geometric Group Theory (Edinburgh, 1993), vol. 204 London Math. Soc. Lecture Note Ser., pp. 87–104. Cambridge University Press, Cambridge (1995)
Gersten, S.: A cohomological characterization of hyperbolic groups. Available online (1996)
Gersten, S.M. : A note on cohomological vanishing and the linear isoperimetric inequality. 1996. CiteSeerX: 10.1.1.38.4445
Gersten, S.M.: Subgroups of word hyperbolic groups in dimension 2. J. Lond. Math. Soc. (2) 54(2), 261–283 (1996)
Gersten, S.M.: Cohomological lower bounds for isoperimetric functions on groups. Topology 37(5), 1031–1072 (1998)
Gromov, M.: Asymptotic invariants of infinite groups. In: Geometric Group Theory, vol. 2 (Sussex, 1991), vol. 182, London Math. Soc. Lecture Note Ser., pp. 1–295. Cambridge University Press, Cambridge (1993)
Harer, J.L.: The virtual cohomological dimension of the mapping class group of an orientable surface. Invent. Math. 84(1), 157–176 (1986)
Italiano, G., Martelli, B., Migliorini, M.: Hyperbolic 5-manifolds that fiber over \(S^1\). Invent. Math. 231, 1–38, (2023)
Johnson, F.E.A., Wall, C.T.C.: On groups satisfying Poincaré duality. Ann. Math. 2(96), 592–598 (1972)
Jaikin-Zapirain, A., Linton, M.:. On the coherence of one-relator groups and their group algebras. arXiv:2303.05976 (2023)
Kielak, D., Kropholler, P.: Isoperimetric inequalities for Poincaré duality groups. Proc. Am. Math. Soc. 149(11), 4685–4698 (2021)
Li, X.: Dynamic characterizations of quasi-isometry and applications to cohomology. Algebr. Geom. Topol. 18(6), 3477–3535 (2018)
Leary, I.J., Saadetoğlu, M.: The cohomology of Bestvina–Brady groups. Groups Geom. Dyn. 5(1), 121–138 (2011)
Milizia, F.: \(\ell ^\infty \)-cohomology, bounded differential forms and isoperimetric inequalities. arXiv:2105.14795 (2021)
Mineyev, I.: Higher dimensional isoperimetric functions in hyperbolic groups. Math. Z. 233(2), 327–345 (2000)
Mineyev, I.: Bounded cohomology characterizes hyperbolic groups. Q. J. Math. 53(1), 59–73 (2002)
Martínez-Pedroza, E.: Subgroups of relatively hyperbolic groups of Bredon cohomological dimension 2. J. Group Theory 20(6), 1031–1060 (2017)
Olshanskiĭ, A.Y.: Geometry of defining relations in groups. In: Hazewinkel, M. (ed) Mathematics and its Applications (Soviet Series), vol. 70. Kluwer Academic Publishers Group, Dordrecht (1991). Translated from the 1989 Russian original by Yu. A. Bakhturin
Osin, D.: Acylindrically hyperbolic groups. Trans. Am. Math. Soc. 368(2), 851–888 (2016)
Papasoglu, P.: Strongly geodesically automatic groups are hyperbolic. Invent. Math. 121(2), 323–334 (1995)
Rips, E.: Subgroups of small cancellation groups. Bull. Lond. Math. Soc. 14(1), 45–47 (1982)
Sauer, R.: Homological invariants and quasi-isometry. Geom. Funct. Anal. 16(2), 476–515 (2006)
Weibel, C.A.: An introduction to homological algebra. In: Cambridge Studies in Advanced Mathematics, vol. 38. Cambridge University Press, Cambridge (1994)
Wienhard, A.: Remarks on and around bounded differential forms. Pure Appl. Math. Q. 8(2), 479–496 (2012)
Wilton, H.: Essential surfaces in graph pairs. J. Am. Math. Soc. 31(4), 893–919 (2018)
Acknowledgements
The authors are thankful to Roberto Frigerio, Ian Leary, Clara Löh and Eduardo Martínez-Pedroza for helpful discussions and comments. We are also grateful to Francesco Milizia for his remarks which led to an improvement of Corollary 5.14, and to Robert Kropholler for spotting unnecessarily strong assumptions in an earlier draft. Finally, we are thankful to the referee for the careful reading of the paper and their suggestions.
Funding
The second author was supported at the University of Bristol by the Additional Funding Programme for Mathematical Sciences, delivered by EPSRC (EP/V521917/1) and the Heilbronn Institute for Mathematical Research, as well as EPSRC grant (EP/W522417/1) at the University of Southampton.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Petrosyan, N., Vankov, V. Hyperbolicity and bounded-valued cohomology. Math. Ann. (2024). https://doi.org/10.1007/s00208-024-02871-3
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00208-024-02871-3