Pith. sign in

REVIEW 5 minor 57 references

Cohomology of group theoretic Dehn fillings II

T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read The paper proves that for sufficiently deep Dehn fillings of a hyperbolically embedded subgroup, the relative cohomology of the group pair is isomorphic to that of the filled pair, and a spectral sequence computes the absolute cohomology…

desk verdict Strong, careful paper with a genuinely new spectral sequence for Dehn filling cohomology; the main load-bearing input is an external published theorem, and that dependency is handled cleanly. read the letter →

arxiv 1908.01290 v6 pith:LFV27V2F submitted 2019-08-04 math.GR

classification math.GR MSC 20F6720F1020E06
keywords groupcohomologyDehnfillinghyperbolicallyembeddedsubgroupCohen-LyndonpropertyrelativePoincarédualitypairsimplicialvolumeacylindricallyhyperbolic
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that for a group $G$ with a hyperbolically embedded subgroup $H$, when $N$ is a sufficiently deep normal subgroup of $H$, the cohomology of the Dehn filling quotient $G/\langle\langle N\rangle\rangle$ is controlled by a spectral sequence built from the cohomology of $H$ and $N$. It also establishes an algebraic form of excision: the relative cohomology of $(G,H)$ is isomorphic to that of the filled pair $(\overline{G}, \overline{H})$. This yields explicit bounds on cohomological dimension, preservation of finiteness properties $FP_n$, and applications to Poincaré duality groups and simplicial volume.

What carries the argument

The key object is the Cohen–Lyndon triple: a group triple $(G,\{H_\lambda\},\{N_\lambda\})$ for which the normal closure of the $N_\lambda$'s is a free product of conjugates $t N_\lambda t^{-1}$ over a transversal. This structural decomposition, quoted from the companion paper, permits an identification of $H^q(\langle\langle N\rangle\rangle;A)$ with a co-induced product, making the spectral sequence of Theorem 4.2 computable. That spectral sequence, together with its morphism to the Lyndon–Hochschild–Serre spectral sequence, is the engine that yields the cohomological decomposition and the excision isomorphism.

What would settle it

One could look for a hyperbolically embedded subgroup $H$ in a group $G$ and a sufficiently deep normal subgroup $N$ of $H$ such that the normal closure of $N$ in $G$ is not a free product of conjugates of $N$; if such an example exists, the main spectral sequence and its consequences would collapse.

Watch

Extended reading notes

Core claim

The central discovery is that the Cohen–Lyndon structure of the normal closure $\langle\langle N\rangle\rangle$ allows one to identify the cohomology of $\langle\langle N\rangle\rangle$ with a direct sum of co-induced modules, leading to a morphism of Lyndon–Hochschild–Serre spectral sequences that becomes an isomorphism on the $E^2$ page for $q>0$. Consequently, for all sufficiently deep $N$, the relative cohomology $H^n(G,H;A)$ is naturally isomorphic to $H^n(\overline{G},\overline{H};A)$ for every $G$-module $A$. This algebraic excision underlies the paper's applications to Poincaré duality pairs and to quotients of acylindrically hyperbolic groups.

Load-bearing premise

The entire argument rests on the Cohen–Lyndon property for sufficiently deep Dehn fillings, a theorem imported from a companion paper; if that structural fact failed, the spectral sequence and all later results would not follow.

Editorial extensions

