Pith. sign in

REVIEW 2 major objections 3 minor 1 cited by

Virtual homological torsion in graphs of free groups with cyclic edge groups

T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Every finite abelian group appears as homological torsion in some finite-index subgroup of any hyperbolic graph of free groups with cyclic edge groups that is not a free product of free and surface groups.

desk verdict A substantial and likely correct theorem, but Proposition 5.5 has a boundary-count inconsistency that must be fixed before the proof is accepted. read the letter →

arxiv 2505.20960 v1 pith:GR7Q7TTN submitted 2025-05-27 math.GR math.GT

Dario Ascari , Jonathan Fruchter This is my paper
classification math.GRmath.GT
keywords groupsfreecyclicedgegroupsurfacefinitegraphs
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

Think of a group as a pattern of symmetries of a space. The paper studies hyperbolic groups assembled from free groups by gluing them along infinite cyclic subgroups, a flexible class that includes many examples from topology. The main theorem says that unless such a group is just a free product of free groups and surface groups, its finite covers have homology containing any specified finite abelian group as a direct summand. That means the pattern of finite torsion in the homology is maximally rich, with no hidden obstruction beyond the free and surface exceptions.

The proof works with 2-dimensional complexes called branched surfaces, built from punctured surfaces glued along boundary circles. A surface imposes a linear equation in homology, and the paper shows how to encode arbitrary finite abelian groups as quotients of a free abelian group by such equations. When the original group has no branching vertex of valence three, the authors create artificial branching inside a rigid vertex group, using a minimality argument based on Calegari's rationality theorem. This yields a finite-index subgroup and then, via virtual retractions from cube complex theory, promotes the torsion to a direct summand of a finite-index subgroup of the original group.

Applications follow from profinite invariants: the collected abelianizations of finite-index subgroups determine the profinite completion. The authors deduce that free products of free and surface groups are profinitely rigid among the studied class, and that partial surface words in a free group are determined by the word measures they induce on finite groups.

Extended reading notes

Core claim

Theorem A (Theorem 5.1): Let G be a hyperbolic group that splits as a graph of free groups amalgamated along cyclic subgroups, and that is not isomorphic to a free product of free and surface groups. Then for every finite abelian group M, there exists a finite-index subgroup H <= G such that M is a direct summand of the abelianization H^ab of H. The same statement holds for hyperbolic graphs of virtually free groups with 2-ended edge groups that are not virtually a free product of free and surface groups (Corollary 5.3).

Load-bearing premise

The proof's load-bearing construction step in Section 5 assumes that after taking finite covers of the surface pieces, all hanging elevations at every cyclic vertex can be matched two-by-two so that the result is connected, orientable, and has prescribed boundary signs. The paper explicitly leaves this matching to the reader in cases 2 and 3 of Proposition 5.5, saying 'We leave it to the reader to match all of the degree-d elevations... two-by-two, and obtain a (connected) surface...'. If the matching cannot be made compatible with the chosen degrees and orientability requirements, the artificial branching block in Theorem 5.9 and the torsion construction built on it would fail.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 3 minor

Summary. The paper proves Theorem A: if G is a hyperbolic group splitting as a graph of free groups with cyclic edge groups and G is not isomorphic to a free product of free and surface groups, then every finite abelian group M occurs as a direct summand in the abelianization of some finite-index subgroup of G. The proof develops a theory of branched surfaces and an 'artificial branching' construction in rigid vertex groups, relying on Wilton's surface subgroup theorems, Calegari's rationality theorem, and virtual retraction results. Applications include profinite rigidity of free products of free and surface groups among such graphs of groups and profinite rigidity of partial surface words.

Significance. If the proof is completed, the result is a major contribution to the study of virtual homological torsion in hyperbolic groups, extending Sun's 3-manifold theorem to a broad class of graphs of groups and providing new profinite rigidity statements. The paper introduces a promising technique (branched surfaces and artificial branching) that may be useful elsewhere. The exposition is generally clear and the reliance on established external theorems is appropriate. However, the current version contains a load-bearing error in Proposition 5.5 that invalidates the construction as written, so the claims are not yet established.

