pith. sign in

arxiv: 1907.06898 · v1 · pith:QB26IO2Wnew · submitted 2019-07-16 · 🧮 math.GT · math.GR

Some groups with planar boundaries

Sang-hyun Kim , Genevieve S. Walsh This is my paper

Pith reviewed 2026-05-24 20:49 UTC · model grok-4.3

classification 🧮 math.GT math.GR MSC 20F67
keywords hyperbolic groupsgroup boundariesamalgamsplanar boundariesgeometric group theoryfree groups
0
0 comments X

The pith

Certain amalgams of hyperbolic groups have planar boundaries.

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

This expository note uses special cases of amalgams formed from hyperbolic groups to illustrate phenomena and conjectures about boundaries of hyperbolic groups. It reviews fundamental results on hyperbolic groups and their boundaries due to Bowditch and Haissinsky, together with special treatments for the boundaries of free groups due to Otal and Cashen. A sympathetic reader cares because the examples turn abstract statements about boundary topology into concrete constructions that can be examined directly. If the amalgams behave as claimed, they supply test cases for broader questions about which groups have which kinds of boundaries.

Core claim

By examining certain amalgams of hyperbolic groups the authors exhibit groups whose boundaries are planar and thereby illustrate the phenomena and conjectures described in the literature on hyperbolic group boundaries.

What carries the argument

Amalgams of hyperbolic groups, which produce examples whose boundaries are planar surfaces and thereby demonstrate the general results on boundaries.

If this is right

  • The boundaries of the amalgams supply explicit instances of the general theory of hyperbolic group boundaries.
  • These constructions test conjectures about when such boundaries are manifolds or spheres.
  • The examples connect results for free groups to more complicated amalgamated products.

Where Pith is reading between the lines

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

  • Similar amalgam constructions might produce boundaries with other controlled topological features beyond planarity.
  • The same method could be applied to other classes of groups to generate further families of examples with prescribed boundaries.

Load-bearing premise

The special cases of amalgams considered are representative enough of general hyperbolic group behavior to usefully illustrate the cited phenomena and conjectures from Bowditch, Haissinsky, Otal and Cashen.

What would settle it

A direct computation or topological argument showing that the boundary of one of the specific amalgams is not a planar surface would refute the claim that these groups have planar boundaries.

read the original abstract

In this expository note, we illustrate phenomena and conjectures about boundaries of hyperbolic groups by considering the special cases of certain amalgams of hyperbolic groups. While doing so, we describe fundamental results on hyperbolic groups and their boundaries by Bowditch and Haissinsky, along with special treatments for the boundaries of free groups by Otal and Cashen.

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

0 major / 0 minor

Summary. The manuscript is an expository note that uses special cases of amalgams of hyperbolic groups to illustrate phenomena and conjectures about boundaries of hyperbolic groups. It reviews fundamental results on hyperbolic groups and their boundaries due to Bowditch and Haissinsky, together with treatments of free-group boundaries due to Otal and Cashen.

Significance. As an expository piece with no new theorems or constructions asserted, the note's value lies in providing concrete illustrations of existing results and open questions from the cited literature. If the chosen amalgams accurately reflect the cited phenomena, the manuscript could serve as a helpful reference for readers seeking examples of groups with planar boundaries.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report accurately captures the expository nature of the note.

Circularity Check

0 steps flagged

Expository note; no derivations or predictions to inspect

full rationale

The paper is explicitly an expository note whose purpose is to illustrate existing phenomena and conjectures from Bowditch, Haissinsky, Otal and Cashen by reference to already-studied amalgams. No new theorems, equations, predictions, or derivations are asserted, so no load-bearing steps exist that could reduce to self-definition, fitted inputs, or self-citation chains. All cited results are external and independent of the present authors.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Expository paper; the abstract introduces no new free parameters, axioms beyond standard domain assumptions, or invented entities.

axioms (1)
  • domain assumption Hyperbolic groups possess boundaries with properties established by Bowditch and Haissinsky
    The note relies on these fundamental results to frame its illustrations.