If this is right

  • If the main theorem holds, then for sufficiently deep Dehn fillings the cohomological dimension of the quotient is bounded by the maximum of the original group's dimension, the peripheral dimension plus one, and the filled peripheral dimension.
  • The algebraic excision implies that any property detected by relative cohomology is invariant under sufficiently deep Dehn fillings, so in particular whether a pair is a Poincaré duality pair is preserved under appropriate fillings.
  • Theorem B shows that when the original pair is a Poincaré duality pair and the filled peripheral subgroups are Poincaré duality groups, the filled quotient is a Poincaré duality group.
  • Theorem C gives that the simplicial volume of the filled quotient is bounded above by the relative simplicial volume, and positivity follows when the group is hyperbolic relative to the filled peripheral subgroups.
  • Theorems D and E provide acylindrically hyperbolic quotients with prescribed cohomology and finiteness properties, including quotients with Property (T) and specific $FP_n$ thresholds.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the algebraic excision holds, it suggests that Dehn fillings behave like topological surgery in cohomology, so one might expect analogous computations for other cohomology theories such as bounded cohomology or $L^2$ cohomology.
  • The spectral sequence might be extendable to compute other invariants under Dehn filling, such as the growth of cohomology with twisted coefficients, which would further clarify the structure of Dehn-filled groups.
  • The reliance on the Cohen–Lyndon property points to a potential program: proving analogous decomposition theorems for wider classes of fillings could extend these cohomological results to graphs of groups or other relatively hyperbolic settings.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 5 minor

Summary. The manuscript develops a cohomological framework for group-theoretic Dehn fillings. The main result, Theorem A, gives, for sufficiently deep normal subgroups N of a hyperbolically embedded subgroup H in G, a spectral sequence computing H^*(Gbar; A) from H^*(Hbar; H^*(N; A)) and H^*(G; A), an excision-type isomorphism between the relative cohomology of (G,H) and (Gbar,Hbar), a direct-sum decomposition of H^n(Gbar; A) for large n, a cohomological dimension bound, and an FP_n criterion. The paper then applies this framework to prove preservation of Poincaré duality under Dehn fillings (Theorem B), simplicial volume bounds (Theorem C), and theorems on common quotients of acylindrically hyperbolic groups with controlled cohomology (Theorems D and E), followed by several striking applications in Section 8. The proofs are built on the Cohen-Lyndon property for sufficiently deep Dehn fillings, quoted as Theorem 3.22 from Sun's companion paper [Sun20].

Significance. If the results hold, this is a substantial contribution to the cohomological study of Dehn fillings. Theorem A provides a genuine spectral sequence tool for Dehn fillings, and the excision isomorphism is an algebraic analog of topological excision that is used to obtain new results on Poincaré duality pairs, simplicial volume, and cohomological finiteness of acylindrically hyperbolic quotients. The paper is careful and detailed: the spectral sequence arguments in Section 4 are explicit, and Example 4.9 shows that the dimension threshold in Theorem A(iii) is sharp. The main external input, the Cohen-Lyndon property, is cited from a published companion paper and is applied with the correct deepness and coefficient hypotheses; I see no circularity or hidden parameter-fitting. The presentation is generally clear, and the applications are well motivated.

minor comments (5)
  1. [Section 4, Proposition 4.1] The parenthetical in the statement of Proposition 4.1 is ambiguous: it reads "for any G-module A and q > 1 (also for any G-module A and q > 0)", but the proof establishes q = 1 only under the additional hypothesis that <N> = <langle>N<rangle> acts trivially on A. This should be reformulated, for example as "for q > 1, and also for q > 0 when A is trivial as a <N>-module".
  2. [Section 7.2, Lemma 7.6] The displayed inequality in the proof of Lemma 7.6, "2n * 50D <= 3nD", does not match the counting: there are 2l components, each of p_ell-length at least 50D, bounding a 3l-gon. The printed inequality appears to contain a typographical error and should be something like "2l * 50D <= 3lD"; the contradiction is unaffected.
  3. [Section 7.1, proof of Theorem D] In the proof of statement (v), the phrase "in which case (iii) is a void statement" should refer to statement (v): when the original group G has torsion, cd(G) = infinity, so the desired inequality cd(Gbar) <= max{cd(G), cd(C)} is vacuous. Statement (iii) concerns torsion-freeness and is not the statement being justified at that point.
  4. [Section 5, Theorem 5.2] In the proof of Theorem 5.2, the vanishing H^1(G; ZG) = 0 is used without explanation. It follows from the fact that (G,H) is a PD(n)-pair with n >= 3, which forces G to be a duality group of dimension n-1; adding a sentence with this justification would improve clarity.
  5. [Section 8.3, Corollary 8.5] In the remark after Corollary 8.5, "the quotients {G_k}_{k>=1}" should be "{G_k}_{k>=2}", consistent with the statement of the corollary.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central Cohen-Lyndon input is an external published theorem, and the spectral sequence/excision results are derived from it by standard algebra.

