Pith. sign in

REVIEW 3 major objections 4 minor 64 references

Power quotients of surface groups and mapping class groups

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

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

Pith's one-line read For suitable large multiples n, every automorphism of the power quotient Γ(n) of a surface group comes from a mapping class, giving an exact analogue of the classical Dehn–Nielsen–Baer theorem.

desk verdict A significant and honest paper that proves the expected Dehn-Nielsen-Baer analogue for power quotients of surface groups, but the shortening argument under modified hypotheses is still only sketched, so Theorem 1.2 remains conditional until that section is filled in. read the letter →

arxiv 2507.13701 v2 pith:A232C7OA submitted 2025-07-18 math.GR math.GT

Rémi Coulon , Alessandro Sisto , Henry Wilton This is my paper · ORCID
classification math.GRmath.GT MSC 20F6520F6720F2857K20
keywords powerquotientsofsurfacegroupsmappingclassautomorphismDehn–Nielsen–BaertheoremgeometricsmallcancellationacylindricallyhyperbolicBirmanexactsequencehierarchicallyspaces
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

Fix a closed hyperbolic surface $S$ with fundamental group $\Gamma$, and let $\Gamma(n)$ be the quotient of $\Gamma$ by the $n$th power of every simple closed curve. This paper proves that for every sufficiently large multiple of some fixed exponent, the automorphism group of $\Gamma(n)$ is exactly the quotient of the extended mapping class group of the once-punctured surface by $n$th powers of Dehn twists, and the outer automorphism group is exactly the corresponding quotient for the closed surface. Along the way it establishes a point-pushing exact sequence relating the punctured and closed power quotients, and a constellation of structural properties: $\Gamma(n)$ is a direct limit of hyperbolic groups, is virtually torsion-free, acylindrically hyperbolic, infinitely presented, has solvable word problem and finite asymptotic dimension, and satisfies a strong Tits alternative. If true, this turns these initially mysterious quotient groups into objects whose symmetries are fully geometric, and connects their residual properties to residual finiteness of hyperbolic groups.

What carries the argument

The engine of the proof is an approximation sequence: $\Gamma(n)$ is exhibited as the direct limit of hyperbolic groups $\Gamma_j$, each equipped with an action on a hyperbolic space with a distinguished $\Gamma_j$-invariant set of cone points, all satisfying the uniform axioms of the class $\mathcal{H}(\delta,\rho)$, namely a triple consisting of a group acting on a $\delta$-hyperbolic space with a $2\rho$-separated set of cone points and uniform acylindricity, thinness, and cone-angle conditions. Each step kills $n$th powers of short loxodromic elements by a geometric small-cancellation cone-off, and the axioms are engineered so that the construction can be iterated and so that the shortening argument can be adapted. The shortening argument is the load-bearing mechanism for surjectivity: it shows that any sequence of morphisms $\Gamma \to \Gamma(n)$ with diverging energy can be shortened by an automorphism of $\Gamma$, which forces every automorphism of $\Gamma(n)$ to lift to $\Gamma$. Injectivity instead uses acylindrical hyperbolicity of the quotients $\operatorname{MCG}(S)/\operatorname{DT}_n(S)$, transferred to the point-pushing subgroup, to show that the kernel of the action on $\Gamma(n)$ is exactly $\operatorname{DT}_n$.

What would settle it

Find a sequence of morphisms $\varphi_k \colon \Gamma \to \Gamma_k$ with $(\Gamma_k, X_k, C_k) \in \mathcal{H}(\delta, \rho_k)$, converging to the identity in the space of marked groups and with energies diverging, such that no automorphism of $\Gamma$ reduces the restricted energy $\lambda^+_1$ by any fixed factor; that would disprove Theorem 9.1 and, since Theorem 10.6 relies on it, the surjectivity statement of Theorem 1.2.

Watch

Extended reading notes

Core claim

