Showing 1–10 of 10 results for author: Mangahas, J

(Non-)Recognizing Spaces for Stable Subgroups

Authors: Sahana Balasubramanya, Marissa Chesser, Alice Kerr, Johanna Mangahas, Marie Trin

Abstract: In this note, we consider the notion of what we call recognizing spaces for stable subgroups of a given group. When a group $G$ is a mapping class group or right-angled Artin group, it is known that a subgroup is stable exactly when the largest acylindrical action $G \curvearrowright X$ provides a quasi-isometric embedding of the subgroup into $X$ via the orbit map. In this sense the largest acyli… ▽ More In this note, we consider the notion of what we call recognizing spaces for stable subgroups of a given group. When a group $G$ is a mapping class group or right-angled Artin group, it is known that a subgroup is stable exactly when the largest acylindrical action $G \curvearrowright X$ provides a quasi-isometric embedding of the subgroup into $X$ via the orbit map. In this sense the largest acylindrical action for mapping class groups and right-angled Artin groups provides a recognizing space for all stable subgroups. In contrast, we construct an acylindrically hyperbolic group (relatively hyperbolic, in fact) whose largest acylindrical action does not recognize all stable subgroups. △ Less

Submitted 25 June, 2025; v1 submitted 25 November, 2023; originally announced November 2023.

Comments: 12 pages, 1 figure. To appear in Proceedings of the American Mathematical Society

MSC Class: 20F65; 20F67

Hyperbolic quotients of projection complexes

Authors: Matt Clay, Johanna Mangahas

Abstract: This paper is a continuation of our previous work with Margalit where we studied group actions on projection complexes. In that paper, we demonstrated sufficient conditions so that the normal closure of a family of subgroups of vertex stabilizers is a free product of certain conjugates of these subgroups. In this paper, we study both the quotient of the projection complex by this normal subgroup a… ▽ More This paper is a continuation of our previous work with Margalit where we studied group actions on projection complexes. In that paper, we demonstrated sufficient conditions so that the normal closure of a family of subgroups of vertex stabilizers is a free product of certain conjugates of these subgroups. In this paper, we study both the quotient of the projection complex by this normal subgroup and the action of the quotient group on the quotient of the projection complex. We show that under certain conditions that the quotient complex is $δ$-hyperbolic. Additionally, under certain circumstances, we show that if the original action on the projection complex was a non-elementary WPD action, then so is the action of the quotient group on the quotient of the projection complex. This implies that the quotient group is acylindrically hyperbolic. △ Less

Submitted 21 August, 2020; v1 submitted 28 May, 2020; originally announced May 2020.

Comments: 16 pages, 1 figures; incorporated suggestions from referee

MSC Class: 20F65; 57M07

Right-angled Artin groups as normal subgroups of mapping class groups

Authors: Matt Clay, Johanna Mangahas, Dan Margalit

Abstract: We construct the first examples of normal subgroups of mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the mapping class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal… ▽ More We construct the first examples of normal subgroups of mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the mapping class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal result of Dahmani-Guirardel-Osin, which gives free, purely pseudo-Anosov normal subgroups of mapping class groups. We give two applications of our methods: (1) we produce an explicit proper normal subgroup of the mapping class group that is not contained in any level $m$ congruence subgroup, and (2) we produce an explicit example of a pseudo-Anosov mapping class with the property that all of its even powers have free normal closure and its odd powers normally generate the entire mapping class group. The technical theorem at the heart of our work is a new version of the windmill apparatus of Dahmani-Guirardel-Osin, which is tailored to the setting of group actions on the projection complexes of Bestvina-Bromberg-Fujiwara. △ Less

Submitted 16 February, 2021; v1 submitted 28 January, 2020; originally announced January 2020.

Comments: 40 pages, 8 figures; v2: incorporates comments from referee; v3: minor edits, final version

MSC Class: 57K20 57M07 20F65

Journal ref: Compositio Math. 157 (2021) 1807-1852

The geometry of purely loxodromic subgroups of right-angled Artin groups

