Showing 1–37 of 37 results for author: Dahmani, F

The Conjugacy Problem for $Out(F_3)$

Authors: François Dahmani, Stefano Francaviglia, Armando Martino, Nicholas Touikan

Abstract: We present a solution to the Conjugacy Problem in the group of outer-automorphisms of $F_3$, a free group of rank 3. We distinguish according to several computable invariants, such as irreducibility, subgroups of polynomial growth, and subgroups carrying the attracting lamination. We establish, by considerations on train tracks, that the conjugacy problem is decidable for the outer-automorphisms o… ▽ More We present a solution to the Conjugacy Problem in the group of outer-automorphisms of $F_3$, a free group of rank 3. We distinguish according to several computable invariants, such as irreducibility, subgroups of polynomial growth, and subgroups carrying the attracting lamination. We establish, by considerations on train tracks, that the conjugacy problem is decidable for the outer-automorphisms of $F_3$ that preserve a given rank 2 free factor. Then we establish, by consideration on mapping tori, that it is decidable for outer-automorphisms of $F_3$ whose maximal polynomial growth subgroups are cyclic. This covers all the cases left by the state of the art. △ Less

Submitted 7 November, 2023; originally announced November 2023.

Comments: 27 pages

Journal ref: Forum of Mathematics, Sigma , Volume 13 , 2025 , e41

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

Unipotent linear suspensions of free groups

Authors: François Dahmani, Nicholas Touikan

Abstract: Motivated by the study of the conjugacy problem for outer automorphism of free groups, we develop the algorithmic theory of the free-by-cyclic group produced by unipotent linearly growing automorphisms of f.g. free groups. We compute canonical splittings of these suspensions as well as their subgroups. We compute their automorphism groups. We show that this class of suspensions is effectively co… ▽ More Motivated by the study of the conjugacy problem for outer automorphism of free groups, we develop the algorithmic theory of the free-by-cyclic group produced by unipotent linearly growing automorphisms of f.g. free groups. We compute canonical splittings of these suspensions as well as their subgroups. We compute their automorphism groups. We show that this class of suspensions is effectively coherent. We solve the mixed Whitehead problem in these suspensions and show that their subgroups all satisfy the Minkowski property, i.e. that torsion in their outer automorphism group is faithfully represented in some computable finite quotients. An application of our results is a solution to the conjugacy problem for outer automorphisms of free groups whose polynomially growing part is unipotent linear. △ Less

Submitted 26 June, 2024; v1 submitted 18 May, 2023; originally announced May 2023.

Comments: Added Theorem 1.6 about the conjugacy problem for genuine automorphisms. Corrected a gap identified by a referee. Made simplifications by restricting consideration to suspensions of free groups

MSC Class: 20F28; 20E36; 20E05; 20E06

Cubulating a free-product-by-cyclic group

Authors: François Dahmani, Suraj Krishna M S

Abstract: Let $G = H_1 * ... * H_k * F_r$ be a torsion-free group and $φ$ an automorphism of $G$ that preserves this free factor system. We show that when $φ$ is fully irreducible and atoroidal relative to this free factor system, the mapping torus $Γ= G \rtimes_φ \mathbb{Z}$ acts relatively geometrically on a hyperbolic CAT(0) cube complex. This is a generalisation of a result of Hagen and Wise for hyperbo… ▽ More Let $G = H_1 * ... * H_k * F_r$ be a torsion-free group and $φ$ an automorphism of $G$ that preserves this free factor system. We show that when $φ$ is fully irreducible and atoroidal relative to this free factor system, the mapping torus $Γ= G \rtimes_φ \mathbb{Z}$ acts relatively geometrically on a hyperbolic CAT(0) cube complex. This is a generalisation of a result of Hagen and Wise for hyperbolic free-by-cyclic groups. △ Less

Submitted 29 January, 2024; v1 submitted 19 December, 2022; originally announced December 2022.

Comments: 10 figures, incorporated referee suggestions. Final version, to appear in Alg. Geom. Topol

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

Journal ref: Algebr. Geom. Topol. 25 (2025) 1561-1597

Class number for pseudo-Anosovs

Authors: François Dahmani, Mahan Mj

Abstract: Given two automorphisms of a group $G$, one is interested in knowing whether they are conjugate in the automorphism group of $G$, or in the abstract commensurator of $G$, and how these two properties may differ. When $G$ is the fundamental group of a closed orientable surface, we present a uniform finiteness theorem for the class of pseudo-Anosov automorphisms. We present an explicit example of a… ▽ More Given two automorphisms of a group $G$, one is interested in knowing whether they are conjugate in the automorphism group of $G$, or in the abstract commensurator of $G$, and how these two properties may differ. When $G$ is the fundamental group of a closed orientable surface, we present a uniform finiteness theorem for the class of pseudo-Anosov automorphisms. We present an explicit example of a commensurably conjugate pair of pseudo-Anosov automorphisms of a genus $3$ surface, that are not conjugate in the Mapping Class Group, and we also show that infinitely many independent automorphisms of hyperbolic orbifolds have class number equal to one. In the appendix, we briefly survey the Latimer-MacDuffee theorem that addresses the case of automorphisms of $\mathbb{Z}^n$, with a point of view that is suited to an analogy with surface group automorphisms. △ Less

Submitted 31 August, 2024; v1 submitted 23 October, 2022; originally announced October 2022.

Comments: 21 pages, revised

Journal ref: Trans. Amer. Math. Soc. 378, no. 2 (2025) 1465-1482