The paper's central claim is that, for a closed orientable hyperbolic surface $S$, there exists $N>0$ such that for all multiples $n$ of $N$ the natural maps induce isomorphisms $\operatorname{Aut}(\Gamma(n)) \cong \operatorname{MCG}^{\pm}(S^*)/\operatorname{DT}_n(S^*)$ and $\operatorname{Out}(\Gamma(n)) \cong \operatorname{MCG}^{\pm}(S)/\operatorname{DT}_n(S)$, where $\Gamma(n)$ is the quotient of $\pi_1(S)$ by $n$th powers of simple closed curves and $\operatorname{DT}_n$ is the subgroup generated by $n$th powers of Dehn twists. This is proved by combining two halves: injectivity of these maps, which uses acylindrical hyperbolicity of the mapping class group quotients and a centraliser-intersection argument in the point-pushing subgroup, and surjectivity, which follows from a shortening argument showing every isomorphism of $\Gamma(n)$ can be lifted to an automorphism of the surface group. The paper also proves the exact sequence $1 \to \Gamma(n) \to \operatorname{MCG}^{\pm}(S^*)/\operatorname{DT}_n(S^*) \to \operatorname{MCG}^{\pm}(S)/\operatorname{DT}_n(S) \to 1$, a quotient of the classical point-pushing sequence, and derives structural theorems about $\Gamma(n)$ as a limit of hyperbolic groups.

Load-bearing premise

The shortening argument (Theorem 9.1) must remain valid for target groups in $\mathcal{H}(\delta,\rho)$ that can contain even torsion and infinite dihedral subgroups; the paper gives only a sketch, referring to a prior proof that assumed no even torsion and CSA groups, so the surjectivity half of the main theorem depends on that adaptation being correct.

Editorial extensions

If this is right

  • For all large multiples $n$, the full automorphism and outer automorphism groups of $\Gamma(n)$ are known: they are exactly the natural mapping class group quotients, so no exotic automorphisms can occur.
  • The point-pushing exact sequence gives a bridge between punctured and closed power quotients, so properties of one transfer to the other in controlled ways.
  • $\Gamma(n)$ is a direct limit of hyperbolic groups and inherits acylindrical hyperbolicity, solvable word problem, finite asymptotic dimension, virtual torsion-freeness, and a strong Tits alternative.
  • Residual finiteness of $\Gamma(n)$ is tied to residual finiteness of the mapping class quotients: if $\Gamma(n)$ is conjugacy separable then $\operatorname{MCG}^{\pm}(S)/\operatorname{DT}_n(S)$ is residually finite, and if all hyperbolic groups are residually finite then $\Gamma(n)$ is residually finite.
  • Since $\Gamma(n)$ is infinitely presented and not lacunary hyperbolic, its large-scale geometry is genuinely closer to a surface group than to a Burnside group.

Reading between the lines

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

  • The rigidity theorem identifies $\operatorname{Out}(\Gamma(n))$ with a mapping class group quotient, so a proof of conjugacy separability of $\Gamma(n)$ would give a concrete route toward the congruence subgroup problem for mapping class groups; the present methods do not yet reach that conclusion.
  • The paper's Example 1.8 shows the free-group analogue fails at the surjectivity step, so the rigidity is not a general phenomenon for primitive-element quotients; one could test whether restricting to automorphisms that preserve the mod-$n$ abelianisation restores surjectivity in the free case.
  • The approximation sequence suggests a direct attack on the open asphericity question: if the natural 2-complex built from $\mathbb{H}^2$ by killing simple-curve powers can be shown aspherical by induction along the hyperbolic approximations, then $\Gamma(n)$ would have infinite $H_2$ and a new proof of infinite presentation.
  • Extending the point-pushing exact sequence to surfaces with several punctures would likely follow the same blueprint, provided the centraliser argument in the point-pushing subgroup adapts; this is a testable extension of the method.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper studies the n-power quotient Γ(n) of the fundamental group Γ of a closed orientable hyperbolic surface S, obtained by killing nth powers of all simple closed curves. The central result (Theorem 1.2) asserts that for all sufficiently large multiples n there are isomorphisms Aut(Γ(n)) ≅ MCG±(S*)/DT_n(S*) and Out(Γ(n)) ≅ MCG±(S)/DT_n(S), induced by the natural maps. The paper also proves a Birman-type exact sequence (Theorem 1.1) and structural properties of Γ(n) (Theorem 1.5): virtual torsion-freeness, acylindrical hyperbolicity, infinite presentability, solvable word problem, finite asymptotic dimension, a strong Tits alternative, and uniform exponential growth. The proof strategy is to realize Γ(n) as a direct limit of hyperbolic groups built by iterated geometric small-cancellation, then to prove injectivity of the natural maps via centralizer arguments in quotients of mapping class groups, and surjectivity via a shortening argument in the style of Coulon–Sela, adapted to this setting.