Authors: Thomas Koberda, Johanna Mangahas, Samuel J. Taylor

Abstract: We prove that finitely generated purely loxodromic subgroups of a right-angled Artin group $A(Γ)$ fulfill equivalent conditions that parallel characterizations of convex cocompactness in mapping class groups $\text{Mod}(S)$. In particular, such subgroups are quasiconvex in $A(Γ)$. In addition, we identify a milder condition for a finitely generated subgroup of $A(Γ)$ that guarantees it is free, un… ▽ More We prove that finitely generated purely loxodromic subgroups of a right-angled Artin group $A(Γ)$ fulfill equivalent conditions that parallel characterizations of convex cocompactness in mapping class groups $\text{Mod}(S)$. In particular, such subgroups are quasiconvex in $A(Γ)$. In addition, we identify a milder condition for a finitely generated subgroup of $A(Γ)$ that guarantees it is free, undistorted, and retains finite generation when intersected with $A(Λ)$ for subgraphs $Λ$ of $Γ$. These results have applications to both the study of convex cocompactness in $\text{Mod}(S)$ and the way in which certain groups can embed in right-angled Artin groups. △ Less

Submitted 8 March, 2016; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 39 pages, 10 figures. To appear in Transactions of the AMS

An algorithm to detect full irreducibility by bounding the volume of periodic free factors

Authors: Matt Clay, Johanna Mangahas, Alexandra Pettet

Abstract: We provide an effective algorithm for determining whether an element of the outer automorphism group of a free group is fully irreducible. Our method produces a finite list which can be checked for periodic proper free factors. We provide an effective algorithm for determining whether an element of the outer automorphism group of a free group is fully irreducible. Our method produces a finite list which can be checked for periodic proper free factors. △ Less

Submitted 23 July, 2014; v1 submitted 28 February, 2014; originally announced February 2014.

Comments: 16 pages; to appear in MMJ

MSC Class: 20F65

An effective algebraic detection of the Nielsen--Thurston classification of mapping classes

Authors: Thomas Koberda, Johanna Mangahas

Abstract: In this article, we propose two algorithms for determining the Nielsen-Thurston classification of a mapping class $ψ$ on a surface $S$. We start with a finite generating set $X$ for the mapping class group and a word $ψ$ in $\langle X \rangle$. We show that if $ψ$ represents a reducible mapping class in $\Mod(S)$ then $ψ$ admits a canonical reduction system whose total length is exponential in the… ▽ More In this article, we propose two algorithms for determining the Nielsen-Thurston classification of a mapping class $ψ$ on a surface $S$. We start with a finite generating set $X$ for the mapping class group and a word $ψ$ in $\langle X \rangle$. We show that if $ψ$ represents a reducible mapping class in $\Mod(S)$ then $ψ$ admits a canonical reduction system whose total length is exponential in the word length of $ψ$. We use this fact to find the canonical reduction system of $ψ$. We also prove an effective conjugacy separability result for $π_1(S)$ which allows us to lift the action of $ψ$ to a finite cover $\yt{S}$ of $S$ whose degree depends computably on the word length of $ψ$, and to use the homology action of $ψ$ on $H_1(\yt{S},\mathbb{C})$ to determine the Nielsen-Thurston classification of $ψ$. △ Less

Submitted 14 July, 2014; v1 submitted 20 December, 2013; originally announced December 2013.

Comments: 15 pages, two figures. Accepted to JTA

Convex cocompactness in mapping class groups via quasiconvexity in right-angled Artin groups

Authors: Johanna Mangahas, Samuel J. Taylor