major comments (2)
  1. [§5.2, Proposition 5.5, Case 2] The specified boundary multiset for Σ_1 is incompatible with Σ_1 being a k-sheeted cover of Σ_v. The proof sets Σ_v to contain exactly k degree-d elevations of each [w_i], so a k-sheeted cover of Σ_v has total degree k·(k·d)=k^2·d over [w_1]=[t]. The text instead specifies k(k−1) degree-d elevations and two degree-(kd) elevations of [t], totalling k(k−1)d+2kd=(k^2+k)d. This exceeds k^2·d for every k≥1, so no such cover exists. Consequently the definition of Θ and the subsequent 'matching' of hanging elevations in Case 2 are not realizable. Since Proposition 5.5 is used in the proof of Theorem 5.1 (Section 5.3) to produce the surfaces Σ_{[w_i]} that cap hanging elevations in the artificial branching block, this error is load-bearing. The authors should correct the boundary degrees (e.g., replace k(k−1) by k(k−2)) and then verify explicitly the parity and triangle inequalities (5.1) at each cyclic vertex.
  2. [§5.3, proof of Theorem 5.1] The final step of the proof asserts that 'there is a natural map from a branched surface B_M ... to K', but this map is not constructed. The branched surface B_M is described only as the object obtained by replacing the rigid pieces H in the artificial branching blocks X_{i,j} with the surfaces H_1 and H_2; it is not shown that this yields a well-defined branched surface, nor that the map to K induces an isomorphism on the relevant M summand computed in K^ab. The theorem requires a branched surface B_M with H_1(B_M)≅M⊕Z^r and a homomorphism f:π_1(B_M)→G_0 realizing M as a direct summand. A precise definition of B_M and a verification that f_* maps the generator ˜x_{i,1} nontrivially are necessary.
minor comments (3)
  1. [Throughout (§5.2, §4.3)] The cross-references to 'Theorem 3.15' and 'Theorem 5.8' are incorrect: the former is Lemma 3.15 and the latter is Remark 5.8. Please correct these.
  2. [§4.3, Proposition 4.9] The sentence 'One can easily verify that the resulting space B_M is a connected, finite-sheeted cover of B' should be replaced by a proof or at least a clear argument, since connectedness and the cover property are essential for the proposition.
  3. [§5.2, Proposition 5.5, Case 3] The matching of hanging elevations in Case 3 is left to the reader; given the boundary-count error in Case 2, this should be carried out explicitly to ensure the counts satisfy the necessary parity and triangle inequalities.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: Theorem A is built on external surface-subgroup, rationality, JSJ, and virtual-specialness results; the only self-citation ([12]) is contextual and non-load-bearing.

full rationale

The derivation chain for Theorem A is not circular. The load-bearing ingredients are external and independent: Wilton's surface subgroup theorem [40, Theorem 5.11], Wilton's strong one-endedness theorem [39, Theorem 8], Calegari's Rationality Theorem [7, Theorem 4.24], Guirardel-Levitt JSJ decompositions [16], and virtual specialness via Hsu-Wise and Haglund-Wise [21, 17, 1]. None of these inputs contains Theorem A or the paper's target conclusion; they are used to construct surfaces, branched surfaces, and retractions. The paper's own constructions (standard branched surfaces in Section 4, the artificial branching block in Section 5) are explicit: they prescribe boundary multisets, gluing matrices, and B-equations, and then compute the resulting abelianization. The only self-citation is [12] (Fruchter-Morales), mentioned in Section 6 as contextual earlier work on direct products of free and surface groups; it is not invoked in any proof of Theorem A, Theorem C, or Corollary D. The passages in Proposition 5.5 where matching of hanging elevations is 'left to the reader' are omitted verifications and potential correctness gaps, but they are not circular reductions: they do not define the target result in terms of itself, rename a fitted parameter as a prediction, or import a uniqueness theorem from the authors' own prior work. No step of the claimed derivation reduces by construction to its own inputs.

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

The proof introduces no empirical parameters and no postulated physical or algebraic entities. It relies on several major external theorems, listed above, which are accepted results in the field. Free parameters are empty because the constants d, k, and r_i in the construction are existential choices made inside the proof, not independent assumptions fitted to data.