Significance. If the main theorems are correct, this is a substantial advance: it gives a full Dehn–Nielsen–Baer analogue for power quotients of surface groups, together with a Birman-type exact sequence and a rich structural theory for Γ(n). The construction of Γ(n) as a direct limit of hyperbolic groups with quantitative controls is a significant piece of work, and the paper carefully identifies and fixes a gap in earlier work of Aramayona–Funar. The authors are also transparent about which ingredients are imported from elsewhere, especially [23], [25], and [6]. However, two load-bearing arguments are deferred to references under hypotheses that differ from the present setting, and one step in the inductive construction of the approximating sequence appears internally inconsistent as written. These issues need to be resolved before the central claims are fully supported.

major comments (3)
  1. [§9, Theorem 9.1] The shortening argument is the load-bearing step for surjectivity, but Theorem 9.1 is not proved in the manuscript. Its proof is described as a simplified variation of Coulon–Sela [23, Theorem 7.46], with details referred to [23]; Theorem 9.13 is presented as a sketch relying on [23, Theorem 7.44]. Remark 5.3 explicitly records that [23] assumes no even torsion, CSA groups, and no infinite dihedral subgroups, while the present setting must accommodate even torsion and D∞ subgroups. Since lemmas 9.8, 9.9, 9.11, Proposition 9.12, and the peripheral shortening analysis are asserted to hold in the same way without a complete verification, the adaptation to the class H(δ,ρ_k) is not demonstrated. This matters because Theorem 10.6, and hence Theorem 1.2, rests directly on it. The authors are open about the deferral, but the gap is load-bearing.
  2. [§9.2, Theorem 9.13] The decomposition of the limit action into a graph of actions over abelian groups with peripheral, simplicial, axial, or Seifert-type vertex actions is a key step in the shortening argument, but the proof is only a sketch. The preliminary decomposition is asserted to follow from [23, Proposition 7.41] using an accessibility criterion and a JSJ decomposition of limit groups; for the limit group here, the JSJ is said to be trivial, but the transverse-covering property and the behaviour of peripheral stabilizers still need to be verified under axioms H1–H7. The sentence that the details work verbatim as in [23, Proposition 7.41] is not sufficient in a setting that differs from [23] precisely by the presence of even torsion and D∞ subgroups.
  3. [§5.2.2, induction step, case P_j empty] In the case P_j is empty, the text sets X_{j+1}=εX_j and C_{j+1}=C_j and asserts that (R1)–(R4) hold. This appears incorrect: after rescaling by ε<1, the injectivity radius hypothesis (R2) for the next stage would require inj(U_{j+1},X_{j+1}) ≥ εκδ1, but the induction hypothesis gives only inj(U_j,X_j) ≥ εκδ1, so the rescaled lower bound is at best ε^2κδ1. In addition, C_j is no longer 2ρ(n)-separated in εX_j, so (Γ_{j+1},X_{j+1},C_{j+1}) need not belong to H(δ,ρ(n)). Since this step is part of the induction proving Theorem 5.7, the construction of the approximation sequence needs correction.
minor comments (4)
  1. [§4.1, Eq. (2)] The displayed definition of the Gromov product appears to contain a typo: the expression should be d(x,z)+d(y,z)-d(x,y), not d(x,z)+d(y,z)-d(y,z).
  2. [§9.2, sketch proof of Theorem 9.1] The notation H_δ(ρ_k) is used in the sketch proof, although the class was defined as H(δ,ρ); please standardize the notation.
  3. [§7.1, proof of Proposition 7.7] In the sentence about elementary closures, the notation E_{MCG(S)/DT_n(S)}(g_i) should presumably denote the elementary closure of the image of g_i in MCG(S)/DT_n(S); writing E_{MCG(S)/DT_n(S)}(\bar g_i) would avoid confusion.
  4. [Remark 5.10] The remark says 'the sequence of finitely generated groups Γ(n) converges to the surface group Γ'; this should refer to the sequence of approximating groups (Γ_j), not to Γ(n).

