Connections between the topology of the Morse boundary, the Morse local-to-global property and acylindrical hyperbolicity
Pith reviewed 2026-05-13 01:10 UTC · model grok-4.3
The pith
A group has a σ-compact Morse boundary if and only if it is Morse local-to-global.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A finitely generated group has σ-compact Morse boundary precisely when it is Morse local-to-global. The proof uses generalized small-cancellation arguments that work for arbitrary finitely generated groups. As a consequence, the authors produce the first example of a non-virtually-cyclic Morse local-to-global group that contains an infinite-order Morse element yet fails to be acylindrically hyperbolic.
What carries the argument
The Morse local-to-global property, which converts local control on Morse geodesics into global control and thereby forces the Morse boundary to be σ-compact.
If this is right
- Any group whose Morse boundary is σ-compact must admit global extension of its local Morse geodesics.
- In the new class of groups resembling graded small-cancellation groups, a geodesic is Morse exactly when its intersection with relators is sublinear in relator length.
- The geodesic Morse local-to-global property supplies a practical test for deciding whether a given group is Morse local-to-global.
- The constructed example separates the Morse local-to-global property from acylindrical hyperbolicity for groups that are not virtually cyclic.
Where Pith is reading between the lines
- The same generalized small-cancellation techniques might apply to other boundaries or to quasi-geodesics.
- Algorithmic questions about the Morse boundary, such as decidability of membership, could become tractable once the local-to-global property holds.
- Further examples in the new class may separate additional geometric properties while preserving the Morse local-to-global feature.
Load-bearing premise
The usual definitions of the Morse boundary and the Morse local-to-global property apply to the finitely generated groups under study, so that the equivalence follows from the generalized small-cancellation tools.
What would settle it
A single finitely generated group that has σ-compact Morse boundary yet fails the Morse local-to-global property (or the converse) would disprove the claimed equivalence.
Figures
read the original abstract
We relate the topology of the Morse boundary of a group to geometric and algorithmic properties of the group. In particular, we show that a group has $\sigma$-compact Morse boundary if and only if it is Morse local-to-global. We also provide tools such as the geodesic Morse local-to-global property to show that groups are (not) Morse local-to-global. Our strategy generalizes tools from small cancellation theory, such as the intersection of relators, to arbitrary finitely generated groups. Further, we introduce a class of groups akin to graded small-cancellation groups and show that, for groups in this class, a geodesic is Morse if and only if its intersection with relators grows sublinearly in the length of the relators. We use this to construct the first example of a non-virtually cyclic Morse local-to-global group with an infinite-order Morse element that is not acylindrically hyperbolic.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that a finitely generated group has σ-compact Morse boundary if and only if it satisfies the Morse local-to-global (MLTG) property. It generalizes intersection-of-relators estimates from small cancellation theory to arbitrary finitely generated groups, introduces a class of groups analogous to graded small cancellation groups in which a geodesic is Morse precisely when its intersections with relators grow sublinearly, and constructs the first non-virtually cyclic MLTG group possessing an infinite-order Morse element that is not acylindrically hyperbolic.
Significance. If the central equivalence and the supporting generalization hold, the work supplies a topological characterization of the MLTG property and new criteria for verifying it, while furnishing a concrete example that separates MLTG from acylindrical hyperbolicity. The extension of small cancellation techniques beyond classical presentations, together with the explicit construction, would constitute a substantive advance in the study of Morse boundaries and quasi-isometry invariants.
major comments (2)
- [§3] §3: The claimed equivalence and the subsequent example rest on a generalization of the 'intersection of relators' condition to arbitrary finitely generated groups. The manuscript must supply an explicit, presentation-independent definition of this intersection growth (or of the 'generalized relators') that is invariant under change of finite generating set; without it the predicate is not known to be a quasi-isometry invariant, undermining both the iff statement and the construction of the non-AH MLTG example.
- [Abstract, §4] Abstract and §4 (construction): The example group is asserted to be MLTG, to possess an infinite-order Morse element, and to fail acylindrical hyperbolicity. The verification that this group lies in the newly introduced class and satisfies the sublinear-intersection characterization must be checked against the same presentation-independent definition; any dependence on a specific presentation would render the separation from AH non-canonical.
minor comments (2)
- [§3] Notation for the generalized intersection function should be introduced with a displayed definition and a short paragraph confirming its independence from the choice of generators.
- [§2] The statement of the geodesic MLTG property (used as a tool) would benefit from an explicit comparison with the standard MLTG property, including a short proof or reference that the two coincide under the paper's hypotheses.
Simulated Author's Rebuttal
We thank the referee for their careful reading and constructive comments on our manuscript. We address the major comments point by point below, outlining the revisions we will undertake to ensure all definitions are presentation-independent and the results are robust.
read point-by-point responses
-
Referee: [§3] §3: The claimed equivalence and the subsequent example rest on a generalization of the 'intersection of relators' condition to arbitrary finitely generated groups. The manuscript must supply an explicit, presentation-independent definition of this intersection growth (or of the 'generalized relators') that is invariant under change of finite generating set; without it the predicate is not known to be a quasi-isometry invariant, undermining both the iff statement and the construction of the non-AH MLTG example.
Authors: We agree that an explicit, presentation-independent formulation is essential for the equivalence to be a quasi-isometry invariant. In §3 the intersection growth is defined via the word metric on the Cayley graph with respect to a fixed finite generating set S. We will add a new lemma (Lemma 3.12) establishing that sublinear intersection growth with respect to S implies the same (up to a multiplicative constant adjustment to the sublinear function) with respect to any other finite generating set T. The proof relies on the bi-Lipschitz equivalence of the word metrics d_S and d_T. With this lemma in place, the generalized relator condition, the Morse local-to-global property, and the equivalence with σ-compactness of the Morse boundary are all well-defined and invariant. We will also revise the statement of Theorem 3.1 and the surrounding discussion to reference this invariance explicitly. revision: yes
-
Referee: [Abstract, §4] Abstract and §4 (construction): The example group is asserted to be MLTG, to possess an infinite-order Morse element, and to fail acylindrical hyperbolicity. The verification that this group lies in the newly introduced class and satisfies the sublinear-intersection characterization must be checked against the same presentation-independent definition; any dependence on a specific presentation would render the separation from AH non-canonical.
Authors: We accept that the verification for the example in §4 must be performed with the invariant definition. The group is constructed from an explicit (infinite) presentation, but we will add a new subsection (4.3) that first invokes the invariance lemma from §3 and then verifies sublinear intersection growth directly with respect to the standard generating set, showing that the same bounds hold (up to constants) for any finite generating set. This confirms that the group belongs to the generalized class, satisfies the Morse local-to-global property, contains an infinite-order Morse element, and is not acylindrically hyperbolic, all in a presentation-independent manner. We will also update the abstract to reflect that the separation is canonical. revision: yes
Circularity Check
No circularity: equivalence derived from independent standard definitions and new generalization
full rationale
The claimed iff between σ-compact Morse boundary and Morse local-to-global property rests on standard quasi-isometry-invariant definitions of both notions plus a generalization of small-cancellation intersection estimates to arbitrary finitely generated groups. No step reduces the target equivalence to a fitted parameter, self-definition, or self-citation chain; the generalization is introduced as novel content rather than presupposed. The example construction follows from the new tools without circular reduction. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Standard definitions of Morse boundary, Morse geodesics, and acylindrical hyperbolicity from geometric group theory
invented entities (1)
-
Class of groups akin to graded small-cancellation groups
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Groups, Geometry, and Dynamics , volume=
Negative curvature in graphical small cancellation groups , author=. Groups, Geometry, and Dynamics , volume=
-
[2]
and Sisto, Alessandro , TITLE =
Mackay, John M. and Sisto, Alessandro , TITLE =. Ann. Acad. Sci. Fenn. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.5186/aasfm.2020.4511 , URL =
-
[3]
arXiv preprint arXiv:2012.11902 , year=
Maps between relatively hyperbolic spaces and between their boundaries , author=. arXiv preprint arXiv:2012.11902 , year=
-
[4]
Bowditch, B. H. , TITLE =. Internat. J. Algebra Comput. , FJOURNAL =. 2012 , NUMBER =. doi:10.1142/S0218196712500166 , URL =
-
[5]
Metric spaces of non-positive curvatu re
Bridson, Martin R. and Haefliger, Andr\'. Metric spaces of non-positive curvature , SERIES =. 1999 , PAGES =. doi:10.1007/978-3-662-12494-9 , URL =
-
[6]
American Mathematical Society, Providence, RI, 2018.10.1090/coll/063
Dru. Geometric group theory , SERIES =. 2018 , PAGES =. doi:10.1090/coll/063 , URL =
-
[7]
Sun, Bin , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/agt.2019.19.1711 , URL =
-
[8]
Cordes, Matthew and Dussaule, Matthieu and Gekhtman, Ilya , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2022 , NUMBER =. doi:10.2140/agt.2022.22.1217 , URL =
-
[9]
Comment on second-countability and metrisability of the
Mark Hagen , year=. Comment on second-countability and metrisability of the
-
[10]
Genericity of contracting geodesics in groups , author=. 2023 , eprint=
work page 2023
-
[11]
A non-loxodromic Morse element in a Morse local-to-global group , author=. 2025 , eprint=
work page 2025
-
[12]
Weak Morse properties in spaces with bounded combings , author=. 2025 , eprint=
work page 2025
-
[13]
arXiv preprint arXiv:2212.12122 , year=
Random walks and contracting elements III: Outer space and outer automorphism group , author=. arXiv preprint arXiv:2212.12122 , year=
-
[14]
and Sisto, Alessandro , TITLE =
Durham, Matthew Gentry and Hagen, Mark F. and Sisto, Alessandro , TITLE =. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/gt.2017.21.3659 , URL =
-
[15]
The Poisson boundary of hyperbolic groups without moment conditions , author=. 2022 , eprint=
work page 2022
-
[16]
Conformal dynamics at infinity for groups with contracting elements , author=. 2023 , eprint=
work page 2023
- [17]
-
[18]
Liu, Qing , TITLE =. Geom. Dedicata , FJOURNAL =. 2021 , PAGES =. doi:10.1007/s10711-021-00600-7 , URL =
-
[19]
Gruber, Dominik and Sisto, Alessandro , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2018 , NUMBER =
work page 2018
-
[20]
Journal of Group Theory , volume=
Morse boundaries of graphs of groups with finite edge groups , author=. Journal of Group Theory , volume=. 2023 , publisher=
work page 2023
-
[21]
Zbinden, Stefanie , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/tran/9263 , URL =
-
[22]
Cashen, Christopher H. and Mackay, John M. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1090/tran/7544 , URL =
-
[23]
Cordes, Matthew and Hume, David , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2017 , NUMBER =. doi:10.1112/jlms.12042 , URL =
-
[24]
Karidi, Ron , TITLE =. Duke Math. J. , FJOURNAL =. 1994 , NUMBER =. doi:10.1215/S0012-7094-94-07415-2 , URL =
- [25]
- [26]
- [27]
-
[28]
Notes on topological dimension theory , Year =
Schultz, Reinhard , Note =. Notes on topological dimension theory , Year =
-
[29]
Gromov, Misha , TITLE =. Essays in group theory , SERIES =. 1987 , MRCLASS =. doi:10.1007/978-1-4613-9586-7\_3 , URL =
-
[30]
Progress in Mathematics , publisher =
Ballmann, Werner and Gromov, Mikhael and Schroeder, Viktor , title =. Progress in Mathematics , publisher =
-
[31]
arXiv preprint arXiv:1704.07598 , year=
A survey on Morse boundaries & stability , author=. arXiv preprint arXiv:1704.07598 , year=
-
[32]
Hyperbolic quasi-geodesics in CAT (0) spaces , author=. Geometriae Dedicata , volume=. 2014 , publisher=
work page 2014
-
[33]
arXiv preprint arXiv:2009.14053 , year=
Coarse injectivity, hierarchical hyperbolicity, and semihyperbolicity , author=. arXiv preprint arXiv:2009.14053 , year=
-
[34]
arXiv preprint arXiv:2208.13859 , year=
Morse subsets of injective spaces are strongly contracting , author=. arXiv preprint arXiv:2208.13859 , year=
-
[35]
Maher, Joseph and Tiozzo, Giulio , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2018 , PAGES =. doi:10.1515/crelle-2015-0076 , URL =
-
[36]
Pacific Journal of Mathematics , volume=
Topology and dynamics of the contracting boundary of cocompact CAT (0) spaces , author=. Pacific Journal of Mathematics , volume=. 2019 , publisher=
work page 2019
-
[37]
Transactions of the American Mathematical Society , volume=
Groups with graphical C(6) and C(7) small cancellation presentations , author=. Transactions of the American Mathematical Society , volume=
-
[38]
Behrstock, Jason and Hagen, Mark and Sisto, Alessandro , TITLE =. Pacific J. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.2140/pjm.2019.299.257 , URL =
-
[39]
Complete topological descriptions of certain Morse boundaries , author=. to appear in Groups Geom. Dyn. , year=
-
[40]
arXiv preprint arXiv:2110.14637 , year=
Morse boundaries of graphs of groups with finite edge groups , author=. arXiv preprint arXiv:2110.14637 , year=
-
[41]
Sisto, Alessandro , TITLE =. Math. Z. , FJOURNAL =. 2016 , NUMBER =. doi:10.1007/s00209-016-1615-z , URL =
-
[42]
Separability in Morse local-to-global groups , author=. 2024 , eprint=
work page 2024
-
[43]
Charney, Ruth and Cordes, Matthew and Sisto, Alessandro , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/ggd/669 , URL =
-
[44]
Olshanskii, Alexander Yu. and Osin, Denis V. and Sapir, Mark V. , TITLE =. Geom. Topol. , FJOURNAL =. 2009 , NUMBER =. doi:10.2140/gt.2009.13.2051 , URL =
-
[45]
Cordes, Matthew and Durham, Matthew Gentry , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2019 , NUMBER =. doi:10.1093/imrn/rnx166 , URL =
-
[46]
Cordes, Matthew , TITLE =. Groups Geom. Dyn. , FJOURNAL =. 2017 , NUMBER =. doi:10.4171/GGD/429 , URL =
-
[47]
Charney, Ruth and Sultan, Harold , TITLE =. J. Topol. , FJOURNAL =. 2015 , NUMBER =
work page 2015
-
[48]
Documenta Mathematica , volume=
Characterizations of Morse quasi-geodesics via superlinear divergence and sublinear contraction , author=. Documenta Mathematica , volume=
-
[49]
Annales de l'Institut Fourier , volume=
Infinitely presented graphical small cancellation groups are acylindrically hyperbolic , author=. Annales de l'Institut Fourier , volume=
-
[50]
Sur les groupes hyperboliques d’apr
Small cancellation groups , author=. Sur les groupes hyperboliques d’apr. 1990 , organization=
work page 1990
- [51]
-
[52]
arXiv preprint arXiv:2303.15981 , year=
On the v \ C \ ech cohomology of Morse boundaries , author=. arXiv preprint arXiv:2303.15981 , year=
-
[53]
arXiv preprint arXiv:2304.01271 , year=
Some properties of Markov chains on the free group F_2 , author=. arXiv preprint arXiv:2304.01271 , year=
-
[54]
Geometric and Functional Analysis , volume=
A characterization of higher rank symmetric spaces via bounded cohomology , author=. Geometric and Functional Analysis , volume=. 2009 , publisher=
work page 2009
-
[55]
Journal of the American Mathematical Society , volume=
The geometry of the disk complex , author=. Journal of the American Mathematical Society , volume=
-
[56]
Pacific journal of mathematics , volume=
Uniform hyperbolicity of the curve graphs , author=. Pacific journal of mathematics , volume=. 2014 , publisher=
work page 2014
-
[57]
Bulletin of the London Mathematical Society , volume=
Regular languages for contracting geodesics , author=. Bulletin of the London Mathematical Society , volume=. 2022 , publisher=
work page 2022
-
[58]
Extensions of Veech groups I: A hyperbolic action , author=. Journal of Topology , volume=. 2023 , publisher=
work page 2023
-
[59]
arXiv preprint arXiv:1301.6513 , year=
Group actions on metric spaces: fixed points and free subgroups , author=. arXiv preprint arXiv:1301.6513 , year=
-
[60]
Transactions of the American Mathematical Society , volume=
Acylindrically hyperbolic groups , author=. Transactions of the American Mathematical Society , volume=
-
[61]
Bestvina, Mladen and Bromberg, Ken and Fujiwara, Koji and Sisto, Alessandro , TITLE =. Enseign. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/lem/65-1/2-1 , URL =
-
[62]
Constructing group actions on quasi-trees and applications to mapping class groups , author=. Publications math. 2015 , publisher=
work page 2015
-
[63]
(Non-)Recognizing Spaces for Stable Subgroups , author=. 2023 , eprint=
work page 2023
-
[64]
Morse subsets of CAT (0) spaces are strongly contracting , author=. Geometriae Dedicata , volume=. 2020 , publisher=
work page 2020
-
[65]
arXiv preprint math/9804098 , year=
Geometry of the complex of curves I: Hyperbolicity , author=. arXiv preprint math/9804098 , year=
- [66]
-
[67]
Inventiones mathematicae , volume=
Acylindrical accessibility for groups , author=. Inventiones mathematicae , volume=. 1997 , publisher=
work page 1997
-
[68]
Inventiones mathematicae , volume=
Tight geodesics in the curve complex , author=. Inventiones mathematicae , volume=. 2008 , publisher=
work page 2008
-
[69]
arXiv preprint arXiv:1306.1542 , pages=
Bounded cohomology via quasi-trees , author=. arXiv preprint arXiv:1306.1542 , pages=. 2013 , publisher=
-
[70]
Bounded cohomology of subgroups of mapping class groups , author=. Geometry & Topology , volume=. 2002 , publisher=
work page 2002
-
[71]
Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces , author=. 2017 , publisher=
work page 2017
- [72]
-
[73]
Groups, Geometry, and Dynamics , volume=
Small cancellation in acylindrically hyperbolic groups , author=. Groups, Geometry, and Dynamics , volume=
-
[74]
Algebraic & Geometric Topology , volume=
Induced quasicocycles on groups with hyperbolically embedded subgroups , author=. Algebraic & Geometric Topology , volume=. 2013 , publisher=
work page 2013
- [75]
-
[76]
and Sisto, Alessandro , TITLE =
Behrstock, Jason and Hagen, Mark F. and Sisto, Alessandro , TITLE =. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/gt.2017.21.1731 , URL =
-
[77]
arXiv preprint arXiv:2309.07013 , year=
Induced quasi-isometries of hyperbolic spaces, Markov chains, and acylindrical hyperbolicity , author=. arXiv preprint arXiv:2309.07013 , year=
-
[78]
Proceedings of the London Mathematical Society , volume=
Ends of group pairs and non-positively curved cube complexes , author=. Proceedings of the London Mathematical Society , volume=. 1995 , publisher=
work page 1995
-
[79]
Constructing metric spaces from systems of walls , author=
-
[80]
Journal of the european Mathematical Society , volume=
Amenable hyperbolic groups , author=. Journal of the european Mathematical Society , volume=
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.