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).
We discuss the possibility of lifting finite subgroups, and in particular finite cyclic subgroups, with respect to the canonical projections between automorphism and outer automorphism groups of free groups, surface groups and their abelianizations.
We prove that a "random" free group outer automorphism is an ageometric fully irreducible outer automorphism whose ideal Whitehead graph is a union of triangles. In particular, we show that its attracting (and repelling) tree is a nongeometric $\mathbb R$-tree all of whose branch points are trivalent
The fundamental group of a finite graph of groups with trivial edge groups is a free product. We are interested in those outer automorphisms of such a free product that permute the conjugacy classes of the vertex groups. We show that in particular cases of interest, such as where vertex groups are themselves finite free products of finite and cyclic groups, given such an outer automorphism, after passing to a positive power, the outer automorphism is represented by a particularly nice kind of relative train track map called a CT. CTs were first introduced by Feighn and Handel for outer automor…
We prove that, for n=3 and 4, the minimal nonabelian finite factor group of the outer automorphism group Out F_n of a free group of rank n is the linear group PSL_n(Z_2) (conjecturally, this may remain true for arbitrary rank n > 2). We also discuss some computational results on low index subgroups of Aut F_n and Out F_n, for n = 3 and 4, using presentations of these groups.
In this paper we prove that a fully irreducible outer automorphism relative to a non-exceptional free factor system acts loxodromically on the relative free factor complex as defined by Handel and Mosher. We also prove a north-south dynamic result for the action of such outer automorphisms on the closure of relative outer space.
Let $G$ be a countable group that splits as a free product of groups of the form $G=G_1\ast\dots\ast G_k\ast F_N$, where $F_N$ is a finitely generated free group. We identify the closure of the outer space $P\mathcal{O}(G,\{G_1,\dots,G_k\})$ for the axes topology with the space of projective minimal, \emph{very small} $(G,\{G_1,\dots,G_k\})$-trees, i.e. trees whose arc stabilizers are either trivial, or cyclic, closed under taking roots, and not conjugate into any of the $G_i$'s, and whose tripod stabilizers are trivial. Its topological dimension is equal to $3N+2k-4$, and the boundary has dim…
In this paper, we study some properties of the outer automorphism group of free Burnside groups of large odd exponent. In particular, we prove that it contains free and free abelian subgroups.
We characterize strongly Morse quasi-geodesics in Outer space as quasi-geodesics which project to quasi-geodesics in the free factor graph. We define convex cocompact subgroups of $Out(F_n)$ as subgroups such that an orbit map in the free factor graph is a quasi-isometric embedding, and we characterize such groups via their action on Outer space in a way which resembles the characterization of convex cocompact subgroups of mapping class groups.
Let $A_1,...,A_k$ be a system of free factors of $F_n$. The group of relative automorphisms $Aut(F_n;A_1,...,A_k)$ is the group given by the automorphisms of $F_n$ that restricted to each $A_i$ are conjugations by elements in $F_n$. The group of relative outer automorphisms is defined as $Out(F_n;A_1,...,A_k) = Aut(F_n;A_1,...,A_k)/Inn(F_n)$, where $Inn(F_n)$ is the normal subgroup of $Aut(F_n)$ given by all the inner automorphisms. We define a contractible space on which $Out(F_n;A_1,...,A_k)$ acts with finite stabilizers and we compute the virtual cohomological dimension of this group.
We show that strongly contracting geodesics in Outer space project to parameterized quasigeodesics in the free factor complex. This result provides a converse to a theorem of Bestvina--Feighn, and is used to give conditions for when a subgroup of $\mathrm{Out}(\mathbb{F})$ has a quasi-isometric orbit map into the free factor complex. It also allows one to construct many new examples of strongly contracting geodesics in Outer space.
We show that the outer automorphism groups of graph products of finitely generated abelian groups satisfy the Tits alternative, are residually finite, their so-called Torelli subgroups are finitely generated, and they satisfy a dichotomy between being virtually nilpotent and containing a non-abelian free subgroup that is determined by a graphical condition on the underlying labelled graph. Graph products of finitely generated abelian groups simultaneously generalize right-angled Artin groups (RAAGs) and right-angled Coxter groups (RACGs), providing a common framework for studying these groups.…
This paper studies the geometric rigidity of the universal Coxeter group of rank $n$, which is the free product $W_n$ of $n$ copies of $\mathbb{Z}/2\mathbb{Z}$. We prove that for $n\geq 4$ the group of symmetries of the spine of the Guirardel-Levitt outer space of $W_n$ is reduced to the outer automorphism group $\mathrm{Out}(W_n)$.
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.
Bestvina, Feighn and Handel proved that every subgroup of the outer automorphism group, $\textrm{Out}(F_n)$, of the free group of rank $n$ is either virtually finitely generated abelian or contains a nonabelian free group. In this note we consider the more general situation of the outer automorphism group $\textrm{Out}(G)$ of a finitely generated free-by-finite group $G$. We show that $\textrm{Out}(G)$ is translation discrete and that every subgroup of $\textrm{Out}(G)$ is either virtually finitely generated abelian or contains a nonabelian free group.
We study those fully irreducible outer automorphisms phi of a finite rank free group F_r which are ``parageometric'', meaning that the attracting fixed point of phi in the boundary of outer space is a geometric R-tree with respect to the action of F_r, but phi itself is not a geometric outer automorphism in that it is not represented by a homemorphism of a surface. Our main result shows that the expansion factor of phi is strictly larger than the expansion factor of the inverse of phi. As corollaries (proved independently by Guirardel), the inverse of a parageometric outer automorphism is neit…
For every free product decomposition $G = G_{1} \ast ...\ast G_{q} \ast F_{r}$ of a group of finite Kurosh rank $G$, where $F_r$ is a finitely generated free group, we can associate some (relative) outer space $\mathcal{O}$. We study the asymmetry of the Lipschitz metric $d_R$ on the (relative) Outer space $\mathcal{O}$. More specifically, we generalise the construction of Algom-Kfir and Bestvina, introducing an (asymmetric) Finsler norm $\|\cdot\|^{L}$ that induces $d_R$. Let's denote by $Out(G, \mathcal{O})$ the outer automorphisms of $G$ that preserve the set of conjugacy classes of $G_i$'s…
In this paper we develop the metric theory for the outer space of a free product of groups. This generalizes the theory of the outer space of a free group, and includes its relative versions. The outer space of a free product is made of $G$-trees with possibly non-trivial vertex stabilisers. The strategies are the same as in the classical case, with some technicalities arising from the presence of infinite-valence vertices. In particular, we describe the Lipschitz metric and show how to compute it; we prove the existence of optimal maps; we describe geodesics represented by folding paths. We s…
The main theorem of this document emulates, in the context of Out(F_r) theory, a mapping class group theorem (by H. Masur and J. Smillie) that determines precisely which index lists arise from pseudo-Anosov mapping classes. Since the ideal Whitehead graph gives a finer invariant in the analogous setting of a fully irreducible outer automorphism, we instead focus on determining which of the 21 connected, loop-free, 5-vertex graphs are ideal Whitehead graphs of ageometric, fully irreducible outer automorphisms of the free group of rank 3. Our main theorem accomplishes this by showing that there …
We show that the horoboundary of outer space for the Lipschitz metric is a quotient of Culler and Morgan's classical boundary, two trees being identified whenever their translation length functions are homothetic in restriction to the set of primitive elements of $F_N$. We identify the set of Busemann points with the set of trees with dense orbits. We also investigate a few properties of the horoboundary of outer space for the backward Lipschitz metric, and show in particular that it is infinite-dimensional when $N\ge 3$. We then use our description of the horoboundary of outer space to derive…
The object of this expository work is to try to unveil the topological/geometric intuition behind the theory of free groups and their automorphism and outer automorphism groups. The method we follow is to focus on a series of problems in the study of free groups, and use the solutions of those problems to motivate topological/geometric tools. We do not aim to write down proofs which minimize the number of alphanumeric characters. We instead strive to write down proofs which maximize the development of broadly applicable geometric tools. In Part I we study problems solved by Nielsen and Whitehe…
We quantitatively relate the Patterson-Sullivant currents and generic stretching factors for free group automorphisms to the asymmetric Lipschitz metric on Outer space and to Guirardel's intersection number.
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 paper, first we obtain an explicit formula for an outer commutator multiplier of nilpotent products of cyclic groups with respect to the variety $[\mathfrak{N}_{c_1},\mathfrak{N}_{c_2}]$, $\mathfrak{N}_{c}M(\mathbb{Z}\st{n}* \mathbb{Z}\st{n}* ... \st{n}* \mathbb{Z}\st{n}* \mathbb{Z}_{r_1}\st{n}* \mathbb{Z}_{r_2}\st{n}* ... \st{n}* \mathbb{Z}_{r_t})$ where $r_{i+1}\mid r_i \ \ (1\leq i\leq t-1)$, $c_1+c_2+1\geq n$, $2c_2-c_1>2n-2$ and $(p,r_1)=1$ for all prime less than or equal $c_1+c_2+n$, second we give a necessary condition for these groups to be $[\mathfrak{N}_{c_1},\mathfrak{N}_{c…
For any finitely generated group $G$, two complexity functions $α_G$ and $β_G$ are defined to measure the maximal possible gap between the norm of an automorphism (respectively outer automorphism) of $G$ and the norm of its inverse. Restricting attention to free groups $F_r$, the exact asymptotic behaviour of $α_2$ and $β_2$ is computed. For rank $r\geqslant 3$, polynomial lower bounds are provided for $α_r$ and $β_r$, and the existence of a polynomial upper bound is proved for $β_r$.
We show that there is no uniform upper bound on |Out(Aut(A))| when A ranges over all right-angled Artin groups. This is in contrast with the cases where A is free or free abelian: for all n, Dyer-Formanek and Bridson-Vogtmann showed that Out(Aut(F_n)) = 1, while Hua-Reiner showed |Out(Aut(Z^n)| = |Out(GL(n,Z))| < 5. We also prove the analogous theorem for Out(Out(A)). We establish our results by giving explicit examples; one useful tool is a new class of graphs called austere graphs.
For n>2, the action of the outer automorphism group of the rank n free group F_n on the SU(2)-character variety Hom(F_n,SU(2))/SU(2)$ is ergodic with respect to the Lebesgue measure class.
We study the loxodromic elements for the action of $Out(F_n)$ on the free splitting complex of the rank $n$ free group $F_n$. We prove that each outer automorphism is either loxodromic, or has bounded orbits without any periodic point, or has a periodic point; and we prove that all three possibilities can occur. We also prove that two loxodromic elements are either co-axial or independent, meaning that their attracting/repelling fixed point pairs on the Gromov boundary of the free splitting complex are either equal or disjoint as sets. Each of the alternatives in these results is also characte…
Let $N \geq 2$ and let $\mathrm{Out}(F_N)$ be the outer automorphism group of a nonabelian free group of rank $N$. Let $\mathrm{IA}_N(\mathbb{Z}/3\mathbb{Z})$ be the finite index subgroup of $\mathrm{Out}(F_N)$ which is the kernel of the natural action of $\mathrm{Out}(F_N)$ on $H_1(F_N,\mathbb{Z}/3\mathbb{Z})$. We show that $\mathrm{IA}_N(\mathbb{Z}/3\mathbb{Z})$ is an $R$-group, that is, for every $ϕ,ψ\in \mathrm{IA}_N(\mathbb{Z}/3\mathbb{Z})$, if there exists $k \in \mathbb{N}^*$ such that $ϕ^k=ψ^k$, then $ϕ=ψ$. This answers a question of Handel and Mosher. We then use the fact that $\mathr…
This paper studies the rigidity properties of the abstract commensurator of the outer automorphism group of a universal Coxeter group of rank $n$, which is the free product $W_n$ of $n$ copies of $\mathbb{Z}/2\mathbb{Z}$. We prove that for $n\geq 5$ the natural map $\mathrm{Out}(W_n) \to \mathrm{Comm}(\mathrm{Out}(W_n))$ is an isomorphism and that every isomorphism between finite index subgroups of $\mathrm{Out}(W_n)$ is given by a conjugation by an element of $\mathrm{Out}(W_n)$.
We prove that if $ϕ,ψ\in Out(F_N)$ are hyperbolic iwips (irreducible with irreducible powers) such that $<ϕ,ψ>\le Out(F_N)$ is not virtually cyclic then some high powers of $ϕ$ and $ψ$ generate a free subgroup of rank two, all of whose nontrivial elements are again hyperbolic iwips. Being a hyperbolic iwip element of $Out(F_N)$ is strongly analogous to being a pseudo-Anosov element of a mapping class group, so the above result provides analogs of "purely pseudo-Anosov" free subgroups of $Out(F_N)$.
Consider the space of double cosets of the product of $n$ copies of $\SU(2)$ with respect to the diagonal subgroup. We get a parametrization of this space, the radial part of the Haar measure, and explicit formulas for the actions of the group of outer automorphisms of the free group $F_{n-1}$ and of the braid group of $n-1$ strings.
Let $G=G_1\ast\dots\ast G_k\ast F$ be a countable group which splits as a free product, where all groups $G_i$ are freely indecomposable and not isomorphic to $\mathbb{Z}$, and $F$ is a finitely generated free group. If for all $i\in\{1,\dots,k\}$, both $G_i$ and its outer automorphism group $\text{Out}(G_i)$ satisfy the Tits alternative, then $\text{Out}(G)$ satisfies the Tits alternative. As an application, we prove that the Tits alternative holds for outer automorphism groups of right-angled Artin groups, and of torsion-free groups that are hyperbolic relative to a finite family of virtuall…
Subsurface projection has become indispensable in studying the geometry of the mapping class group and the curve complex of a surface. When the subsurface is an annulus, this projection is sometimes called relative twisting. We give two alternate versions of relative twisting for the outer automorphism group of a free group. We use this to describe sufficient conditions for when a folding path enters the thin part of Culler-Vogtmann's Outer space. As an application of our condition, we produce a sequence of fully irreducible outer automorphisms whose axes in Outer space travel through graphs w…
This paper, which is the second of a series of three papers, studies dynamical properties of elements of $\mathrm{Out}(F_{\tt n})$, the outer automorphism group of a nonabelian free group $F_{\tt n}$. We prove that, for every exponentially growing outer automorphism of $F_{\tt n}$, there exists a preferred compact topological space, the space of currents relative to a malnomal subgroup system, on which $ϕ$ acts by homeomorphism with a North-South dynamics behavior.
A remarkable result of McShane states that for a punctured torus with a complete finite volume hyperbolic metric we have \[ \sum_γ \frac{1}{e^{\ell(γ)}+1}={1/2} \] where $γ$ varies over the homotopy classes of essential simple closed curves and $\ell(γ)$ is the length of the geodesic representative of $γ$. We prove that there is no reasonable analogue of McShane's identity for the Culler-Vogtmann outer space of a free group.
We investigate the combinatorial and geometric properties of automorphism groups of universal right-angled Coxeter groups, which are the automorphism groups of free products of copies of Z_2. It is currently an open question as to whether or not these automorphism groups have non-positive curvature. Analogous to Outer Space as a model for Out(F_n), we prove that the natural combinatorial and topological model for their outer automorphism groups can \emph{not} be given an equivariant CAT(0) metric. This is particularly interesting as there are very few non-trivial examples of proving that a mod…
We define lines of minima in the thick part of Outer space for the free group Fn with n>2 generators. We show that these lines of minima are contracting for the Lipschitz metric. Every fully irreducible outer automorphism of Fn defines such a line a minima. Now let G be a subgroup of the outer automorphism group of Fn which is not virtually abelian. We obtain as an immediate application that if G contains at least one fully irreducible element then for every p<1 the second bounded cohomology group with coefficients in lp(G) is infinite dimensional.
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.
The self-similar structure of the attracting subshift of a primitive substitution is carried over to the limit set of the repelling tree in the boundary of Outer Space of the corresponding irreducible outer automorphism of a free group. Thus, this repelling tree is self-similar (in the sense of graph directed constructions). Its Hausdorff dimension is computed. This reveals the fractal nature of the attracting tree in the boundary of Outer Space of an irreducible outer automorphism of a free group.
H. Masur and J. Smillie proved precisely which singularity index lists arise from pseudo-Anosov mapping classes. In search of an analogous theorem for outer automorphisms of free groups, Handel and Mosher ask: Is each connected, simplicial, (2r-1)-vertex graph the ideal Whitehead graph of a fully irreducible outer automorphism in Out(F_r)? We answer this question in the negative by exhibiting, for each r, examples of connected (2r-1)-vertex graphs that are not the ideal Whitehead graph of any fully irreducible outer automorphism in Out(F_r)? In the course of our proof we also develop machinery…
We show that every non-amenable free product of groups admits free ergodic probability measure preserving actions which have relative property (T) in the sense of S.-Popa \cite[Def. 4.1]{Pop06}. There are uncountably many such actions up to orbit equivalence and von Neumann equivalence, and they may be chosen to be conjugate to any prescribed action when restricted to the free factors. We exhibit also, for every non-amenable free product of groups, free ergodic probability measure preserving actions whose associated equivalence relation has trivial outer automorphisms group. This gives in part…
We generalise the Karrass-Pietrowski-Solitar and the Nielsen realisation theorems from the setting of free groups to that of free products. As a result, we obtain a fixed point theorem for finite groups of outer automorphisms acting on the relative free splitting complex of Handel--Mosher and on the outer space of a free product of Guirardel--Levitt, as well as a relative version of the Nielsen realisation theorem, which in the case of free groups answers a question of Karen Vogtmann. We also prove Nielsen realisation for limit groups, and as a byproduct obtain a new proof that limit groups ar…
We explore the existence of homomorphisms between outer automorphism groups of free groups Out(F_n) \to Out(F_m). We prove that if n > 8 is even and n \neq m \leq 2n, or n is odd and n \neq m \leq 2n - 2, then all such homomorphisms have finite image; in fact they factor through det: Out(F_n) \to Z/2. In contrast, if m = r^n(n - 1) + 1 with r coprime to (n - 1), then there exists an embedding Out(F_n) \to Out(F_m). In order to prove this last statement, we determine when the action of Out(F_n) by homotopy equivalences on a graph of genus n can be lifted to an action on a normal covering with a…
We study the existence of homomorphisms between Out(F_n) and Out(F_m) for n > 5 and m < n(n-1)/2, and conclude that if m is not equal to n then each such homomorphism factors through the finite group of order 2. In particular this provides an answer to a question of Bogopol'skii and Puga. In the course of the argument linear representations of Out(F_n) in dimension less than n(n+1)/2 over fields of characteristic zero are completely classified. It is shown that each such representation has to factor through the natural projection from Out(F_n) to GL(n,Z) coming from the action of Out(F_n) on t…
Given a free product $G$, we investigate the existence of faithful free representations of the outer automorphism group $\text{Out}(G)$, or in other words of embeddings of $\text{Out}(G)$ into $\text{Out}\left(F_m\right)$ for some $m$. This is based on a work of Bridson and Vogtmann in which they construct embeddings of $\text{Out}\left(F_n\right)$ into $\text{Out}\left(F_m\right)$ for some values of $n$ and $m$ by interpreting $\text{Out}\left(F_n\right)$ as the group of homotopy equivalences of a graph $X$ of genus $n$, and by lifting homotopy equivalences of $X$ to a characteristic abelian …
The geometric dimension for proper actions $\underline{\mathrm{gd}}(G)$ of a group $G$ is the minimal dimension of a classifying space for proper actions $\underline{E}G$. We construct for every integer $r\geq 1$, an example of a virtually torsion-free Gromov-hyperbolic group $G$ such that for every group $Γ$ which contains $G$ as a finite index normal subgroup, the virtual cohomological dimension $\mathrm{vcd}(Γ)$ of $Γ$ equals $\underline{\mathrm{gd}}(Γ)$ but such that the outer automorphism group $\mathrm{Out}(G)$ is virtually torsion-free, admits a cocompact model for $\underline E\mathrm{…
