Pith. sign in

REVIEW 4 major objections 3 minor 28 references

On the existence of weakly malnormal quasiconvex subgroups of hyperbolic groups

T0 review · 4 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Every nonelementary hyperbolic group contains a weakly malnormal quasiconvex subgroup of the form $H_1 \times A$, where $H_1$ is free of rank at least 2 and $A$ is finite.

desk verdict A genuinely new result extending Kapovich's theorem, but with two underproved claims — the missing case in Lemma 4.16 and the normality assertion in Proposition 5.3 — that need fixing before the proof is convincing. read the letter →

arxiv 2506.20161 v1 pith:42VCRE37 submitted 2025-06-25 math.GR math.GTmath.MG

Rakesh Halder , Pranab Sardar This is my paper · ORCID
classification math.GRmath.GTmath.MG MSC 20F6520F67
keywords hyperbolicgroupsquasiconvexsubgroupsweaklymalnormalvirtuallyfreecommensuratorconed-offspacesping-ponglemmanon-quasiconvexembedding
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

This paper proves that every nonelementary hyperbolic group $G$ contains a weakly malnormal, quasiconvex subgroup that is virtually free: a subgroup $H_1 \times A$ with $H_1$ free of rank at least two, $A$ finite, and $\mathrm{Comm}_G(H_1) = H_1 \times A$. Weakly malnormal means that any conjugate of the subgroup by an element outside it intersects it in a finite subgroup, so distinct conjugates are almost disjoint. The theorem removes the torsion-free assumption that was needed in the earlier malnormal-subgroup theorem for hyperbolic groups, and answers positively the paper's stated question for quasiconvex subgroups. A direct corollary is that every nonelementary hyperbolic group embeds injectively into another hyperbolic group as a non-quasiconvex subgroup.

What carries the argument

The carrying mechanism is the coned-off (electrified) Cayley graph: one adds a vertex for each coset of a finite family of quasiconvex subgroups and joins it to every point of that coset, producing a hyperbolic graph whose boundary is a homeomorphic copy of the 'undistorted' part of $\partial G$. Proposition 4.13 is the ping-pong criterion: two loxodromic isometries with disjoint fixed point sets, and with no power conjugate into any coned-off subgroup, generate a free group whose intersection with every conjugate of every coned-off subgroup is trivial. The algebraic half uses the fact that finite subgroups of $\mathrm{Aut}(F_n)$ act faithfully on the abelianization, so a word $w = x_1 x_2^N$ can be chosen whose abelianized image is not an eigenvector of any nontrivial finite-automorphism image; this forces the finite part of the commensurator to centralize the free subgroup, giving $H_1 \times A$.

What would settle it

In the free group $F_2 = \langle x_1, x_2 \rangle$, take $w = x_1 x_2$, which starts and ends with powers of different generators, and check whether the closure of $\{(wg)^\infty : g \in [F_2,F_2],\, wg \text{ cyclically reduced}\}$ has nonempty interior in $\partial F_2$; if not, Lemma 4.16's omitted Case 2 fails and the ping-pong construction of Proposition 4.17 would need a different proof.

Watch

Extended reading notes

Core claim

The central claim is Theorem 5.2. If $G$ is a nonelementary hyperbolic group and $H$ is a nonelementary quasiconvex subgroup of $G$, then there is a free subgroup $H_1 \cong F_2$ of $H$ such that $\mathrm{Comm}_G(H_1) = H_1 \times A$ for some finite subgroup $A$ of $G$, and the product $H_1 A \cong H_1 \times A$ is weakly malnormal and quasiconvex in $G$. This is the first written treatment for hyperbolic groups that may have torsion; the torsion-free case was known. The authors' construction first produces a quasiconvex free subgroup whose commensurator is a free-by-finite extension with finite normal part, then passes to a rank-two subgroup inside it so that the finite part centralizes it and the whole product is weakly malnormal.

Load-bearing premise

The load-bearing premise is Lemma 4.16, whose proof is completed only for words that start and end with the same generator; the second case is left as a 'simple exercise', and Proposition 4.17, Proposition 5.1, and Theorem 5.2 all depend on it.

Editorial extensions