Reducing the conjugacy problem for relatively hyperbolic automorphisms to peripheral components

Authors: François Dahmani, Nicholas Touikan

Abstract: We give a reduction of the conjugacy problem among outer automorphisms of free (and torsion-free hyperbolic) groups to specific algorithmic problems pertaining to mapping tori of polynomially growing automorphisms. We explain how to use this reduction and solve the conjugacy problem for several new classes of outer automorphisms. This proposes a path toward a full solution to the conjugacy problem… ▽ More We give a reduction of the conjugacy problem among outer automorphisms of free (and torsion-free hyperbolic) groups to specific algorithmic problems pertaining to mapping tori of polynomially growing automorphisms. We explain how to use this reduction and solve the conjugacy problem for several new classes of outer automorphisms. This proposes a path toward a full solution to the conjugacy problem for $Out (F_n)$. △ Less

Submitted 6 June, 2025; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: 35 pages, revised version

MSC Class: 20F65; 20F10

Relative hyperbolicity of hyperbolic-by-cyclic groups

Authors: François Dahmani, Suraj Krishna M S

Abstract: Let $G$ be a torsion-free hyperbolic group and $α$ an automorphism of $G$. We show that there exists a canonical collection of subgroups that are polynomially growing under $α$, and that the mapping torus of $G$ by $α$ is hyperbolic relative to the suspensions of the maximal polynomially growing subgroups under $α$. Let $G$ be a torsion-free hyperbolic group and $α$ an automorphism of $G$. We show that there exists a canonical collection of subgroups that are polynomially growing under $α$, and that the mapping torus of $G$ by $α$ is hyperbolic relative to the suspensions of the maximal polynomially growing subgroups under $α$. △ Less

Submitted 24 August, 2021; v1 submitted 12 June, 2020; originally announced June 2020.

Comments: 21 pages, 1 figure. v2: Incorporates referee comments

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

Journal ref: Groups Geom. Dyn. 17 (2023), no. 2, 403--426

Tangent bundles of hyperbolic spaces and proper affine actions on $L^p$ spaces

Authors: Indira Chatterji, François Dahmani, Thomas Haettel, Jean Lécureux

Abstract: We define the notion of a negatively curved tangent bundle of a metric measured space. We prove that, when a group $G$ acts on a metric measured space $X$ with a negatively curved tangent bundle, then $G$ acts on some $L^p$ space, and that this action is proper under suitable assumptions. We then check that this result applies to the case when $X$ is a hyperbolic space. We define the notion of a negatively curved tangent bundle of a metric measured space. We prove that, when a group $G$ acts on a metric measured space $X$ with a negatively curved tangent bundle, then $G$ acts on some $L^p$ space, and that this action is proper under suitable assumptions. We then check that this result applies to the case when $X$ is a hyperbolic space. △ Less

Submitted 15 June, 2020; v1 submitted 22 January, 2019; originally announced January 2019.

Relative hyperbolicity for automorphisms of free products

Authors: François Dahmani, Ruoyu Li

Abstract: We prove that for a free product $G$ with free factor system $\mathcal{G}$, any automorphism $φ$ preserving $\mathcal{G}$, atoroidal (in a sense relative to $\mathcal{G}$) and none of whose power send two different conjugates of subgroups in $\mathcal{G}$ on conjugates of themselves by the same element, gives rise to a semidirect product $G\rtimes_φ\mathbb{Z}$ that is relatively hyperbolic with re… ▽ More We prove that for a free product $G$ with free factor system $\mathcal{G}$, any automorphism $φ$ preserving $\mathcal{G}$, atoroidal (in a sense relative to $\mathcal{G}$) and none of whose power send two different conjugates of subgroups in $\mathcal{G}$ on conjugates of themselves by the same element, gives rise to a semidirect product $G\rtimes_φ\mathbb{Z}$ that is relatively hyperbolic with respect to suspensions of groups in $\mathcal{G}$. We recover a theorem of Gautero-Lustig and Ghosh that, if $G$ is a free group, $φ$ an automorphism of $G$, and $\mathcal{G}$ is its family of polynomially growing subgroups, then the semidirect product by $φ$ is relatively hyperbolic with respect to the suspensions of these subgroups. We apply the first result to the conjugacy problem for certain automorphisms (atoroidal and toral) of free products of abelian groups. △ Less

Submitted 25 June, 2020; v1 submitted 20 January, 2019; originally announced January 2019.

Comments: 39 pages, clarifications, and relevant references

Dehn filling Dehn twists

Authors: François Dahmani, Mark Hagen, Alessandro Sisto

Abstract: Let $Σ_{g,p}$ be the genus--$g$ oriented surface with $p$ punctures, with either $g>0$ or $p>3$. We show that $MCG(Σ_{g,p})/DT$ is acylindrically hyperbolic where $DT$ is the normal subgroup of the mapping class group $MCG(Σ_{g,p})$ generated by $K^{th}$ powers of Dehn twists about curves in $Σ_{g,p}$ for suitable $K$. Moreover, we show that in low complexity $MCG(Σ_{g,p})/DT$ is in fact hyperbo… ▽ More Let $Σ_{g,p}$ be the genus--$g$ oriented surface with $p$ punctures, with either $g>0$ or $p>3$. We show that $MCG(Σ_{g,p})/DT$ is acylindrically hyperbolic where $DT$ is the normal subgroup of the mapping class group $MCG(Σ_{g,p})$ generated by $K^{th}$ powers of Dehn twists about curves in $Σ_{g,p}$ for suitable $K$. Moreover, we show that in low complexity $MCG(Σ_{g,p})/DT$ is in fact hyperbolic. In particular, for $3g-3+p\leq 2$, we show that the mapping class group $MCG(Σ_{g,p})$ is fully residually non-elementary hyperbolic and admits an affine isometric action with unbounded orbits on some $L^q$ space. Moreover, if every hyperbolic group is residually finite, then every convex-cocompact subgroup of $MCG(Σ_{g,p})$ is separable. The aforementioned results follow from general theorems about composite rotating families that come from a collection of subgroups of vertex stabilisers for the action of a group $G$ on a hyperbolic graph $X$. We give conditions ensuring that the graph $X/N$ is again hyperbolic and various properties of the action of $G$ on $X$ persist for the action of $G/N$ on $X/N$. △ Less