Abstract: We characterize convex cocompact subgroups of mapping class groups that arise as subgroups of specially embedded right-angled Artin groups. That is, if the right-angled Artin group G in Mod(S) satisfies certain conditions that imply G is quasi-isometrically embedded in Mod(S), then a purely pseudo-Anosov subgroup H of G is convex cocompact in Mod(S) if and only if it is combinatorially quasiconvex… ▽ More We characterize convex cocompact subgroups of mapping class groups that arise as subgroups of specially embedded right-angled Artin groups. That is, if the right-angled Artin group G in Mod(S) satisfies certain conditions that imply G is quasi-isometrically embedded in Mod(S), then a purely pseudo-Anosov subgroup H of G is convex cocompact in Mod(S) if and only if it is combinatorially quasiconvex in G. We use this criterion to construct convex cocompact subgroups of Mod(S) whose orbit maps into the curve complex have small Lipschitz constants. △ Less

Submitted 21 June, 2013; originally announced June 2013.

Comments: 30 pages, 4 figures

A recipe for short-word pseudo-Anosovs

Authors: Johanna Mangahas

Abstract: Given any generating set of any pseudo-Anosov-containing subgroup of the mapping class group of a surface, we construct a pseudo-Anosov with word length bounded by a constant depending only on the surface. More generally, in any subgroup G we find an element f with the property that the minimal subsurface supporting a power of f is as large as possible for elements of G; the same constant bounds t… ▽ More Given any generating set of any pseudo-Anosov-containing subgroup of the mapping class group of a surface, we construct a pseudo-Anosov with word length bounded by a constant depending only on the surface. More generally, in any subgroup G we find an element f with the property that the minimal subsurface supporting a power of f is as large as possible for elements of G; the same constant bounds the word length of f. Along the way we find new examples of convex cocompact free subgroups of the mapping class group. △ Less

Submitted 12 August, 2010; originally announced August 2010.

Comments: 24 pages, 5 figures

MSC Class: 57M07 (20F65)

The geometry of right angled Artin subgroups of mapping class groups

Authors: Matt Clay, Christopher J. Leininger, Johanna Mangahas

Abstract: We describe sufficient conditions which guarantee that a finite set of mapping classes generate a right-angled Artin group quasi-isometrically embedded in the mapping class group. Moreover, under these conditions, the orbit map to Teichmuller space is a quasi-isometric embedding for both of the standard metrics. As a consequence, we produce infinitely many genus h surfaces (for any h at least 2)… ▽ More We describe sufficient conditions which guarantee that a finite set of mapping classes generate a right-angled Artin group quasi-isometrically embedded in the mapping class group. Moreover, under these conditions, the orbit map to Teichmuller space is a quasi-isometric embedding for both of the standard metrics. As a consequence, we produce infinitely many genus h surfaces (for any h at least 2) in the moduli space of genus g surfaces (for any g at least 3) for which the universal covers are quasi-isometrically embedded in the Teichmuller space. △ Less

Submitted 23 July, 2010; v1 submitted 7 July, 2010; originally announced July 2010.

Comments: 26 pages, 6 figures; v2: added references

MSC Class: 57M07; 20F65

Uniform uniform exponential growth of subgroups of the mapping class group

Authors: Johanna Mangahas

Abstract: Let Mod(S) denote the mapping class group of a compact, orientable surface S. We prove that finitely generated subgroups of Mod(S) which are not virtually abelian have uniform exponential growth with minimal growth rate bounded below by a constant depending only, and necessarily, on S. For the proof, we find in any such subgroup explicit free group generators which are "short" in any word metric… ▽ More Let Mod(S) denote the mapping class group of a compact, orientable surface S. We prove that finitely generated subgroups of Mod(S) which are not virtually abelian have uniform exponential growth with minimal growth rate bounded below by a constant depending only, and necessarily, on S. For the proof, we find in any such subgroup explicit free group generators which are "short" in any word metric. Besides bounding growth, this allows a bound on the return probability of simple random walks. △ Less

Submitted 3 October, 2009; v1 submitted 1 May, 2008; originally announced May 2008.

Comments: 12 pgs. V5 benefits from referee comments: clearer proof and added reference for Sec. 4; numerical correction in Lemma 2.5 and where it is applied; typos fixed. V4 adds Sec. 4 (growth bound must depend on surface); V3 adds random walks corollary; V2 states stronger result implicit in original proof and corrects formula for growth rate bound

MSC Class: 57M07