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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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".
- [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.
- [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.
- [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.
- [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
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
assumptions (3)
- domain assumption The Cohen-Lyndon property for sufficiently deep Dehn fillings of hyperbolically embedded subgroups (Sun20, Theorem 5.1).
- domain assumption The definition and basic properties of (weakly) hyperbolically embedded subgroups from DGO17.
- 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.
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
Reference graph
Works this paper leans on
-
[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
2018
-
[2]
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
work page 2017
-
[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
2016
-
[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
2013
-
[5]
J. Alonso. Finiteness conditions on groups and quasi-isometries. J. Pure Appl. Algebra , 95(2):121--129, 1994
work page 1994
-
[6]
A. Ash. Small-dimensional classifying spaces for arithmetic subgroups of general linear groups. Duke Math. J. , 51(2):459--468, 1984
work page 1984
-
[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
1978
-
[8]
M. Bestvina and M. Feighn. A hyperbolic Out(F_n) -complex. Groups Geom. Dyn. , 4(1):31--58, 2010
work page 2010
Show all 57 references
-
[9]
Brown and R
K. Brown and R. Geoghegan. An infinite-dimensional torsion-free FP _ group. Invent. Math. , 77(2):367--381, 1984
1984
-
[10]
R . Bieri. Mayer- V ietoris sequences for HNN -groups and homological duality. Math. Z. , 143(2):123--130, 1975
1975
-
[11]
R. Bieri. Homological dimension of discrete groups . Queen Mary College Mathematical Notes. Queen Mary College, Department of Pure Mathematics, London, second edition, 1981
1981
-
[12]
Bowditch
B. Bowditch. Tight geodesics in the curve complex. Invent. Math. , 171(2):281--300, 2008
2008
-
[13]
Bowditch
B. Bowditch. Relatively hyperbolic groups. Internat. J. Algebra Comput. , 22(3):1250016, 66, 2012
2012
-
[14]
K . Brown. Homological criteria for finiteness. Comment. Math. Helv. , 50:129--135, 1975
1975
-
[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
1985
-
[16]
K . Brown. Cohomology of groups , volume 87 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1994. Corrected reprint of the 1982 original
1994
-
[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
2013
-
[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
2016 arXiv
-
[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
2018
-
[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
2017
-
[21]
B. Farb. Relatively hyperbolic groups. Geom. Funct. Anal. , 8(5):810--840, 1998
1998
-
[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
2010
-
[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
2011
-
[24]
Franceschini
F. Franceschini. A characterization of relatively hyperbolic groups via bounded cohomology. Groups Geom. Dyn. , 12(3):919--960, 2018
2018
-
[25]
Frigerio
R. Frigerio. Bounded cohomology of discrete groups , volume 227 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2017
2017
-
[26]
Groves and J
D . Groves and J . M anning. Dehn filling in relatively hyperbolic groups. Israel J. Math. , 168:317--429, 2008
2008
-
[27]
Groves, J
D . Groves, J . M anning, and A . S isto. Boundaries of D ehn fillings. arXiv:1612.03497 , 2016
2016 arXiv
-
[28]
M. Gromov. Almost flat manifolds. J. Differential Geometry , 13(2):231--241, 1978
1978
-
[29]
M. Gromov. Volume and bounded cohomology. Inst. Hautes \' E tudes Sci. Publ. Math. , (56):5--99 (1983), 1982
1983
-
[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
2018
-
[31]
J . Howie. Cohomology of one-relator products of locally indicable groups. J. London Math. Soc. (2) , 30(3):419--430, 1984
1984
-
[32]
Hochschild and J
G. Hochschild and J. Serre. Cohomology of group extensions. Trans. Amer. Math. Soc. , 74:110--134, 1953
1953
-
[33]
M . Hull. Small cancellation in acylindrically hyperbolic groups. Groups Geom. Dyn. , 10(4):1077--1119, 2016
2016
-
[34]
N. V. Ivanov. Foundations of the theory of bounded cohomology. volume 143, pages 69--109, 177--178. 1985. Studies in topology, V
1985
-
[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
2001
-
[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
1972
-
[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
2011
-
[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
2019
-
[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
2001
-
[40]
R. Lyndon. The cohomology theory of group extensions. Duke Math. J. , 15:271--292, 1948
1948
-
[41]
R . Lyndon. Cohomology theory of groups with a single defining relation. Ann. of Math. (2) , 52:650--665, 1950
1950
-
[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
1999
-
[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
2019
-
[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
2007
-
[45]
D . Osin. Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems. Mem. Amer. Math. Soc. , 179(843):vi+100, 2006
2006
-
[46]
D . Osin. Peripheral fillings of relatively hyperbolic groups. Invent. Math. , 167(2):295--326, 2007
2007
-
[47]
D. Osin. Questions on relatively hyperbolic groups and related classes. 2008
2008
-
[48]
D . Osin. Acylindrically hyperbolic groups. Trans. Amer. Math. Soc. , 368(2):851--888, 2016
2016
-
[49]
D . Osin. Groups acting acylindrically on hyperbolic spaces. Proc. Int. Cong. of Math.– 2018, Rio deJaneiro , 1:915--936, 2018
2018
-
[50]
D. Osin. A topological zero-one law and elementary equivalence of finitely generated groups. Ann. Pure Appl. Logic , 172(3):102915, 2021
2021
-
[51]
E. A. Ruh. Almost flat manifolds. J. Differential Geometry , 17(1):1--14, 1982
1982
-
[52]
B. Sun. A dynamical characterization of acylindrically hyperbolic groups. Algebr. Geom. Topol. , 19(4):1711--1745, 2019
2019
-
[53]
B. Sun. Cohomology of group theoretic D ehn fillings I : C ohen- L yndon type theorems. J. Algebra , 542:277--307, 2020
2020
-
[54]
R . Swan. Groups of cohomological dimension one. J. Algebra , 12:585--610, 1969
1969
-
[55]
Thurston
W . Thurston. Three-dimensional manifolds, K leinian groups and hyperbolic geometry. Bull. Amer. Math. Soc. (N.S.) , 6(3):357--381, 1982
1982
-
[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
1979
-
[57]
O . Wang. A spectral sequence for D ehn fillings. arXiv:1806.09470 , 2018
2018 arXiv
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.