Searcharxiv⌕ Search

arXiv subjects

Vincent Guirardel

Publications and source records attributed to Vincent Guirardel.

At least 37 records · Page 2Linked to original sources
arXiv2016

JSJ decompositions: definitions, existence, uniqueness. II. Compatibility and acylindricity

This paper and its companion arXiv:0911.3173 have been replaced by arXiv:1602.05139. We define the compatibility JSJ tree of a group G over a class of subgroups. It exists whenever G is finitely presented and leads to a canonical tree (not a deformation space) which is invariant under automorphisms. Under acylindricity hypotheses, we prove that the (usual) JSJ deformation space and the compatibility JSJ tree exist, and we describe their flexible subgroups. We apply these results to finitely generated CSA groups, Γ-limit groups (allowing torsion), and relatively hyperbolic groups.

math.GR↗
arXiv2015

Vertex finiteness for splittings of relatively hyperbolic groups

Consider a group G and a family $\mathcal{A}$ of subgroups of G. We say that vertex finiteness holds for splittings of G over $\mathcal{A}$ if, up to isomorphism, there are only finitely many possibilities for vertex stabilizers of minimal G-trees with edge stabilizers in $\mathcal{A}$. We show vertex finiteness when G is a toral relatively hyperbolic group and $\mathcal{A}$ is the family of abelian subgroups. We also show vertex finiteness when G is hyperbolic relative to virtually polycyclic subgroups and $\mathcal{A}$ is the family of virtually cyclic subgroups; if moreover G is one-ended, there are only finitely many minimal G-trees with virtually cyclic edge stabilizers, up to automorphisms of G.

math.GR↗
arXiv2014

McCool groups of toral relatively hyperbolic groups

The outer automorphism group Out(G) of a group G acts on the set of conjugacy classes of elements of G. McCool proved that the stabilizer $Mc(c_1,...,c_n)$ of a finite set of conjugacy classes is finitely presented when G is free. More generally, we consider the group $Mc(H_1,...,H_n)$ of outer automorphisms $Φ$ of G acting trivially on a family of subgroups $H_i$, in the sense that $Φ$ has representatives $α_i$ with $α_i$ equal to the identity on $H_i$. When G is a toral relatively hyperbolic group, we show that these two definitions lead to the same subgroups of Out(G), which we call "McCool groups" of G. We prove that such McCool groups are of type VF (some finite index subgroup has a finite classifying space). Being of type VF also holds for the group of automorphisms of G preserving a splitting of G over abelian groups. We show that McCool groups satisfy a uniform chain condition: there is a bound, depending only on G, for the length of a strictly decreasing sequence of McCool groups of G. Similarly, fixed subgroups of automorphisms of G satisfy a uniform chain condition.

math.GR↗
arXiv2014

Splittings and automorphisms of relatively hyperbolic groups

We study automorphisms of a relatively hyperbolic group G. When G is one-ended, we describe Out(G) using a preferred JSJ tree over subgroups that are virtually cyclic or parabolic. In particular, when G is toral relatively hyperbolic, Out(G) is virtually built out of mapping class groups and subgroups of GL_n(Z) fixing certain basis elements. When more general parabolic groups are allowed, these subgroups of GL_n(Z) have to be replaced by McCool groups: automorphisms of parabolic groups acting trivially (i.e. by conjugation) on certain subgroups. Given a malnormal quasiconvex subgroup P of a hyperbolic group G, we view G as hyperbolic relative to P and we apply the previous analysis to describe the group Out(P to G) of automorphisms of P that extend to G: it is virtually a McCool group. If Out(P to G) is infinite, then P is a vertex group in a splitting of G. If P is torsion-free, then Out(P to G) is of type VF, in particular finitely presented. We also determine when Out(G) is infinite, for G relatively hyperbolic. The interesting case is when G is infinitely-ended and has torsion. When G is hyperbolic, we show that Out(G) is infinite if and only if G splits over a maximal virtually cyclic subgroup with infinite center. In general we show that infiniteness of Out(G) comes from the existence of a splitting with infinitely many twists, or having a vertex group that is maximal parabolic with infinitely many automorphisms acting trivially on incident edge groups.