If this is right

  • Every nonelementary hyperbolic group, with or without torsion, contains a weakly malnormal quasiconvex subgroup that is virtually free.
  • The commensurator of the constructed subgroup is as small as possible: it is the product of the free subgroup and a finite subgroup.
  • The non-quasiconvex embedding theorem follows: any nonelementary hyperbolic group appears as a non-quasiconvex subgroup of some hyperbolic group.
  • By Remark 5.4 the rank of the free factor can be increased arbitrarily without losing weak malnormality.

Reading between the lines

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

  • If the construction were run inside a torsion-free finite-index subgroup of $G$, one might hope for full malnormality rather than weak malnormality; the paper does not attempt this, and torsion in $G$ is the stated obstacle.
  • The proof of Lemma 4.16 divides into two cases and leaves the second as an exercise; the main theorem therefore currently rests on that omitted verification.
  • The normality assertion for $F$ in $\mathrm{Comm}_G(F)$ inside Proposition 5.3 is labelled 'Clearly' but does not follow from the stated Proposition 5.1; a complete proof would need to establish or replace it.
  • The coned-off ping-pong criterion is not specific to free groups and may provide a template for similar existence results in other classes of groups with quasiconvex subgroups, though the paper does not pursue this.
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

4 major / 3 minor

Summary. The paper claims a generalization of Ilya Kapovich's theorem: in every nonelementary hyperbolic group G, every nonelementary quasiconvex subgroup H contains a free subgroup H_1 of rank at least 2 such that Comm_G(H_1) is of the form H_1 × A with A finite, and H_1A is weakly malnormal and quasiconvex in G. The proof proceeds by combining tools from hyperbolic geometry (coned-off graphs, limit sets, ping-pong) with an algebraic analysis of virtually free groups, and then derives an application to non-quasiconvex embeddings via the Bestvina–Feighn combination theorem. The strategy is coherent and follows the broad outline of Kapovich's work, but several load-bearing steps are underproved as written.

Significance. If the main theorem is correct, it is a natural and useful extension of Kapovich's malnormal-subgroup theorem to hyperbolic groups with torsion, and it feeds into a clean non-quasiconvexity embedding result. The paper is largely self-contained against standard prior results (Kapovich, GMRS, Bestvina–Feighn, Stallings, Baumslag–Taylor) and the overall approach is credible. The main gaps are technical rather than architectural: the authors leave a key boundary-approximation case as an exercise, and one normality assertion is made without proof. I regard the result as likely true, but the manuscript as submitted does not yet fully secure the central claims.

major comments (4)
  1. [4.2 (Lemma 4.16)] The proof of Lemma 4.16 explicitly leaves Case 2, where w starts and ends with powers of two different basis elements, as 'a simple exercise for the reader.' This case is load-bearing: Proposition 4.17, Proposition 5.1, Proposition 5.3, and Theorem 5.2 all depend on the conclusion that the closure of the set A has nonempty interior in ∂G. The manuscript must supply a complete argument for Case 2, including the verification that the constructed elements g_n lie in [G,G] and that w g_n is reduced and cyclically reduced. The existing Case 1 discussion also does not address possible cancellation between a terminal power of w and an initial power of w_k when the signs of the exponents are opposite.
  2. [4.2 (Proposition 4.17)] After showing that A\∪_{gE_i∈F_D}Λ(gE_i) is infinite, the proof asserts 'Hence, we may choose g_1,g_2 from A\∪... satisfying the desired properties.' Infinite cardinality alone does not guarantee two elements with disjoint pairs of fixed points. An explicit argument is needed: for instance, one can use the nonempty interior supplied by Lemma 4.16 to find two boundary points whose full geodesic axes avoid the relevant limit sets and then realize them by elements of A. As written, the existence of an independent pair is not established.
  3. [5 (Proposition 5.3)] The assertion 'Clearly then F = F ∩ F_3 satisfies the properties of the proposition' is not justified. Proposition 5.1, as stated, does not conclude that its subgroup H_1 is normal in Comm_G(H_1), and the preceding argument in Proposition 5.3 does not establish normality of F_3 in Comm_G(F_3). Since normality is part of Proposition 5.3(2), the authors must supply a proof (for example, by replacing F_3 with its normal core in Comm_G(F_3) after checking that the intersection-triviality properties are preserved) or reformulate Proposition 5.3.
  4. [5 (Theorem 5.2, Step 2)] The final paragraph of Step 2 reads as a sketch rather than a complete proof. The claims that H_1A is weakly malnormal in G_3, that Comm_G(H_1)=Comm_{G_3}(H_1), and that H_1A is weakly malnormal in G are asserted without detailed verification of the cases (elements of G_3\H_1A, elements of G\G_3, and mixed elements). Since Theorem 5.2 is the main result, this step should be written out in full.
