In this note we produce examples of outer automorphisms of finitely generated groups which have exotic behaviors in terms of growth of conjugacy classes.
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 generalize a class of groups defined by Rostislav Grigorchuk to a much larger class of groups, and provide upper and lower bounds for their word growth (they are all of intermediate growth) and period growth (under a small additional condition, they are periodic).
We prove that if F is a finitely generated free group and f:F -> F is an automorphism with polynomial growth of degree d, then there exists a characteristic subgroup S < F of finite index such that the induced automorphism of the abelianisation of S also grows polynomially of degree d. The proof is geometric in nature and makes use of improved relative train track representatives.
We look at the automorphisms of Thompson type groups of piecewise linear homeomorphisms of the real line or circle that use slopes that are integral powers of a fixed integer n with n>2. We show that large numbers of "exotic" automorphisms appear---automorphisms that are represented as conjugation by non-PL homeomorphisms of the real line or circle. This is in contrast to the n=2 case where no such automorphisms appear.
Let $Δ$ be a locally finite thick building of type $\tilde{A}_2$. We show that, if the type-preserving automorphism group $\mathrm{Aut}(Δ)^+$ of $Δ$ is transitive on panels of each type, then either $Δ$ is Bruhat--Tits or $\mathrm{Aut}(Δ)$ is discrete. For $\tilde{A}_2$-buildings which are not panel-transitive but only vertex-transitive, we give additional conditions under which the same conclusion holds. We also find a local condition under which an $\tilde{A}_2$-building is ensured to be exotic (i.e.\ not Bruhat--Tits). It can be used to show that the number of exotic $\tilde{A}_2$-buildings…
We study the minimally displaced set of irreducible automorphisms of a free group. Our main result is the co-compactness of the minimally displaced set of an irreducible automorphism with exponential growth $ϕ$, under the action of the centraliser $C(ϕ)$. As a corollary, we get that the same holds for the action of $<ϕ>$ on $Min(ϕ)$. Finally, we prove that the minimally displaced set of an irreducible automorphism of growth rate one is consisted of a single point.
Given an automorphism of a free group $F_n$, we consider the following invariants: $e$ is the number of exponential strata (an upper bound for the number of different exponential growth rates of conjugacy classes); $d$ is the maximal degree of polynomial growth of conjugacy classes; $R$ is the rank of the fixed subgroup. We determine precisely which triples $(e,d,R)$ may be realized by an automorphism of $F_n$. In particular, the inequality $e\le (3n-2)/4}$ (due to Levitt-Lustig) always holds. In an appendix, we show that any conjugacy class grows like a polynomial times an exponential under i…
For a fully irreducible automorphism ϕof the free group F_k we compute the asymptotics of the intersection number n \mapsto i(T,T'ϕ^n) for trees T,T' in Outer space. We also obtain qualitative information about the geometry of the Guirardel core for the trees T and T'ϕ^n for n large.
We introduce the notion of `core growth rate' for strongly synchronizing transducers. We explore some elementary properties of the core growth rate and give examples of transducers with exponential core growth rate. We conjecture that all strongly synchronizing transducers which generate an automaton group of infinite order have exponential core growth rate. There is a connection to the group of automorphisms of the one-sided shift. More specifically, the results of this article are related to the question of whether or not there can exist infinite order automorphisms of the one-sided shift wi…
We study lattices on ~A_2 buildings that preserve types, act regularly on each type of edge, and whose vertex stabilizers are cyclic. We show that several of their properties, such as their automorphism group and isomorphism class, can be determined from purely combinatorial data. As a consequence we can show that the number of such lattices (up to isomorphism) grows super-exponentially with the thickness parameter q. We look in more detail at the 3295 lattices with q in {2,3,4,5}. We show that with one exception for each q these are all exotic. For the exotic examples we prove that the automo…
A criterion for quadratic or higher growth of group automorphisms is established which are represented by graph-of-groups automorphisms with certain well specified properties. As a consequence, it is derived (using results of a previous paper of the author) that every partial Dehn twist automorphism of $\FN$ relative to local Dehn twist automorphisms is either an honest Dehn twist automorphism, or else has quadratic growth.
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.
Study of the dynamics of automorphisms of a group is usually focused on their growth and/or finite orbits, including fixed points. In this paper, we introduce properties of a different kind; using somewhat informal language, we call them metric properties. Two principal characteristics of this kind are called here the "curl" and the "flux"; there seems to be very little correlation between these and the growth of an automorphism, which means they are likely to be an essentially new tool for studying automorphisms. We also observe that our definitions of the curl and flux are sufficiently gener…
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…
We describe, through the use of Rubin's theorem, the automorphism groups of the Higman-Thompson groups $G_{n,r}$ as groups of specific homeomorphisms of Cantor spaces $\mathfrak{C}_{n,r}$. This continues a thread of research begun by Brin, and extended later by Brin and Guzmán: to characterise the automorphism groups of the `Chameleon groups of Richard Thompson,' as Brin referred to them in 1996. The work here completes the first stage of that twenty-year-old program, containing (amongst other things) a characterisation of the automorphism group of $V$, which was the `last chameleon.' The home…
We obtain sufficient and necessary conditions for the Choquet-Deny theorem to hold in the class of compactly generated totally disconnected locally compact groups of polynomial growth, and in a larger class of totally disconnected generalized $\ov{FC}$-groups. The following conditions turn out to be equivalent when $G$ is a metrizable compactly generated totally disconnected locally compact group of polynomial growth: (i) the Choquet-Deny theorem holds for $G$; (ii) the group of inner automorphisms of $G$ acts distally on $G$; (iii) every inner automorphism of $G$ is distal; (iv) the contracti…
If a finitely generated torsion free group K has the property that all finitely generated subgroups S of K are either small or have growth constant bounded uniformly away from 1 then a non proper HNN extension G of K, that is a semidirect product of K by the integers, has the same property. Here small means cyclic or, if the automorphism has no periodic conjugacy classes, free abelian of bounded rank.
We introduce a quantitative characterization of subgroup alternatives modeled on the Tits alternative in terms of group laws and investigate when this property is preserved under extensions. We develop a framework that lets us expand the classes of groups known to have locally uniform exponential growth to include extensions of either word hyperbolic or right-angled Artin groups by groups with locally uniform exponential growth. From this, we deduce that the automorphism group of a torsion-free one-ended hyperbolic group has locally uniform exponential growth. Our methods also demonstrate that…
We present a normal form for outer automorphisms $ϕ$ of a non-abelian free group $F_N$ which grow quadratically (measured through the maximal growth of conjugacy classes in $F_N$ under iteration of $ϕ$). In analogy to the known normal form for linearly growing automorphisms as efficient Dehn twist, our normal form for $ϕ$ is given in terms of a 2-level Dehn twist on a graph-of-groups $\cal{G}$ with $π_1 {\cal{G}} \cong F_N$, where a conjugacy class of $F_N$ grows at most linearly if and only if it is contained in a vertex group of $\cal{G}$. Our proof is based on earlier work of the second aut…
We study the automorphism groups of free-by-cyclic groups and show these are finitely generated in the following cases: (i) when defining automorphism has linear growth and (ii) when the rank of the underlying free group has rank at most 3. The techniques we use are actions on trees, including the trees of cylinders due to Guirardel and Levitt, the relative hyperbolicity of free-by-cyclic groups (due to Gautero and Lustig, Ghosh, and Dahmani and Li) and the filtration of the automorphisms of a group preserving a tree, following Bass and Jiang, and Levitt. Our general strategy is to produce an …
In the first paper of this series (arxiv.org/abs/1210.2961) we studied the asymptotic behavior of Betti numbers, twisted torsion and other spectral invariants for sequences of lattices in Lie groups G. A key element of our work was the study of invariant random subgroups (IRSs) of G. Any sequence of lattices has a subsequence converging to an IRS, and when G has higher rank, the Nevo-Stuck-Zimmer theorem classifies all IRSs of G. Using the classification, one can deduce asymptotic statments about spectral invariants of lattices. When G has real rank one, the space of IRSs is more complicated. …
Fixing a subgroup $Γ$ in a group $G$, the commensurability growth function assigns to each $n$ the cardinality of the set of subgroups $Δ$ of $G$ with $[Γ: Γ\cap Δ][Δ: Γ\cap Δ] = n$. For pairs $Γ\leq A$, where $A$ is the automorphism group of a $p$-regular tree and $Γ$ is finitely generated, we show that this function can take on finite, countable, or uncountable cardinals. For almost all known branch groups $Γ$ (the first Grigorchuk group, the twisted twin Grigorchuk group, Pervova groups, Gupta-Sidki groups, etc.) acting on $p$-regular trees, this function is precisely $\aleph_0$ for any $n …
We prove that the growth rate of an endomorphism of a finitely generated nilpotent group equals to the growth rate of induced endomorphism on its abelinization, generalizing the corresponding result for an automorphism in [14]. We also study growth rates of endomorphisms for specific solvable groups, lattices of Sol, providing a counterexample to a known result in [5] and proving that the growth rate is an algebraic number.
Let $F$ be a free group of positive, finite rank and let $Φ\in Aut(F)$ be a polynomial-growth automorphism. Then $F\rtimes_Φ\mathbb Z$ is strongly thick of order $η$, where $η$ is the rate of polynomial growth of $ϕ$. This fact is implicit in work of Macura, but her work predates the notion of thickness. Therefore, in this note, we make the relationship between polynomial growth and thickness explicit. Our result combines with a result independently due to Dahmani-Li, Gautero-Lustig, and Ghosh to show that free-by-cyclic groups admit relatively hyperbolic structures with thick peripheral subgr…
In this paper we start the inquiry into proving uniform exponential growth in the context of groups acting on CAT(0) cube complexes. We address free group actions on CAT(0) square complexes and prove a more general statement. This says that if $F$ is a finite collection of hyperbolic automorphisms of a CAT(0) square complex $X$, then either there exists a pair of words of length at most 10 in $F$ which freely generate a free semigroup, or all elements of $F$ stabilize a flat (of dimension 1 or 2 in $X$). As a corollary, we obtain a lower bound for the growth constant, $\sqrt[10]{2}$, which is …
Let $ϕ:G \to G$ be a group endomorphism where $G$ is a finitely generated group of exponential growth, and denote by $R(ϕ)$ the number of twisted $ϕ$-conjugacy classes. Fel'shtyn and Hill \cite{fel-hill} conjectured that if $ϕ$ is injective, then $R(ϕ)$ is infinite. This conjecture is true for automorphisms of non-elementary Gromov hyperbolic groups, see \cite{ll} and \cite {fel:1}. It was showed in \cite {gw:2} that the conjecture does not hold in general. Nevertheless in this paper, we show that the conjecture holds for the Baumslag-Solitar groups $B(m,n)$, where either $|m|$ or $|n|$ is gre…
For an interval exchange map, the number of discontinuities of its iterates either exhibits linear growth or is bounded. This dichotomy is used to prove that the group of interval exchanges does not contain distortion elements, giving examples of groups that do not act faithfully via interval exchanges. As a further application of this dichotomy, a classification of centralizers in the group of interval exchanges is given. This classification of centralizers is used to compute the automorphism group of the interval exchange group.
This paper, which is the last 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 subgroup $H$ of $\mathrm{Out}(F_{\tt n})$, there exists an element $ϕ\in H$ such that, for every element $g$ of $F_{\tt n}$, the conjugacy class $[g]$ has polynomial growth under iteration of $ϕ$ if and only if $[g]$ has polynomial growth under iteration of every element of $H$.
Group cohomology of polynomial growth is defined for any finitely generated discrete group, using cochains that have polynomial growth with respect to the word length function. We give a geometric condition that guarantees that it agrees with the usual group cohomology and verify this condition for a class of combable groups. Our condition involves a chain complex that is closely related to exotic cohomology theories studied by Allcock and Gersten and by Mineyev.
For every infinite sequence $ω=x_1,x_2,...$, with $x_i\in\{0,1\}$, we construct an infinite 4-regular graph $X_ω$. These graphs are precisely the Schreier graphs of the action of a certain self-similar group on the space $\{0,1\}^{\infty}$. We solve the isomorphism and local isomorphism problems for these graphs, and determine their automorphism groups. Finally, we prove that all graphs $X_ω$ have intermediate growth.
For each prime p and a monic polynomial f, invertible over p, we define a group G_{p,f} of p-adic automorphisms of the p-ary rooted tree. The groups are modeled after the first Grigorchuk group, which in this setting is the group G_{2,x^2+x+1}. We show that the constructed groups are self-similar, regular branch groups. This enables us to calculate the Hausdorff dimension of their closures, providing concrete examples (not using random methods) of topologically finitely generated closed subgroups of the group of p-adic automorphisms with Hausdorff dimension arbitrarily close to 1. We provide a…
We consider groups of automorphisms of locally finite trees, and give conditions on its subgroups that imply that they are not elementary amenable. This covers all known examples of groups that are not elementary amenable and act on the trees: groups of intermediate growths and Basilica group, by giving a more straightforward proof. Moreover, we deduce that all finitely generated branch groups are not elementary amenable, which was conjectured by Grigorchuk.
A locally compact group G is said to be Hermitian if every selfadjoint element of L^1(G) has real spectrum. Using Halmos' notion of capacity in Banach algebras and a result of Jenkins, Fountain, Ramsay and Williamson we will put a bound on the growth of Hermitian groups. In other words, we will show that if G has a subset that grows faster than a certain constant, then G cannot be Hermitian. Our result allows us to give new examples of non-Hermitian groups which could not tackled by the existing theory. The examples include certain infinite free Burnside groups, automorphism groups of trees, a…
Let p and l be two distinct prime numbers and let G be a group. We study the asymptotic behaviour of the mod-l Betti numbers in p-adic analytic towers of finite index subgroups. If X is a finite l-group of automorphisms of G, our main theorem allows to lift lower bounds for the mod-l cohomology growth in the fixed point group G^X to lower bounds for the growth in G. We give applications to S-arithmetic groups and we also obtain a similar result for cohomology with rational coefficients.
We associate a 2-complex to the following data: a presentation of a semigroup $S$ and a transitive action of $S$ on a set $V$ by partial transformations. The automorphism group of the action acts properly discontinuously on this 2-complex. A sufficient condition is given for the 2-complex to be simply connected. As a consequence we obtain simple topological proofs of results on presentations of Schützenberger groups. We also give a geometric proof that a finitely generated regular semigroup with finitely many idempotents has polynomial growth if and only if all its maximal subgroups are virtua…
Let $\mathcal{T}_{q+1}$ be the $(q+1)$-regular tree and let $G$ be a group of automorphisms acting transitively on the vertices and on the boundary of $\mathcal{T}_{q+1}$. We give an upper bound for the growth of cocycles with values in any unitary representation of the group $G$. This bound is optimal by projecting the Haagerup cocycle onto an appropriate subspace of $\ell^{2}(E)$. We also obtain a description of functions conditionally of negative type which are unbounded.
We consider the actions of (semi)groups on a locally compact group by automorphisms. We show the equivalence of distality and pointwise distality for the actions of a certain class of groups. We also show that a compactly generated locally compact group of polynomial growth has a compact normal subgroup $K$ such that $G/K$ is distal and the conjugacy action of $G$ on $K$ is ergodic; moreover, if $G$ itself is (pointwise) distal then $G$ is Lie projective. We prove a decomposition theorem for contraction groups of an automorphism under certain conditions. We give a necessary and sufficient cond…
In this article we prove a conjecture of A. Lubotzky: let G = G_0(K), where K is a local field of characteristic p>5, G_0 is a simply connected, absolutely almost simple K-group of K-rank at least 2. We give the rate of growth of r_x(G) :={H< G| H a lattice in G; vol(G/H)<x}/~, where H_1\simH_2 if and only if there is an abstract automorphism t of G such that H_2 =t(H_1). We also study the rate of subgroup growth s_x(H) of any lattice H in G. As a result we show that these two functions have the same rate of growth which proves Lubotzky's conjecture. Along the way, we also study the rate of gr…
In this paper we define a way to get a bounded invertible automaton starting from a finite graph. It turns out that the corresponding automaton group is regular weakly branch over its commutator subgroup, contains a free semigroup on two elements and is amenable of exponential growth. We also highlight a connection between our construction and the right-angled Artin groups. We then study the Schreier graphs associated with the self-similar action of these automaton groups on the regular rooted tree. We explicitly determine their diameter and their automorphism group in the case where the initi…