Circularity Check

0 steps flagged · score 2.0 of 10

No circular reduction found: the DNB-type isomorphisms are proved via independent geometric results; heavy self-citation is load-bearing but not circular.

full rationale

The central claims are not assumed. Γ(n) is defined independently as the quotient of a surface group by nth powers of simple closed curves, and the paper proves injectivity of the natural maps MCG±(S*)/DT_n(S*) → Aut(Γ(n)) and MCG±(S)/DT_n(S) → Out(Γ(n)) via centralizer arguments (Proposition 7.8, building on [25] and [6]), and surjectivity via the shortening argument (Theorem 9.1) adapted from Coulon–Sela [23] and applied in Theorem 10.6. No fitted parameter is renamed as a prediction, and no defining equation is recycled as the conclusion. The heavy self-citation is real external evidence: [23] is a parameter-free theorem about equations in Burnside groups, not about Aut(Γ(n)); [25] and [6] are published results on acylindrical/hierarchical hyperbolicity of Dehn-twist power quotients, not the target isomorphism. The most delicate step, Theorem 9.1, is only sketched and explicitly defers details to [23], while Remark 5.3 concedes that [23] assumes no even torsion, CSA groups, and no D∞ subgroups; the adaptation to the present class H(δ,ρ) is asserted rather than fully proved. This is a load-bearing completeness gap (surjectivity depends on it), but not circularity: the adaptation is not derived from the desired isomorphism. Similarly, Lemma 7.4's claim that the needed results of [6] hold unconditionally at the first inductive level is a meta-claim about prior work, not an assumption of the conclusion. Accordingly, no circular step can be quoted, and the circularity score is low.

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

There are no numbers fitted to data and no newly postulated physical or algebraic objects. The central claim rests on a large body of prior geometric group theory, including results by the authors; the most fragile ingredient is the unproved-in-full shortening argument for the class H(δ, ρ) in Section 9.

assumptions (4)
  • standard math The geometric small-cancellation toolbox, including Theorem 4.12 and the cone-off construction, is valid in the needed generality.
    Used pervasively to construct the approximating sequence of hyperbolic groups in Theorem 5.7; accepted as background from Coulon [19] and [21].
  • domain assumption Power quotients MCG(S)/DT_n(S) are acylindrically hyperbolic and hierarchically hyperbolic for large multiples n, and Lemma 7.4 from [6] holds unconditionally at the first Dehn-filling level.
    Underpins Theorem 7.3, Proposition 7.5, and the injectivity half of Theorem 1.2. The unconditional status of the first level is asserted, not reproved in this paper.
  • domain assumption Klukowski's theorem [47] provides a finite cover of the surface where the span of lifts of simple closed curves is a proper subspace of first homology.
    Used in Proposition 3.2 to produce a finite-index subgroup of Γ(n) with infinite abelianisation.
  • ad hoc to paper The Coulon-Sela shortening machinery [23, Theorem 7.46] extends to the class H(δ, ρ) allowing even torsion and infinite dihedral subgroups.
    This is the load-bearing adaptation behind Theorem 9.1 and surjectivity in Theorem 10.6. The proof is given as a sketch with reference to [23], and Remark 5.3 says the hypotheses differ from [23].

how reviews work

0 comments
Cite this review

Pith. "Pith review of Power quotients of surface groups and mapping class groups." pith.science (2026). https://pith.science/paper/A232C7OA

@misc{pith2026250713701,
  author       = {Pith},
  title        = {Pith review of: Power quotients of surface groups and mapping class groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A232C7OA}},
  note         = {Machine review of arXiv:2507.13701}
}
abstract

Let $\Gamma$ be the fundamental group of a closed, orientable, hyperbolic surface $S$. The $n$-power quotient, $\Gamma(n)$, is the quotient of $\Gamma$ by the $n$th powers of simple closed curves. We prove an analogue of the Dehn--Nielsen--Baer theorem for suitable large values of $n$: the outer automorphism group of $\Gamma(n)$ is isomorphic to the quotient of the extended mapping class group of $S$ by $n$th powers of Dehn twists. There is also a corresponding description of the automorphism group as the quotient of the extended mapping class group of the corresponding once-punctured surface, and we relate these groups via a Birman-type exact sequence. Along the way, and as consequences, we prove structural properties of $\Gamma(n)$ for suitable large values of $n$, including: $\Gamma(n)$ is virtually torsion-free, acylindrically hyperbolic, infinitely presented, with solvable word problem and finite asymptotic dimension.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