minor comments (3)
  1. [Throughout] The conjugation notation E^h is used without stating whether it means hEh^{-1} or h^{-1}Eh; since Proposition 5.3's intersection-triviality property depends on this convention, it should be fixed explicitly.
  2. [4.2 (Lemma 4.16)] In the definition of w_k, the word is written as w_k=x_{p_1}^{r_1}...x_{p_i}^{r_i} with p_1=1, but the condition that p_1=1 depends on the subcase; this notation is confusing and should be clarified.
  3. [4.2 (Proposition 4.17)] The proof uses the fact that a cyclically reduced word's geodesic axis passes through 1, but this is only implicit; stating it explicitly would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof is self-contained against external benchmarks, and the identified gaps are incompletenesses, not circular reductions.

full rationale

The paper's derivation chain rests on external benchmarks rather than on its own conclusion: Proposition 4.13 uses hyperbolicity of coned-off graphs (Kapovich–Rafi, Dowdall–Taylor), Proposition 4.17 uses Lemma 4.16 plus Baire category, Proposition 5.1 uses Theorem 2.8 of Baumslag–Taylor and Stallings' theorem, and Theorem 5.2 uses Proposition 5.1 together with Kapovich's Theorem 2.5. None of these inputs is the paper's target claim, and none is defined in terms of the target claim. The self-citations [KS24], [ST25], and [HMS25] supply background lemmas about coned-off spaces, quasiisometric embeddings, and Cannon–Thurston maps; they are not invoked as the source of the existence of weakly malnormal quasiconvex subgroups. Lemma 4.16 does contain a genuinely omitted case ('we skip the details ... leave it as a simple exercise for the reader'), and Proposition 5.3 contains a 'Clearly' assertion about normality of F in Comm_G(F) that is not justified as written; however, an omitted proof or a dubious 'clearly' is a correctness gap, not a circular step. The construction of H1 via elements wg with g in the commutator subgroup does force the abelianization of H0 to be cyclic, but that is an intended feature of the construction, not a disguised restatement of the desired conclusion. There is no exhibited equation, definition, or self-citation chain in which a prediction reduces by construction to its inputs. Accordingly, the appropriate circularity score is 0.

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

No new entities or empirically fitted constants are introduced. The proof depends on standard theorems (coned-off hyperbolicity, boundary homeomorphism, Stallings, Baumslag-Taylor, Bestvina-Feighn) plus two underproved internal claims listed above.

assumptions (7)
  • standard math The coned-off graph of a Cayley graph of a hyperbolic group by finitely many quasiconvex subgroups is hyperbolic (Proposition 4.9).
    Imported from [KR14, Proposition 2.6]; used in Proposition 4.13 to run the ping-pong lemma on the coned-off graph.
  • standard math For a hyperbolic group coned off by quasiconvex subgroups, the boundary of the coned-off graph is homeomorphic to the set of points in ∂G with infinite diameter rays (Theorem 4.11).
    Imported from [DT17, Theorem 3.2] and [AM24, Theorem 6.7]; used in Proposition 4.12 to identify elliptic versus loxodromic action on the coned-off graph.
  • standard math Torsion-free virtually free groups are free (Stallings' theorem).
    Used in Claim 2 of Proposition 5.1 to express Comm_G(H0)/A as a free group and split the commensurator.
  • standard math The restriction of Aut(F_n) to GL_n(Z) is faithful on finite subgroups (Baumslag-Taylor).
    Used in Claim 1 of Proposition 5.1 to show finite order elements of Comm_G(H0) centralize H.
  • standard math The Bestvina-Feighn combination theorem applies to the HNN extension in Theorem 5.5.
    Imported from [BF96, Theorem 1.2]; the sketch says 'easy case' under weak malnormality but the verification is not given in detail.
  • ad hoc to paper Lemma 4.16: the closure of A={(wg)^∞ : g∈[G,G], wg cyclically reduced and reduced} has nonempty interior in ∂G, including the case where w starts and ends with powers of different generators.
    The proof of the second case is delegated to the reader; this is needed for Proposition 4.17 and hence for the main theorem.
  • ad hoc to paper In Proposition 5.3, the subgroup F = \mathcal{F} ∩ F3 is a finite index normal subgroup of Comm_G(F).
    Stated as 'Clearly' but not derived; normality is used in the Step 2 argument of Theorem 5.2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the existence of weakly malnormal quasiconvex subgroups of hyperbolic groups." pith.science (2026). https://pith.science/paper/42VCRE37

@misc{pith2026250620161,
  author       = {Pith},
  title        = {Pith review of: On the existence of weakly malnormal quasiconvex subgroups of hyperbolic groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/42VCRE37}},
  note         = {Machine review of arXiv:2506.20161}
}
read the original abstract

