BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We prove that Out(FN) is boundary amenable. This also holds more generally for Out(G), where G is either a toral relatively hyperbolic group or a finitely generated right-angled Artin group. As a consequence, all these groups satisfy the Novikov conjecture on higher signatures.
Given a countable group G splitting as a free product G=G1∗⋯∗Gk∗FN, we establish classification results for subgroups of the group Out(G,F) of all outer automorphisms of G that preserve the conjugacy classes of each Gi. We show that every finitely generated subgroup H⊆Out(G,F) either contains a relatively fully irreducible automorphism, or else it virtually preserves the conjugacy class of a proper free factor relative to the decomposition (the finite generation hypothesis on H can be dropped for G=FN, or more generally when G is toral relatively hyperbolic). In the first case, either H virtually preserves a nonperipheral conjugacy class in G, or else H contains an atoroidal automorphism. The key geometric tool to obtain these classification results is a description of the Gromov boundaries of relative versions of the free factor graph FF and the Z-factor graph ZF, as spaces of equivalence classes of arational trees (respectively relatively free arational trees). We also identify the loxodromic isometries of FF with the fully irreducible elements of Out(G,F), and loxodromic isometries of ZF with the fully irreducible atoroidal outer automorphisms.
Consider an algebraically closed field k and the Cremona group of all birational transformations of the projective plane over k. We characterize infinite order elements of this group having a non-zero power generating a proper normal subgroup of the Cremona group.
This paper is devoted to the first-order theory of torsion-free hyperbolic groups. One of its purposes is to review some results and to provide precise and correct statements and definitions, as well as some proofs and new results. A key concept is that of a tower (Sela) or NTQ system (Kharlampovich-Myasnikov). We discuss them thoroughly. We state and prove a new general theorem which unifies several results in the literature: elementarily equivalent torsion-free hyperbolic groups have isomorphic cores (Sela); if H is elementarily embedded in a torsion-free hyperbolic group G, then G is a tower over H relative to H (Perin); free groups (Perin-Sklinos, Ould-Houcine), and more generally free products of prototypes and free groups, are homogeneous. The converse to Sela and Perin's results just mentioned is true. This follows from the solution to Tarski's problem on elementary equivalence of free groups, due independently to Sela and Kharlampovich-Myasnikov, which we treat as a black box throughout the paper. We present many examples and counterexamples, and we prove some new model-theoretic results. We characterize prime models among torsion-free hyperbolic groups, and minimal models among elementarily free groups. Using Fraïssé's method, we associate to every torsion-free hyperbolic group H a unique homogeneous countable group M in which any hyperbolic group H′ elementarily equivalent to H has an elementary embedding. In an appendix we give a complete proof of the fact, due to Sela, that towers over a torsion-free hyperbolic group H are H-limit groups.
This paper and its companion arXiv:1002.4564 have been replaced by arXiv:1602.05139. We give a general simple definition of JSJ decompositions by means of a universal maximality property. The JSJ decomposition should not be viewed as a tree (which is not uniquely defined) but as a canonical deformation space of trees. We prove that JSJ decompositions of finitely presented groups always exist, without any assumption on edge groups. Many examples are given.
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.
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(c1,...,cn) of a finite set of conjugacy classes is finitely presented when G is free. More generally, we consider the group Mc(H1,...,Hn) of outer automorphisms Φ of G acting trivially on a family of subgroups Hi, in the sense that Φ has representatives αi with αi equal to the identity on Hi. 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.
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.
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.
We prove that if a Polish G with a comeagre conjugacy class has a non-nesting action on an R-tree, then every element of G fixes a point.
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.
We show that twin building lattices have linear divergence, which implies that all asymptotic cones are without cut-points.
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).
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.
The deformation space of a simplicial G-tree T is the set of G-trees which can be obtained from T by some collapse and expansion moves, or equivalently, which have the same elliptic subgroups as T. We give a short proof of a rigidity result by Forester which gives a sufficient condition for a deformation space to contain an Aut(G)-invariant G-tree. This gives a sufficient condition for a JSJ splitting to be invariant under automorphisms of G. More precisely, the theorem claims that a deformation space contains at most one strongly slide-free G-tree, where strongly slide-free means the following: whenever two edges e_1, e_2 incident on a same vertex v are such that G_{e_1} is a subset of G_{e_2}, then e_1 and e_2 are in the same orbit under G_v.
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.