Distinguishing Gromov-Thurston manifolds using algebraic Dehn fillings

Alessandro Sisto; Gabriele Viaggi

Distinguishing Gromov-Thurston manifolds using algebraic Dehn fillings

T0 review · 0 major / 4 minor · reviewed 2026-07-12 · grok-4.5

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

Pith's one-line read High-degree Gromov-Thurston manifolds from the same or non-isometric bases are homotopy-inequivalent once branching degrees satisfy a simple arithmetic condition.

desk verdict Solid algebraic criteria that finally distinguish GT manifolds in odd dimensions and across bases, via virtual Dehn fillings and controlled injections into the filled groups. read the letter →

arxiv 2606.27074 v2 pith:RNOVPLOK submitted 2026-06-25 math.GT math.DGmath.GR

Alessandro Sisto , Gabriele Viaggi This is my paper · ORCID

classification math.GTmath.DGmath.GR MSC 57M5020F6520F67

keywords Gromov-ThurstonmanifoldsalgebraicDehnfillingrelativehyperbolicityhomotopytypeouterautomorphismgroupsbranchedcoverspinchednegativecurvature

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

Gromov-Thurston manifolds are the classic examples of closed manifolds that admit pinched negative curvature but are not locally symmetric; they arise as cyclic branched covers of a hyperbolic manifold M over a totally geodesic codimension-2 submanifold B. Until now there was no general way to tell when two such covers, even of the same base, are homotopy equivalent. This paper shows that the number of conjugacy classes of injections of the wall-complement fundamental group into the cover group is a multiple of the branching degree, with a uniformly bounded multiplier. Consequently, when two degrees are “I-unrelated” the corresponding manifolds cannot be homotopy equivalent. The same counting, applied to outer automorphism groups, also separates covers whose branching loci are non-isometric, provided the degree has only large prime factors. The argument turns on realizing the fundamental groups as virtual Dehn fillings of a relatively hyperbolic group and then controlling how hyperbolic groups can embed into those fillings.

What carries the argument

Virtual algebraic Dehn filling: π_{1} of a Gromov-Thurston manifold is realized as an index-k normal subgroup of the Dehn filling of the relatively hyperbolic group π_{1}(M-B) by the k-th power of a meridian. This supplies uniformly hyperbolic spaces on which limiting R-tree actions can be analysed, yielding a uniform bound on injective homomorphisms from non-splitting hyperbolic groups.

What would settle it

Exhibit a single Gromov-Thurston pair and two I-unrelated degrees k, k' for which the corresponding branched covers are homotopy equivalent (or even merely have isomorphic fundamental groups).

Watch

Extended reading notes

Core claim

For any fixed Gromov-Thurston pair of dimension at least 3 there is a uniform bound I such that the number of conjugacy classes of injections of the wall-complement group into the degree-k cover is exactly N k with N ≤ I; therefore I-unrelated degrees produce non-homotopy-equivalent manifolds. The same bound implies that the order of the outer automorphism group divides I! k^k, which in turn separates covers of non-isometric branching loci when the degree has only large prime factors.

Load-bearing premise

The wall-complement group does not split over any subgroup that can be embedded into the fundamental group of the branching locus; if such a splitting exists for some pairs, the counting of injections fails.

Editorial extensions

If this is right

For any fixed base pair the sequence of degree-k Gromov-Thurston manifolds contains infinitely many distinct homotopy types once degrees become large.
When the branching loci are non-isometric, covers whose degrees have only large prime factors cannot be homotopy equivalent.
The outer automorphism group of each high-degree cover is finite of order dividing I! k^k, so the deck rotation generates a cyclic subgroup of exact order k.
The same Dehn-filling description supplies a uniform bound on the number of conjugacy classes of embeddings of any non-splitting hyperbolic group into the cover groups.

Reading between the lines

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

The same counting technique should apply to other families of manifolds obtained by algebraic Dehn fillings of relatively hyperbolic groups, not only to classical Gromov-Thurston covers.
If the non-splitting hypothesis can be verified for a broader class of wall complements, one obtains a general arithmetic criterion for distinguishing homotopy types of branched covers of hyperbolic manifolds.
The control of Out(π_{1}) suggests that the quasi-isometry classification of these manifolds may also be accessible by similar limiting-tree methods.

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.

Desk Editor's Note

read the letter