In this short note, we prove the existence of weakly malnormal, virtually free, quasiconvex subgroups in any nonelementary hyperbolic group. This extends a result of Ilya Kapovich, where he proved the existence of malnormal quasiconvex subgroups in torsion-free hyperbolic groups.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 14 canonical work pages

  1. [1]

    J. M. Alonso, T. Brady, D. Cooper, V. Ferlini, M. Lustig, M. Mihalik, M. Shapiro, and H. Short, Notes on word hyperbolic groups, Group theory from a geometrical viewpoint ( T rieste, 1990), World Sci. Publ., River Edge, NJ, 1991, Edited by Short, pp. 3--63. 1170363

    1990

  2. [2]

    Abbott and Jason F

    Carolyn R. Abbott and Jason F. Manning, Acylindrically hyperbolic groups and their quasi-isometrically embedded subgroups, Michigan Math. J. 74 (2024), no. 2, 357--402. 4739420

    work page 2024

  3. [3]

    London Math

    Benjamin Baumslag, Generalized free products whose two-generator subgroups are free, J. London Math. Soc. 43 (1968), 601--606. 233896

    work page 1968

  4. [4]

    Differential Geom

    Mladen Bestvina and Mark Feighn, A combination theorem for negatively curved groups, J. Differential Geom. 35 (1992), no. 1, 85--101. 1152226

    1992

  5. [5]

    D ifferential G eom

    , Addendum and correction to: `` A combination theorem for negatively curved groups'' [ J . D ifferential G eom. 35 (1992), no. 1, 85--101; MR 1152226 (93d:53053)] , J. Differential Geom. 43 (1996), no. 4, 783--788. 1412684

    work page 1992

  6. [6]

    Feighn, and Michael Handel, Laminations, trees, and irreducible automorphisms of free groups, Geom

    Mladen Bestvina, Mark E. Feighn, and Michael Handel, Laminations, trees, and irreducible automorphisms of free groups, Geom. Funct. Anal. 7 (1997), no. 2, 215--244. 1445386

    1997

  7. [7]

    Bridson and Andr\'e Haefliger, Metric spaces of non-positive curvature, Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol

    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

    1999

  8. [8]

    Peter Brinkmann, Hyperbolic automorphisms of free groups, Geom. Funct. Anal. 10 (2000), no. 5, 1071--1089. 1800064

    work page 2000