64 extracted references · 60 canonical work pages

  1. [23]

    Equations in Burnside groups

    Rémi Coulon and Zlil Sela. Equations in Burnside groups. arXiv 2112.07409, to appear in Memoirs of the AMS, 2021

    work page Pith review arXiv 2021

  2. [6]

    A combinatorial take on hierarchical hyperbolicity and applications to quo- tients of mapping class groups.J

    Jason Behrstock, Mark Hagen, Alexandre Martin, and Alessandro Sisto. A combinatorial take on hierarchical hyperbolicity and applications to quo- tients of mapping class groups.J. Topol., 17(3):Paper No. e12351, 94, 2024

    work page 2024

  3. [25]

    Dehn filling Dehn twists

    François Dahmani, Mark Hagen, and Alessandro Sisto. Dehn filling Dehn twists. Proc. Roy. Soc. Edinburgh Sect. A, 151(1):28–51, 2021

    work page 2021

  4. [1]

    Abbott, Thomas Ng, Davide Spriano, Radhika Gupta, and Harry Petyt

    Carolyn R. Abbott, Thomas Ng, Davide Spriano, Radhika Gupta, and Harry Petyt. Hierarchically hyperbolic groups and uniform exponential growth. Math. Z., 306(1):Paper No. 18, 33, 2024

    work page 2024

  5. [2]

    Commensurating en- domorphisms of acylindrically hyperbolic groups and applications.Groups Geom

    Yago Antolín, Ashot Minasyan, and Alessandro Sisto. Commensurating en- domorphisms of acylindrically hyperbolic groups and applications.Groups Geom. Dyn., 10(4):1149–1210, 2016. 57

    work page 2016

  6. [3]

    Quotients of the mapping class group by power subgroups.Bull

    Javier Aramayona and Louis Funar. Quotients of the mapping class group by power subgroups.Bull. Lond. Math. Soc., 51(3):385–398, 2019

    work page 2019

  7. [4]

    Quotients of the mapping class group by power subgroups

    Javier Aramayona and Louis Funar. Quotients of the mapping class group by power subgroups.arXiv:1804.10440v3, 2024

    work page Pith review arXiv 2024

  8. [5]

    Automorphism groups of residually finite groups

    Gilbert Baumslag. Automorphism groups of residually finite groups. J. London Math. Soc., 38:117–118, 1963

    work page 1963