This paper gives the first general algebraic way to tell Gromov-Thurston manifolds apart by homotopy type when Euler characteristic and volume are useless. The key move is to realise π1(Mk) as an index-k subgroup of a Dehn filling of the relatively hyperbolic group π1(M-B), then count conjugacy classes of injections of the wall-complement group into those fillings. That count is essentially a multiple of the branching degree (Theorem C), which immediately yields the arithmetic obstruction of Theorem B for the same base and the Out-structure of Theorem D that feeds Theorem E for different bases.

What is new is the virtual-filling description itself (Lemmas 3.1–3.2) together with the limiting-tree analysis that has to handle three distinct scenarios for peripheral arcs (Section 4). They adapt Dahmani–Guirardel technology but need extra work on arc stabilisers and tree-graded spaces; the three cases are cleanly separated and each is dispatched by a different standard tool (Rips, tree-graded quotients, coned-off acylindricity). The non-splitting of the sector group (Prop 5.1) is the load-bearing hypothesis; the stress-test is right that both the Mayer-Vietoris case and the coarse-separation case are self-contained and apply uniformly in dimension ≥3. The citations (Bel12, Osi07, GM08, MW20, etc.) are the expected ones and are used correctly.

Soft spots are minor and mostly expository: a few “well-known” claims about horoballs and uniform acylindricity are only sketched, and the homology argument for infinite-index subgroups is standard but terse. None of them threaten the main theorems. The paper is written for geometric topologists and geometric group theorists who already know relative hyperbolicity and Rips theory; those readers will get a usable new invariant and a clear proof. It deserves a serious referee and should be accepted after ordinary polishing of the sketches.

Referee Report

0 major / 4 minor

Summary. The paper develops algebraic criteria that distinguish homotopy types of Gromov–Thurston manifolds GT(M,B,k). The fundamental groups are realised as index-k subgroups of algebraic Dehn fillings Q_k of the relatively hyperbolic group π1(M−B) (Lemma 3.1, Belegradek). The key technical result (Theorem 4.3) asserts that a torsion-free hyperbolic group G that does not split over any subgroup locally covering B has uniformly bounded minimal displacement under all injections into the filled spaces X_k. Applied to the wall-complement group π1(S̄) (shown not to split in Proposition 5.1), this yields a uniform bound on the number of conjugacy classes of injections π1(M−W)→π1(M_k) (Theorem C). Consequently, when k and k′ are I-unrelated the manifolds are not homotopy equivalent (Theorem B); the same counting controls |Out(π1(M_k))| (Theorem D) and distinguishes manifolds with non-isometric branching loci when the degree has only large prime factors (Theorem E).

Significance. Gromov–Thurston manifolds remain among the few known closed manifolds of pinched negative curvature that are not locally symmetric, yet their classification up to homotopy, commensurability or quasi-isometry is largely open. The paper supplies the first arithmetic obstruction that works in odd dimensions and across distinct branching loci, using only standard tools of relative hyperbolicity, algebraic Dehn filling and Rips theory. The three-case analysis of limit trees (tree-graded spaces, combinatorial arrangement of limit horoballs, coned-off graphs) is a clean extension of Dahmani–Guirardel techniques and should be reusable for other Dehn-filling problems. The results are unconditional for every GT-pair of dimension ≥3 (or ≥5 for Theorem E) and rest on cited theorems rather than ad-hoc constructions.

minor comments (4)

Several “well-known” facts about horoballs and uniform acylindricity of the coned-off graphs (Claim 4.9, Lemma 4.17) are only sketched; a short reference or one-line argument would make the ultralimit analysis fully self-contained.
In the proof of Proposition 5.1 the appeal to the Čech-homology-sphere property of the Bowditch boundary (MW20) is correct but terse; a sentence recalling why B−P remains connected after removing parabolic points would help non-specialists.
Notation for the various base-points (y, y_k, x_k) and the two embeddings of π1(M_k) into Q_k is dense in §3; a short “standing conventions” paragraph would improve readability.
The constant I appearing in Theorems B–E is existential; while this is sufficient for the statements, a remark on whether I can be made effective from the hyperbolicity constants of the cusped spaces would be welcome.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: pure existence/non-existence theorems built from independent geometric-group-theory tools

full rationale

