Showing 1–9 of 9 results for author: Mutanguha, J P

On polynomial free-by-cyclic groups

Authors: Jean Pierre Mutanguha

Abstract: A free-by-cyclic group can often be viewed as a mapping torus of a free group automorphism (monodromy) in multiple ways. What dynamical properties must these monodromies share, and to what extent are they invariant under quasi-isometries? We give a new proof using cyclic splittings that the growth type of a monodromy is a geometric invariant of the free-by-cyclic group; we also characterise the de… ▽ More A free-by-cyclic group can often be viewed as a mapping torus of a free group automorphism (monodromy) in multiple ways. What dynamical properties must these monodromies share, and to what extent are they invariant under quasi-isometries? We give a new proof using cyclic splittings that the growth type of a monodromy is a geometric invariant of the free-by-cyclic group; we also characterise the degree of polynomial growth using slender splittings. For exponential growth, we conjecture that the nesting of attracting laminations is a geometric invariant. △ Less

Submitted 20 December, 2024; originally announced December 2024.

Comments: 20 pages, comments demanded

MSC Class: 20F65; 20E05; 20E36; 20E08

Hyperbolic hyperbolic-by-cyclic groups are cubulable

Authors: François Dahmani, Suraj Krishna M S, Jean Pierre Mutanguha

Abstract: We show that the mapping torus of a hyperbolic group by a hyperbolic automorphism is cubulable. Along the way, we (i) give an alternate proof of Hagen and Wise's theorem that hyperbolic free-by-cyclic groups are cubulable, and (ii) extend to the case with torsion Brinkmann's thesis that a torsion-free hyperbolic-by-cyclic group is hyperbolic if and only if it does not contain $\mathbb{Z}^2$-subgro… ▽ More We show that the mapping torus of a hyperbolic group by a hyperbolic automorphism is cubulable. Along the way, we (i) give an alternate proof of Hagen and Wise's theorem that hyperbolic free-by-cyclic groups are cubulable, and (ii) extend to the case with torsion Brinkmann's thesis that a torsion-free hyperbolic-by-cyclic group is hyperbolic if and only if it does not contain $\mathbb{Z}^2$-subgroups. △ Less

Submitted 29 January, 2024; v1 submitted 26 June, 2023; originally announced June 2023.

Comments: Incorporated referee suggestions. Final version, to appear in Geom. Topol

MSC Class: 20F65; 20E36; 20E08; 20F67

Journal ref: Geom. Topol. 29 (2025) 259-268

Limit trees for free group automorphisms: universality

Authors: Jean Pierre Mutanguha

Abstract: To any free group automorphism, we associate a universal (cone of) limit tree(s) with three defining properties: first, the tree has a minimal isometric action of the free group with trivial arc stabilizers; second, there is a unique expanding dilation of the tree that represents the free group automorphism; and finally, the loxodromic elements are exactly the elements that weakly limit to dominat… ▽ More To any free group automorphism, we associate a universal (cone of) limit tree(s) with three defining properties: first, the tree has a minimal isometric action of the free group with trivial arc stabilizers; second, there is a unique expanding dilation of the tree that represents the free group automorphism; and finally, the loxodromic elements are exactly the elements that weakly limit to dominating attracting laminations under forward iteration by the automorphism. So the action on the tree detects the automorphism's dominating exponential dynamics. As a corollary, our previously constructed limit pretree that detects the exponential dynamics is canonical. We also characterize all very small trees that admit an expanding homothety representing a given automorphism. In the appendix, we prove a variation of Feighn--Handel's recognition theorem for atoroidal outer automorphisms. △ Less

Submitted 14 October, 2024; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: 58 pages, 3 figures. v2: 62 pages, extended main theorem from topmost to dominating laminations and characterized expanding trees; updated references, including Feighn--Handel's recognition theorem. v3: incorporated referee comments

MSC Class: 20F65; 20E05; 20E08; 20E36

Journal ref: Forum Math. Sigma 12 (2024) e122

Limit pretrees for free group automorphisms: existence

Authors: Jean Pierre Mutanguha