Submitted 23 December, 2018; originally announced December 2018.

Comments: 26 pages, 1 figure

Journal ref: Proc. Royal. Soc. Edinburgh, Sec. A (2020)

Proper actions on $\ell^p$ spaces for relatively hyperbolic groups

Authors: Indira Chatterji, François Dahmani

Abstract: We show that for any group $G$ that is hyperbolic relative to subgroups that admit a proper affine isometric action on a uniformly convex Banach space, then $G$ acts properly on a uniformly convex Banach space as well. We show that for any group $G$ that is hyperbolic relative to subgroups that admit a proper affine isometric action on a uniformly convex Banach space, then $G$ acts properly on a uniformly convex Banach space as well. △ Less

Submitted 9 January, 2019; v1 submitted 24 January, 2018; originally announced January 2018.

Comments: 28 pages, revised

Journal ref: Annales Henri Lebesgue, Volume 3 (2020) , pp. 35-66

The normal closure of big Dehn twists, and plate spinning with rotating families

Authors: François Dahmani

Abstract: We study the normal closure of a big power of one or several Dehn twists in a Mapping Class Group. We prove that it has a presentation whose relators consists only of commutators between twists of disjoint support, thus answering a question of Ivanov. Our method is to use the theory of projection complexes of Bestvina Bromberg and Fujiwara, together with the theory of rotating families, simultaneo… ▽ More We study the normal closure of a big power of one or several Dehn twists in a Mapping Class Group. We prove that it has a presentation whose relators consists only of commutators between twists of disjoint support, thus answering a question of Ivanov. Our method is to use the theory of projection complexes of Bestvina Bromberg and Fujiwara, together with the theory of rotating families, simultaneously on several spaces. △ Less

Submitted 9 January, 2019; v1 submitted 27 March, 2017; originally announced March 2017.

Comments: 32 pages

Journal ref: Geom. Topol. 22 (2018) 4113-4144

Solvable groups of interval exchange transformations

Authors: François Dahmani, Koji Fujiwara, Vincent Guirardel

Abstract: We prove that any finitely generated torsion free solvable subgroup of the group ${\rm IET}$ of all Interval Exchange Transformations is virtually abelian. In contrast, the lamplighter groups $A\wr \mathbb{Z}^k$ embed in ${\rm IET}$ for every finite abelian group $A$, and we construct uncountably many non pairwise isomorphic 3-step solvable subgroups of ${\rm IET}$ as semi-direct products of a l… ▽ More We prove that any finitely generated torsion free solvable subgroup of the group ${\rm IET}$ of all Interval Exchange Transformations is virtually abelian. In contrast, the lamplighter groups $A\wr \mathbb{Z}^k$ embed in ${\rm IET}$ for every finite abelian group $A$, and we construct uncountably many non pairwise isomorphic 3-step solvable subgroups of ${\rm IET}$ as semi-direct products of a lamplighter group with an abelian group. We also prove that for every non-abelian finite group $F$, the group $F\wr \mathbb{Z}^k$ does not embed in ${\rm IET}$. △ Less

Submitted 6 December, 2018; v1 submitted 2 January, 2017; originally announced January 2017.

Comments: 17 pages, 2 figures, to appear

Journal ref: Ann. Fac. Sci. Toulouse. 29 (2020) pp. 595-618

Property $P_{naive}$ for acylindrically hyperbolic groups

Authors: Carolyn R. Abbott, François Dahmani

Abstract: We prove that every acylindrically hyperbolic group that has no non-trivial finite normal subgroup satisfies a strong ping pong property, the $P_{naive}$ property: for any finite collection of elements $h_1, \dots, h_k$, there exists another element $γ\neq 1$ such that for all $i$, $\langle h_i, γ\rangle = \langle h_i \rangle* \langle γ\rangle$. We also obtain that if a collection of subgroups… ▽ More We prove that every acylindrically hyperbolic group that has no non-trivial finite normal subgroup satisfies a strong ping pong property, the $P_{naive}$ property: for any finite collection of elements $h_1, \dots, h_k$, there exists another element $γ\neq 1$ such that for all $i$, $\langle h_i, γ\rangle = \langle h_i \rangle* \langle γ\rangle$. We also obtain that if a collection of subgroups $H_1, \dots, H_k$ is a hyperbolically embedded collection, then there is $γ\neq 1$ such that for all $i$, $\langle H_i, γ\rangle = H_i * \langle γ\rangle$. △ Less

Submitted 14 April, 2018; v1 submitted 13 October, 2016; originally announced October 2016.

Comments: New sections added with additional results. To appear in Math. Z

Journal ref: Math. Z. 291, 555-568 (2019)

Growth of quasiconvex subgroups