pith-pipeline@v0.9.0 · 5567 in / 1082 out tokens · 28713 ms · 2026-05-24T20:49:55.662803+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages

  1. [1]

    Bestvina and M

    M. Bestvina and M. Feighn, A combination theorem for negatively curved groups , J. Differ- ential Geom. 35 (1992), no. 1, 85–101

    work page 1992

  2. [2]

    Bestvina and G

    M. Bestvina and G. Mess, The boundary of negatively curved groups , J. Amer. Math. Soc. 4 (1991), no. 3, 469–481. MR1096169

    work page 1991

  3. [3]

    B. H. Bowditch, Geometrical finiteness for hyperbolic groups , J. Funct. Anal. 113 (1993), no. 2, 245–317. MR1218098 (94e:57016)

    work page 1993

  4. [4]

    180 (1998), no

    , Cut points and canonical splittings of hyperbolic groups , Acta Math. 180 (1998), no. 2, 145–186

    work page 1998

  5. [5]

    , Connectedness properties of limit sets , Trans. Amer. Math. Soc. 351 (1999), no. 9, 3673–3686. MR1624089 (2000d:20056)

    work page 1999

  6. [6]

    , Relatively hyperbolic groups, Internat. J. Algebra Comput. 22 (2012), no. 3, 1250016,

    work page 2012

  7. [7]

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

    work page 1999

  8. [8]

    R. D. Canary, Ends of hyperbolic 3-manifolds, J. Amer. Math. Soc. 6 (1993), no. 1, 1–35

    work page 1993

  9. [9]

    J. W. Cannon and D. Cooper, A characterization of cocompact hyperbolic and finite-volu me hyperbolic groups in dimension three , Trans. Amer. Math. Soc. 330, no. 1, 419–431

    work page

  10. [10]

    C. r H. Cashen, Splitting line patterns in free groups , Algebr. Geom. Topol. 16 (2016), no. 2, 621–673. MR3493403

    work page 2016

  11. [11]

    A. J. Casson and D. Jungreis, Convergence groups and Seifert fibered 3-manifolds , Invent. Math 118 (1994), 441–456

    work page 1994

  12. [12]

    Gabai, Convergence groups are fuchsian groups , Ann

    D. Gabai, Convergence groups are fuchsian groups , Ann. Math. 136 (1992), 447–510

    work page 1992

  13. [13]

    Gerasimov and L

    V. Gerasimov and L. Potyagailo, Quasi-isometric maps and floyd boundaries of relatively hyperbolic groups, Journal of the European Mathematical Society 15 (2009), no. 6

    work page 2009

  14. [14]

    C. McA. Gordon and H. Wilton, On surface subgroups of doubles of free groups , J. Lond. Math. Soc. (2) 82 (2010), no. 1, 17–31. MR2669638 (2011k:20085)

    work page 2010

  15. [15]

    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

    work page 1987

  16. [16]

    Groves, J

    D. Groves, J. F Manning, and A. Sisto, Boundaries of Dehn fillings , Geometry and Topology (to appear)

    work page

  17. [17]

    Hagen and D.l T

    M. Hagen and D.l T. Wise, Special groups with an elementary hierarchy are virtually f ree- by-Z, Groups Geom. Dyn. 4 (2010), no. 3, 597–603. MR2653976 DISCUSSION 19

    work page 2010

  18. [18]

    Ha ¨ ıssinsky,Hyperbolic groups with planar boundaries , Invent

    P. Ha ¨ ıssinsky,Hyperbolic groups with planar boundaries , Invent. Math. 201 (2015), no. 1, 239–307. MR3359053

    work page 2015

  19. [19]

    Haulmark, Local cut points and splittings of relatively hyperbolic gr oups, arXiv e-prints (2017), arXiv:1708.02855

    M. Haulmark, Local cut points and splittings of relatively hyperbolic gr oups, arXiv e-prints (2017), arXiv:1708.02855

    work page arXiv 2017

  20. [20]

    B. B. Healy, Rigidity properties for hyperbolic generalizations , (2018), Preprint, arXiv:1803.10153

    work page arXiv 2018

  21. [21]

    G. C. Hruska, Relative hyperbolicity and relative quasiconvexity for co untable groups, Algebr. Geom. Topol. 10 (2010), no. 3, 1807–1856. MR2684983 (2011k:20086)

    work page 2010

  22. [22]

    G. C. Hruska and G. W alsh, Relatively hyperbolic groups with planar boundary , (2019), Preprint

    work page 2019

  23. [23]

    G. C. Hruska, E. Stark, and H. C. Tran, Surface group amalgams that (don ’t) act on 3- manifolds, American Journal of Mathematics, to appear, arXiv:1705.0 1361

    work page

  24. [24]

    Hurewicz and H

    W. Hurewicz and H. W allman, Dimension theory , Princeton University Press, Princeton, N. J., 1941

    work page 1941

  25. [25]

    Kapovich and N

    I. Kapovich and N. Benakli, Boundaries of hyperbolic groups , Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001), Contemp. M ath., vol. 296, Amer. Math. Soc., Providence, RI, 2002, pp. 39–93. MR1921706

    work page 2000

  26. [27]

    Kapovich Lectures on quasi-isometric rigidity , PCMI Lecture Note Series, (2012)

    M. Kapovich Lectures on quasi-isometric rigidity , PCMI Lecture Note Series, (2012)

    work page 2012

  27. [28]

    Kapovich and B

    M. Kapovich and B. Kleiner, Hyperbolic groups with low-dimensional boundary , Ann. Sci. ´Ecole Norm. Sup. (4) 33 (2000), no. 5, 647–669. MR1834498

    work page 2000

  28. [29]

    Kapovich, Problems on boundaries of groups and kleinian groups , 2007

    M. Kapovich, Problems on boundaries of groups and kleinian groups , 2007

    work page 2007

  29. [30]

    Kim and H

    S.-h. Kim and H. Wilton, Polygonal words in free groups , Q. J. Math. 63 (2012), no. 2, 399–421. MR2925298

    work page 2012

  30. [31]

    Louder and N

    L. Louder and N. Touikan, Strong accessibility for finitely presented groups , Geometry and Topology 21, 1805?1835

    work page

  31. [32]

    J. F. Manning, The bowditch boundary of pG, Hq when G is hyperbolic, arXiv:1504.03630

    work page arXiv

  32. [33]

    J. W. Morgan, On Thurston ’s uniformization theorem for three-dimension al manifolds , The Smith conjecture (New York, 1979), Pure Appl. Math., vol. 11 2, Academic Press, Orlando, FL, 1984, pp. 37–125. MR758464

    work page 1979

  33. [34]

    Otal, Certaines relations d’´ equivalence sur l’ensemble des bou ts d’un groupe libre , J

    J.-P. Otal, Certaines relations d’´ equivalence sur l’ensemble des bou ts d’un groupe libre , J. London Math. Soc. (2) 46 (1992), no. 1, 123–139. MR1180888

    work page 1992

  34. [35]

    Scott and T

    P. Scott and T. W all, Topological methods in group theory , Homological group theory (Proc. Sympos., Durham, 1977), London Math. Soc. Lecture Note Ser. , vol. 36, Cambridge Univ. Press, Cambridge, 1979, pp. 137–203. MR564422 (81m:57002)

    work page 1977

  35. [36]

    Series, A crash course on Kleinian groups , Rend

    C. Series, A crash course on Kleinian groups , Rend. Istit. Mat. Univ. Trieste 37 (2005), no. 1-2, 1–38 (2006). MR2227047

    work page 2005

  36. [37]

    MR1954121

    J.-P Serre, Trees, Springer Monographs in Mathematics, Springer-Verlag, Be rlin, 2003, Trans- lated from the French original by John Stillwell, Corrected 2nd printing of the 1980 English translation. MR1954121

    work page 2003

  37. [38]

    Short, Groups and combings , (1990)

    H. Short, Groups and combings , (1990)

    work page 1990

  38. [39]

    Sullivan, On the ergodic theory at infinity of an arbitrary discrete gro up of hyperbolic motions, Proc

    D. Sullivan, On the ergodic theory at infinity of an arbitrary discrete gro up of hyperbolic motions, Proc. Stony Brook Conf., Ann. of Math. Studies No. 97, Princ eton Univ. Press, Princeton, N.J., 1981, pp. 465-496

    work page 1981

  39. [40]

    H. C. Tran, Relations between various boundaries of relatively hyperb olic groups, Internat. J. Algebra Comput. 23 (2013), no. 7, 1551–1572. MR3143594

    work page 2013

  40. [41]

    Tukia, Homeomorphic conjugates of fuchsian groups , J

    P. Tukia, Homeomorphic conjugates of fuchsian groups , J. Reine Angew. Math. 391 (1988), 1–54. School of Mathematics, Korea Institute for Advanced Study, S eoul, Korea E-mail address : skim.math@gmail.com URL: http://cayley.kr Tufts University, USA E-mail address : genevieve.walsh@tufts.edu

    work page 1988