Abstract: To any free group automorphism, we associate a real pretree with several nice properties. First, it has a rigid/non-nesting action of the free group with trivial arc stabilizers. Secondly, there is an expanding pretree-automorphism of the real pretree that represents the free group automorphism. Finally and crucially, the loxodromic elements are exactly those whose (conjugacy class) length grows e… ▽ More To any free group automorphism, we associate a real pretree with several nice properties. First, it has a rigid/non-nesting action of the free group with trivial arc stabilizers. Secondly, there is an expanding pretree-automorphism of the real pretree that represents the free group automorphism. Finally and crucially, the loxodromic elements are exactly those whose (conjugacy class) length grows exponentially under iteration of the automorphism; thus, the action on the real pretree is able to detect the growth type of an element. This construction extends the theory of metric trees that has been used to study free group automorphisms. The new idea is that one can equivariantly blow up an isometric action on a real tree with respect to other real trees and get a rigid action on a treelike structure known as a real pretree. Topology plays no role in this construction as all the work is done in the language of pretrees (intervals). △ Less

Submitted 1 April, 2024; v1 submitted 20 December, 2021; originally announced December 2021.

Comments: 41 pages, 1 figure. v2: 40 pages, referenced the sequel. v3: 41 pages, incorporated referee comments

Report number: MPIM-Bonn-2021 MSC Class: 20F65; 20E05; 20E36

Journal ref: Forum Math. Sigma 12 (2024) e57

The minimal genus problem for right angled Artin groups

Authors: Rachael Boyd, Thorben Kastenholz, Jean Pierre Mutanguha

Abstract: We investigate the minimal genus problem for the second homology of a right angled Artin group (RAAG). Firstly, we present a lower bound for the minimal genus of a second homology class, equal to half the rank of the corresponding cap product matrix. We show that for complete graphs, trees, and complete bipartite graphs, this bound is an equality, and furthermore in these cases the minimal genus c… ▽ More We investigate the minimal genus problem for the second homology of a right angled Artin group (RAAG). Firstly, we present a lower bound for the minimal genus of a second homology class, equal to half the rank of the corresponding cap product matrix. We show that for complete graphs, trees, and complete bipartite graphs, this bound is an equality, and furthermore in these cases the minimal genus can always be realised by a disjoint union of tori. Additionally, we give a full characterisation of classes that are representable by a single torus. However, the minimal genus of a second homology class of a RAAG is not always realised by a disjoint union of tori as an example we construct in the pentagon shows. △ Less

Submitted 12 July, 2023; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: v1: 19 pages, 4 figures; comments welcome. v2: 20 pages; minor changes to incorporate referee comments

Report number: MPIM-Bonn-2021 MSC Class: 20J05; 20F36; 57R95

Journal ref: Geom. Dedicata 217 (2023) 93

The dynamics and geometry of free group endomorphisms

Authors: Jean Pierre Mutanguha

Abstract: We prove that ascending HNN extensions of free groups are word-hyperbolic if and only if they have no Baumslag-Solitar subgroups. This extends the theorem of Brinkmann that free-by-cyclic groups are word-hyperbolic if and only if they have no free abelian subgroups of rank 2. The paper is split into two independent parts: 1) We study the dynamics of injective nonsurjective endomorphisms of free… ▽ More We prove that ascending HNN extensions of free groups are word-hyperbolic if and only if they have no Baumslag-Solitar subgroups. This extends the theorem of Brinkmann that free-by-cyclic groups are word-hyperbolic if and only if they have no free abelian subgroups of rank 2. The paper is split into two independent parts: 1) We study the dynamics of injective nonsurjective endomorphisms of free groups. We prove a canonical structure theorem that initializes the development of improved relative train tracks for endomorphisms; this structure theorem is of independent interest since it makes many open questions about injective endomorphisms tractable. 2) As an application of the structure theorem, we are able to (relatively) combine Brinkmann's theorem with our previous work and obtain the main result stated above. In the final section, we further extend the result to HNN extensions of free groups over free factors. △ Less

Submitted 6 January, 2021; v1 submitted 24 May, 2020; originally announced May 2020.

Comments: v1: 59 pages, 6 figures. v2: 60 pages, 6 figures. The existence result in the first part of the paper is now an existence & uniqueness result

MSC Class: 20F65; 20E05; 20E06; 20F67