The paper proves non-homotopy-equivalence criteria for Gromov-Thurston manifolds by counting conjugacy classes of injections of wall-complement groups into virtual Dehn fillings of relatively hyperbolic groups (Theorems B–E). Every load-bearing ingredient is either proved inside the paper (non-splitting of π1(S̄) via Mayer-Vietoris + coarse non-separation in §5; the three-case Rips analysis of limit trees in §4) or is a standard external theorem (Belegradek relative hyperbolicity, Osin–Groves–Manning Dehn filling, Bestvina–Paulin limiting actions, Guirardel Rips machine, Mostow rigidity for the branching locus). No parameter is fitted to data, no uniqueness theorem is imported from the authors’ own prior work, and no ansatz is smuggled via self-citation. The derivation is therefore self-contained against external mathematical benchmarks and exhibits no circular reduction.

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

The paper is a pure existence proof in geometric group theory. It imports standard theorems on relative hyperbolicity, algebraic Dehn filling, Rips theory and Mostow rigidity; the only paper-specific axioms are the non-splitting properties of wall complements and the uniform hyperbolicity of the filled cusped spaces.

assumptions (5)

domain assumption π1(M-B) is hyperbolic relative to π1(U-B) (Belegradek 2012)
Invoked as Theorem 3.3; supplies the cusped spaces Xk on which all limiting arguments take place.
domain assumption For large k the Dehn filling Qk = π1(M-B)/⟨⟨γ^k⟩⟩ is hyperbolic and the map from the peripheral group remains injective (Osin, Groves-Manning)
Proposition 3.5 and Proposition 3.6; guarantees uniform hyperbolicity of Xk and exact order of the meridian.
ad hoc to paper A torsion-free hyperbolic group that does not split over subgroups that locally cover B has uniformly bounded minimal displacement under all injections into the filled groups Qk (Theorem 4.3)
The technical heart of the paper; proved by analysing three possible limiting R-tree actions.
ad hoc to paper The wall-complement group π1(S̄) does not split over any subgroup that locally covers B (Proposition 5.1)
Verified by Mayer-Vietoris plus a coarse-separation argument that uses the Bowditch boundary being a Čech homology sphere.
standard math Mostow rigidity for closed hyperbolic manifolds of dimension ≥3
Used in the proof of Theorem E to conclude that isomorphic fundamental groups of branching loci imply isometry when d≥5.

invented entities (2)

I-unrelated integers
purpose: Arithmetic condition that guarantees Nk eq N'k' when both N,N' are bounded by the same I
Purely combinatorial device introduced to state the main non-homotopy-equivalence theorems cleanly.
Limit horoballs / peripheral arcs in the ultralimit R-tree
purpose: Distinguish pathological arc stabilisers that arise from the peripheral structure of the relatively hyperbolic groups
Technical bookkeeping needed for the three-case analysis of limiting actions; no independent geometric meaning outside the proof.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Distinguishing Gromov-Thurston manifolds using algebraic Dehn fillings." pith.science (2026). https://pith.science/paper/RNOVPLOK

@misc{pith2026260627074,
  author       = {Pith},
  title        = {Pith review of: Distinguishing Gromov-Thurston manifolds using algebraic Dehn fillings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/RNOVPLOK}},
  note         = {Machine review of arXiv:2606.27074}
}

read the original abstract

We develop criteria to distinguish the homotopy types of Gromov-Thurston manifolds. Our approach is based on a description of their fundamental groups as virtual Dehn fillings of relatively hyperbolic groups.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

33 extracted references · 2 linked inside Pith

[1]

Residual finiteness, QCERF and fillings of hyperbolic groups

Ian Agol, Daniel Groves, and Jason Manning. Residual finiteness, QCERF and fillings of hyperbolic groups. Geom. Topol. , 13(2):1043--1073, 2009

2009
[2]

L^2 - B etti numbers of branched covers of hyperbolic manifolds

Grigori Avramidi, Boris Okun, and Kevin Schreve. L^2 - B etti numbers of branched covers of hyperbolic manifolds. Math. Ann. , 392(2):2621--2634, 2025

2025
[3]

The real Schwarz Lemma and geometric applications

G \'e rard Besson, Gilles Courtois, and Sylvestre Gallot. The real Schwarz Lemma and geometric applications. Acta Math. , 183(2):145--169, 1999

1999
[4]

Rigidity and relative hyperbolicity of real hyperbolic hyperplane complements