assumptions (5)
  • domain assumption Hyperbolic graphs of free groups with cyclic edge groups are virtually special (Hsu-Wise [21], Agol [1]).
    Used to obtain virtual retractions onto finitely generated subgroups and to promote torsion from an infinite-index subgroup to a finite-index subgroup (Corollary 2.12).
  • standard math Wilton's essential surface theorem [40, Theorem 5.11]: every malnormal one-ended pair admits an admissible weak surface-type subpair.
    Used repeatedly in Sections 4 and 5 to replace rigid vertex groups by surface pieces and to construct artificial branching.
  • standard math Calegari's Rationality Theorem [7, Theorem 4.24(4)]: every non-zero integral boundary class in a free group is realized by an injective surface.
    Used in Corollary 3.40 and Lemma 5.11 to control the peripheral closure of surface subpairs and to prove that the shared boundary element survives in the abelianization.
  • standard math Guirardel-Levitt JSJ decomposition theory [16, Theorem 1].
    Underlies the normal form in Proposition 3.35, including rigid and flexible vertex pairs and the absence of valence-1 or problematic valence-2 cyclic vertices.
  • standard math Wise's omnipotence theorem for free groups [43, Theorem 3.5].
    Used in Step 4 of the normalization proof to arrange prescribed degrees of elevations at rigid vertices.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Virtual homological torsion in graphs of free groups with cyclic edge groups." pith.science (2026). https://pith.science/paper/GR7Q7TTN

@misc{pith2026250520960,
  author       = {Pith},
  title        = {Pith review of: Virtual homological torsion in graphs of free groups with cyclic edge groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/GR7Q7TTN}},
  note         = {Machine review of arXiv:2505.20960}
}
abstract

Let $G$ be a hyperbolic group that splits as a graph of free groups with cyclic edge groups. We prove that, unless $G$ is isomorphic to a free product of free and surface groups, every finite abelian group $M$ appears as a direct summand in the abelianization of some finite-index subgroup $G'\le G$. As an application, we deduce that free products of free and surface groups are profinitely rigid among hyperbolic graphs of free groups with cyclic edge groups. We also conclude that partial surface words in a free group are determined by the word measures they induce on finite groups.

Figures

Figures reproduced from arXiv: 2505.20960 by the authors.