Show all 64 references
  1. [7]

    Hierarchically hyper- bolic spaces II: Combination theorems and the distance formula.Pacific J

    Jason Behrstock, Mark Hagen, and Alessandro Sisto. Hierarchically hyper- bolic spaces II: Combination theorems and the distance formula.Pacific J. Math., 299(2):257–338, 2019

    2019

  2. [8]

    Hagen, and Alessandro Sisto

    Jason Behrstock, Mark F. Hagen, and Alessandro Sisto. Asymptotic dimen- sion and small-cancellation for hierarchically hyperbolic spaces and groups. Proc. Lond. Math. Soc. (3), 114(5):890–926, 2017

    2017

  3. [9]

    Hagen, and Alessandro Sisto

    Jason Behrstock, Mark F. Hagen, and Alessandro Sisto. Hierarchically hyperbolic spaces, I: Curve complexes for cubical groups.Geom. Topol., 21(3):1731–1804, 2017

    2017

  4. [10]

    Degenerations of the hyperbolic space.Duke Mathemat- ical Journal, 56(1):143–161, 1988

    Mladen Bestvina. Degenerations of the hyperbolic space.Duke Mathemat- ical Journal, 56(1):143–161, 1988

    1988

  5. [11]

    Joan S. Birman. Mapping class groups and their relationship to braid groups. Comm. Pure Appl. Math., 22:213–238, 1969

    1969

  6. [12]

    Bourbaki

    N. Bourbaki. Éléments de Mathématique. Topologie Générale. Chapitres 1 à 4. Hermann, Paris, 1971

    1971

  7. [13]

    Bowditch

    Brian H. Bowditch. Tight geodesics in the curve complex.Invent. Math., 171(2):281–300, 2008

    2008

  8. [14]

    Bowditch

    Brian H. Bowditch. Coarse median spaces and groups.Pacific J. Math., 261(1):53–93, 2013

    2013

  9. [15]

    Metric Spaces of Non-Positive Cur- vature, volume 319 of Grundlehren Der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    MartinR.BridsonandAndréHaefliger. Metric Spaces of Non-Positive Cur- vature, volume 319 of Grundlehren Der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1999

    1999

  10. [16]

    Bridson and Karen Vogtmann

    Martin R. Bridson and Karen Vogtmann. Homomorphisms from automor- phism groups of free groups.Bull. London Math. Soc., 35(6):785–792, 2003

    2003

  11. [17]

    Limit groups as limits of free groups

    Christophe Champetier and Vincent Guirardel. Limit groups as limits of free groups. Israel Journal of Mathematics, 146(1):1–75, 2005. 58

    2005

  12. [18]

    Géométrie et Théorie Des Groupes, volume 1441 ofLecture Notes in Math- ematics

    Michel Coornaert, Thomas Delzant, and Athanase Papadopoulos. Géométrie et Théorie Des Groupes, volume 1441 ofLecture Notes in Math- ematics. Springer-Verlag, Berlin, 1990

    1990

  13. [19]

    On the geometry of Burnside quotients of torsion free hyper- bolicgroups

    Rémi Coulon. On the geometry of Burnside quotients of torsion free hyper- bolicgroups. International Journal of Algebra and Computation, 24(3):251– 345, 2014

    2014

  14. [20]

    Partial periodic quotients of groups acting on a hyperbolic space

    Rémi Coulon. Partial periodic quotients of groups acting on a hyperbolic space. Université de Grenoble. Annales de l’Institut Fourier, 66(5):1773– 1857, 2016

    2016

  15. [21]

    Infinite periodic groups of even exponents

    Rémi Coulon. Infinite periodic groups of even exponents. arXiv 1810.08372, October 2018

    2018 arXiv

  16. [22]

    Automorphisms and endomor- phisms of lacunary hyperbolic groups.Groups, Geometry, and Dynamics, 13(1):131–148, 2019

    Rémi Coulon and Vincent Guirardel. Automorphisms and endomor- phisms of lacunary hyperbolic groups.Groups, Geometry, and Dynamics, 13(1):131–148, 2019

    2019

  17. [24]

    The normal closure of big Dehn twists and plate spin- ning with rotating families.Geom

    François Dahmani. The normal closure of big Dehn twists and plate spin- ning with rotating families.Geom. Topol., 22(7):4113–4144, 2018

    2018

  18. [26]

    Courbure mésoscopique et théorie de la toute petite simplification.Journal of Topology, 1(4):804–836, 2008

    Thomas Delzant and Misha Gromov. Courbure mésoscopique et théorie de la toute petite simplification.Journal of Topology, 1(4):804–836, 2008

    2008

  19. [27]

    Geometric Group Theory, vol- ume 63 ofAmerican Mathematical Society Colloquium Publications

    Cornelia Druţu and Michael Kapovich. Geometric Group Theory, vol- ume 63 ofAmerican Mathematical Society Colloquium Publications. Amer- ican Mathematical Society, Providence, RI, 2018

    2018

  20. [28]

    Hagen, and Alessandro Sisto

    Matthew Gentry Durham, Mark F. Hagen, and Alessandro Sisto. Bound- aries and automorphisms of hierarchically hyperbolic spaces.Geom. Topol., 21(6):3659–3758, 2017

    2017

  21. [29]

    Hagen, and Alessandro Sisto

    Matthew Gentry Durham, Mark F. Hagen, and Alessandro Sisto. Correc- tion to the article Boundaries and automorphisms of hierarchically hyper- bolic spaces. Geom. Topol., 24(2):1051–1073, 2020

    2020

  22. [30]

    Movinghomologyclassesinfinitecovers of graphs

    BensonFarbandSebastianHensel. Movinghomologyclassesinfinitecovers of graphs. Israel J. Math., 220(2):605–615, 2017

    2017

  23. [31]

    Princeton University Press, Princeton, NJ, 2012

    Benson Farb and Dan Margalit.A primer on mapping class groups, vol- ume 49 of Princeton Mathematical Series. Princeton University Press, Princeton, NJ, 2012. 59

    2012

  24. [32]

    Convex cocompact subgroups of mapping class groups

    Benson Farb and Lee Mosher. Convex cocompact subgroups of mapping class groups. Geom. Topol., 6:91–152, 2002

    2002

  25. [33]

    On the TQFT representations of the mapping class groups

    Louis Funar. On the TQFT representations of the mapping class groups. Pacific J. Math., 188(2):251–274, 1999

    1999

  26. [34]

    Profinite completions of Burnside-type quotients of surface groups.Comm

    Louis Funar and Pierre Lochak. Profinite completions of Burnside-type quotients of surface groups.Comm. Math. Phys., 360(3):1061–1082, 2018

    2018

  27. [35]

    Sur Les Groupes Hyperboliques d’après Mikhael Gromov, volume83of Progress in Mathematics

    Étienne Ghys and Pierre de la Harpe. Sur Les Groupes Hyperboliques d’après Mikhael Gromov, volume83of Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, Boston, MA, 1990

    1990

  28. [36]

    Hyperbolic groups

    Misha Gromov. Hyperbolic groups. In Essays in Group Theory, pages 75–263. Springer, New York, New York, 1987

    1987

  29. [37]

    Grossman

    Edna K. Grossman. On the residual finiteness of certain mapping class groups. J. London Math. Soc. (2), 9:160–164, 1974/75

    1974

  30. [38]

    Groves and M

    D. Groves and M. Hull. Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families. Transactions of the American Mathematical Society, 372(10):7141–7190, 2019

    2019

  31. [39]

    Arithmetic quotients of the mapping class group.Geom

    Fritz Grunewald, Michael Larsen, Alexander Lubotzky, and Justin Malestein. Arithmetic quotients of the mapping class group.Geom. Funct. Anal., 25(5):1493–1542, 2015

    2015

  32. [40]

    Limit groups and groups acting freely on R n-trees

    Vincent Guirardel. Limit groups and groups acting freely on R n-trees. Geometry & Topology, 8:1427–1470, 2004

    2004

  33. [41]

    Actions of finitely generated groups on R-trees.Uni- versité de Grenoble

    Vincent Guirardel. Actions of finitely generated groups on R-trees.Uni- versité de Grenoble. Annales de l’Institut Fourier, 58(1):159–211, 2008

    2008

  34. [42]

    JSJ decompositions of groups

    Vincent Guirardel and Gilbert Levitt. JSJ decompositions of groups. Astérisque, (395):vii–165, 2017

    2017

  35. [43]

    Small cancellation in acylindrically hyperbolic groups

    Michael Hull. Small cancellation in acylindrically hyperbolic groups. Groups Geom. Dyn., 10(4):1077–1119, 2016

    2016

  36. [44]

    Ivanov.Subgroups of Teichmüller modular groups, volume 115 of Translations of Mathematical Monographs

    Nikolai V. Ivanov.Subgroups of Teichmüller modular groups, volume 115 of Translations of Mathematical Monographs. American Mathematical Soci- ety, Providence, RI, 1992. Translated from the Russian by E. J. F. Primrose and revised by the author

    1992

  37. [45]

    Nikolai V. Ivanov. Fifteen problems about the mapping class groups. In Problems on mapping class groups and related topics, volume 74 ofProc. Sympos. Pure Math., pages 71–80. Amer. Math. Soc., Providence, RI, 2006

    2006

  38. [46]

    S. V. Ivanov and A. Yu. Ol′ shanski˘ ı. Hyperbolic groups and their quotients of bounded exponents.Trans. Amer. Math. Soc., 348(6):2091–2138, 1996. 60

    1996

  39. [47]

    Simple closed curves, non-kernel homology and Magnus embedding

    Adam Klukowski. Simple closed curves, non-kernel homology and Magnus embedding. J. Topol., 18(2):Paper No. e70023, 19, 2025

    2025

  40. [48]

    Quotients of surface groups and homology of finite covers via quantum representations.Invent

    Thomas Koberda and Ramanujan Santharoubane. Quotients of surface groups and homology of finite covers via quantum representations.Invent. Math., 206(2):269–292, 2016

    2016

  41. [49]

    Graphs of actions onR-trees

    Gilbert Levitt. Graphs of actions onR-trees. Commentarii Mathematici Helvetici, 69(1):28–38, 1994

    1994

  42. [50]

    Simple closed curves, finite covers of surfaces, and power subgroups ofOut(Fn)

    Justin Malestein and Andrew Putman. Simple closed curves, finite covers of surfaces, and power subgroups ofOut(Fn). Duke Math. J., 168(14):2701– 2726, 2019

    2019

  43. [51]

    Short hierarchically hyperbolic groups II: quotients and the Hopf property for Artin groups.arXiv preprint arXiv:2412.04364, 2024

    Giorgio Mangioni and Alessandro Sisto. Short hierarchically hyperbolic groups II: quotients and the Hopf property for Artin groups.arXiv preprint arXiv:2412.04364, 2024

    2024

  44. [52]

    Rigidity of mapping class groups mod powers of twists.Proceedings of the Royal Society of Edinburgh Section A: Mathematics, pages 1–71, 2025

    Giorgio Mangioni and Alessandro Sisto. Rigidity of mapping class groups mod powers of twists.Proceedings of the Royal Society of Edinburgh Section A: Mathematics, pages 1–71, 2025

    2025

  45. [53]

    An element of infinite order in TQFT-representations of mapping class groups

    Gregor Masbaum. An element of infinite order in TQFT-representations of mapping class groups. InLow-dimensional topology (Funchal, 1998), vol- ume 233 ofContemp. Math., pages 137–139. Amer. Math. Soc., Providence, RI, 1999

    1998

  46. [54]

    Masur and Yair N

    Howard A. Masur and Yair N. Minsky. Geometry of the complex of curves. I. Hyperbolicity.Invent. Math., 138(1):103–149, 1999

    1999

  47. [55]

    On residualing homomorphisms and G- subgroups of hyperbolic groups.International Journal of Algebra and Com- putation, 3(4):365–409, 1993

    Alexander Yu Ol’shanskii. On residualing homomorphisms and G- subgroups of hyperbolic groups.International Journal of Algebra and Com- putation, 3(4):365–409, 1993

    1993

  48. [56]

    A. Yu. Ol’shanski˘ ı. Periodic quotient groups of hyperbolic groups.Mat. Sb., 182(4):543–567, 1991

    1991

  49. [57]

    D. Osin. Acylindrically hyperbolic groups. Trans. Amer. Math. Soc., 368(2):851–888, 2016

    2016

  50. [58]

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

    Frédéric Paulin. Outer automorphisms of hyperbolic groups and small actions on R-trees. InArboreal Group Theory (Berkeley, CA, 1988), pages 331–343. Springer, New York, New York, NY, 1991

    1988

  51. [59]

    Structure and rigidity in hyperbolic groups

    Eliyahu Rips and Zlil Sela. Structure and rigidity in hyperbolic groups. I. Geometric and Functional Analysis, 4(3):337–371, 1994

    1994

  52. [60]

    Z. Sela. Diophantine geometry over groups. VII. The elementary theory of a hyperbolic group.Proc. Lond. Math. Soc. (3), 99(1):217–273, 2009

    2009

  53. [61]

    Jean-Pierre Serre. Trees. Springer-Verlag, Berlin-New York, 1980. 61

    1980

  54. [62]

    Virtual retractions, conjugacy separability and omnipo- tence

    Henry Wilton. Virtual retractions, conjugacy separability and omnipo- tence. J. Algebra, 323:323–335, 2010

    2010

  55. [63]

    The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups

    Henry Wilton and Alessandro Sisto. The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups. arXiv preprint arXiv:2410.00556, 2024

    2024 arXiv

  56. [64]

    Effective rank rigidity

    Abdul Zalloum. Effective rank rigidity. to appear in Transactions of the American Mathematical Society, 2023. Université Bourgogne Europe, CNRS, IMB UMR 5584, 21000 Dijon, FR E-mail address: remi.coulon@cnrs.fr Department of Mathematics, Heriot-W att University and Maxwell Ins...

    2023

Pith tools

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