full rationale

The derivation chain is not circular. The paper's central input, Theorem 3.22 (Sun [Sun20, Thm 5.1]), is quoted verbatim as an external structural result: for sufficiently deep normal subgroups, the triple (G, {H_lambda}, {N_lambda}) is Cohen-Lyndon. The paper does not redefine its target in terms of this theorem: the spectral sequence in Theorem A(i) and the excision isomorphism in Theorem A(ii) are obtained by standard homological algebra (Bass-Serre tree, Shapiro's lemma, Lyndon-Hochschild-Serre spectral sequence, kernel spectral sequence) from the free-product decomposition x<N>y = * t N_lambda t^{-1}. No parameter is fitted to the data being 'predicted'; the constants in 'sufficiently deep' are existential and are converted from relative-metric to finite-set form by local finiteness (Remark 3.18). The only self-citation is [Sun20], and while it is load-bearing as a premise, it is a published, parameter-free theorem whose assumptions do not include the target results; under the stated review rules this counts as independent support rather than circularity. The paper also flags its own limitations (e.g., Theorem A(iii) fails below dimension cd(H)+2, Example 4.9), which further indicates the claims are not being forced by construction.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The central claim rests on the external Cohen-Lyndon property [Sun20] and standard cohomological machinery. No free parameters are fitted and no new entities are postulated. The only paper-specific assumption is the hyperbolically embedded subgroup setup inherited from DGO17.

assumptions (3)
  • domain assumption The Cohen-Lyndon property for sufficiently deep Dehn fillings of hyperbolically embedded subgroups (Sun20, Theorem 5.1).
    This external theorem guarantees that the normal closure of N decomposes as a free product of conjugates tN_λ t^{-1}, which is the structural input for the spectral sequence and excision in Section 4.
  • domain assumption The definition and basic properties of (weakly) hyperbolically embedded subgroups from DGO17.
    Used throughout, e.g., Theorem 3.20 preserves hyperbolic embedding under Dehn filling and Proposition 3.9 transitivity of hyperbolic embedding.
  • standard math Standard tools in group cohomology: Lyndon-Hochschild-Serre spectral sequence, Shapiro's lemma, Bieri-Eckmann duality, Stallings-Swan theorem, and finiteness criteria of Bieri and Brown.
    These are unproved background results invoked in Sections 4, 5, and 7, including Theorem 3.1, Corollary 4.6, and the duality pair machinery.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cohomology of group theoretic Dehn fillings II." pith.science (2026). https://pith.science/paper/LFV27V2F

@misc{pith2026190801290,
  author       = {Pith},
  title        = {Pith review of: Cohomology of group theoretic Dehn fillings II},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LFV27V2F}},
  note         = {Machine review of arXiv:1908.01290}
}
abstract

We study the cohomology of group theoretic Dehn fillings. Applying the Cohen-Lyndon property for sufficiently deep Dehn fillings of hyperbolically embedded subgroups $H\hookrightarrow_h G$, obtained by the second named author, we derive a spectral sequence that computes the cohomology of the corresponding Dehn filling quotients $\overline{G}$. As an application, we establish an isomorphism between the relative cohomology of the group pair $(G, H)$ and its sufficiently deep Dehn filling quotient pair $(\overline{G}, \overline{H})$. This allows us to generalise the results of Fujiwara and Manning on simplicial volume of Dehn fillings of hyperbolic manifolds to Dehn fillings of Poincar\'e duality pairs. We also strengthen the results of Olshanskii, Dahmani-Guirardel-Osin and Hull on SQ-universality and common quotients of acylindrically hyperbolic groups by adding cohomological finiteness conditions. We apply these results to obtain hyperbolic and acylindrically hyperbolic quotients with special properties.

Figures