Igor Belegradek. Rigidity and relative hyperbolicity of real hyperbolic hyperplane complements. Pure Appl. Math. Q. , 8(1):15--52, 2012

2012
[5]

Stable actions of groups on real trees

Mladen Bestvina and Mark Feighn. Stable actions of groups on real trees. Invent. Math. , 121(2):287--321, 1995

1995
[6]

Metric spaces of non-positive curvature , volume 319 of Grundlehren Math

Martin Bridson and Andr \'e Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren Math. Wiss. Berlin: Springer, 1999

1999
[7]

Homological dimension of discrete groups

Robert Bieri. Homological dimension of discrete groups . Queen Mary Coll. Math. Notes. Queen Mary College, London, 1976

1976
[8]

One-ended subgroups of mapping class groups

Brian Bowditch. One-ended subgroups of mapping class groups. In Hyperbolic geometry and geometric group theory , volume 73 of Adv. Stud. Pure Math. , pages 13--36. Math. Soc. Japan, Tokyo, 2017

2017

Show all 33 references

[9]

L'image d'un groupe dans un groupe hyperbolique

Thomas Delzant. L'image d'un groupe dans un groupe hyperbolique. Comment. Math. Helv. , 70(2):267--284, 1995

1995
[10]

Recognizing a relatively hyperbolic group by its D ehn fillings

François Dahmani and Vincent Guirardel. Recognizing a relatively hyperbolic group by its D ehn fillings. Duke Math. J. , 167(12):2189--2241, 2018

2018
[11]

Tree-graded spaces and asymptotic cones of groups

Cornelia Drutu and Mark Sapir. Tree-graded spaces and asymptotic cones of groups. Topology , 44(5):959--1058, 2005. With an appendix by Denis Osin and Mark Sapir

2005
[12]

Groups acting on tree-graded spaces and splittings of relatively hyperbolic groups

Cornelia Drutu and Mark Sapir. Groups acting on tree-graded spaces and splittings of relatively hyperbolic groups. Adv. Math. , 217(3):1313--1367, 2008

2008
[13]

Bounded cohomology of discrete groups , volume 227 of Math

Roberto Frigerio. Bounded cohomology of discrete groups , volume 227 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2017

2017
[14]

Homomorphisms to acylindrically hyperbolic groups I : E quationally noetherian groups and families

Daniel Groves and Michael Hull. Homomorphisms to acylindrically hyperbolic groups I : E quationally noetherian groups and families. Trans. Amer. Math. Soc. , 372(10):7141--7190, 2019

2019
[15]

Cubulation of Gromov - Thurston manifolds

Anne Giralt. Cubulation of Gromov - Thurston manifolds. Groups Geom. Dyn. , 11(2):393--414, 2017

2017
[16]

Dehn filling in relatively hyperbolic groups

Daniel Groves and Jason Manning. Dehn filling in relatively hyperbolic groups. Israel J. Math. , 168:317--429, 2008

2008
[17]

Volume and bounded cohomology

Mikhael Gromov. Volume and bounded cohomology. Publ. Math., Inst. Hautes \'E tud. Sci. , 56:5--99, 1982

1982
[18]

Pinching constants for hyperbolic manifolds

Mikhael Gromov and William Thurston. Pinching constants for hyperbolic manifolds. Invent. Math. , 89:1--12, 1987

1987
[19]

Actions of finitely generated groups on R -trees

Vincent Guirardel. Actions of finitely generated groups on R -trees. Ann. Inst. Fourier (Grenoble) , 58(1):159--211, 2008

2008
[20]

The geometry of branched coverings of hyperbolic manifolds

Ursula Hamenstädt. The geometry of branched coverings of hyperbolic manifolds. preprint, arXiv:2605.01027 , 2026

2026 arXiv
[21]

a dt and Frieder J \

Ursula Hamenst \"a dt and Frieder J \"a ckel. Negatively curved Einstein metrics on Gromov - Thurston manifolds. Acceptetd in JEMS , 2024

2024
[22]

Relative hyperbolicity and relative quasiconvexity for countable groups

Christopher Hruska. Relative hyperbolicity and relative quasiconvexity for countable groups. Algebr. Geom. Topol. , 10(3):1807--1856, 2010

2010
[23]

Convex projective structures on Gromov - Thurston manifolds