Authors: François Dahmani, David Futer, Daniel T. Wise

Abstract: We prove that non-elementary hyperbolic groups grow exponentially more quickly than their infinite index quasiconvex subgroups. The proof uses the classical tools of automatic structures and Perron-Frobenius theory. We also extend the main result to relatively hyperbolic groups and cubulated groups. These extensions use the notion of growth tightness and the work of Dahmani, Guirardel, and Osin… ▽ More We prove that non-elementary hyperbolic groups grow exponentially more quickly than their infinite index quasiconvex subgroups. The proof uses the classical tools of automatic structures and Perron-Frobenius theory. We also extend the main result to relatively hyperbolic groups and cubulated groups. These extensions use the notion of growth tightness and the work of Dahmani, Guirardel, and Osin on rotating families. △ Less

Submitted 8 May, 2018; v1 submitted 25 February, 2016; originally announced February 2016.

Comments: 28 pages, 1 figure. v3 is the final version, to appear in Math Proc. Cambridge Philos. Soc

MSC Class: 20F67; 20F65; 20E07

Journal ref: Mathematical Proceedings of the Cambridge Philosophical Society, 167(3), (2019) 505-530

Height, Graded Relative Hyperbolicity and Quasiconvexity {\it (with Corrigendum)}

Authors: Francois Dahmani, Mahan Mj

Abstract: We introduce the notions of geometric height and graded (geometric) relative hyperbolicity in this paper. We use these to characterize quasiconvexity in hyperbolic groups, relative quasiconvexity in relatively hyperbolic groups, and convex cocompactness in mapping class groups and $Out(F_n)$. Corrigendum: there is an unfortunate mistake in the statement and the proof of Proposition 5.1. This aff… ▽ More We introduce the notions of geometric height and graded (geometric) relative hyperbolicity in this paper. We use these to characterize quasiconvexity in hyperbolic groups, relative quasiconvexity in relatively hyperbolic groups, and convex cocompactness in mapping class groups and $Out(F_n)$. Corrigendum: there is an unfortunate mistake in the statement and the proof of Proposition 5.1. This affects one direction of the implications of the main theorem. A correction is given, that states that given a quasi-convex subgroup of a hyperbolic (or relatively hyperbolic) group, the graded relative hyperbolic structure holds with respect to saturations of I-fold intersections, that are stabilizers of limit sets of I-fold intersections. △ Less

Submitted 23 April, 2018; v1 submitted 2 February, 2016; originally announced February 2016.

Comments: 44 pgs; Added : Corrigendum for a mistake in Proposition 5.1, affecting part of the statement of the main result. Correction as described in the second paragraph of the arXiv abstract

MSC Class: 20F65; 20F67

Journal ref: Journal d'Ecole Polytechnique, Tome 4 (2017) pp. 515-556 et Tome 6 (2019), pp. 425-432

Spectral theorems for random walks on mapping class groups and $\text{Out}(F_N)$

Authors: François Dahmani, Camille Horbez

Abstract: We establish spectral theorems for random walks on mapping class groups of connected, closed, oriented, hyperbolic surfaces, and on $\text{Out}(F_N)$. In both cases, we relate the asymptotics of the stretching factor of the diffeomorphism/automorphism obtained at time $n$ of the random walk to the Lyapunov exponent of the walk, which gives the typical growth rate of the length of a curve -- or of… ▽ More We establish spectral theorems for random walks on mapping class groups of connected, closed, oriented, hyperbolic surfaces, and on $\text{Out}(F_N)$. In both cases, we relate the asymptotics of the stretching factor of the diffeomorphism/automorphism obtained at time $n$ of the random walk to the Lyapunov exponent of the walk, which gives the typical growth rate of the length of a curve -- or of a conjugacy class in $F_N$ -- under a random product of diffeomorphisms/automorphisms. In the mapping class group case, we first observe that the drift of the random walk in the curve complex is also equal to the linear growth rate of the translation lengths in this complex. By using a contraction property of typical Teichmüller geodesics, we then lift the above fact to the realization of the random walk on the Teichmüller space. For the case of $\text{Out}(F_N)$, we follow the same procedure with the free factor complex in place of the curve complex, and the outer space in place of the Teichmüller space. A general criterion is given for making the lifting argument possible. △ Less

Submitted 22 November, 2016; v1 submitted 22 June, 2015; originally announced June 2015.

Comments: 45 pages, 3 figures. arXiv admin note: text overlap with arXiv:1506.07244

Journal ref: International Mathematics Research Notices, Volume 2018, Issue 9, May 2018, Pages 2693-2744

Recognizing a relatively hyperbolic group by its Dehn fillings

Authors: François Dahmani, Vincent Guirardel

Abstract: Dehn fillings for relatively hyperbolic groups generalize the topological Dehn surgery on a non-compact hyperbolic $3$-manifold such as a hyperbolic knot complement. We prove a rigidity result saying that if two non-elementary relatively hyperbolic groups without suitable splittings have sufficiently many isomorphic Dehn fillings, then these groups are in fact isomorphic. Our main application is a… ▽ More Dehn fillings for relatively hyperbolic groups generalize the topological Dehn surgery on a non-compact hyperbolic $3$-manifold such as a hyperbolic knot complement. We prove a rigidity result saying that if two non-elementary relatively hyperbolic groups without suitable splittings have sufficiently many isomorphic Dehn fillings, then these groups are in fact isomorphic. Our main application is a solution to the isomorphism problem in the class of non-elementary relatively hyperbolic groups with residually finite parabolic groups and with no suitable splittings. △ Less