Figures reproduced from arXiv: 1908.01290 by the authors.

Figure 1
Figure 1. Illustration of H ãÑh G (a) H ãÑwh pG, Gq for every subgroup H ď G. (b) H ãÑh pG, Gq for every finite subgroup H ď G. (c) G ãÑh pG, Hq. (d) If G can be decomposed as a free product of its subgroups tGλuλPΛ (denoted by G “ ˚λPΛGλ), then tGλuλPΛ ãÑh pG, Hq [DGO17, Example 4.12]. (e) More generally, suppose that G “ π1pGq, where G is a graph of groups. Let tGvuvPV G be the collection of vertex subgroups and tGeuePEG th… view at source ↗
Figure 2
Figure 2. Mapping cylinder CpLi , Tiq Given a closed oriented n-manifold M possibly with boundary BM, the simplicial volume of pM, BMq is defined as ||M, BM|| “ ||rM, BMs||1 where rM, BMs P HnpM, BM; Rq is the image of the fundamental class under the change of coefficients map HnpM, BM;Zq Ñ HnpM, BM; Rq. The following result is again a generali￾sation of [FM11, Theorem 1.5]. Corollary 6.6. Let M be a compact oriented n-manifo… view at source ↗
Figure 3
Figure 3. Some possible configurations of the two pairs of adjacent com￾ponents of p Note that α lies in the 2-neighborhood of the orbit Hλ, and γ lies in the R-neighborhood of α. Thus, γ lies in the pR ` 2q-neighborhood of Hλ. For λ, µ P Λ, the orbits Hλ and Hµ are subsets of ΓpG, X\Kq. Thus, it makes sense to talk about the diameter of HµXpgHλq `ǫ in ΓpX\Kq, which is denoted by diam ` Hµ X pgHλq `ǫ ˘ . Lemma 7.9. For every … view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Case 1 Case 1 is displayed by [PITH_FULL_IMAGE:figures/full_fig_p033_4.png]
Figure 5
Figure 5. Figure 5: Case 2 Case 2 is displayed by [PITH_FULL_IMAGE:figures/full_fig_p033_5.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

57 extracted references · 41 canonical work pages

  1. [1]

    Antol \' n, R

    Y . Antol \' n, R . C oulon, and G . G andini. Farrell- J ones via D ehn fillings. J. Topol. Anal. , 10(4):873--895, 2018

  2. [2]

    Aramayona, D

    J. Aramayona, D. Degrijse, C. Mart\' nez-P\' e rez, and J. Souto. Geometric dimension of lattices in classical simple L ie groups. J. Topol. , 10(2):632--667, 2017

  3. [3]

    I. Agol, D. Groves, and J. Manning. An alternate proof of W ise's malnormal special quotient theorem. Forum Math. Pi , 4:e1, 54, 2016

  4. [4]

    I. Agol. The virtual H aken conjecture. Doc. Math. , 18:1045--1087, 2013. With an appendix by I. Agol, D. Groves, and J. Manning

  5. [5]

    J. Alonso. Finiteness conditions on groups and quasi-isometries. J. Pure Appl. Algebra , 95(2):121--129, 1994

  6. [6]

    A. Ash. Small-dimensional classifying spaces for arithmetic subgroups of general linear groups. Duke Math. J. , 51(2):459--468, 1984

  7. [7]

    Bieri and B

    R. Bieri and B. Eckmann. Relative homology and P oincar\' e duality for group pairs. J. Pure Appl. Algebra , 13(3):277--319, 1978

  8. [8]

    Bestvina and M

    M. Bestvina and M. Feighn. A hyperbolic Out(F_n) -complex. Groups Geom. Dyn. , 4(1):31--58, 2010

Show all 57 references
  1. [9]

    Brown and R

    K. Brown and R. Geoghegan. An infinite-dimensional torsion-free FP _ group. Invent. Math. , 77(2):367--381, 1984

  2. [10]

    R . Bieri. Mayer- V ietoris sequences for HNN -groups and homological duality. Math. Z. , 143(2):123--130, 1975

  3. [11]

    R. Bieri. Homological dimension of discrete groups . Queen Mary College Mathematical Notes. Queen Mary College, Department of Pure Mathematics, London, second edition, 1981

  4. [12]

    Bowditch

    B. Bowditch. Tight geodesics in the curve complex. Invent. Math. , 171(2):281--300, 2008

  5. [13]

    Bowditch

    B. Bowditch. Relatively hyperbolic groups. Internat. J. Algebra Comput. , 22(3):1250016, 66, 2012

  6. [14]

    K . Brown. Homological criteria for finiteness. Comment. Math. Helv. , 50:129--135, 1975

  7. [15]

    K. Brown. Finiteness properties of groups. In Proceedings of the N orthwestern conference on cohomology of groups ( E vanston, I ll., 1985) , volume 44, pages 45--75, 1987

  8. [16]

    K . Brown. Cohomology of groups , volume 87 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1994. Corrected reprint of the 1982 original

  9. [17]

    Cantat and S

    S. Cantat and S. Lamy. Normal subgroups in the C remona group. Acta Math. , 210(1):31--94, 2013. With an appendix by Yves de Cornulier

  10. [18]

    Degrijse

    D. Degrijse. Amenable groups of finite cohomological dimension and the zero divisor conjecture. Math ArXiv , 2016. https://arxiv.org/pdf/1609.07635.pdf

  11. [19]

    Dahmani and V

    F. Dahmani and V. Guirardel. Recognizing a relatively hyperbolic group by its D ehn fillings. Duke Math. J. , 167(12):2189--2241, 2018

  12. [20]

    Dahmani, V

    F . Dahmani, V . G uirardel, and D . O sin. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces. Mem. Amer. Math. Soc. , 245(1156):v+152, 2017

  13. [21]

    B. Farb. Relatively hyperbolic groups. Geom. Funct. Anal. , 8(5):810--840, 1998

  14. [22]

    Fujiwara and J

    K. Fujiwara and J. F. Manning. CAT(0) and CAT (-1) fillings of hyperbolic manifolds. J. Differential Geom. , 85(2):229--269, 2010

  15. [23]

    Fujiwara and J

    K. Fujiwara and J. F. Manning. Simplicial volume and fillings of hyperbolic manifolds. Algebr. Geom. Topol. , 11(4):2237--2264, 2011

  16. [24]

    Franceschini

    F. Franceschini. A characterization of relatively hyperbolic groups via bounded cohomology. Groups Geom. Dyn. , 12(3):919--960, 2018

  17. [25]

    Frigerio

    R. Frigerio. Bounded cohomology of discrete groups , volume 227 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2017

  18. [26]

    Groves and J

    D . Groves and J . M anning. Dehn filling in relatively hyperbolic groups. Israel J. Math. , 168:317--429, 2008

  19. [27]

    Groves, J

    D . Groves, J . M anning, and A . S isto. Boundaries of D ehn fillings. arXiv:1612.03497 , 2016

  20. [28]

    M. Gromov. Almost flat manifolds. J. Differential Geometry , 13(2):231--241, 1978

  21. [29]

    M. Gromov. Volume and bounded cohomology. Inst. Hautes \' E tudes Sci. Publ. Math. , (56):5--99 (1983), 1982

  22. [30]

    Gruber and A

    D. Gruber and A. Sisto. Infinitely presented graphical small cancellation groups are acylindrically hyperbolic. Ann. Inst. Fourier (Grenoble) , 68(6):2501--2552, 2018

  23. [31]

    J . Howie. Cohomology of one-relator products of locally indicable groups. J. London Math. Soc. (2) , 30(3):419--430, 1984

  24. [32]

    Hochschild and J

    G. Hochschild and J. Serre. Cohomology of group extensions. Trans. Amer. Math. Soc. , 74:110--134, 1953

  25. [33]

    M . Hull. Small cancellation in acylindrically hyperbolic groups. Groups Geom. Dyn. , 10(4):1077--1119, 2016

  26. [34]

    N. V. Ivanov. Foundations of the theory of bounded cohomology. volume 143, pages 69--109, 177--178. 1985. Studies in topology, V

  27. [35]

    Jitsukawa

    T. Jitsukawa. Malnormal subgroups of free groups. In Computational and statistical group theory ( L as V egas, NV / H oboken, NJ , 2001) , volume 298 of Contemp. Math. , pages 83--95. Amer. Math. Soc., Providence, RI, 2002

  28. [36]

    F. E. A. Johnson and C. T. C. Wall. On groups satisfying P oincar\' e duality. Ann. of Math. (2) , 96:592--598, 1972

  29. [37]

    L \" o h

    C. L \" o h. Simplicial volume. Bulletin of the Manifold Atlas , 2011. http://www.boma.mpim-bonn.mpg.de/data/29print.pdf

  30. [38]

    Lamy and P

    S. Lamy and P. Przytycki. Acylindrical hyperbolicity of the three-dimensional tame automorphism group. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 52(2):367--392, 2019

  31. [39]

    Lyndon and P

    R . Lyndon and P . S chupp. Combinatorial group theory . Classics in Mathematics. Springer-Verlag, Berlin, 2001. Reprint of the 1977 edition

  32. [40]

    R. Lyndon. The cohomology theory of group extensions. Duke Math. J. , 15:271--292, 1948

  33. [41]

    R . Lyndon. Cohomology theory of groups with a single defining relation. Ann. of Math. (2) , 52:650--665, 1950

  34. [42]

    Masur and Y

    H. Masur and Y. Minsky. Geometry of the complex of curves. I . H yperbolicity. Invent. Math. , 138(1):103--149, 1999

  35. [43]

    Maher and A

    J. Maher and A. Sisto. Random subgroups of acylindrically hyperbolic groups and hyperbolic embeddings. Int. Math. Res. Not. IMRN , (13):3941--3980, 2019

  36. [44]

    Mineyev and A

    I. Mineyev and A. Yaman. Relative hyperbolicity and bounded cohomology. 2007. preprint, http://www.math.uiuc.edu/ mineyev/math/art/rel-hyp.pdf

  37. [45]

    D . Osin. Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems. Mem. Amer. Math. Soc. , 179(843):vi+100, 2006

  38. [46]

    D . Osin. Peripheral fillings of relatively hyperbolic groups. Invent. Math. , 167(2):295--326, 2007

  39. [47]

    D. Osin. Questions on relatively hyperbolic groups and related classes. 2008

  40. [48]

    D . Osin. Acylindrically hyperbolic groups. Trans. Amer. Math. Soc. , 368(2):851--888, 2016

  41. [49]

    D . Osin. Groups acting acylindrically on hyperbolic spaces. Proc. Int. Cong. of Math.– 2018, Rio deJaneiro , 1:915--936, 2018

  42. [50]

    D. Osin. A topological zero-one law and elementary equivalence of finitely generated groups. Ann. Pure Appl. Logic , 172(3):102915, 2021

  43. [51]

    E. A. Ruh. Almost flat manifolds. J. Differential Geometry , 17(1):1--14, 1982

  44. [52]

    B. Sun. A dynamical characterization of acylindrically hyperbolic groups. Algebr. Geom. Topol. , 19(4):1711--1745, 2019

  45. [53]

    B. Sun. Cohomology of group theoretic D ehn fillings I : C ohen- L yndon type theorems. J. Algebra , 542:277--307, 2020

  46. [54]

    R . Swan. Groups of cohomological dimension one. J. Algebra , 12:585--610, 1969

  47. [55]

    Thurston

    W . Thurston. Three-dimensional manifolds, K leinian groups and hyperbolic geometry. Bull. Amer. Math. Soc. (N.S.) , 6(3):357--381, 1982

  48. [56]

    C. T. C. Wall, editor. Homological group theory , volume 36 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge-New York, 1979

  49. [57]

    O . Wang. A spectral sequence for D ehn fillings. arXiv:1806.09470 , 2018

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.