Michael Kapovich. Convex projective structures on Gromov - Thurston manifolds. Geom. Topol. , 11:1777--1830, 2007

2007
[24]

On hyperbolicity of free splitting and free factor complexes

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

2014
[25]

Quasi-hyperbolic planes in relatively hyperbolic groups

John Mackay and Alessandro Sisto. Quasi-hyperbolic planes in relatively hyperbolic groups. Ann. Acad. Sci. Fenn. Math. , 45(1):139--174, 2020

2020
[26]

Gromov- Thurston manifolds and anti-de Sitter geometry

Daniel Monclair, Jean-Marc Schlenker, and Nicolas Tholozan. Gromov- Thurston manifolds and anti-de Sitter geometry. to appear in Geom. Topol. , 2023

2023
[27]

Cohomology and the B owditch boundary

Jason Manning and Oliver Wang. Cohomology and the B owditch boundary. Michigan Math. J. , 69(3):633--669, 2020

2020
[28]

Peripheral fillings of relatively hyperbolic groups

Denis Osin. Peripheral fillings of relatively hyperbolic groups. Invent. Math. , 167(2):295--326, 2007

2007
[29]

Splittings and the asymptotic topology of the lamplighter group

Panos Papasoglu. Splittings and the asymptotic topology of the lamplighter group. Trans. Amer. Math. Soc. , 364(7):3861--3873, 2012

2012
[30]

Outer automorphisms of hyperbolic groups and small actions on R -trees

Fr\'ed\'eric Paulin. Outer automorphisms of hyperbolic groups and small actions on R -trees. In Arboreal group theory ( B erkeley, CA , 1988) , volume 19 of Math. Sci. Res. Inst. Publ. , pages 331--343. Springer, New York, 1991

1988
[31]

On metric relative hyperbolicity

Alessandro Sisto. On metric relative hyperbolicity. arXiv preprint arXiv:1210.8081 , 2012

2012 arXiv
[32]

Relations between various boundaries of relatively hyperbolic groups

Hung Cong Tran. Relations between various boundaries of relatively hyperbolic groups. Internat. J. Algebra Comput. , 23(7):1551--1572, 2013

2013
[33]

Zum Satz von Sylow

Helmut Wielandt. Zum Satz von Sylow . Math. Z. , 60:407--408, 1954

1954

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.

[1] [1]

Residual finiteness, QCERF and fillings of hyperbolic groups

Ian Agol, Daniel Groves, and Jason Manning. Residual finiteness, QCERF and fillings of hyperbolic groups. Geom. Topol. , 13(2):1043--1073, 2009

2009

[2] [2]

L^2 - B etti numbers of branched covers of hyperbolic manifolds

Grigori Avramidi, Boris Okun, and Kevin Schreve. L^2 - B etti numbers of branched covers of hyperbolic manifolds. Math. Ann. , 392(2):2621--2634, 2025

2025

[3] [3]

The real Schwarz Lemma and geometric applications

G \'e rard Besson, Gilles Courtois, and Sylvestre Gallot. The real Schwarz Lemma and geometric applications. Acta Math. , 183(2):145--169, 1999

1999

[4] [4]

Rigidity and relative hyperbolicity of real hyperbolic hyperplane complements

Igor Belegradek. Rigidity and relative hyperbolicity of real hyperbolic hyperplane complements. Pure Appl. Math. Q. , 8(1):15--52, 2012

2012

[5] [5]

Stable actions of groups on real trees

Mladen Bestvina and Mark Feighn. Stable actions of groups on real trees. Invent. Math. , 121(2):287--321, 1995

1995

[6] [6]

Metric spaces of non-positive curvature , volume 319 of Grundlehren Math

Martin Bridson and Andr \'e Haefliger. Metric spaces of non-positive curvature , volume 319 of Grundlehren Math. Wiss. Berlin: Springer, 1999

1999

[7] [7]

Homological dimension of discrete groups

Robert Bieri. Homological dimension of discrete groups . Queen Mary Coll. Math. Notes. Queen Mary College, London, 1976

1976

[8] [8]

One-ended subgroups of mapping class groups

Brian Bowditch. One-ended subgroups of mapping class groups. In Hyperbolic geometry and geometric group theory , volume 73 of Adv. Stud. Pure Math. , pages 13--36. Math. Soc. Japan, Tokyo, 2017

2017