Cusped spaces for hierarchically hyperbolic groups, and applications to Dehn filling quotients

Alessandro Sisto; Giorgio Mangioni

arxiv: 2602.23275 · v2 · submitted 2026-02-26 · 🧮 math.GT · math.GR

Cusped spaces for hierarchically hyperbolic groups, and applications to Dehn filling quotients

Giorgio Mangioni , Alessandro Sisto This is my paper

Pith reviewed 2026-05-15 18:45 UTC · model grok-4.3

classification 🧮 math.GT math.GR

keywords mapping class groupsDehn fillinghyperbolic quotientshierarchically hyperbolic groupscusped spacesTeichmüller metricsbraid groupsouter automorphism groups

0 comments

The pith

The mapping class group of the five-holed sphere has infinite hyperbolic quotients that are strongly not isomorphic to those of any other sphere mapping class group.

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

The paper introduces a construction that simultaneously yields cusped spaces of relatively hyperbolic groups and spaces quasi-isometric to Teichmüller metrics. This is used to study Dehn-filling-like quotients of mapping class groups of punctured spheres and braid groups. In particular, the mapping class group of the five-holed sphere has infinite hyperbolic quotients obtained by modding out suitable large powers of Dehn twists, and these quotients are strongly not isomorphic to hyperbolic quotients of any other sphere mapping class group. The corresponding quotients of the extended mapping class group have trivial outer automorphism groups. Similar results hold for the braid group on four strands.

Core claim

The authors introduce a construction that yields cusped spaces for hierarchically hyperbolic groups which are also quasi-isometric to Teichmüller metrics. Applying this to Dehn filling quotients, they show that the mapping class group of a five-holed sphere admits infinite hyperbolic quotients, obtained by quotienting by large powers of Dehn twists, that are strongly not isomorphic to those of any other sphere mapping class group. The same holds for the four-strand braid group, and the quotients of the extended mapping class groups have trivial outer automorphism groups.

What carries the argument

A construction of cusped spaces for hierarchically hyperbolic groups that are quasi-isometric to Teichmüller metrics.

Load-bearing premise

That the introduced construction simultaneously produces cusped spaces with the required quasi-isometry properties to Teichmüller metrics for the relevant hierarchically hyperbolic groups and that the resulting Dehn-filling quotients are hyperbolic with the claimed non-isomorphism and outer automorphism properties.

What would settle it

Discovering an isomorphism between one of the constructed quotients from the five-holed sphere mapping class group and a quotient from a different sphere mapping class group, or identifying a non-trivial outer automorphism in the extended version.

read the original abstract

We introduce a construction that simultaneously yields cusped spaces of relatively hyperbolic groups, and spaces quasi-isometric to Teichmueller metrics. We use this to study Dehn-filling-like quotients of various groups, among which mapping class groups of punctured spheres. In particular, we show that the mapping class group of a five-holed sphere (resp. the braid group on four strands) has infinite hyperbolic quotients (strongly) not isomorphic to hyperbolic quotients of any other given sphere mapping class group (resp. any other braid group). These quotients are obtained by modding out suitable large powers of Dehn twists, and we further argue that the corresponding quotients of the extended mapping class group have trivial outer automorphism groups. We obtain these results by studying torsion elements in the relevant quotients.

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.

Desk Editor's Note private letter to a colleague

The paper builds a cusped space for HHGs that doubles as a quasi-isometric model for Teichmüller metrics and uses it to produce distinct infinite hyperbolic Dehn-filling quotients for the five-holed sphere MCG and four-strand braid group.

read the letter

The main point is a construction that produces cusped spaces for relatively hyperbolic groups while keeping them quasi-isometric to the Teichmüller metric on the associated hierarchically hyperbolic group. They apply this to Dehn-filling quotients of mapping class groups of punctured spheres, showing that the five-holed sphere MCG has infinite hyperbolic quotients not isomorphic to those of other sphere MCGs, made by quotienting out large powers of Dehn twists. The same holds for the four-strand braid group, and the extended MCG quotients have trivial outer automorphism groups. They distinguish them using torsion elements in the quotients.

Referee Report

2 major / 2 minor

Summary. The manuscript introduces a construction of cusped spaces for hierarchically hyperbolic groups that are simultaneously relatively hyperbolic and quasi-isometric to the associated Teichmüller metrics. It applies the construction to Dehn-filling quotients of mapping class groups of punctured spheres, proving that the five-holed-sphere mapping class group (and the four-strand braid group) admit infinite hyperbolic quotients, obtained by quotienting sufficiently high powers of Dehn twists, that are strongly non-isomorphic to the corresponding quotients of any other sphere mapping class group (or braid group); the quotients of the extended mapping class groups are shown to have trivial outer automorphism groups by analyzing torsion elements.

