Cohomology of group theoretic Dehn fillings. II (Q6184558): Difference between revisions

For the study of of \(3\)-manifolds Thurston introduced the notion of a Dehn surgery, which is a two-step procedure of modifying a \(3\)-manifold. The second step of this surgery, called Dehn filling. A celebrated result of Thurston asserts that most Dehn fillings preserve hyperbolicity [\textit{W. P. Thurston}, Bull. Am. Math. Soc., New Ser. 6, 357--379 (1982; Zbl 0496.57005)]. There is an analogous construction in group theory, called (group theoretic) Dehn filling, which can be formalized as follows. Given a group \(G\) with a subgroup \(H\) and a normal subgroup \(N\) of \(H\), the Dehn filling associated with the triple \((G, H, N)\) is the quotient \(G/\langle \langle N \rangle \rangle\), where \(\langle \langle N \rangle \rangle\) is the normal closure of \(N\) in \(G\). Algebraic analogs of Thurston's results can be proved for groups satisfying certain negative curvature conditions. The first result of this kind was for relatively hyperbolic groups by \textit{D. V. Osin} [Invent. Math. 167, No. 2, 295--326 (2007; Zbl 1116.20031)] and independently, by \textit{D. Groves} and \textit{J. F. Manning} [Isr. J. Math. 168, 317--429 (2008; Zbl 1211.20038)]. Later, Dahmani-Guirardel-Osin [\textit{F. Dahmani} et al., Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces. Providence, RI: American Mathematical Society (AMS) (2016; Zbl 1396.20041)] introduced a generalization of relative hyperbolicity based on the notion of a hyperbolically embedded subgroup and proved a generalization of the main results in the above mentioned papers. That the subgroup \(H\) of the group \(G\) is hyperbolically embedded is denoted by \(H \hookrightarrow _{h} G\). For the definition and motivation of hyperbolically embedded subgroups we refer to paragraph 3.3 in the paper. The authors motivated by Thurston's results asked the following: \textbf{Question}. For a group \(G\) with a subgroup \(H\hookrightarrow _{h} G\) and a normal subgroup \(N\) of \(H\), what can be said about the cohomology of \(G/\langle \langle N \rangle \rangle\)? The main goal of this paper (and the previous one [\textit{B. Sun}, J. Algebra 542, 277--307 (2020; Zbl 1456.20053)]) is to address this question and to illustrate the implications of the results in this direction. The obtained results are included in Theorems A, B, C, D, E. It is not possible to quote here the statements of these theorems. Never the less, here we comment on these results. Instead of proving Theorem A, it is proved more general results (see Section 4), which cover the case of a hyperbolically embedded family of subgroups and are useful in the proof of Theorems B, C, and E, and also cover the case of weakly hyperbolically embedded subgroups and can be applied to graph of groups. Theorems B and C can be seen as natural generalizations and group theoretic analogs of the results of Fujiwara and Mannin. As an application of Theorem D, \(SQ\)-universality of hyperbolic groups given by \textit{A. Yu. Ol'shanskij} in [Sb. Math. 186, No. 8, 1199--1211 (1995; Zbl 0864.20023); translation from Mat. Sb. 186, No. 8, 119--132 (1995)] is strengtened and independently by \textit{T. Delzant} in [Duke Math. J. 83, No. 3, 661--682 (1996; Zbl 0852.20032)] by adding cohomological conditions. The benefit of Theorems D and E is that they allow one to control the cohomology of the resulting acylindrically hyperbolic quotients. The notion of an acylindrically hyperbolic group was introduced by \textit{D. Osin} in [Trans. Am. Math. Soc. 368, No. 2, 851--888 (2016; Zbl 1380.20048)] as a generalization of non-elementary hyperbolic and non-elementary relatively hyperbolic groups. As it is illustrated (Section 8), this facilitates the constructions of various acylindrically hyperbolic groups satisfying certain cohomological properties.