A note on subgroups of the Loch Ness Monster Surface's Mapping Class Group
In this short note we give an elementary proof of the fact that every countable group is a subgroup of the mapping class group of the Loch Ness monster surface.
Discover
Research tools
Network
Opportunities
Account
Source author record
Davide Spriano appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this short note we give an elementary proof of the fact that every countable group is a subgroup of the mapping class group of the Loch Ness monster surface.
We prove that Morse local-to-global groups grow exponentially faster than their infinite index stable subgroups. This generalizes a result of Dahmani, Futer, and Wise in the context of quasi-convex subgroups of hyperbolic groups to a broad class of groups that contains the mapping class group, CAT(0) groups, and the fundamental groups of closed 3-manifolds. To accomplish this, we develop a theory of automatic structures on Morse geodesics in Morse local-to-global groups. Other applications of these automatic structures include a description of stable subgroups in terms of regular languages, rationality of the growth of stable subgroups, density in the Morse boundary of the attracting fixed points of Morse elements, and containment of the Morse boundary inside the limit set of any infinite normal subgroup.
Let G be a graph of hyperbolic groups with 2-ended edge groups. We show that G is hierarchically hyperbolic if and only if G has no distorted infinite cyclic subgroup. More precisely, we show that G is hierarchically hyperbolic if and only if G does not contain certain quotients of Baumslag-Solitar groups. As a consequence, we obtain several new results about this class, such as quadratic isoperimetric inequality and finite asymptotic dimension.