Significance. If the central construction and its applications hold, the work supplies a new, uniform method for producing geometrically controlled cusped spaces and hyperbolic quotients of important hierarchically hyperbolic groups. The resulting non-isomorphism statements and Out-triviality results for concrete families (five-holed sphere MCG and 4-braid group) constitute a concrete advance in the study of Dehn fillings and rigidity phenomena for mapping class groups.

major comments (2)

[§3] §3, Definition 3.2 and the subsequent distance estimates: the claim that the cusped space is quasi-isometric to the Teichmüller metric with constants independent of the filling parameters is load-bearing for transferring hyperbolicity to the Dehn-filling quotients; the current argument should supply explicit uniform bounds rather than relying on the hierarchical combination alone.
[§4] §4, the transfer of relative hyperbolicity to the quotients of the five-holed-sphere MCG: the peripheral structure and the resulting hyperbolicity of the quotient space must be verified to survive the specific Dehn-twist fillings used for the non-isomorphism argument; a concrete check against the HHG axioms for this case would strengthen the claim.

minor comments (2)

[§3] The notation for the hierarchical combination in the cusped-space construction could be clarified with a short diagram or explicit list of the added peripheral subgroups.
[§5] In the non-isomorphism argument, a brief table listing the distinguishing torsion elements for the five-holed-sphere quotients versus those of the four-holed-sphere case would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading, positive evaluation, and constructive suggestions. We address the two major comments point by point below and will incorporate the requested clarifications into a revised manuscript.

read point-by-point responses

Referee: [§3] §3, Definition 3.2 and the subsequent distance estimates: the claim that the cusped space is quasi-isometric to the Teichmüller metric with constants independent of the filling parameters is load-bearing for transferring hyperbolicity to the Dehn-filling quotients; the current argument should supply explicit uniform bounds rather than relying on the hierarchical combination alone.

Authors: We agree that explicit uniform bounds would strengthen the exposition. The hierarchical combination theorem already yields constants independent of the filling parameters (depending only on the fixed HHG structure constants and the relative hyperbolicity data), but we will expand the distance estimates following Definition 3.2 to derive and record these constants explicitly in terms of the input data. This will make the independence transparent without altering the argument. revision: yes
Referee: [§4] §4, the transfer of relative hyperbolicity to the quotients of the five-holed-sphere MCG: the peripheral structure and the resulting hyperbolicity of the quotient space must be verified to survive the specific Dehn-twist fillings used for the non-isomorphism argument; a concrete check against the HHG axioms for this case would strengthen the claim.

Authors: We appreciate the suggestion. The general transfer of relative hyperbolicity follows from the cusped-space construction, but we will add a short concrete verification subsection for the five-holed-sphere case. This will explicitly check that the peripheral subgroups generated by the chosen high powers of Dehn twists remain undistorted and satisfy the required HHG axioms in the quotient, confirming that the peripheral structure and relative hyperbolicity persist for the fillings used in the non-isomorphism argument. revision: yes

Circularity Check

0 steps flagged

No significant circularity; construction and estimates are explicitly defined and independent

full rationale

The paper defines the cusped space construction explicitly in Sections 3–4 as a hierarchical combination of the original HHG structure with relative hyperbolic filling, supplying distance estimates that bound distortion independently of filling parameters. These estimates transfer hyperbolicity to the Dehn-filling quotients and extract torsion invariants for non-isomorphism and Out-triviality. No step reduces by definition or fitted input to its own outputs, and no load-bearing premise relies on a self-citation chain that itself lacks independent verification. The derivation remains self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence and properties of hierarchically hyperbolic groups and relatively hyperbolic groups from prior literature; the abstract does not introduce new free parameters, axioms, or invented entities beyond standard assumptions in the field.

axioms (1)

domain assumption Hierarchically hyperbolic groups admit a cusped space construction that is simultaneously quasi-isometric to Teichmüller metrics.
Invoked to justify the new construction for the groups under study.

pith-pipeline@v0.9.0 · 5435 in / 1362 out tokens · 29839 ms · 2026-05-15T18:45:30.827948+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We introduce a construction that simultaneously yields cusped spaces of relatively hyperbolic groups, and spaces quasi-isometric to Teichmüller metrics... replacing every hyperbolic space at the bottom of the hierarchy with the combinatorial horoball over it (Theorem 2.9).
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem B... infinite hyperbolic quotients... modding out suitable large powers of Dehn twists... trivial outer automorphism groups.

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.