Submitted 18 April, 2018; v1 submitted 10 June, 2015; originally announced June 2015.

Comments: Minor modification (including typesetting). 56 pages

Journal ref: Duke Math. J. 167, no. 12 (2018), 2189-2241

Deciding Isomorphy using Dehn fillings, the splitting case

Authors: François Dahmani, Nicholas Touikan

Abstract: We solve Dehn's isomorphism problem for virtually torsion-free relatively hyperbolic groups with nilpotent parabolic subgroups. We do so by reducing the isomorphism problem to three algorithmic problems in the parabolic subgroups, namely the isomorphism problem, separation of torsion (in their outer automorphism groups) by congruences, and the mixed Whitehead problem, an automorphism group orbit… ▽ More We solve Dehn's isomorphism problem for virtually torsion-free relatively hyperbolic groups with nilpotent parabolic subgroups. We do so by reducing the isomorphism problem to three algorithmic problems in the parabolic subgroups, namely the isomorphism problem, separation of torsion (in their outer automorphism groups) by congruences, and the mixed Whitehead problem, an automorphism group orbit problem. The first step of the reduction is to compute canonical JSJ decompositions. Dehn fillings and the given solutions of the algorithmic problems in the parabolic groups are then used to decide if the graphs of groups have isomorphic vertex groups and, if so, whether a global isomorphism can be assembled. For the class of finitely generated nilpotent groups, we give solutions to these algorithmic problems by using the arithmetic nature of these groups and of their automorphism groups. △ Less

Submitted 17 September, 2018; v1 submitted 15 November, 2013; originally announced November 2013.

Comments: 76 pages. This version incorporates referee comments and corrections. The main changes to the previous version are a better treatment of the algorithmic recognition and presentation of virtually cyclic subgroups and a new proof of a rigidity criterion obtained by passing to a torsion-free finite index subgroup. The previous proof relied on an incorrect result. To appear in Inventiones Mathematicae

MSC Class: 20F10; 20F65

Journal ref: Invent. math. 215, 81-169 (2019)

On suspensions, and conjugacy of hyperbolic automorphisms (and of a few more)

Authors: François Dahmani

Abstract: Part 1 : We remark that the conjugacy problem for pairs of hyperbolic au- tomorphisms of a finitely presented group (typically a free group) is decidable. The solution that we propose uses the isomorphism problem for the suspensions, and the study of their automorphism group. Part 2 : In a previous work (part 1), we remarked that the conjugacy problem for pairs of atoroidal automorphisms of a fr… ▽ More Part 1 : We remark that the conjugacy problem for pairs of hyperbolic au- tomorphisms of a finitely presented group (typically a free group) is decidable. The solution that we propose uses the isomorphism problem for the suspensions, and the study of their automorphism group. Part 2 : In a previous work (part 1), we remarked that the conjugacy problem for pairs of atoroidal automorphisms of a free group was solvable by mean of the isomorphism problem for hyperbolic groups and an orbit problem for the automorphism group of their suspensions (i.e. their semidirect product with Z for the relevant structural automorphism). We consider the same problem a few more automorphisms of free groups, those that produce relatively hyperbolic suspensions that do not split over a parabolic subgroup. △ Less

Submitted 19 July, 2016; v1 submitted 8 July, 2013; originally announced July 2013.

Comments: The two parts of this work have been through different publishing processes. The main reason of this is that part 2, and only part 2, relies at the time of writing on unpublished material. The two parts are shown here in a single arXiv document, numbering has been chosen to match the published versions. 43 pages in total

MSC Class: 20E36

Journal ref: Part 1: Trans. Amer. Math. Soc. 368 (2016) 5565-5577. Part 2: Adv. Stud. Pure Math. 73 (2017) Hyperbolic Geometry and Geometric Group Theory, pp. 135-158

Hyperbolically embedded subgroups and rotating families in groups acting on hyperbolic spaces

Authors: F. Dahmani, V. Guirardel, D. Osin

Abstract: We introduce and study the notions of hyperbolically embedded and very rotating families of subgroups. The former notion can be thought of as a generalization of the peripheral structure of a relatively hyperbolic group, while the later one provides a natural framework for developing a geometric version of small cancellation theory. Examples of such families naturally occur in groups acting on hyp… ▽ More We introduce and study the notions of hyperbolically embedded and very rotating families of subgroups. The former notion can be thought of as a generalization of the peripheral structure of a relatively hyperbolic group, while the later one provides a natural framework for developing a geometric version of small cancellation theory. Examples of such families naturally occur in groups acting on hyperbolic spaces including hyperbolic and relatively hyperbolic groups, mapping class groups, $Out(F_n)$, and the Cremona group. Other examples can be found among groups acting geometrically on $CAT(0)$ spaces, fundamental groups of graphs of groups, etc. We obtain a number of general results about rotating families and hyperbolically embedded subgroups; although our technique applies to a wide class of groups, it is capable of producing new results even for well-studied particular classes. For instance, we solve two open problems about mapping class groups, and obtain some results which are new even for relatively hyperbolic groups. △ Less

Submitted 2 December, 2014; v1 submitted 30 November, 2011; originally announced November 2011.

Comments: Revision, corrections and improvement of the exposition

MSC Class: 20F65; 20F67; 20F06; 20E08; 57M27

Journal ref: Memoirs Amer. Math. Soc. 245 no. 1156. (2017)

Free groups of interval exchange transformations are rare

Authors: Francois Dahmani, Koji Fujiwara, Vincent Guirardel

