REVIEW 3 major objections 5 minor 47 references
Groups of cohomological codimension one
T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read A codimension-one almost normal subgroup forces a group to split over a commensurable subgroup.
desk verdict A strong and significant generalization of Stallings' theorem whose main risk is concentrated in the under-proved transfer maps of Lemma 4.6; worth a serious referee. 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 load-bearing object is the quotient space G/H, equipped with the metric d(gH,kH)=d_Haus(gH,kH); this space is well-defined up to quasi-isometry and carries a coarse fibre bundle structure p:G→G/H with fibre H. The key theorem is a Künneth formula for such coarse bundles: if fibre and base are coarsely uniformly acyclic, the coarse cohomology of the total space is the tensor product of the coarse cohomologies of fibre and base, up to Tor corrections. This formula converts the hypothesis on virtual cohomological dimension into the statement that the base G/H has coarse cohomology only in degrees 0 and 1, with nonzero degree-1 cohomology, meaning the base has more than one end. Ends then feed into a relative splitting theorem and a relative accessibility theorem that together terminate the induction.
What would settle it
Run the paper's Section 4 construction on a concrete coarse bundle, for example G→G/H for a known pair of groups, and check whether $H^*_{coarse}(G)$ equals the Künneth product of $H^*_{coarse}(H)$ and $H^*_{coarse}(G/H)$; any failure of that equality would refute Theorem 4.5, the engine of the main theorem.
Extended reading notes
Core claim
The central claim is Theorem 1.2: under the stated hypotheses, G decomposes as a finite graph of groups whose vertex and edge groups are all commensurable to H. The proof puts a metric on the space of cosets G/H so that G becomes a coarse fibre bundle over G/H, and uses a Künneth theorem for such bundles to show that the numerical hypothesis vcd(G)=vcd(H)+1 makes the base G/H cohomologically one-dimensional and hence multi-ended. The author then follows the classical ends-to-splitting pattern: multi-endedness yields a splitting of G over a subgroup commensurable to H, and a relative accessibility theorem ensures the splitting process terminates, producing the desired graph of groups. The same machinery proves a criterion relating finite index to equality of virtual cohomological dimension, and drives applications to one-relator groups and virtual duality groups.
Load-bearing premise
The proof rests on the claim that the large-scale cohomology of the whole group is the product of the large-scale cohomologies of the subgroup and the coset space; if that product formula fails, the main conclusion does not follow.
Editorial extensions
If this is right
- If H is an almost normal subgroup of type VFP inside a VFP group G with vcd(G)=vcd(H)+1, then G must split nontrivially over a subgroup commensurable to H, even in cases where the classical relative-end number is not greater than one.
- A finitely generated non-trivial almost normal subgroup of a free group has finite index in that free group (Corollary 1.4).
- For a finitely presented group of virtual cohomological dimension two, an infinite finitely presented almost normal subgroup is either of finite index, or virtually free with the ambient group splitting as a graph of groups over subgroups commensurable to it (Corollary 1.5).
- In a one-relator group, an infinite-index finitely presented almost normal subgroup is either infinite cyclic with the group a generalized Baumslag–Solitar group, or commensurable to a free normal subgroup whose quotient is Z or Z2*Z2 (Theorem 6.1).
- If G is a virtual duality or virtual Poincaré duality group, any VFP almost normal subgroup is again such a duality group; in codimension one it is commensurable to a normal subgroup with quotient Z or Z2*Z2 (Theorems 7.2 and 7.3).
Reading between the lines
- An implicit consequence is that virtual cohomological dimension behaves like a rank function on almost normal VFP subgroups: equal dimension forces commensurability up to finite index. This suggests a commensurability-invariant dimension theory for such subgroups, with potential use in studying lattices and groups acting on products of trees.
- The coarse Künneth theorem is likely a general tool, not just a group-theoretic one: any coarse bundle with uniformly acyclic fibre and base should satisfy the same product formula, giving a way to compute large-scale cohomology of other metric spaces and to detect multi-endedness geometrically.
- Since the proof only needs a dimension function with monotonicity and top-cohomology detection, analogues of the main theorem should hold for Gorenstein cohomological dimension and for the invariant d_F highlighted in Remark 5.6, even when virtual cohomological dimension is infinite.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves Theorem 1.2: if H is an almost normal subgroup of G, both are of type VFP, and vcd(G)=vcd(H)+1, then G is the fundamental group of a finite graph of groups in which every vertex and edge group is commensurable to H. The proof passes through a coarse Künneth theorem (Theorem 4.5) for coarse bundles: under coarse uniform acyclicity of fibre and base, the coarse cohomology of the total space is computed as a Künneth-type extension. This is applied to the quotient space G/H, whose coarse one-dimensionality forces more than one end and hence a splitting over a subgroup commensurable to H; a relative accessibility theorem then yields the finite graph-of-groups decomposition. The paper also contains applications to one-relator groups, virtual duality groups, and 3-manifold groups, as well as a Gorenstein cohomological dimension refinement. The main structural risk is concentrated in the proof of Lemma 4.6, which constructs the metric chain complex E_• used in the Künneth theorem.
Significance. If the main theorem and its supporting coarse Künneth theorem are correct, this is a substantial advance: it unifies and extends earlier splitting theorems of Bieri, Kropholler, and Walker under a single hypothesis about cohomological codimension one, and it introduces a new coarse-bundle Künneth technique that is likely to be useful beyond this paper. The applications to one-relator groups and virtual duality groups are significant and non-obvious. The paper is honest about its dependencies: it relies on the author's prior work [Mar18] and the preprint [Mar19] for coarse cohomology, quotient-space geometry, and relative accessibility, rather than restating the main theorem. No fitted parameters or target-restating normalizations appear. The central claim is falsifiable and cleanly stated. However, the significance is conditional on a complete proof of Lemma 4.6, which is currently under-specified at a load-bearing point.
major comments (3)
- [§4, paragraph before Lemma 4.6 and Lemma 4.6] The existence of the transfer chain maps f^{b,b'}_# is assumed without proof. For each pair b,b' in B, the manuscript says: 'let f^{b,b'}_# : D^b_* -> D^{b'}_* be a chain map with finite displacement over f^{b,b'}, where the displacement depends only on d_B(b,b')'. No construction or citation is provided for these maps, and it is not obvious that arbitrary uniformly acyclic metric complexes over the fibres admit such uniformly controlled chain maps over closest-point projections, nor that the composites f^{b,b'}_# f^{b',b}_# can be taken to be chain homotopic to the identity. The boundary map on E_*, the chain maps g^b_#, f^b_#, and the chain homotopies h^b_# and hbar^b_# all rest on this transfer family and on the control inequalities (3)-(4). Since Theorem 4.5, Lemma 5.4, and hence Theorem 1.2 depend on the construction of E_*, this is a load-bearing gap that needs to be filled with a full proof or a precise reference to a statement in [KK05] or [Mar18] that supplies exactly this uniform transfer property.
- [§4, Lemma 4.8] Lemma 4.8 as stated appears to contain a typographical error and its proof is incomplete. The statement says 'Then σ is the boundary of a chain...' but the intended conclusion should be that the cycle τ is a boundary; the base case and the inductive step strongly suggest that τ rather than σ is the object to be filled. More importantly, in the inductive step the proof asserts, for each ρ, the existence of ω_ρ with ∂ω_ρ equal to a specified cycle, citing acyclicity of the fibre complexes, but it does not verify that the assembled chain ω satisfies the required control bounds in (3) and (4), nor does it show that the constants R_j and μ_j can be chosen uniformly and independently of b. The subsequent construction of f^b_#, h^b_#, and hbar^b_# is only described as done 'in a similar way', and the assertion that f^{b,b'}_# f^{b',b}_# is chain homotopic to the identity is not justified. The proper chain homotopy between E_* and B_* ⊗ D^b_* is central to the Künneth theorem, so these omissions need to be addressed.
- [§5, Theorem 5.2] The proof of Theorem 5.5, and hence of Theorem 1.2, relies essentially on Theorem 5.2, which is quoted as [Mar19, Theorem 3.24] from an unpublished preprint. The relative accessibility result is nontrivial and is not proved in this paper. Since the graph-of-groups decomposition is the main conclusion of Theorem 1.2, this dependency should be made explicit in the introduction and either Theorem 5.2 should be proved in an appendix or the referee should be able to verify it in the companion preprint. As it stands, the correctness of the main theorem is contingent on an external unpublished result, which is a legitimate concern for a journal submission.
minor comments (5)
- [§2, first paragraph] There is a typo in 'We fix a a PID R'; it should be 'a PID R'.
- [§4, Lemma 4.8] In the proof of Lemma 4.8, 'there is some some ω_ρ' contains a duplicated 'some'. The statement of the lemma should also be corrected from 'σ is the boundary' to the intended 'τ is the boundary'.
- [§3, before Proposition 3.6] The word 'Gorentstein' is misspelled; it should be 'Gorenstein'.
- [§7, proof of Theorem 7.2(1)] The sentence 'It follows from Proposition 2.6 that G is a duality group of dimension n over the field R_i' cites the wrong proposition. Proposition 2.6 is a criterion for coarse uniform 0-acyclicity; the intended statement appears to require the universal coefficient theorem for coarse cohomology (Proposition 2.19) together with the duality-group hypotheses. The reference should be corrected.
- [§5, statement of Theorem 5.2] The statement of Theorem 5.2 reads 'Let G be an almost finitely presented containing...'; the word 'group' is missing. It should be 'Let G be an almost finitely presented group containing...'.
Circularity Check
No significant circularity: the main splitting theorem is derived from a Kunneth theorem proved in this paper, and the self-citations to the author's earlier work are prior independent results rather than restatements of Theorem 1.2.
full rationale
Theorem 1.2 is deduced from Theorem 5.8, which in turn rests on Lemma 5.4 and Theorem 5.5. The central computation is Theorem 4.5, the coarse Kunneth theorem, and its proof via Lemma 4.6 constructs the metric complex E_bullet explicitly and proves a proper chain homotopy to B_bullet tensor D^b_bullet; the target isomorphism is not assumed as the definition of the objects. Lemma 5.4 then applies Theorem 4.5 to the quotient space G/H, whose coarse uniform acyclicity is obtained separately from Brown's criterion in Proposition 4.4, not from the theorem being proved. The main self-citations are Proposition 4.2 and Theorem 5.2, imported from the author's preprint [Mar19]: these are independent statements about quotient spaces and relative accessibility, with assumptions that do not include Theorem 1.2. Their use is a dependency rather than a circular reduction. The under-specified choice of transfer maps with uniform control in Lemma 4.6 is a genuine correctness risk, but it is not a fitted parameter, a renamed input, or an equation that collapses to the theorem being proved.
Assumptions & free parameters
assumptions (7)
- standard math Stallings-Swan theorem: groups of cohomological dimension one are free.
- standard math Brown's criterion for finiteness properties of groups.
- domain assumption Relative Stallings theorem for splittings over subgroups commensurable to H.
- domain assumption Relative Dunwoody accessibility for almost normal subgroups.
- standard math Classical Kunneth theorem for chain complexes over a PID.
- standard math Bieri's characterization of virtual duality groups and his normal-subgroup duality theorem.
- standard math Proposition 3.3: vcd over a PID is realized over one of its residue fields or the fraction field.
Cite this review
Pith. "Pith review of Groups of cohomological codimension one." pith.science (2026). https://pith.science/paper/33HHCEWD
@misc{pith2026190808826,
author = {Pith},
title = {Pith review of: Groups of cohomological codimension one},
year = {2026},
howpublished = {\url{https://pith.science/paper/33HHCEWD}},
note = {Machine review of arXiv:1908.08826}
}
abstract
We show that if $H$ is an almost normal subgroup of $G$ such that both $H$ and $G$ are of type $VFP$ and vcd($G$) = vcd($H$) + 1, then $G$ is the fundamental group of a graph of groups in which all vertex and edge groups are commensurable to $H$. We also investigate almost normal subgroups of one-relator groups and duality groups.
Reference graph
Works this paper leans on
-
[1]
Abdolnaser Bahlekeh, Fotini Dembegioti, and Olympia Talelli, Gorenstein dimension and proper actions, Bull. Lond. Math. Soc. 41 (2009), no. 5, 859--871. 2557467
work page 2009
-
[2]
Robert Bieri and Beno Eckmann, Groups with homological duality generalizing P oincar\' e duality , Invent. Math. 20 (1973), 103--124. 0340449
work page 1973
-
[3]
Mladen Bestvina, Local homology properties of boundaries of groups, Michigan Math. J. 43 (1996), no. 1, 123--139. 1381603
work page 1996
-
[4]
Martin R. Bridson and Andr \'e Haefliger, Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 319, Springer-Verlag, Berlin, 1999. 1744486
work page 1999
- [5]
-
[6]
, On groups of cohomology dimension 2 , Topology and algebra ( P roc. C olloq., E idgen\" o ss. T ech. H ochsch., Z urich, 1977), Monograph. Enseign. Math., vol. 26, Univ. Gen\`eve, Geneva, 1978, pp. 55--62. 511782
work page 1977
-
[7]
, Homological dimension of discrete groups, second ed., Queen Mary College Mathematical Notes, Queen Mary College, Department of Pure Mathematics, London, 1981. 715779
work page 1981
-
[8]
Marc Burger and Shahar Mozes, Finitely presented simple groups and products of trees, C. R. Acad. Sci. Paris S\' e r. I Math. 324 (1997), no. 7, 747--752. 1446574
work page 1997
Show all 47 references
-
[9]
Brown, Cohomology of groups, Graduate Texts in Mathematics, vol
Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York-Berlin, 1982. 672956
1982
-
[10]
Pure Appl
, Finiteness properties of groups, J. Pure Appl. Algebra 44 (1987), no. 1-3, 45--75. 885095
1987
-
[11]
Gilbert Baumslag and Donald Solitar, Some two-generator one-relator non- H opfian groups , Bull. Amer. Math. Soc. 68 (1962), 199--201. 142635
1962
-
[12]
Conner and Michael L
Gregory R. Conner and Michael L. Mihalik, Commensurated subgroups, semistability and simple connectivity at infinity, Algebr. Geom. Topol. 14 (2014), no. 6, 3509--3532. 3302969
2014
-
[13]
63, American Mathematical Society, Providence, RI, 2018, With an appendix by Bogdan Nica
Cornelia Dru t u and Michael Kapovich, Geometric group theory, American Mathematical Society Colloquium Publications, vol. 63, American Mathematical Society, Providence, RI, 2018, With an appendix by Bogdan Nica. 3753580
2018
-
[14]
Leary, On subgroups of C oxeter groups , Geometry and cohomology in group theory ( D urham, 1994), London Math
Warren Dicks and Ian J. Leary, On subgroups of C oxeter groups , Geometry and cohomology in group theory ( D urham, 1994), London Math. Soc. Lecture Note Ser., vol. 252, Cambridge Univ. Press, Cambridge, 1998, pp. 124--160. 1709956
1994
-
[15]
M. J. Dunwoody and M. A. Roller, Splitting groups over polycyclic-by-finite subgroups, Bull. London Math. Soc. 25 (1993), no. 1, 29--36. 1190360
1993
-
[16]
A. N. Dranishnikov, On B estvina- M ess formula , Topological and asymptotic aspects of group theory, Contemp. Math., vol. 394, Amer. Math. Soc., Providence, RI, 2006, pp. 77--85. 2216707
2006
-
[17]
M. J. Dunwoody, Accessibility and groups of cohomological dimension one, Proc. London Math. Soc. (3) 38 (1979), no. 2, 193--215. 531159
1979
-
[18]
, The accessibility of finitely presented groups, Invent. Math. 81 (1985), no. 3, 449--457. 807066
1985
-
[19]
Eckmann and H
B. Eckmann and H. M\" u ller, Plane motion goups and virtual P oincar\' e duality of dimension two , Invent. Math. 69 (1982), no. 2, 293--310. 674408
1982
-
[20]
Ioannis Emmanouil and Olympia Talelli, Gorenstein dimension and group cohomology with group ring coefficients, J. Lond. Math. Soc. (2) 97 (2018), no. 2, 306--324. 3789849
2018
-
[21]
184 (2000), no
Benson Farb and Lee Mosher, On the asymptotic geometry of abelian-by-cyclic groups, Acta Math. 184 (2000), no. 2, 145--202. 1768110
2000
-
[22]
243, Springer, New York, 2008
Ross Geoghegan, Topological methods in group theory, Graduate Texts in Mathematics, vol. 243, Springer, New York, 2008. 2365352
2008
-
[23]
Gersten, Quasi-isometry invariance of cohomological dimension, C
Steve M. Gersten, Quasi-isometry invariance of cohomological dimension, C. R. Acad. Sci. Paris S\'er. I Math. 316 (1993), no. 5, 411--416. 1209258
1993
-
[24]
Mihalik, A note on the vanishing of H n(G, Z G) , J
Ross Geoghegan and Michael L. Mihalik, A note on the vanishing of H n(G, Z G) , J. Pure Appl. Algebra 39 (1986), no. 3, 301--304. 821894
1986
-
[25]
Pure Appl
Henrik Holm, Gorenstein homological dimensions, J. Pure Appl. Algebra 189 (2004), no. 1-3, 167--193. 2038564
2004
-
[26]
Differential Geom
Michael Kapovich and Bruce Kleiner, Coarse A lexander duality and duality groups , J. Differential Geom. 69 (2005), no. 2, 279--352. 2168506
2005
-
[27]
o n and R\
Bernhard Kr\" o n and R\" o gnvaldur G. M\" o ller, Analogues of C ayley graphs for topological groups , Math. Z. 258 (2008), no. 3, 637--675. 2369049
2008
-
[28]
P. H. Kropholler and M. A. Roller, Relative ends and duality groups, J. Pure Appl. Algebra 61 (1989), no. 2, 197--210. 1025923
1989
-
[29]
P. H. Kropholler, Baumslag- S olitar groups and some other groups of cohomological dimension two , Comment. Math. Helv. 65 (1990), no. 4, 547--558. 1078097
1990
-
[30]
, A note on centrality in 3 -manifold groups , Math. Proc. Cambridge Philos. Soc. 107 (1990), no. 2, 261--266. 1027778
1990
-
[31]
Group Theory 9 (2006), no
, A generalization of the L yndon- H ochschild- S erre spectral sequence with applications to group cohomology and decompositions of groups , J. Group Theory 9 (2006), no. 1, 1--25. 2195835
2006
-
[32]
Ian J Leary and Ashot Minasyan, Commensurating HNN -extensions: non-positive curvature and biautomaticity , arXiv preprint arXiv:1907.03515 (2019)
2019 arXiv
-
[33]
Margolis, Quasi-isometry invariance of group splittings over coarse P oincar\' e duality groups , Proc
Alexander J. Margolis, Quasi-isometry invariance of group splittings over coarse P oincar\' e duality groups , Proc. Lond. Math. Soc. (3) 116 (2018), no. 6, 1406--1456. 3816385
2018
-
[34]
, The geometry of groups containing almost normal subgroups, arXiv preprint arXiv:1905.03062 (2019)
2019 arXiv
-
[35]
Moran, Finite-dimensionality of Z -boundaries , Groups Geom
Molly A. Moran, Finite-dimensionality of Z -boundaries , Groups Geom. Dyn. 10 (2016), no. 2, 819--824. 3513569
2016
-
[36]
Mahan Mj and Pranab Sardar, A combination theorem for metric bundles, Geom. Funct. Anal. 22 (2012), no. 6, 1636--1707. 3000500
2012
-
[37]
Lee Mosher, Michah Sageev, and Kevin Whyte, Quasi-actions on trees. I . B ounded valence , Ann. of Math. (2) 158 (2003), no. 1, 115--164. 1998479
2003
-
[38]
John Roe, Coarse cohomology and index theory on complete R iemannian manifolds , Mem. Amer. Math. Soc. 104 (1993), no. 497, x+90. 1147350
1993
-
[39]
Rotman, An introduction to homological algebra, second ed., Universitext, Springer, New York, 2009
Joseph J. Rotman, An introduction to homological algebra, second ed., Universitext, Springer, New York, 2009. 2455920
2009
-
[40]
Sauer, Homological invariants and quasi-isometry, Geom
R. Sauer, Homological invariants and quasi-isometry, Geom. Funct. Anal. 16 (2006), no. 2, 476--515. 2231471
2006
-
[41]
G. P. Scott, Finitely generated 3 -manifold groups are finitely presented , J. London Math. Soc. (2) 6 (1973), 437--440. 0380763
1973
-
[42]
Swarup, Splittings of groups and intersection numbers, Geom
Peter Scott and Gadde A. Swarup, Splittings of groups and intersection numbers, Geom. Topol. 4 (2000), 179--218 (electronic). 1772808
2000
-
[43]
Stallings, On torsion-free groups with infinitely many ends, Ann
John R. Stallings, On torsion-free groups with infinitely many ends, Ann. of Math. (2) 88 (1968), 312--334. 0228573
1968
-
[44]
Strebel, A remark on subgroups of infinite index in P oincar\'e duality groups , Comment
R. Strebel, A remark on subgroups of infinite index in P oincar\'e duality groups , Comment. Math. Helv. 52 (1977), no. 3, 317--324. 0457588
1977
-
[45]
Swan, Groups of cohomological dimension one, J
Richard G. Swan, Groups of cohomological dimension one, J. Algebra 12 (1969), 585--610. 0240177
1969
-
[46]
thesis, University of Glasgow, 2010
John Walker, Generalisations of the almost stability theorem, Ph.D. thesis, University of Glasgow, 2010
2010
-
[47]
Kevin Whyte, Coarse bundles, arXiv preprint arXiv:1006.3347 (2010)
2010 arXiv
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.