math.GR↗
arXiv2011

Free groups of interval exchange transformations are rare

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.

math.GR↗
arXiv2010

The isomorphism problem for all hyperbolic groups

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.

math.GR↗
arXiv2010

Presenting parabolic subgroups

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.

math.GR↗
arXiv2010

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

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.

math.GR↗
arXiv2009

Computing equations for residually free groups

We show that there is no algorithm deciding whether the maximal residually free quotient of a given finitely presented group is finitely presentable or not. Given a finitely generated subgroup G of a finite product of limit groups, we discuss the possibility of finding an explicit set of defining equations (i.e. of expressing G as the maximal residually free quotient of an explicit finitely presented group).

math.GR↗
arXiv2009

No-splitting property and boundaries of random groups

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.

math.GT↗
arXiv2008

Scott and Swarup's regular neighbourhood as a tree of cylinders

Let G be a finitely presented group. Scott and Swarup have constructed a canonical splitting of G which encloses all almost invariant sets over virtually polycyclic subgroups of a given length. We give an alternative construction of this regular neighbourhood, by showing that it is the tree of cylinders of a JSJ splitting.

math.GR↗
arXiv2008

Trees of cylinders and canonical splittings

Let T be a tree with an action of a finitely generated group G. Given a suitable equivalence relation on the set of edge stabilizers of T (such as commensurability, co-elementarity in a relatively hyperbolic group, or commutation in a commutative transitive group), we define a tree of cylinders T_c. This tree only depends on the deformation space of T; in particular, it is invariant under automorphisms of G if T is a JSJ splitting. We thus obtain Out(G)-invariant cyclic or abelian JSJ splittings. Furthermore, T_c has very strong compatibility properties (two trees are compatible if they have a common refinement).

math.GR↗
arXiv2007

Deformation spaces of trees

Let G be a finitely generated group. Two simplicial G-trees are said to be in the same deformation space if they have the same elliptic subgroups (if H fixes a point in one tree, it also does in the other). Examples include Culler-Vogtmann's outer space, and spaces of JSJ decompositions. We discuss what features are common to trees in a given deformation space, how to pass from one tree to all other trees in its deformation space, and the topology of deformation spaces. In particular, we prove that all deformation spaces are contractible complexes.

math.GR↗
arXiv2007

Actions of finitely generated groups on R-trees

We study actions of finitely generated groups on $\bbR$-trees under some stability hypotheses. We prove that either the group splits over some controlled subgroup (fixing an arc in particular), or the action can be obtained by gluing together actions of simple types: actions on simplicial trees, actions on lines, and actions coming from measured foliations on 2-orbifolds. This extends results by Sela and Rips-Sela. However, their results are misstated, and we give a counterexample to their statements. The proof relies on an extended version of Scott's Lemma of independent interest. This statement claims that if a group $G$ is a direct limit of groups having suitably compatible splittings, then $G$ splits.

math.GR↗
arXiv2006

The outer space of a free product

We associate a contractible ``outer space'' to any free product of groups G=G_1*...*G_q. It equals Culler-Vogtmann space when G is free, McCullough-Miller space when no G_i is Z. Our proof of contractibility (given when G is not free) is based on Skora's idea of deforming morphisms between trees. Using the action of Out(G) on this space, we show that Out(G) has finite virtual cohomological dimension, or is VFL (it has a finite index subgroup with a finite classifying space), if the groups G_i and Out(G_i) have similar properties. We deduce that Out(G) is VFL if G is a torsion-free hyperbolic group, or a limit group (finitely generated fully residually free group).

math.GR↗
arXiv2004

Limit groups and groups acting freely on R^n-trees

We give a simple proof of the finite presentation of Sela's limit groups by using free actions on R^n-trees. We first prove that Sela's limit groups do have a free action on an R^n-tree. We then prove that a finitely generated group having a free action on an R^n-tree can be obtained from free abelian groups and surface groups by a finite sequence of free products and amalgamations over cyclic groups. As a corollary, such a group is finitely presented, has a finite classifying space, its abelian subgroups are finitely generated and contains only finitely many conjugacy classes of non-cyclic maximal abelian subgroups.

math.GR↗