Abstract: We study the group IET of all interval exchange transformations. Our first main result is that the group generated by a generic pairs of elements of IET is not free (assuming a suitable irreducibility condition on the underlying permutation). Then we prove that any connected Lie group isomorphic to a subgroup of IET is abelian. Additionally, we show that IET contains no infinite Kazhdan group. W… ▽ More We study the group IET of all interval exchange transformations. Our first main result is that the group generated by a generic pairs of elements of IET is not free (assuming a suitable irreducibility condition on the underlying permutation). Then we prove that any connected Lie group isomorphic to a subgroup of IET is abelian. Additionally, we show that IET contains no infinite Kazhdan group. We also prove residual finiteness of finitely presented subgroups of IET and give an example of a two-generated subgroup of IET of exponential growth that contains an isomorphic copy of every finite group, and which is therefore not linear. △ Less

Submitted 7 December, 2011; v1 submitted 31 January, 2011; originally announced January 2011.

Comments: 24 pages

MSC Class: 37E05; 20E07; 28D15; 57M60

Journal ref: Groups Geom. Dyn. 7 4 (2013) 883-910

Presenting parabolic subgroups

Authors: François Dahmani, Vincent Guirardel

Abstract: Consider a relatively hyperbolic group G. We prove that if G is finitely presented, so are its parabolic subgroups. Moreover, a presentation of the parabolic subgroups can be found algorithmically from a presentation of G, a solution of its word problem, and generating sets of the parabolic subgroups. We also give an algorithm that finds parabolic subgroups in a given recursively enumerable class… ▽ More Consider a relatively hyperbolic group G. We prove that if G is finitely presented, so are its parabolic subgroups. Moreover, a presentation of the parabolic subgroups can be found algorithmically from a presentation of G, a solution of its word problem, and generating sets of the parabolic subgroups. We also give an algorithm that finds parabolic subgroups in a given recursively enumerable class of groups. △ Less

Submitted 6 October, 2010; originally announced October 2010.

Comments: 15 pages

MSC Class: 20F65

Journal ref: Algebr. Geom. Topol. 13 (2013) 3203-3222

The isomorphism problem for all hyperbolic groups

Authors: François Dahmani, Vincent Guirardel

Abstract: We give a solution to Dehn's isomorphism problem for the class of all hyperbolic groups, possibly with torsion. We also prove a relative version for groups with peripheral structures. As a corollary, we give a uniform solution to Whitehead's problem asking whether two tuples of elements of a hyperbolic group $G$ are in the same orbit under the action of $\Aut(G)$. We also get an algorithm computin… ▽ More We give a solution to Dehn's isomorphism problem for the class of all hyperbolic groups, possibly with torsion. We also prove a relative version for groups with peripheral structures. As a corollary, we give a uniform solution to Whitehead's problem asking whether two tuples of elements of a hyperbolic group $G$ are in the same orbit under the action of $\Aut(G)$. We also get an algorithm computing a generating set of the group of automorphisms of a hyperbolic group preserving a peripheral structure. △ Less

Submitted 31 December, 2010; v1 submitted 12 February, 2010; originally announced February 2010.

Comments: 71 pages, 4 figures

MSC Class: 20F67; 20F10; 20E08

Journal ref: Geom. Funct. Anal. 21 no.2 (2011) 223-300

Twin building lattices do not have asymptotic cut-points

Authors: Pierre-Emmanuel Caprace, Francois Dahmani, Vincent Guirardel

Abstract: We show that twin building lattices have linear divergence, which implies that all asymptotic cones are without cut-points. We show that twin building lattices have linear divergence, which implies that all asymptotic cones are without cut-points. △ Less

Submitted 14 October, 2009; originally announced October 2009.

Comments: 7 pages

MSC Class: 20F69; 20E08; 22E65; 51E24

Journal ref: Geom. Dedicata. 147 Nr. 1 (2010), pp. 409--415

No-splitting property and boundaries of random groups

Authors: François Dahmani, Vincent Guirardel, Piotr Przytycki

Abstract: We prove that random groups in the Gromov density model, at any density, satisfy property (FA), i.e. they do not act non-trivially on trees. This implies that their Gromov boundaries, defined at density less than 1/2, are Menger curves. We prove that random groups in the Gromov density model, at any density, satisfy property (FA), i.e. they do not act non-trivially on trees. This implies that their Gromov boundaries, defined at density less than 1/2, are Menger curves. △ Less

Submitted 24 April, 2009; originally announced April 2009.

Comments: 20 pages

MSC Class: 20F65; 20F67; 20E08

Journal ref: Math. Ann. 349 no.3 (2011), 657-673

Foliations for solving equations in groups: free, virtually free, and hyperbolic groups

Authors: François Dahmani, Vincent Guirardel

Abstract: We give an algorithm for solving equations and inequations with rational constraints in virtually free groups. Our algorithm is based on Rips classification of measured band complexes. Using canonical representatives, we deduce an algorithm for solving equations and inequations in hyperbolic groups (maybe with torsion). Additionnally, we can deal with quasi-isometrically embeddable rational cons… ▽ More We give an algorithm for solving equations and inequations with rational constraints in virtually free groups. Our algorithm is based on Rips classification of measured band complexes. Using canonical representatives, we deduce an algorithm for solving equations and inequations in hyperbolic groups (maybe with torsion). Additionnally, we can deal with quasi-isometrically embeddable rational constraints. △ Less

Submitted 12 February, 2010; v1 submitted 13 January, 2009; originally announced January 2009.

