pith. sign in

arxiv: 2403.17686 · v2 · submitted 2024-03-26 · 🧮 math.GR

Foldings in relatively hyperbolic groups

Richard Weidmann , Thomas Weller This is my paper

Pith reviewed 2026-05-24 03:06 UTC · model grok-4.3

classification 🧮 math.GR
keywords relatively hyperbolic groupscarrier graphsfoldsrelatively quasiconvex subgroupsfiniteness resultsKleinian groupscombination theorem
0
0 comments X

The pith

A theory of folds for carrier graphs establishes finiteness results for subgroups of locally relatively quasiconvex relatively hyperbolic groups.

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

The paper introduces carrier graphs to represent subgroups of relatively hyperbolic groups. It proves a combination theorem for relatively quasi-convex subgroups. A theory of folds is developed for these carrier graphs. The folds are used to obtain finiteness results for subgroups of locally relatively quasiconvex relatively hyperbolic groups and for Kleinian groups. A sympathetic reader would care because the results give concrete structural restrictions on subgroups in groups that arise in geometry.

Core claim

Carrier graphs of groups representing subgroups of relatively hyperbolic groups are introduced and a combination theorem for relatively quasi-convex subgroups is proven. A theory of folds for such carrier graphs is introduced and finiteness results for subgroups of locally relatively quasiconvex relatively hyperbolic groups and Kleinian groups are established.

What carries the argument

Carrier graphs representing subgroups of relatively hyperbolic groups, together with folding operations applied to them.

If this is right

  • Finiteness results hold for subgroups of locally relatively quasiconvex relatively hyperbolic groups.
  • Finiteness results hold for subgroups of Kleinian groups.
  • A combination theorem applies to relatively quasi-convex subgroups represented by carrier graphs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The folding method may extend to other classes of groups that admit similar geometric representations.
  • The approach could yield decision procedures for membership or finiteness questions in these groups.
  • Connections may exist to folding techniques already used for subgroups of free or hyperbolic groups.

Load-bearing premise

The carrier graphs faithfully represent the subgroups and the folding operations preserve relative quasiconvexity and other properties required for the finiteness conclusions.

What would settle it

An explicit subgroup of a locally relatively quasiconvex relatively hyperbolic group whose finiteness properties contradict the conclusions obtained from the folding process on its carrier graph.

Figures

Figures reproduced from arXiv: 2403.17686 by Richard Weidmann, Thomas Weller.