Show all 28 references
  1. [9]

    Gilbert Baumslag and Tekla Taylor, The centre of groups with one defining relator, Math. Ann. 175 (1968), 315--319. 222144

    1968

  2. [10]

    Michel Coornaert, Mesures de P atterson- S ullivan sur le bord d'un espace hyperbolique au sens de G romov , Pacific J. Math. 159 (1993), no. 2, 241--270. 1214072

    1993

  3. [11]

    Ramanujan Math

    Shubhabrata Das and Mahan Mj, Controlled F loyd separation and non relatively hyperbolic groups , J. Ramanujan Math. Soc. 30 (2015), no. 3, 267--294. 3385238

    2015

  4. [12]

    Taylor, The co-surface graph and the geometry of hyperbolic free group extensions, J

    Spencer Dowdall and Samuel J. Taylor, The co-surface graph and the geometry of hyperbolic free group extensions, J. Topol. 10 (2017), no. 2, 447--482. 3653318

    2017

  5. [13]

    Benson Farb, Relatively hyperbolic groups, Geom. Funct. Anal. 8 (1998), no. 5, 810--840. 1650094

    1998

  6. [14]

    83, Birkh\" a user Boston, Inc., Boston, MA, 1990, Papers from the Swiss Seminar on Hyperbolic Groups held in Bern, 1988

    \' E tienne Ghys and Pierre de la Harpe (eds.), Sur les groupes hyperboliques d'apr\`es M ikhael G romov , Progress in Mathematics, vol. 83, Birkh\" a user Boston, Inc., Boston, MA, 1990, Papers from the Swiss Seminar on Hyperbolic Groups held in Bern, 1988. 1086648

    1990

  7. [15]

    Rita Gitik, Mahan Mitra, Eliyahu Rips, and Michah Sageev, Widths of subgroups, Trans. Amer. Math. Soc. 350 (1998), no. 1, 321--329. 1389776

    1998

  8. [16]

    Gromov, Hyperbolic groups, Essays in group theory, Math

    M. Gromov, Hyperbolic groups, Essays in group theory, Math. Sci. Res. Inst. Publ., vol. 8, Springer, New York, 1987, pp. 75--263. 919829

    1987

  9. [17]

    Rakesh Halder, Mahan Mj, and Pranab Sardar, Landing rays and ray C annon-- T hurston maps , https://arxiv.org/abs/2503.17815, https://arxiv.org/abs/2503.17815 (2025)

    2025 arXiv

  10. [18]

    Ilya Kapovich, A non-quasiconvexity embedding theorem for hyperbolic groups, Math. Proc. Cambridge Philos. Soc. 127 (1999), no. 3, 461--486. 1713122

    1999

  11. [19]

    Ilya Kapovich and Kasra Rafi, On hyperbolicity of free splitting and free factor complexes, Groups Geom. Dyn. 8 (2014), no. 2, 391--414. 3231221

    2014

  12. [20]

    282, American Mathematical Society, Providence, RI, [2024] 2024

    Michael Kapovich and Pranab Sardar, Trees of hyperbolic spaces, Mathematical Surveys and Monographs, vol. 282, American Mathematical Society, Providence, RI, [2024] 2024. 4783431

    2024

  13. [21]

    Mahan Mitra, Ending laminations for hyperbolic group extensions, Geom. Funct. Anal. 7 (1997), no. 2, 379--402. 1445392

    1997

  14. [22]

    Group Theory 17 (2014), no

    Yoshifumi Matsuda and Shin-ichi Oguni, On C annon- T hurston maps for relatively hyperbolic groups , J. Group Theory 17 (2014), no. 1, 41--47. 3176651

    2014

  15. [23]

    Mahan Mj and Pranab Sardar, A combination theorem for metric bundles, Geom. Funct. Anal. 22 (2012), no. 6, 1636--1707. 3000500

    2012

  16. [24]

    Publ., River Edge, NJ, 1991, pp

    Hamish Short, Quasiconvexity and a theorem of H owson's , Group theory from a geometrical viewpoint ( T rieste, 1990), World Sci. Publ., River Edge, NJ, 1991, pp. 168--176. 1170365

    1990

  17. [25]

    Indian Acad

    Pranab Sardar and Ravi Tomar, On the geometry of coned-off spaces and C annon- T hurston maps , Proc. Indian Acad. Sci. Math. Sci. 135 (2025), no. 1, Paper No. 1, 39. 4844109

    2025

  18. [26]

    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. 228573

    1968

  19. [27]

    Wise, The residual finiteness of positive one-relator groups, Comment

    Daniel T. Wise, The residual finiteness of positive one-relator groups, Comment. Math. Helv. 76 (2001), no. 2, 314--338. 1839349

    2001

  20. [28]

    London Math

    , Residual finiteness of quasi-positive one-relator groups, J. London Math. Soc. (2) 66 (2002), no. 2, 334--350. 1920406

    2002

Pith tools

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