Comments: 70 pages, 7 figures, revised version. To appear in Journal of Topology

MSC Class: 20F10; 57M07; 20F67

Journal ref: J. of Topology, 3, no. 2 (2010) 343-404

Copies of a one-ended group in a Mapping Class Group

Authors: Francois Dahmani, Koji Fujiwara

Abstract: We establish that, given $Σ$ a compact orientable surface, and $G$ a finitely presented one-ended group, the set of copies of $G$ in the mapping class group $\mathcal{MCG}(Σ)$ consisting of only pseudo-anosov elements except identity, is finite up to conjugacy. This relies on a result of Bowditch on the same problem for images of surfaces groups. He asked us whether we could reduce the case of o… ▽ More We establish that, given $Σ$ a compact orientable surface, and $G$ a finitely presented one-ended group, the set of copies of $G$ in the mapping class group $\mathcal{MCG}(Σ)$ consisting of only pseudo-anosov elements except identity, is finite up to conjugacy. This relies on a result of Bowditch on the same problem for images of surfaces groups. He asked us whether we could reduce the case of one-ended groups to his result ; this is a positive answer. Our work involves analogues of Rips and Sela canonical cylinders in curve complexes, and the argument of Delzant to bound the number of images of a one-ended group in a hyperbolic group. △ Less

Submitted 24 January, 2009; v1 submitted 6 September, 2007; originally announced September 2007.

Comments: 16 pages, 3 figures, revised

Journal ref: Groups Geom. and Dyn. 3 no.3 (2009) 359-377

Detecting free splittings in relatively hyperbolic groups

Authors: Francois Dahmani, Daniel Groves

Abstract: We describe an algorithm which determines whether or not a group which is hyperbolic relative to abelian groups admits a nontrivial splitting over a finite group. We describe an algorithm which determines whether or not a group which is hyperbolic relative to abelian groups admits a nontrivial splitting over a finite group. △ Less

Submitted 13 February, 2007; v1 submitted 31 October, 2006; originally announced October 2006.

Comments: 15 pages. Version 2 is 17 pages, edited in light of referee's comments. To appear in Transactions of the AMS

MSC Class: 20F10; 20F65

Journal ref: Trans. Amer. Math. Soc. 360 (2008) 6303-6318.

The Isomorphism Problem for Toral Relatively Hyperbolic Groups

Authors: Francois Dahmani, Daniel Groves

Abstract: We provide a solution to the isomorphism problem for torsion-free relatively hyperbolic groups with abelian parabolics. As special cases we recover solutions to the isomorphism problem for: (i) torsion-free hyperbolic groups (Sela); and (ii) fully residually free groups (Bumagin, Kharlampovich and Miasnikov). We also give a solution to the homeomorphism problem for finite volume hyperbolic n-m… ▽ More We provide a solution to the isomorphism problem for torsion-free relatively hyperbolic groups with abelian parabolics. As special cases we recover solutions to the isomorphism problem for: (i) torsion-free hyperbolic groups (Sela); and (ii) fully residually free groups (Bumagin, Kharlampovich and Miasnikov). We also give a solution to the homeomorphism problem for finite volume hyperbolic n-manifolds, for $n \ge 3$. In the course of the proof of the main result, we prove that a particular JSJ decomposition of a freely indecomposable torsion-free relatively hyperbolic group with abelian parabolics is algorithmically constructible. △ Less

Submitted 1 June, 2008; v1 submitted 27 December, 2005; originally announced December 2005.

Comments: Version 3 is 90 pages (the increased length is due mostly to typesetting). Lots of rewriting due to referee's comments. Publications Mathematiques de l'IHES, to appear

MSC Class: 20F10; 20F65

Journal ref: Publ. Math., Inst. Hautes Etudes Sci. 107 no.1 (2008) 211-290.

Existential questions in (relatively) hyperbolic groups {\it and} Finding relative hyperbolic structures

Authors: Francois Dahmani

Abstract: This arXived paper has two independant parts, that are improved and corrected versions of different parts of a single paper once named "On equations in relatively hyperbolic groups". The first part is entitled "Existential questions in (relatively) hyperbolic groups". We study there the existential theory of torsion free hyperbolic and relatively hyperbolic groups, in particular those with vir… ▽ More This arXived paper has two independant parts, that are improved and corrected versions of different parts of a single paper once named "On equations in relatively hyperbolic groups". The first part is entitled "Existential questions in (relatively) hyperbolic groups". We study there the existential theory of torsion free hyperbolic and relatively hyperbolic groups, in particular those with virtually abelian parabolic subgroups. We show that the satisfiability of systems of equations and inequations is decidable in these groups. In the second part, called "Finding relative hyperbolic structures", we provide a general algorithm that recognizes the class of groups that are hyperbolic relative to abelian subgroups. △ Less

Submitted 19 February, 2008; v1 submitted 16 May, 2005; originally announced May 2005.

Comments: Two independant parts 23p + 9p, revised. To appear separately in Israel J. Math, and Bull. London Math. Soc. respectively

MSC Class: 20F10; 20F67

Journal ref: 1st part: Israel J. Math 173 (2009) 91-124; 2nd part: Bull. London Math. Soc. 40 no.3 (2008), 395-404

Bounded geometry in relatively hyperbolic groups

Authors: F. Dahmani, A. Yaman