Figure 1
Figure 1. Figure 1: The path γ = [g, x]∪[x, hx]∪[hx, h2x]∪. . .∪[h N x, hN g] cannot be far from Y . for an appropriate N ∈ N yields that dX∪P(Y, [1, h]) must be bounded by some constant depending only on δ and τ (h), such that this bound is monotonically decreasing in τ (h). By Osin ([36], Thm. 4.25), there is some d = d(G, P, X) > 0 such that τ (h) ≥ d for all hyperbolic h ∈ H. Hence, there is an upper bound on dX∪P(Y, [1, … view at source ↗
Figure 2
Figure 2. Figure 2: A (G, P)-carrier graph with non-trivial stars C1 and C2, trivial star C3, and essential vertices u and v. The following two definitions give some more useful terminology in the context of (G, P)-carrier graphs of groups. Definition 2.7 Let A be a graph of groups and let t = (a0, e1, a1, . . . , ak−1, ek, ak) be an A-path. For any i ≤ j ∈ {0, . . . , k} and ¯al ∈ {1, al} for l ∈ {i, j}, the A-path s = (¯ai … view at source ↗
Figure 3
Figure 3. Figure 3: A move that removes a redundant essential edge [PITH_FULL_IMAGE:figures/full_fig_p021_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Another move that removes a redundant essential edge [PITH_FULL_IMAGE:figures/full_fig_p021_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: A move that introduces an new peripheral star [PITH_FULL_IMAGE:figures/full_fig_p022_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: A move that shortens the element of an essential edge [PITH_FULL_IMAGE:figures/full_fig_p022_6.png] view at source ↗
read the original abstract

Carrier graphs of groups representing subgroups of a given relatively hyperbolic groups are introduced and a combination theorem for relatively quasi-convex subgroups is proven. Subsequently a theory of folds for such carrier graphs is introduced and finiteness results for subgroups of locally relatively quasiconvex relatively hyperbolic groups and Kleinian groups are established.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript introduces carrier graphs to represent subgroups of relatively hyperbolic groups, proves a combination theorem for relatively quasi-convex subgroups, develops a theory of folds for these graphs, and establishes finiteness results for subgroups of locally relatively quasiconvex relatively hyperbolic groups as well as for Kleinian groups.

Significance. If the proofs are correct, the work would supply new combinatorial tools for finiteness questions in the relative setting, extending folding methods from the hyperbolic case and potentially aiding the study of subgroups in Kleinian groups.

major comments (2)
  1. [Abstract] Abstract: the claim that finiteness results are established cannot be assessed because the abstract supplies no details on the definitions of carrier graphs, the combination theorem, the folding operations, or the handling of relative quasiconvexity preservation.
  2. The central finiteness claims rest on the unverified assumption that carrier graphs faithfully represent the subgroups and that folding operations preserve the properties (relative quasiconvexity, local relative quasiconvexity) needed for the conclusions; no concrete verification or counter-example check is supplied in the available text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report. We respond point by point to the major comments, indicating where revisions are appropriate.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that finiteness results are established cannot be assessed because the abstract supplies no details on the definitions of carrier graphs, the combination theorem, the folding operations, or the handling of relative quasiconvexity preservation.

    Authors: We agree that the abstract is concise and omits explanatory details on the new notions. In revision we will expand the abstract to include brief definitions of carrier graphs, a statement of the combination theorem, a description of the folding operations, and a note on preservation of relative quasiconvexity. revision: yes

  2. Referee: The central finiteness claims rest on the unverified assumption that carrier graphs faithfully represent the subgroups and that folding operations preserve the properties (relative quasiconvexity, local relative quasiconvexity) needed for the conclusions; no concrete verification or counter-example check is supplied in the available text.

    Authors: The manuscript constructs carrier graphs precisely so that they represent the subgroups, proves a combination theorem for relatively quasi-convex subgroups, and develops the folding theory with explicit arguments that the relevant properties (including relative quasiconvexity and local relative quasiconvexity) are preserved under the allowed folds. These verifications appear in the body of the paper. If only an abbreviated excerpt was available to the referee, we can insert a short clarifying paragraph or cross-reference in the revision; a separate counter-example check is unnecessary because the statements are proved in generality. revision: partial

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

This is a pure mathematics paper in geometric group theory that introduces carrier graphs for subgroups of relatively hyperbolic groups, proves a combination theorem, develops a folding theory, and derives finiteness results. The derivation chain consists of definitions, lemmas, and theorems built from standard relatively hyperbolic group machinery and combinatorial arguments on graphs. No quoted steps reduce a claimed result to a fitted input, self-definition, or self-citation chain by construction; the work is self-contained against external benchmarks such as prior results on relative quasiconvexity and Kleinian groups.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no information on free parameters, axioms, or invented entities; none can be identified or audited.

pith-pipeline@v0.9.0 · 5553 in / 973 out tokens · 30712 ms · 2026-05-24T03:06:07.640388+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

49 extracted references · 49 canonical work pages

  1. [1]

    I. Agol. Tameness of hyperbolic 3-manifolds. May 2004

    work page 2004

  2. [2]

    I. Agol. The virtual Haken conjecture. Documenta Mathematica, 18:1045–1087, 2013. With an appendix by Agol, Daniel Groves, and Jason Manning

    work page 2013

  3. [3]

    Alibegovi´ c

    E. Alibegovi´ c. Makanin-Razborov diagrams for limit groups. Geometry & Topology, 11:643–666, 2007

    work page 2007

  4. [4]

    G. N. Arzhantseva. On quasiconvex subgroups of word hyperbolic groups.Geometriae Dedicata, 87(1-3):191–208, 2001

    work page 2001

  5. [5]

    G. N. Arzhantseva. A dichotomy for finitely generated subgroups of word hyper- bolic groups. In Topological and asymptotic aspects of group theory , volume 394 of Contemp. Math., pages 1–10. Amer. Math. Soc., Providence, RI, 2006

    work page 2006

  6. [6]

    G. N. Arzhantseva and A. Y. Olshanskii. Generality of the class of groups in which subgroups with a lesser number of generators are free. Matematicheskie Zametki , 59(4):489–496, 638, 1996

    work page 1996

  7. [7]

    H. Bass. Covering theory for graphs of groups. Journal of Pure and Applied Algebra , 89(1-2):3–47, 1993. 52

    work page 1993

  8. [8]

    Bestvina and M

    M. Bestvina and M. Feighn. Bounding the complexity of simplicial group actions on trees. Inventiones Mathematicae, 103(3):449–469, 1991

    work page 1991

  9. [9]

    Biringer

    I. Biringer. Subgroups of bounded rank in hyperbolic 3-manifold groups. Jan. 2024

    work page 2024

  10. [10]

    Biringer and J

    I. Biringer and J. Souto. Thick hyperbolic 3-manifolds with bounded rank. Aug. 2017

    work page 2017

  11. [11]

    Biringer and J

    I. Biringer and J. Souto. Ranks of mapping tori via the curve complex. Journal f¨ ur die Reine und Angewandte Mathematik. [Crelle’s Journal] , 748:153–172, 2019

    work page 2019

  12. [12]

    B. H. Bowditch. Relatively hyperbolic groups. International Journal of Algebra and Computation, 22(3):1250016, 66, 2012

    work page 2012

  13. [13]

    M. R. Bridson and A. Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, Berlin, 1999

    work page 1999

  14. [14]

    Calegari and D

    D. Calegari and D. Gabai. Shrinkwrapping and the taming of hyperbolic 3-manifolds. Journal of the American Mathematical Society , 19(2):385–446, 2006

    work page 2006

  15. [15]

    R. D. Canary. A covering theorem for hyperbolic 3-manifolds and its applications. Topology. An International Journal of Mathematics , 35(3):751–778, 1996

    work page 1996

  16. [16]

    Coornaert, T

    M. Coornaert, T. Delzant, and A. Papadopoulos. G´ eom´ etrie et th´ eorie des groupes, volume 1441 of Lecture Notes in Mathematics . Springer-Verlag, Berlin, 1990. Les groupes hyperboliques de Gromov. [Gromov hyperbolic groups], With an English summary

    work page 1990

  17. [17]

    F. Dahmani. Combination of convergence groups. Geometry and Topology, 7:933–963, 2003

    work page 2003

  18. [18]

    F. Dahmani. Accidental parabolics and relatively hyperbolic groups. Israel Journal of Mathematics, 153:93–127, 2006

    work page 2006

  19. [19]

    T. Delzant. L’image d’un groupe dans un groupe hyperbolique. Commentarii Math- ematici Helvetici, 70(2):267–284, 1995

    work page 1995

  20. [20]

    M. J. Dunwoody. Folding sequences. In The Epstein birthday schrift , volume 1 of Geom. Topol. Monogr., pages 139–158. Geom. Topol. Publ., Coventry, 1998

    work page 1998

  21. [21]

    B. Farb. Relatively hyperbolic groups. Geometric and Functional Analysis, 8(5):810– 840, 1998

    work page 1998

  22. [22]

    S. M. Gersten and H. B. Short. Rational subgroups of biautomatic groups. Annals of Mathematics. Second Series , 134(1):125–158, 1991

    work page 1991

  23. [23]

    M. Gromov. Hyperbolic groups. In Essays in group theory , volume 8 of Math. Sci. Res. Inst. Publ. , pages 75–263. Springer, New York, 1987

    work page 1987

  24. [24]

    D. Groves. Limit groups for relatively hyperbolic groups. II. Makanin-Razborov diagrams. Geometry and Topology, 9:2319–2358, 2005. 53

    work page 2005

  25. [25]

    D. Groves. Limit groups for relatively hyperbolic groups. I. The basic tools. Algebraic & Geometric Topology, 9(3):1423–1466, 2009

    work page 2009

  26. [26]

    Groves and J

    D. Groves and J. F. Manning. Dehn filling in relatively hyperbolic groups. Israel Journal of Mathematics , 168:317–429, 2008

    work page 2008

  27. [27]

    G. C. Hruska. Relative hyperbolicity and relative quasiconvexity for countable groups. Algebraic & Geometric Topology, 10(3):1807–1856, 2010

    work page 2010

  28. [28]

    Kapovich and R

    I. Kapovich and R. Weidmann. Freely indecomposable groups acting on hyperbolic spaces. International Journal of Algebra and Computation , 14(2):115–171, 2004

    work page 2004

  29. [29]

    Kapovich, R

    I. Kapovich, R. Weidmann, and A. Miasnikov. Foldings, graphs of groups and the membership problem. International Journal of Algebra and Computation , 15(1):95– 128, 2005

    work page 2005

  30. [30]

    Kapovich

    M. Kapovich. Hyperbolic manifolds and discrete groups , volume 183 of Progress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 2001

    work page 2001

  31. [31]

    Kharlampovich and A

    O. Kharlampovich and A. Myasnikov. Irreducible affine varieties over a free group. I. Irreducibility of quadratic equations and Nullstellensatz. Journal of Algebra , 200(2):472–516, 1998

    work page 1998

  32. [32]

    Kharlampovich and A

    O. Kharlampovich and A. Myasnikov. Irreducible affine varieties over a free group. II. Systems in triangular quasi-quadratic form and description of residually free groups. Journal of Algebra, 200(2):517–570, 1998

    work page 1998

  33. [33]

    P. A. Linnell. On accessibility of groups. Journal of Pure and Applied Algebra , 30(1):39–46, 1983

    work page 1983

  34. [34]

    G. S. Makanin. Equations in a free group. Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya, 46(6):1199–1273, 1344, 1982

    work page 1982

  35. [35]

    Mart´ ınez-Pedroza

    E. Mart´ ınez-Pedroza. Combination of quasiconvex subgroups of relatively hyperbolic groups. Groups, Geometry, and Dynamics , 3(2):317–342, 2009

    work page 2009

  36. [36]

    D. V. Osin. Relatively hyperbolic groups: intrinsic geometry, algebraic proper- ties, and algorithmic problems. Memoirs of the American Mathematical Society , 179(843):vi+100, 2006

    work page 2006

  37. [37]

    Razborov

    A. Razborov. On systems of equations in a free group. PhD Thesis, Moscow , 1987

    work page 1987

  38. [38]

    Reinfeldt and R

    C. Reinfeldt and R. Weidmann. Makanin-Razborov diagrams for hyperbolic groups. Annales Math´ ematiques Blaise Pascal, 26(2):119–208, 2019

    work page 2019

  39. [39]

    Rips and Z

    E. Rips and Z. Sela. Structure and rigidity in hyperbolic groups. I. Geometric and Functional Analysis, 4(3):337–371, 1994

    work page 1994

  40. [40]

    Z. Sela. Diophantine geometry over groups. I. Makanin-Razborov diagrams. Publi- cations Math´ ematiques. Institut de Hautes´Etudes Scientifiques, (93):31–105, 2001

    work page 2001

  41. [41]

    Z. Sela. Diophantine geometry over groups. VII. The elementary theory of a hy- perbolic group. Proceedings of the London Mathematical Society. Third Series , 99(1):217–273, 2009. 54

    work page 2009

  42. [42]

    J.-P. Serre. Trees. Springer-Verlag, Berlin-New York, 1980. Translated from the French by John Stillwell

    work page 1980

  43. [43]

    J. Souto. The rank of the fundamental group of certain hyperbolic 3-manifolds fibering over the circle. In The Zieschang Gedenkschrift , volume 14 of Geom. Topol. Monogr., pages 505–518. Geom. Topol. Publ., Coventry, 2008

    work page 2008

  44. [44]

    J. R. Stallings. Topology of finite graphs. Inventiones Mathematicae, 71(3):551–565, 1983

    work page 1983

  45. [45]

    Thurston

    W. Thurston. The geometry and topology of three-manifolds. Princeton, 1978

    work page 1978

  46. [46]

    W. P. Thurston. Three-dimensional manifolds, Kleinian groups and hyperbolic ge- ometry. American Mathematical Society. Bulletin. New Series , 6(3):357–381, 1982

    work page 1982

  47. [47]

    Weidmann

    R. Weidmann. The Nielsen method for groups acting on trees. Proceedings of the London Mathematical Society. Third Series , 85(1):93–118, 2002

    work page 2002

  48. [48]

    Weidmann

    R. Weidmann. On accessibility of finitely generated groups. The Quarterly Journal of Mathematics, 63(1):211–225, 2012

    work page 2012

  49. [49]

    M. E. White. Injectivity radius and fundamental groups of hyperbolic 3-manifolds. Communications in Analysis and Geometry , 10(2):377–395, 2002. 55

    work page 2002