Journal ref: Adv. Math. 384 (2021) 107714

Irreducibility of a Free Group Endomorphism is a Mapping Torus Invariant

Authors: Jean Pierre Mutanguha

Abstract: We prove that the property of a free group endomorphism being irreducible is a group invariant of the ascending HNN extension it defines. This answers a question posed by Dowdall-Kapovich-Leininger. We further prove that being irreducible and atoroidal is a commensurability invariant. The invariance follows from an algebraic characterization of ascending HNN extensions that determines exactly when… ▽ More We prove that the property of a free group endomorphism being irreducible is a group invariant of the ascending HNN extension it defines. This answers a question posed by Dowdall-Kapovich-Leininger. We further prove that being irreducible and atoroidal is a commensurability invariant. The invariance follows from an algebraic characterization of ascending HNN extensions that determines exactly when their defining endomorphisms are irreducible and atoroidal; specifically, we show that the endomorphism is irreducible and atoroidal if and only if the ascending HNN extension has no infinite index subgroups that are ascending HNN extensions. △ Less

Submitted 6 January, 2021; v1 submitted 9 October, 2019; originally announced October 2019.

Comments: v1: 14 pages. Comments are welcome. v2: Minor changes and updated references

MSC Class: 20F65; 20E05; 20E06; 20F67

Journal ref: Comment. Math. Helv. 96 (2021) 47--63

Irreducible Nonsurjective Endomorphisms of $F_n$ are Hyperbolic

Authors: Jean Pierre Mutanguha

Abstract: Previously, Reynolds showed that any irreducible nonsurjective endomorphism can be represented by an irreducible immersion on a finite graph. We give a new proof of this and also show a partial converse holds when the immersion has connected Whitehead graphs with no cut vertices. The next result is a characterization of finitely generated subgroups of the free group that are invariant under an irr… ▽ More Previously, Reynolds showed that any irreducible nonsurjective endomorphism can be represented by an irreducible immersion on a finite graph. We give a new proof of this and also show a partial converse holds when the immersion has connected Whitehead graphs with no cut vertices. The next result is a characterization of finitely generated subgroups of the free group that are invariant under an irreducible nonsurjective endomorphism. Consequently, irreducible nonsurjective endomorphisms are fully irreducible. The characterization and Reynolds' theorem imply that the mapping torus of an irreducible nonsurjective endomorphism is word-hyperbolic. △ Less

Submitted 16 April, 2020; v1 submitted 22 August, 2019; originally announced August 2019.

Comments: v1: 19 pages, 1 figure. v2: 20 pages, 1 figure. Theorem 4.5 (now 4.6) as previously stated has a counterexample (Example 4.7). We added an extra hypothesis in the statement and adapted the proof accordingly. Consequently, we had to remove the algorithm described at the end of Section 4. Finally, Corollary 4.6 is now Corollary 5.6. v3: Fixed broken references

MSC Class: 20F65; 20E05; 20E08; 20F67

Journal ref: Bull. Lond. Math. Soc. 52 (2020) 960--976

Hyperbolic Immersions of Free Groups

Authors: Jean Pierre Mutanguha

Abstract: We prove that the mapping torus of a graph immersion has a word-hyperbolic fundamental group if and only if the corresponding endomorphism does not produce Baumslag-Solitar subgroups. Due to a result by Reynolds, this theorem applies to all injective endomorphisms of $F_2$ and nonsurjective fully irreducible endomorphisms of $F_n$. We also give a framework for extending the theorem to all injectiv… ▽ More We prove that the mapping torus of a graph immersion has a word-hyperbolic fundamental group if and only if the corresponding endomorphism does not produce Baumslag-Solitar subgroups. Due to a result by Reynolds, this theorem applies to all injective endomorphisms of $F_2$ and nonsurjective fully irreducible endomorphisms of $F_n$. We also give a framework for extending the theorem to all injective endomorphisms of $F_n$. △ Less

Submitted 30 August, 2019; v1 submitted 13 September, 2018; originally announced September 2018.

Comments: Argument streamlined and generalized; terminology changed; 19 pages, 4 figures

MSC Class: 20F65; 20E05; 20F67

Journal ref: Groups Geom. Dym. 14 (2020) 1253--1275