Abstract: We prove that, if a group is relatively hyperbolic, the parabolic subgroups are virtually nilpotent if and only if there exists a hyperbolic space with bounded geometry on which it acts geometrically finitely. This provides, by use of M. Bonk and O. Schramm embedding theorem, a very short proof of the finiteness of asymptotic dimension of relatively hyperbolic groups with virtually nilpotent p… ▽ More We prove that, if a group is relatively hyperbolic, the parabolic subgroups are virtually nilpotent if and only if there exists a hyperbolic space with bounded geometry on which it acts geometrically finitely. This provides, by use of M. Bonk and O. Schramm embedding theorem, a very short proof of the finiteness of asymptotic dimension of relatively hyperbolic groups with virtually nilpotent parabolic subgroups (which is known to imply Novikov conjectures △ Less

Submitted 31 January, 2005; v1 submitted 19 November, 2004; originally announced November 2004.

MSC Class: 20F67; 20F69

Journal ref: New York J. Math. 11 (2005), pp. 89--95.

Straight thin combings

Authors: Francois Dahmani

Abstract: We introduce a class of thin combings and prove that it has a nice behaviour in free constructions. Among corollaries, we deduce the relative metabolicity, in the sense of Gersten, of Sela's limit groups. We introduce a class of thin combings and prove that it has a nice behaviour in free constructions. Among corollaries, we deduce the relative metabolicity, in the sense of Gersten, of Sela's limit groups. △ Less

Submitted 30 June, 2004; originally announced June 2004.

Parabolic groups acting on one-dimensional compact spaces

Authors: Francois Dahmani

Abstract: Given a class of compact spaces, we ask which groups can be maximal parabolic subgroups of a relatively hyperbolic group whose boundary is in the class. We investigate the class of 1-dimensional connected boundaries. We get that any non-torsion infinite f.g. group is a maximal parabolic subgroup of some relatively hyperbolic group with connected one-dimensional boundary without global cut point.… ▽ More Given a class of compact spaces, we ask which groups can be maximal parabolic subgroups of a relatively hyperbolic group whose boundary is in the class. We investigate the class of 1-dimensional connected boundaries. We get that any non-torsion infinite f.g. group is a maximal parabolic subgroup of some relatively hyperbolic group with connected one-dimensional boundary without global cut point. For boundaries homeomorphic to a Sierpinski carpet or a 2-sphere, the only maximal parabolic subgroups allowed are virtual surface groups (hyperbolic, or virtually $\mathbb{Z} + \mathbb{Z}$). △ Less

Submitted 29 May, 2007; v1 submitted 7 January, 2004; originally announced January 2004.

Comments: 10 pages. Added a precision on local connectedness for Lemma 2.3, thanks to B. Bowditch

MSC Class: 20F67

Journal ref: Int. J. of Alg. and Comp., Vol. 15, Nos. 5-6 (2005) 893-906

Accidental parabolics and relatively hyperbolic groups

Authors: Francois Dahmani

Abstract: By constructing, in the relative case, objects analoguous to Rips and Sela's canonical representatives, we prove that the set of images by morphisms without accidental parabolic, of a finitely presented group in a relatively hyperbolic group, is finite, up to conjugacy. By constructing, in the relative case, objects analoguous to Rips and Sela's canonical representatives, we prove that the set of images by morphisms without accidental parabolic, of a finitely presented group in a relatively hyperbolic group, is finite, up to conjugacy. △ Less

Submitted 17 November, 2003; v1 submitted 28 October, 2002; originally announced October 2002.

Comments: Revision, 24 pages, 4 figures

MSC Class: 20F65; 20E07

Journal ref: Israel J. Math. 153 (2006), 93-127

Symbolic dynamics and relatively hyperbolic groups

Authors: Francois Dahmani, Asli Yaman

Abstract: We study the action of a relatively hyperbolic group on its boundary, by methods of symbolic dynamics. Under a condition on the parabolic subgroups, we show that this dynamical system is finitely presented. We give examples where this condition is satisfied, including geometrically finite kleinian groups. We study the action of a relatively hyperbolic group on its boundary, by methods of symbolic dynamics. Under a condition on the parabolic subgroups, we show that this dynamical system is finitely presented. We give examples where this condition is satisfied, including geometrically finite kleinian groups. △ Less

Submitted 17 November, 2003; v1 submitted 2 September, 2002; originally announced September 2002.

Comments: Revision, 16 pages, 1 figure

MSC Class: 20F69; 37D40; 37B10

Journal ref: Groups Geom. and Dyn. 2 no.2 (2008) 165--184

Combination of convergence groups

Authors: Francois Dahmani

Abstract: We state and prove a combination theorem for relatively hyperbolic groups seen as geometrically finite convergence groups. For that, we explain how to contruct a boundary for a group that is an acylindrical amalgamation of relatively hyperbolic groups over a fully quasi-convex subgroup. We apply our result to Sela's theory on limit groups and prove their relative hyperbolicity. We also get a pro… ▽ More We state and prove a combination theorem for relatively hyperbolic groups seen as geometrically finite convergence groups. For that, we explain how to contruct a boundary for a group that is an acylindrical amalgamation of relatively hyperbolic groups over a fully quasi-convex subgroup. We apply our result to Sela's theory on limit groups and prove their relative hyperbolicity. We also get a proof of the Howson property for limit groups. △ Less

Submitted 12 December, 2003; v1 submitted 25 March, 2002; originally announced March 2002.

Comments: Published in Geometry and Topology at http://www.maths.warwick.ac.uk/gt/GTVol7/paper27.abs.html

MSC Class: 20F67; 20E06

Journal ref: Geom. Topol. 7 (2003) 933-963