Branched Covers of Hyperbolic Groups
Pith reviewed 2026-06-26 21:48 UTC · model grok-4.3
The pith
Dehn fillings along quasiconvex subgroups induce branched covers of hyperbolic groups with spherical boundary under extra assumptions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Given a hyperbolic group G and a quasiconvex subgroup Q, a branched cover of G along Q is a hyperbolic group H together with a map H to G that obeys the branched-cover axioms. Certain deepness assumptions on Dehn fillings of G along Q induce such an H, and additional assumptions on the fillings make the boundary of H homeomorphic to S^2.
What carries the argument
The branched cover of G along Q, realized by a Dehn-filling construction that produces a hyperbolic group H carrying a map to G satisfying the branched-cover axioms.
If this is right
- The construction supplies many new examples of branched covers of hyperbolic groups beyond the classical 3-manifold setting.
- Under the extra assumptions the resulting groups have Gromov boundary equal to the two-sphere.
- The method extends drilling-and-filling techniques to produce hyperbolic groups whose boundaries are controlled by the choice of filling.
- The spherical-boundary examples supply concrete instances that can be compared with the Cannon conjecture.
Where Pith is reading between the lines
- The same filling technique might be used to produce hyperbolic groups whose boundaries are other prescribed surfaces or manifolds.
- Explicit computation of the boundary for small examples would test whether the additional assumptions hold in practice.
- The construction could be iterated to produce towers of branched covers with successively controlled boundaries.
Load-bearing premise
The quasiconvexity of Q together with the depth conditions on the Dehn filling must guarantee that the resulting group H is hyperbolic and satisfies the branched-cover map properties.
What would settle it
An explicit hyperbolic group G, quasiconvex subgroup Q, and set of deep Dehn-filling parameters such that the output group fails to be hyperbolic or the induced map fails to satisfy the branched-cover axioms.
read the original abstract
Given a hyperbolic group $G$ and a quasiconvex subgroup $Q$, we define a \emph{branched cover of $G$ along $g$}, which is a hyperbolic group $H$ with a certain map into $G$. This builds on recent work on drilling hyperbolic groups and generalizes the case where $G$ is the fundamental group of a closed hyperbolic $3$-manifold $M$, $Q \cong \mathbb{Z}$ is represented by an embedded geodesic loop $\gamma$, and $H$ is the fundamental group of a branched cover of $M$ with branching locus $\gamma$. We show that certain deepness assumptions on Dehn fillings induce branched covers, providing many examples of such branched covers. Some additional assumptions imply these branched covers have boundary $S^2$, which may hold interest for the Cannon Conjecture.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a branched cover of a hyperbolic group G along a quasiconvex subgroup Q as a hyperbolic group H equipped with a homomorphism to G satisfying certain map axioms that generalize the fundamental-group case of branched covers of closed hyperbolic 3-manifolds along geodesic loops. It proves an existence result: under suitable deepness assumptions on Dehn fillings of G along Q, the resulting filled group H together with its natural map to G realizes such a branched cover. Additional assumptions are shown to imply that the Gromov boundary of H is homeomorphic to S^2, with possible relevance to the Cannon Conjecture.
Significance. If the existence theorem and boundary conclusion hold, the work supplies a flexible group-theoretic construction of hyperbolic groups with prescribed quasiconvex subgroups and controlled boundaries, extending drilling techniques beyond the manifold setting and furnishing new examples that could be tested against the Cannon Conjecture. The explicit use of Dehn-filling depth hypotheses to guarantee both hyperbolicity and the branched-cover map properties is a concrete technical advance.
major comments (2)
- [abstract, paragraph 2] Definition of branched cover (abstract, paragraph 2): the existence claim requires that the Dehn-filling output H and its homomorphism to G satisfy every clause of the branched-cover axioms (local-homeomorphism condition, kernel control, and limit-set behavior). The deepness hypotheses are stated to guarantee hyperbolicity of H, but it is not immediate from the abstract that they also enforce the precise map axioms that distinguish a branched cover from an ordinary quotient; this verification is load-bearing for the central existence result.
- [abstract, final sentence] Boundary conclusion (abstract, final sentence): the additional assumptions that are said to force the boundary of H to be S^2 must be stated explicitly and shown to interact correctly with the branched-cover map; without a concrete list of those assumptions and the argument that they imply the boundary homeomorphism, the link to the Cannon Conjecture remains formal.
minor comments (1)
- [abstract] The abstract refers to 'certain deepness assumptions' and 'additional assumptions' without naming them; a brief parenthetical indication of their form would help readers assess the hypotheses at a glance.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the specific comments on the abstract. We address each point below.
read point-by-point responses
-
Referee: [abstract, paragraph 2] Definition of branched cover (abstract, paragraph 2): the existence claim requires that the Dehn-filling output H and its homomorphism to G satisfy every clause of the branched-cover axioms (local-homeomorphism condition, kernel control, and limit-set behavior). The deepness hypotheses are stated to guarantee hyperbolicity of H, but it is not immediate from the abstract that they also enforce the precise map axioms that distinguish a branched cover from an ordinary quotient; this verification is load-bearing for the central existence result.
Authors: The referee correctly observes that the abstract summarizes the result without spelling out how the deepness hypotheses enforce the full branched-cover axioms. The body of the paper (proof of the main existence theorem) verifies that the stated depth conditions on the Dehn fillings ensure hyperbolicity together with the local-homeomorphism, kernel-control, and limit-set properties required by the definition. We will revise the abstract to state explicitly that the deepness hypotheses guarantee both hyperbolicity and the complete set of map axioms. revision: yes
-
Referee: [abstract, final sentence] Boundary conclusion (abstract, final sentence): the additional assumptions that are said to force the boundary of H to be S^2 must be stated explicitly and shown to interact correctly with the branched-cover map; without a concrete list of those assumptions and the argument that they imply the boundary homeomorphism, the link to the Cannon Conjecture remains formal.
Authors: We agree that the abstract's final sentence is insufficiently precise. The manuscript states the additional assumptions explicitly before the boundary theorem and proves that they interact with the branched-cover map (via the limit-set behavior already verified for the map) to produce a boundary homeomorphic to S^2. We will revise the abstract to list these assumptions and note their interaction with the map. revision: yes
Circularity Check
No circularity: definition plus existence via external Dehn-filling technique
full rationale
The paper defines branched covers of hyperbolic groups along quasiconvex subgroups and then proves an existence result by applying Dehn fillings under stated deepness assumptions. No equation, construction, or self-citation reduces the claimed output (hyperbolic group H with the required map properties) to a quantity already fixed by the input definition or by a prior result of the same author. The derivation chain therefore remains self-contained against external benchmarks in geometric group theory.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Hyperbolic groups, quasiconvex subgroups, and Dehn fillings behave according to the standard theory in geometric group theory.
Reference graph
Works this paper leans on
-
[1]
Residual finiteness, QCERF and fillings of hyperbolic groups
Ian Agol, Daniel Groves, and Jason Fox Manning. Residual finiteness, QCERF and fillings of hyperbolic groups. Geom. Topol. , 13(2):1043--1073, 2009
2009
-
[2]
Relative homology and P oincar\'e duality for group pairs
Robert Bieri and Beno Eckmann. Relative homology and P oincar\'e duality for group pairs. J. Pure Appl. Algebra , 13(3):277--319, 1978
1978
-
[3]
Local homology properties of boundaries of groups
Mladen Bestvina. Local homology properties of boundaries of groups. Michigan Math. J. , 43(1):123--139, 1996
1996
-
[4]
Bridson and Andr\'e Haefliger
Martin R. Bridson and Andr\'e Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1999
1999
-
[5]
Geometrization of 3-dimensional orbifolds
Michel Boileau, Bernhard Leeb, and Joan Porti. Geometrization of 3-dimensional orbifolds. Ann. of Math. (2) , 162(1):195--290, 2005
2005
-
[6]
The boundary of negatively curved groups
Mladen Bestvina and Geoffrey Mess. The boundary of negatively curved groups. J. Amer. Math. Soc. , 4(3):469--481, 1991
1991
-
[7]
Kenneth S. Brown. Cohomology of groups , volume 87 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1994. Corrected reprint of the 1982 original
1994
-
[8]
D. E. Cohen and R. C. Lyndon. Free bases for normal subgroups of free groups. Trans. Amer. Math. Soc. , 108:526--537, 1963
1963
-
[9]
Small cancellation for random branched covers of groups, 2026
Hyeran Cho, Jean-François Lafont, and Rachel Skipper. Small cancellation for random branched covers of groups, 2026
2026
-
[10]
On the geometry of B urnside quotients of torsion free hyperbolic groups
R\'emi Coulon. On the geometry of B urnside quotients of torsion free hyperbolic groups. Internat. J. Algebra Comput. , 24(3):251--345, 2014
2014
-
[11]
Classifying spaces and boundaries for relatively hyperbolic groups
François Dahmani. Classifying spaces and boundaries for relatively hyperbolic groups. Proc. London Math. Soc. (3) , 86(3):666--684, 2003
2003
-
[12]
Guirardel, and D
François Dahmani, V. Guirardel, and D. Osin. Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces. Mem. Amer. Math. Soc. , 245(1156):v+152, 2017
2017
-
[13]
Manning, Damian Osajda, Alessandro Sisto, and Genevieve S
Daniel Groves, Peter Haïssinsky, Jason F. Manning, Damian Osajda, Alessandro Sisto, and Genevieve S. Walsh. Drilling hyperbolic groups, 2024
2024
-
[14]
Dehn filling in relatively hyperbolic groups
Daniel Groves and Jason Fox Manning. Dehn filling in relatively hyperbolic groups. Israel J. Math. , 168:317--429, 2008
2008
-
[15]
Quasiconvexity and D ehn filling
Daniel Groves and Jason Fox Manning. Quasiconvexity and D ehn filling. Amer. J. Math. , 143(1):95--124, 2021
2021
-
[16]
Boundaries of D ehn fillings
Daniel Groves, Jason Fox Manning, and Alessandro Sisto. Boundaries of D ehn fillings. Geom. Topol. , 23(6):2929--3002, 2019
2019
-
[17]
M. Gromov. Hyperbolic groups. In Essays in group theory , volume 8 of Math. Sci. Res. Inst. Publ. , pages 75--263. Springer, New York, 1987
1987
-
[18]
Bradley W. Groff. Quasi-isometries, boundaries and JSJ -decompositions of relatively hyperbolic groups. J. Topol. Anal. , 5(4):451--475, 2013
2013
-
[19]
Christopher Hruska
G. Christopher Hruska. Relative hyperbolicity and relative quasiconvexity for countable groups. Algebr. Geom. Topol. , 10(3):1807--1856, 2010
2010
-
[20]
Caramello Jr
Francisco C. Caramello Jr. Introduction to orbifolds, 2022
2022
-
[21]
F. E. A. Johnson and C. T. C. Wall. On groups satisfying P oincar\'e duality. Ann. of Math. (2) , 96:592--598, 1972
1972
-
[22]
Coarse A lexander duality and duality groups
Michael Kapovich and Bruce Kleiner. Coarse A lexander duality and duality groups. J. Differential Geom. , 69(2):279--352, 2005
2005
-
[23]
John W. Morgan. The S mith conjecture. In The S mith conjecture ( N ew Y ork, 1979) , volume 112 of Pure Appl. Math. , pages 3--6. Academic Press, Orlando, FL, 1984
1979
-
[24]
Manning and Oliver H
Jason F. Manning and Oliver H. Wang. Cohomology and the B owditch boundary. Michigan Math. J. , 69(3):633--669, 2020
2020
-
[25]
Denis V. Osin. Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems. Mem. Amer. Math. Soc. , 179(843):vi+100, 2006
2006
-
[26]
Denis V. Osin. Peripheral fillings of relatively hyperbolic groups. Invent. Math. , 167(2):295--326, 2007
2007
-
[27]
Cohomology of group theoretic D ehn fillings II
Nansen Petrosyan and Bin Sun. Cohomology of group theoretic D ehn fillings II . Adv. Math. , 437:Paper No. 109412, 56, 2024
2024
-
[28]
Geodesic knots in a hyperbolic 3 -manifold
Tsuyoshi Sakai. Geodesic knots in a hyperbolic 3 -manifold. Kobe J. Math. , 8(1):81--87, 1991
1991
-
[29]
On groups with S^2 B owditch boundary
Bena Tshishiku and Genevieve Walsh. On groups with S^2 B owditch boundary. Groups Geom. Dyn. , 14(3):791--811, 2020
2020
-
[30]
Martin, Alexandre , TITLE =. Geom. Topol. , FJOURNAL =. 2014 , NUMBER =. doi:10.2140/gt.2014.18.31 , URL =
-
[31]
Dahmani, François , TITLE =. Geom. Topol. , FJOURNAL =. 2003 , PAGES =. doi:10.2140/gt.2003.7.933 , URL =
-
[32]
Yaman, Asli , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2004 , PAGES =. doi:10.1515/crll.2004.007 , URL =
-
[33]
Tukia, Pekka , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1998 , PAGES =. doi:10.1515/crll.1998.081 , URL =
-
[34]
New Zealand J
Tukia, Pekka , TITLE =. New Zealand J. Math. , FJOURNAL =. 1994 , NUMBER =
1994
-
[35]
Bowditch, Brian H. , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1998 , NUMBER =. doi:10.1090/S0894-0347-98-00264-1 , URL =
-
[36]
, TITLE =
Bowditch, Brian H. , TITLE =. Geometric group theory down under (. 1999 , ISBN =
1999
-
[37]
Groves, Daniel and Manning, Jason Fox , TITLE =. Israel J. Math. , FJOURNAL =. 2008 , PAGES =. doi:10.1007/s11856-008-1070-6 , URL =
-
[38]
Groves, Daniel and Manning, Jason Fox , TITLE =. Amer. J. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.1353/ajm.2021.0007 , URL =
-
[39]
Agol, Ian and Groves, Daniel and Manning, Jason Fox , TITLE =. Geom. Topol. , FJOURNAL =. 2009 , NUMBER =. doi:10.2140/gt.2009.13.1043 , URL =
-
[40]
Yang, Wenyuan , TITLE =. Geom. Dedicata , FJOURNAL =. 2012 , PAGES =. doi:10.1007/s10711-011-9586-z , URL =
-
[41]
Christopher and Wise, Daniel T
Hruska, G. Christopher and Wise, Daniel T. , TITLE =. Geom. Topol. , FJOURNAL =. 2009 , NUMBER =. doi:10.2140/gt.2009.13.1945 , URL =
-
[42]
Bestvina, Mladen and Mess, Geoffrey , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 1991 , NUMBER =. doi:10.2307/2939264 , URL =
-
[43]
and Haefliger, Andr\'e , TITLE =
Bridson, Martin R. and Haefliger, Andr\'e , TITLE =. 1999 , PAGES =. doi:10.1007/978-3-662-12494-9 , URL =
-
[44]
, TITLE =
Bridson, Martin R. , TITLE =. 1991 , PAGES =
1991
-
[45]
Johnson, F. E. A. and Wall, C. T. C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1972 , PAGES =. doi:10.2307/1970827 , URL =
-
[46]
Hruska, G. Christopher , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/agt.2010.10.1807 , URL =
-
[47]
Bestvina, Mladen and Feighn, Mark , TITLE =. J. Differential Geom. , FJOURNAL =. 1992 , NUMBER =
1992
-
[48]
Alibegovi\'c, Emina , TITLE =. Bull. London Math. Soc. , FJOURNAL =. 2005 , NUMBER =. doi:10.1112/S0024609304004059 , URL =
-
[49]
Mj, Mahan and Reeves, Lawrence , TITLE =. Geom. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.2140/gt.2008.12.1777 , URL =
-
[50]
Haefliger, Andr\'e , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 1992 , NUMBER =. doi:10.5802/aif.1292 , URL =
-
[51]
Tran, Hung Cong , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2013 , NUMBER =. doi:10.1142/S0218196713500367 , URL =
-
[52]
hyperbolic groups , author=
Hyperbolic boundaries vs. hyperbolic groups , author=. 2022 , eprint=
2022
-
[53]
Manning, Jason Fox and Mart\'inez-Pedroza, Eduardo , TITLE =. Pacific J. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/pjm.2010.244.309 , URL =
-
[54]
, TITLE =
Munkres, James R. , TITLE =. 1975 , PAGES =
1975
-
[55]
2021 , eprint=
Cusped spaces and quasi-isometries of relatively hyperbolic groups , author=. 2021 , eprint=
2021
-
[56]
Dasgupta, Ashani and Hruska, G. Christopher , TITLE =. J. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/topo.12347 , URL =
-
[57]
Haulmark, Matthew , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/agt.2019.19.2795 , URL =
-
[58]
Osin, Denis V. , TITLE =. Invent. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1007/s00222-006-0012-3 , URL =
-
[59]
Groves, Daniel and Manning, Jason Fox , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =. doi:10.1090/tran/7017 , URL =
-
[60]
Dahmani, François and Guirardel, Vincent , TITLE =. Duke Math. J. , FJOURNAL =. 2018 , NUMBER =. doi:10.1215/00127094-2018-0014 , URL =
-
[61]
Groves, Daniel and Manning, Jason Fox , TITLE =. Geom. Topol. , FJOURNAL =. 2023 , NUMBER =. doi:10.2140/gt.2023.27.3387 , URL =
-
[62]
Bergeron, Nicolas and Wise, Daniel T. , TITLE =. Amer. J. Math. , FJOURNAL =. 2012 , NUMBER =. doi:10.1353/ajm.2012.0020 , URL =
-
[63]
Einstein, Eduard and Groves, Daniel , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2022 , NUMBER =. doi:10.1112/jlms.12556 , URL =
-
[64]
Haulmark, Matthew and Hruska, G. Christopher , TITLE =. Israel J. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s11856-023-2472-1 , URL =
-
[65]
2024 , eprint=
Drilling hyperbolic groups , author=. 2024 , eprint=
2024
-
[66]
1998 , eprint=
Hyperbolic groups with 1-dimensional boundary , author=. 1998 , eprint=
1998
-
[67]
Delzant, Thomas and Papasoglu, Panos , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2010 , NUMBER =. doi:10.4171/GGD/94 , URL =
-
[68]
Fujiwara, K. and Papasoglu, P. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2006 , NUMBER =. doi:10.1007/s00039-006-0550-2 , URL =
-
[69]
Einstein, Eduard and Groves, Daniel and Ng, Thomas , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2024 , NUMBER =. doi:10.4171/ggd/774 , URL =
-
[70]
Bowditch, Brian H. , TITLE =. Acta Math. , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/BF02392898 , URL =
-
[71]
Bowditch, B. H. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0002-9947-01-02835-5 , URL =
-
[72]
Groves, Daniel and Manning, Jason Fox and Sisto, Alessandro , TITLE =. Geom. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/gt.2019.23.2929 , URL =
-
[73]
Coulon, R\'emi , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2014 , NUMBER =. doi:10.1142/S0218196714500143 , URL =
-
[74]
Petrosyan, Nansen and Sun, Bin , TITLE =. Adv. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.aim.2023.109412 , URL =
-
[75]
Bestvina, Mladen , TITLE =. Michigan Math. J. , FJOURNAL =. 1996 , NUMBER =. doi:10.1307/mmj/1029005393 , URL =
-
[76]
Manning, Jason F. and Wang, Oliver H. , TITLE =. Michigan Math. J. , FJOURNAL =. 2020 , NUMBER =. doi:10.1307/mmj/1596700822 , URL =
-
[77]
Tshishiku, Bena and Walsh, Genevieve , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2020 , NUMBER =. doi:10.4171/ggd/563 , URL =
-
[78]
Bieri, Robert and Eckmann, Beno , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 1978 , NUMBER =. doi:10.1016/0022-4049(78)90012-9 , URL =
-
[79]
Dahmani, François and Guirardel, V. and Osin, D. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2017 , NUMBER =. doi:10.1090/memo/1156 , URL =
-
[80]
Dahmani, François , TITLE =. Proc. London Math. Soc. (3) , FJOURNAL =. 2003 , NUMBER =. doi:10.1112/S0024611502013989 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.