We prove that an automorphism $ϕ:F\to F$ of a finitely generated free group $F$ is hyperbolic in the sense of Gromov if it has no nontrivial periodic conjugacy classes.
In this article we study automorphisms and endomorphisms of lacunary hyperbolic groups. We prove that every lacunary hyperbolic group is Hopfian, answering a question by Henry Wilton. In addition, we show that if a lacunary hyperbolic group has the fix point property for actions on $\mathbf R$-trees, then it is co-Hopfian and its outer automorphism group is locally finite. We also construct lacunary hyperbolic groups whose automorphism group is infinite, locally finite, and contains any locally finite group given in advance.
We show that word hyperbolicity of automorphism groups of graph products $G_Γ$ and of Coxeter groups $W_Γ$ depends strongly on the shape of the defining graph $Γ$. We also characterized those $Aut(G_Γ)$ and $Aut(W_Γ)$ in terms of $Γ$ that are virtually free.
We classify finitely generated, residually finite automorphism-induced HNN-extensions in terms of the residual separability of a single associated subgroup. This classification provides a method to construct automorphism-induced HNN-extensions which are not residually finite. We prove that this method can never yield a "new" counter-example to Gromov's conjecture on the residual finiteness of hyperbolic groups.
Let G be a finitely generated relatively hyperbolic group. We show that if no peripheral subgroup of G is hyperbolic relative to a collection of proper subgroups, then the fixed subgroup of every automorphism of G is relatively quasiconvex. It follows that the fixed subgroup is itself relatively hyperbolic with respect to a natural family of peripheral subgroups. If all peripheral subgroups of G are slender (respectively, slender and coherent), our result implies that the fixed subgroup of every automorphism of G is finitely generated (respectively, finitely presented). In particular, this hap…
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 polynomia…
We introduce the notion of über-contracting element, a strengthening of the notion of strongly contracting element which yields a particularly tractable criterion to show the acylindrical hyperbolicity, and thus a strong form of non-simplicity, of groups acting on non locally compact spaces of arbitrary dimension. We also give a simple local criterion to construct über-contracting elements for groups acting on complexes with unbounded links of vertices. As an application, we show the acylindrical hyperbolicity of the tame automorphism group of $\mathrm{SL}_2(\mathbb{C})$, a subgroup of the $3$…
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…
A connected Lie group admitting an expansive automorphism is known to be nilpotent, but all nilpotent Lie groups do not admit expansive automorphism. In this article, we find sufficient conditions for a class of nilpotent Lie groups to admit expansive automorphism.
Based on the concept of dual cones introduced by J.Opgenorth we give an algorithm to compute a generating system of the group of automorphisms of a lattice endowed with a hyperbolic bilinear form.
We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable relatively hyperbolic group is residually finite. As a direct consequence, we obtain that the outer automorphism group of a limit group is residually finite.
In this article, we show that some negative curvature may survive when taking the automorphism group of a finitely generated group. More precisely, we prove that the automorphism group $\mathrm{Aut}(G)$ of a one-ended hyperbolic group $G$ turns out to be acylindrically hyperbolic. As a consequence, given a group $H$ and a morphism $φ: H \to \mathrm{Aut}(G)$, we deduce that the semidirect product $G \rtimes_φH$ is acylindrically hyperbolic if and only if $\mathrm{ker}(H \oversetφ{\to} \mathrm{Aut}(G) \to \mathrm{Out}(G))$ is finite.
We prove that the automorphism group of every infinitely-ended finitely generated group is acylindrically hyperbolic. In particular $\mathrm{Aut}(\mathbb{F}_n)$ is acylindrically hyperbolic for every $n\ge 2$. More generally, if $G$ is a group which is not virtually cyclic, and hyperbolic relative to a finite collection $\mathcal{P}$ of finitely generated proper subgroups, then $\mathrm{Aut}(G,\mathcal{P})$ is acylindrically hyperbolic. As a consequence, a free-by-cyclic group $\mathbb{F}_n\rtimes_φ\mathbb{Z}$ is acylindrically hyperbolic if and only if $φ$ has infinite order in $\mathrm{Out}(…
We show that the number of twisted conjugacy classes is infinite for any automorphism of non-elementary, Gromov hyperbolic group . An analog of Selberg theory for twisted conjugacy classes is proposed.
We prove that the group STame($k^3$) of special tame automorphisms of the affine 3-space is not simple, over any base field of characteristic zero. Our proof is based on the study of the geometry of a 2-dimensional simply-connected simplicial complex C on which the tame automorphism group acts naturally. We prove that C is contractible and Gromov-hyperbolic, and we prove that Tame($k^3$) is acylindrically hyperbolic by finding explicit loxodromic weakly proper discontinuous elements.
An automorphism $α$ of a group $G$ is normal if it fixes every normal subgroup of $G$ setwise. We give an algebraic description of normal automorphisms of relatively hyperbolic groups. In particular, we prove that for any relatively hyperbolic group $G$, $Inn(G)$ has finite index in the subgroup $Aut_n(G)$ of normal automorphisms. If, in addition, $G$ is non-elementary and has no non-trivial finite normal subgroups, then $Aut_n(G)=Inn(G)$. As an application, we show that $Out(G)$ is residually finite for every finitely generated residually finite group $G$ with more than one end.
We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable hyperbolic group is residually finite. As a result, we are able to prove that the group of outer automorphisms of every finitely generated Fuchsian group and of every free-by-finite group is resudually finite. We also generalize the main result for relatively hyperbolic groups.
We show that Out(G) is residually finite if G is a one-ended group that is hyperbolic relative to virtually polycyclic subgroups. More generally, if G is one-ended and hyperbolic relative to proper residually finite subgroups, the group of outer automorphisms preserving the peripheral structure is residually finite. We also show that Out(G) is virtually p-residually finite for every prime p if G is one-ended and toral relatively hyperbolic, or infinitely-ended and virtually p-residually finite.
We prove that the group of outer automorphisms of the free Coxeter group $W_n$ is acylindrically hyperbolic in the sense of Osin. As an application, we observe that any CAT(0) space admitting a geometric action by Out($W_n$) must contain a rank-one geodesic. The theorem proceeds from expanding on a well-known relationship between Out($W_n$) and the outer automorphism group of free groups.
We prove that numerous negatively curved simply connected locally compact polyhedral complexes, admitting a discrete cocompact group of automorphisms, have automorphism groups which are locally compact, uncountable, non linear and virtually simple. Examples include hyperbolic buildings, Cayley graphs of word hyperbolic Coxeter systems, and generalizations of cubical complexes, that we call even polyhedral complexes. We use tools introduced by Tits in the case of automorphism groups of trees, and Davis-Moussong's geometric realisation of Coxeter systems.
On K3 surfaces with hyperbolic automorphism groups
Okinawa Institute of Science and Technology Graduate University(冲绳科学技术大学院大学);KUIAS and Research Institute for Mathematical Sciences, Kyoto University(京都大学宇宙地球生命研究所及数学科学研究所);Mathematical Sciences, the University of Tokyo(东京大学理学部数学科);National Center for Theoretical Sciences, Mathematics Division, National Taiwan University(台湾大学理论科学中心数学组);Center for Applied Mathematics and KL-AAGDM, Tianjin University(天津大学应用数学中心与代数几何动力学重点实验室)
研究Picard数≥6的复射影K3表面的Néron-Severi晶格有限性,基于 genus 一纤维和Kikuta与Takatsu近期工作,证明其有限性。
Using the canonical JSJ splitting, we describe the outer automorphism group $\Out(G)$ of a one-ended word hyperbolic group $G$. In particular, we discuss to what extent $\Out(G)$ is virtually a direct product of mapping class groups and a free abelian group, and we determine for which groups $\Out(G)$ is infinite. We also show that there are only finitely many conjugacy classes of torsion elements in $\Out(G)$, for $G$ any torsion-free hyperbolic group. More generally, let $Γ$ be a finite graph of groups decomposition of an arbitrary group $G$ such that edge groups $G_e$ are rigid (i.e\. $\Out…
This article is dedicated to the study of the acylindrical hyperbolicity of automorphism groups of graph products of groups. Our main result is that, if $Γ$ is a finite graph which contains at least two vertices and is not a join and if $\mathcal{G}$ is a collection of finitely generated irreducible groups, then either $Γ\mathcal{G}$ is infinite dihedral or $\mathrm{Aut}(Γ\mathcal{G})$ is acylindrically hyperbolic. This theorem is new even for right-angled Artin groups and right-angled Coxeter groups. Various consequences are deduced from this statement and from the techniques used to prove it…
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 h…
We give a complete characterization of the locally compact groups that are non-elementary Gromov-hyperbolic and amenable. They coincide with the class of mapping tori of discrete or continuous one-parameter groups of compacting automorphisms. We moreover give a description of all Gromov-hyperbolic locally compact groups with a cocompact amenable subgroup: modulo a compact normal subgroup, these turn out to be either rank one simple Lie groups, or automorphism groups of semi-regular trees acting doubly transitively on the set of ends. As an application, we show that the class of hyperbolic loca…
We prove that the mapping torus group $\FN \rtimes_α \Z$ of any automorphism $α$ of a free group $\FN$ of finite rank $n \geq 2$ is weakly hyperbolic relative to the canonical (up to conjugation) family $\mathcal H(α)$ of subgroups of $\FN$ which consists of (and contains representatives of all) conjugacy classes that grow polynomially under iteration of $α$. Furthermore, we show that $\FN \rtimes_α \Z$ is strongly hyperbolic relative to the mapping torus of the family $\mathcal H(α)$. As an application, we use a result of Drutu-Sapir to deduce that $\FN \rtimes_α \Z$ has Rapic Decay.
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…
Automorphisms of relatively hyperbolic groups and the Farrell--Jones Conjecture
Laboratoire de Mathématiques d’Orsay, Université Paris-Saclay(巴黎萨克雷大学);Université de Caen Normandie, CNRS, Laboratoire de Mathématiques Nicolas Oresme(诺曼底大学);Rheinische Friedrich-Wilhelms-Universität Bonn(波恩大学);University of Oxford(牛津大学);Univ. Lyon, ENS de Lyon, UMPA UMR 5669(里昂大学)
Similarly to the action of $Out(F_N)$ on Outer Space, the outer automorphism group of a Generalized Baumslag Solitar group acts on a deformation space endowed with the Lipschitz metric and the action of any fully irreducible automorphism with a train track representative is hyperbolic. Inspired by previous work by Algom-Kfir, we prove that the axis of such an automorphism is strongly contracting.
We construct a nonuniform lattice and an infinite family of uniform lattices in the automorphism group of a hyperbolic building with all links a fixed finite building of rank 2 associated to a Chevalley group. We use complexes of groups and basic facts about spherical buildings.
Let $Φ:F\rightarrow F$ be an automorphism of the finite-rank free group $F$. Suppose that $G=F\rtimes_Φ\mathbb Z$ is word-hyperbolic. Then $G$ acts freely and cocompactly on a CAT(0) cube complex.
Hierarchically hyperbolic spaces provide a common framework for studying mapping class groups of finite type surfaces, Teichmüller space, right-angled Artin groups, and many other cubical groups. Given such a space $\mathcal X$, we build a bordificationcompatible with the hierarchically hyperbolic structure. If $\mathcal X$ is proper, we get a compactification of $\mathcal X$; we also prove that our construction generalizes the Gromov boundary of a hyperbolic space. In our first main set of applications, we introduce a notion of geometrical finiteness for hierarchically hyperbolic subgroups of…
We are concerned with orderable groups and particularly those with orderings invariant not only under multiplication, but also under a given automorphism or family of automorphisms. Several applications to topology are given: we prove that the fundamental groups of hyperbolic nonorientable surfaces, and the groups of certain fibred knots are bi-orderable. Moreover, we show that the pure braid groups associated with hyperbolic nonorientable surfaces are left-orderable.
We generalize a version of small cancellation theory to the class of acylindrically hyperbolic groups. This class contains many groups which admit some natural action on a hyperbolic space, including non-elementary hyperbolic and relatively hyperbolic groups, mapping class groups, and groups of outer automorphisms of free groups. Several applications of this small cancellation theory are given, including to Frattini subgroups and Kazhdan constants, the construction of various \exotic"' quotients, and to approximating acylindrically hyperbolic groups in the topology of marked group presentation…
We demonstrate the quasi-isometry invariance of two important geometric structures for relatively hyperbolic groups: the coned space and the cusped space. As applications, we produce a JSJ-decomposition for relatively hyperbolic groups which is invariant under quasi-isometries and outer automorphisms, as well as a related splitting of the quasi-isometry groups of relatively hyperbolic groups.
The JSJ decomposition encodes the automorphisms and the virtually cyclic splittings of a hyperbolic group. For general finitely presented groups, the JSJ decomposition encodes only their splittings. In this sequence of papers we study the automorphisms of a hierarchically hyperbolic group that satisfies some weak acylindricity conditions. To study these automorphisms we construct an object that can be viewed as a higher rank JSJ decomposition. In the first paper we demonstrate our construction in the case of a right angled Artin group. For studying automorphisms of a general HHG we construct w…
We generalize a result of T. Koberda by showing that the natural action of the automorphism group on the space of left-orderings is faithful for all nonabelian bi-orderable groups G, as well as for a certain class of left-orderable groups that includes the braid groups. As a corollary we show that the action of the automorphism group of G on the boundary of G is faithful whenever G is bi-orderable and hyperbolic. We also analyze the action of the commensurator of G on its space of virtual left-orderings.
In this article, we study the outer automorphism group of a group G decomposed as a finite graph of group with finite edge groups and finitely generated vertex groups with at most one end. We show that Out(G) is essentially obtained by taking extensions of relative automorphism groups of vertex groups, groups of Dehn twists and groups of automorphisms of free products. We apply this description and obtain a criterion for Out(G) to be finitely presented, as well as a necessary and sufficient condition for Out(G) to be finite. Consequences for hyperbolic groups are discussed.
Given isometric actions by a group G on finitely many δ-hyperbolic metric spaces, we provide a sufficient condition that guarantees the existence of a single element in G that is hyperbolic for each action. As an application we prove a conjecture of Handel and Mosher regarding relatively fully irreducible subgroups and elements in the outer automorphism group of a free group.
We show that, if $H$ is a random subgroup of a finitely generated free group $F_k$, only inner automorphisms of $F_k$ may leave $H$ invariant. A similar result holds for random subgroups of toral relatively hyperbolic groups, more generally of groups which are hyperbolic relative to slender subgroups. These results follow from non-existence of splittings over slender groups which are relative to a random group element. Random subgroups are defined using random walks or balls in a Cayley tree of $F_k$.
We prove that an outer automorphism of the free group is exponentially growing if and only if it induces an outer automorphism of infinite order of free Burnside groups with sufficiently large odd exponent.
We characterize those Lie groups, and algebraic groups over a local field of characteristic zero, whose first reduced L^p-cohomology is zero for all p>1, extending a result of Pansu. As an application, we obtain a description of Gromov-hyperbolic groups among those groups. In particular we prove that any non-elementary Gromov-hyperbolic algebraic group over a non-Archimedean local field of zero characteristic is quasi-isometric to a 3-regular tree. We also extend the study to semidirect products of a general locally compact group by a cyclic group acting by contracting automorphisms.
We prove that even Coxeter groups, whose Coxeter diagrams contain no (4,4,2) triangles, are conjugacy separable. In particular, this applies to all right-angled Coxeter groups or word hyperbolic even Coxeter groups. For an arbitrary Coxeter group W, we also study the relationship between Coxeter generating sets that give rise to the same collection of parabolic subgroups. As an application we show that if an automorphism of W preserves the conjugacy class of every sufficiently short element then it is inner. We then derive consequences for the outer automorphism groups of Coxeter groups.
We compute the virtual cohomological dimension (VCD) of the group of partially symmetric outer automorphisms of a free group. We use this to obtain new upper and lower bounds on the VCD of the outer automorphism group of a two-dimensional right-angled Artin group. In the case of a right-angled group with defining graph a tree, the bounds agree.