Figure 1
Figure 1. Let X be the rose graph with two petal and let F “ xa, by be its fundamental group. Let w1 “ a and w2 “ ra, bs, and let w : S 1 \ S 1 Ñ X be the map realizing the conjugacy classes rw1s and rw2s. The (pullback) diagram above describes the elevations of rws to the subgroup H “ xa 3 ,ra, bs, ba2 b ´1 y of F. The graph Y at the top-right corner, whose basepoint appears in green, is the core graph of the cover correspon… view at source ↗
Figure 2
Figure 2. A branched surface B. The branching locus C is highlighted in green and in red (the green connected component is of branching valence 4, and the red connected component is of branching valence 3). Note that the blue curve (where two surface pieces are glued) is not a part of the branching locus. Remark 4.4. In particular, by the last condition of Theorem 3.35, the degree of every cyclic vertex in the underlying grap… view at source ↗
Figure 3
Figure 3. A standard branched surface. Lemma 4.8 (Standard precovers). Let B be a branched surface. Then there exists a precover B 1 of B which is a standard branched surface. Proof. Up to taking a finite-sheeted cover of B, we can assume by Theorem 3.35 that B is in normal form. Fix a cyclic vertex space C of B in the branching locus C, and fix 3 (pairwise distinct) boundary components σ, θ and π which are identified with C,… view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: The cover BZ{2Z‘Z{3Z of B. The standard branched surface B appears on the right, and its 11-sheeted cover BZ{2Z‘Z{3Z constructed in Theorem 4.9 appears on the left. A corollary of Theorem 4.9 above is that many “branching” hyperbolic graphs of free groups with cyclic e…
Figure 5
Figure 5. Figure 5: An example of the procedure described in Theorem 5.5. Rigid pieces are represented as rectangles, and the surfaces inside the rectangles are the ones obtained using Wilton’s Theorem 3.43. Cyclic vertices appear in bold blue. The surface H, obtained by gluing several of…
Figure 6
Figure 6. Figure 6: The artificial branching block X (highlighted in bold orange) and the surfaces Σ, Θ and Π, arranged in the configuration of a standard branched surface (compare with [PITH_FULL_IMAGE:figures/full_fig_p033_6.png]

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Profinite rigidity of simple closed curves in surface groups

    math.GT 2026-07 accept novelty 7.0 of 10

    Simple closed curves and their powers in surface groups are profinitely rigid: finite-quotient images determine a curve up to an automorphism of the surface group.

Reference graph

Works this paper leans on

44 extracted references · 44 canonical work pages · cited by 1 Pith paper

  1. [1]

    I. Agol. The virtual haken conjecture (with an appendix by Ian Agol, Daniel Groves and Jason Manning). Documenta Mathematica, 18:1045–1087, 2013. 36 DARIO ASCARI AND JONATHAN FRUCHTER

    work page 2013

  2. [2]

    Amit and U

    A. Amit and U. Vishne. Characters and solutions to equations in finite groups.Journal of Algebra and Its Applications, 10(04):675–686, August 2011

    work page 2011

  3. [3]

    Bergeron and A

    N. Bergeron and A. Venkatesh. The asymptotic growth of torsion homology for arithmetic groups.Journal of the Institute of Mathematics of Jussieu, 12(02):391–447, June 2012

    work page 2012

  4. [4]

    Bessa, F

    V. Bessa, F. Grunewald, and P. A. Zalesskii. Genus for virtually surface groups and pullbacks.Manuscripta Mathematica, 145(1–2):221–233, May 2014

    work page 2014

  5. [5]

    Bigdely and D

    H. Bigdely and D. T Wise. Quasiconvexity and relatively hyperbolic groups that split.Michigan Mathematical Journal, 62(2):387–406, 2013

    work page 2013

  6. [6]

    Calegari

    D. Calegari. Surface subgroups from homology.Geometry & Topology, 12(4):1995 – 2007, 2008

    work page 1995

  7. [7]

    Calegari.Stable Commutator Length, volume 20 ofMathematical Society of Japan Memoirs

    D. Calegari.Stable Commutator Length, volume 20 ofMathematical Society of Japan Memoirs. Mathematical Society of Japan, Tokyo, 2009

    work page 2009

  8. [8]

    C. G. Cashen and N. Macura. Line patterns in free groups.Geometry & Topology, 15(3):1419–1475, 2011

    work page 2011

Show all 44 references
  1. [9]

    C. H. Cashen. Splitting line patterns in free groups.Algebraic & Geometric Topology, 16(2):621–673, 2016

    2016

  2. [10]

    Chu and D

    M. Chu and D. Groves. Prescribed virtual homological torsion of 3-manifolds.Journal of the Institute of Mathematics of Jussieu, 22(6):2931–2941, June 2022

    2022

  3. [11]

    Diao and M

    G. Diao and M. Feighn. The grushko decomposition of a finite graph of finite rank free groups: An algorithm. Geometry & Topology, 9(4):1835–1880, 2005

    2005

  4. [12]

    Fruchter and I

    J. Fruchter and I. Morales. Virtual homology of limit groups and profinite rigidity of direct products.Israel Journal of Mathematics, 2024. Accepted for publication

    2024

  5. [13]

    Garrido and A

    A. Garrido and A. Jaikin-Zapirain. Free factors and profinite completions.International Mathematics Research Notices, 2023(24):21320–21345, November 2022

    2023

  6. [14]

    Grunewald, A

    F. Grunewald, A. Jaikin-Zapirain, and P. A. Zalesskii. Cohomological goodness and the profinite completion of bianchi groups.Duke Mathematical Journal, 144(1), July 2008

    2008

  7. [15]

    Guirardel and G

    V. Guirardel and G. Levitt. Trees of cylinders and canonical splittings.Geometry & Topology, 15(2):977–1012, 2011

    2011

  8. [16]

    Guirardel and G

    V. Guirardel and G. Levitt.JSJ decompositions of groups, volume 395 ofAst´ erisque. Soci´ et´ e Math´ ematique de France, 2017

    2017

  9. [17]

    Haglund and D

    F. Haglund and D. T. Wise. Special cube complexes.Geometric and Functional Analysis, 17(5):1551–1620, October 2007

    2007

  10. [18]

    Hanany, C

    L. Hanany, C. Meiri, and D. Puder. Some orbits of free words that are determined by measures on finite groups. Journal of Algebra, 555:305–324, August 2020

    2020

  11. [19]

    Hatcher.Algebraic topology

    A. Hatcher.Algebraic topology. Cambridge University Press, 2002

    2002

  12. [20]

    Hsu and D

    T. Hsu and D. T. Wise. On linear and residual properties of graph products.Michigan Mathematical Journal, 46(2), September 1999

    1999

  13. [21]

    Hsu and D

    T. Hsu and D. T Wise. Cubulating graphs of free groups with cyclic edge groups.American journal of mathe- matics, 132(5):1153–1188, 2010

    2010

  14. [22]

    Kahn and V

    J. Kahn and V. Markovic. Immersing almost geodesic surfaces in a closed hyperbolic three manifold.Annals of Mathematics, 175(3):1127–1190, May 2012

    2012

  15. [23]

    S. P. Kerckhoff. The nielsen realization problem.The Annals of Mathematics, 117(2):235, March 1983

    1983

  16. [24]

    W. L¨ uck. ApproximatingL2-invariants by their finite-dimensional analogues.Geometric and Functional Anal- ysis, 4(4):455–481, July 1994

    1994

  17. [25]

    L¨ uck.L2-Invariants: Theory and Applications to Geometry and K-Theory

    W. L¨ uck.L2-Invariants: Theory and Applications to Geometry and K-Theory. Springer Berlin Heidelberg, 2002

    2002

  18. [26]

    W. L¨ uck. ApproximatingL 2-invariants and homology growth.Geometric and Functional Analysis, 23(2):622–663, March 2013

    2013

  19. [27]

    Magee and D

    M. Magee and D. Puder. Surface words are determined by word measures on groups.Israel Journal of Mathe- matics, 241(2):749–774, March 2021

    2021

  20. [28]

    Minasyan

    A. Minasyan. Virtual retraction properties in groups.International Mathematics Research Notices, 2021(17):13434–13477, November 2019

    2021

  21. [29]

    W. D. Neumann. Immersed and virtually embeddedπ 1–injective surfaces in graph manifolds.Algebraic & Geometric Topology, 1(1):411–426, July 2001

    2001

  22. [30]

    G. A. Noskov, V. N. Remeslennikov, and V. A. Roman’kov. Infinite groups.Journal of Soviet Mathematics, 18(5):669–735, 1982

    1982

  23. [31]

    Puder and O

    D. Puder and O. Parzanchevski. Measure preserving words are primitive.Journal of the American Mathematical Society, 28(1):63–97, 2015

    2015

  24. [32]

    G. P. Scott. Compact submanifolds of 3-manifolds.Journal of the London Mathematical Society, s2- 7(2):246–250, November 1973

    1973

  25. [33]

    Shalev.Some Results and Problems in the Theory of Word Maps, page 611–649

    A. Shalev.Some Results and Problems in the Theory of Word Maps, page 611–649. Springer Berlin Heidelberg, 2013

    2013

  26. [34]

    Shenitzer

    A. Shenitzer. Decomposition of a group with a single defining relation into a free product.Proceedings of the American Mathematical Society, 6(2):273–279, April 1955

    1955

  27. [35]

    H. Sun. Virtual homological torsion of closed hyperbolic 3-manifolds.Journal of Differential Geometry, 100(3), July 2015

    2015

  28. [36]

    G.A. Swarup. Decompositions of free groups.Journal of Pure and Applied Algebra, 40:99–102, 1986

    1986

  29. [37]

    G. Wilkes. Relative cohomology theory for profinite groups.Journal of Pure and Applied Algebra, 223(4):1617– 1688, 2019

    2019

  30. [38]

    H. Wilton. Hall’s theorem for limit groups.Geometric and Functional Analysis, 18(1):271–303, March 2008. VIRTUAL HOMOLOGICAL TORSION IN GRAPHS OF FREE GROUPS WITH CYCLIC EDGE GROUPS 37

    2008

  31. [39]

    H. Wilton. One-ended subgroups of graphs of free groups with cyclic edge groups.Geometry & Topology, 16(2):665–683, April 2012

    2012

  32. [40]

    H. Wilton. Essential surfaces in graph pairs.J. Amer. Math. Soc., 31:893–919, 2018

    2018

  33. [41]

    H. Wilton. On the profinite rigidity of surface groups and surface words.Comptes Rendus. Math´ ematique, 359(2):119–122, March 2021

    2021

  34. [42]

    Wilton and P

    H. Wilton and P. A. Zalesskii. Profinite detection of 3-manifold decompositions.Compositio Mathematica, 155(2):246–259, January 2019

    2019

  35. [43]

    D. T. Wise. Subgroup separability of graphs of free groups with cyclic edge groups.The Quarterly Journal of Mathematics, 50(1):107–129, March 2000

    2000

  36. [44]

    D. T. Wise.The Structure of Groups with a Quasiconvex Hierarchy: (AMS-209). Princeton University Press, May 2021. (D. Ascari)Department of Mathematics, University of the Basque Country, Bar- rio Sarriena, Leioa, 48940, Spain Email address:ascari.maths@gmail.com (J. Fruchter)Ma...

    2021

Pith tools

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