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 for the harmonic measure associated to a random walk on Out(Fr) satisfying some mild conditions, a typical tree in the boundary of Outer space is trivalent and nongeometric. This answers a question of M. Bestvina.
Let G be a non-elementary word-hyperbolic group acting as a convergence group on a compact metrizable space Z so that there exists a continuous G-equivariant map i:∂G→Z, which we call a \emph{Cannon-Thurston map}. We obtain two characterzations (a dynamical one and a geometric one) of conical limit points in Z in terms of their pre-images under the Cannon-Thurston map i. As an application we prove, under the extra assumption that the action of G on Z has no accidental parabolics, that if the map i is not injective then there exists a non-conical limit point z∈Z with ∣i−1(z)∣=1. This result applies to most natural contexts where the Cannon-Thurston map is known to exist, including subgroups of word-hyperbolic groups and Kleinian representations of surface groups. As another application, we prove that if G is a non-elementary torsion-free word-hyperbolic group then there exists x∈∂G such that x is not a "controlled concentration point" for the action of G on ∂G.
Consider a group G and an epimorphism u_0:G\to\Z inducing a splitting of G as a semidirect product ker(u_0)\rtimes_φ\Z with ker(u_0) a finitely generated free group and φ\in Out(ker(u_0)) representable by an expanding irreducible train track map. Building on our earlier work [Dynamics on free-by-cyclic groups, arXiv:1301.7739], in which we we realized G as π_1(X) for an Eilenberg-Maclane 2-complex X equipped with a semiflow ψ, and inspired by McMullen's Teichmüller polynomial for fibered hyperbolic 3-manifolds, we construct a polynomial invariant \m for (X,ψ) and investigate its properties. Specifically, \m determines a convex polyhedral cone \C_X in H^1(G;\R), a convex, real-analytic function \H:\C_X\to\R, and specializes to give an integral Laurent polynomial \m_u(ζ) for each integral u\in\C_X. We show that \C_X is equal to the "cone of sections" of (X,ψ) (the convex hull of all cohomology classes dual to sections of of ψ), and that for each (compatible) cross section Θ_u with first return map f_u:Θ_u\toΘ_u, the specialization \m_u(ζ) encodes the characteristic polynomial of the transition matrix of f_u. More generally, for every class u\in\C_X there exists a geodesic metric d_u and a codimension-1 foliation Ω_u of X transverse to ψso that after reparametrizing the flow ψ^u_s maps leaves of Ω_u to leaves via a local e^{s\H(u)}-homothety. Among other things, we additionally prove that \C_X is equal to (the cone over) the component of the BNS-invariant containing u_0 and that each primitive integral u\in\C_X induces a splitting of G as an ascending HNN-extension over a finite-rank free group along an injective endomorphism ϕ_u. For any such splitting, we show that the stretch factor of ϕ_u is exactly given by e^{\H(u)}. In particular, we see that \C_X and \H depend only on the group G and epimorphism u_0.
We show that for every n≥2 there exists a torsion-free one-ended word-hyperbolic group G of rank n admitting generating n-tuples (a1,…,an) and (b1,…,bn) such that the (2n−1)-tuples (a1,…,an,n−1times1,…,1) and (b1,…,bn,n−1times1,…,1) are not Nielsen-equivalent in G. The group G is produced via a probabilistic construction.
Several known results, by Rivin, Calegari-Maher and Sisto, show that an element ϕn∈Out(Fr), obtained after n steps of a simple random walk on Out(Fr), is fully irreducible with probability tending to 1 as n→∞. In this paper we construct a natural "train-track directed" random walk W on Out(Fr) (where r≥3). We show that, for the element ϕn∈Out(Fr), obtained after n steps of this random walk, with asymptotically positive probability the element ϕn has the following properties: ϕn is an ageometric fully irreducible, which admits a train-track representative with no periodic Nielsen paths and exactly one nondegenerate illegal turn, that ϕn has "rotationless index" 23−r (so that the geometric index of the attracting tree Tϕn of ϕn is 2r−3), has index list {23−r} and the ideal Whitehead graph being the complete graph on 2r−1 vertices, and that the axis bundle of ϕn in the Outer space CVr consists of a single axis.
This paper gives a detailed analysis of the Cannon--Thurston maps associated to a general class of hyperbolic free group extensions. Let FN denote a free groups of finite rank N≥3 and consider a \emph{convex cocompact} subgroup Γ≤Out(FN), i.e. one for which the orbit map from Γ into the free factor complex of FN is a quasi-isometric embedding. The subgroup Γ determines an extension EΓ of FN, and the main theorem of Dowdall--Taylor \cite{DT1} states that in this situation EΓ is hyperbolic if and only if Γ is purely atoroidal. Here, we give an explicit geometric description of the Cannon--Thurston maps ∂FN→∂EΓ for these hyperbolic free group extensions, the existence of which follows from a general result of Mitra. In particular, we obtain a uniform bound on the multiplicity of the Cannon--Thurston map, showing that this map has multiplicity at most 2N. This theorem generalizes the main result of Kapovich and Lustig \cite{KapLusCT} which treats the special case where Γ is infinite cyclic. We also answer a question of Mahan Mitra by producing an explicit example of a hyperbolic free group extension for which the natural map from the boundary of Γ to the space of laminations of the free group (with the Chabauty topology) is not continuous.
Given a free-by-cyclic group G=FN⋊φZ determined by any outer automorphism φ∈Out(FN) which is represented by an expanding irreducible train-track map f, we construct a K(G,1) 2-complex X called the folded mapping torus of f, and equip it with a semiflow. We show that X enjoys many similar properties to those proven by Thurston and Fried for the mapping torus of a pseudo-Anosov homeomorphism. In particular, we construct an open, convex cone A⊂H1(X;R)=Hom(G;R) containing the homomorphism u0:G→Z having ker(u0)=FN, a homology class ε∈H1(X;R), and a continuous, convex, homogeneous of degree −1 function H:A→R with the following properties. Given any primitive integral class u∈A there is a graph Θu⊂X such that: (1) the inclusion Θu→X is π1-injective and π1(Θu)=ker(u), (2) u(ε)=χ(Θu), (3) Θu⊂X is a section of the semiflow and the first return map to Θu is an expanding irreducible train track map representing φu∈Out(ker(u)) such that G=ker(u)⋊φuZ, (4) the logarithm of the stretch factor of φu is precisely H(u), (5) if φ was further assumed to be hyperbolic and fully irreducible then for every primitive integral u∈A the automorphism φu of ker(u) is also hyperbolic and fully irreducible.
We propose a more general definition of generic-case complexity, based on using a random process for generating inputs of an algorithm and using the time needed to generate an input as a way of measuring the size of that input.
We construct an example of an isometric action of F(a,b) on a δ-hyperbolic graph Y, such that this action is acylindrical, purely loxodromic, has asymptotic translation lengths of nontrivial elements of F(a,b) separated away from 0, has quasiconvex orbits in Y, but such that the orbit map F(a,b)→Y is not a quasi-isometric embedding.
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.
For any atoroidal iwip ϕ∈Out(FN) the mapping torus group Gϕ=FN⋊ϕ<t>e is hyperbolic, and the embedding ι:FN⟶⊲Gϕ induces a continuous, FN-equivariant and surjective {\em Cannon-Thurston map} ι^:∂FN→∂Gϕ. We prove that for any ϕ as above, the map ι^ is finite-to-one and that the preimage of every point of ∂Gϕ has cardinality ≤2N. We also prove that every point S∈∂Gϕ with ≥3 preimages in ∂FN has the form (wtm)∞ where w∈FN,m=0, and that there are at most 4N−5 distinct FN-orbits of such {\em singular} points in ∂Gϕ (for the translation action of FN on ∂Gϕ). By contrast, we show that for k=1,2 there are uncountably many points S∈∂Gϕ (and thus uncountably many FN-orbits of such S) with exactly k preimages in ∂FN.
A result of Handel-Mosher guarantees that the ratio of logarithms of stretch factors of any fully irreducible automorphism of the free group FN and its inverse is bounded by a constant CN. In this short note we show that this constant CN cannot be chosen independent of N.
We produce an algorithm that, given ϕ∈Out(FN), where N≥2, decides wether or not ϕ is an iwip ("fully irreducible") automorphism.
For every atoroidal iwip automorphism ϕ of FN (i.e. the analogue of a pseudo-Anosov mapping class) it is shown that the algebraic lamination dual to the forward limit tree T+(ϕ) is obtained as "diagonal closure" of the support of the backward limit current μ−(ϕ). This diagonal closure is obtained through a finite procedure in analogy to adding diagonal leaves from the complementary components to the stable lamination of a pseudo-Anosov homeomorphism. We also give several new characterizations as well as a structure theorem for the dual lamination of T+(ϕ), in terms of Bestvina-Feighn-Handel's "stable lamination" associated to ϕ.
It is well-known that a point T∈cvN in the (unprojectivized) Culler-Vogtmann Outer space cvN is uniquely determined by its \emph{translation length function} ∣∣.∣∣T:FN→R. A subset S of a free group FN is called \emph{spectrally rigid} if, whenever T,T′∈cvN are such that ∣∣g∣∣T=∣∣g∣∣T′ for every g∈S then T=T′ in cvN. By contrast to the similar questions for the Teichmüller space, it is known that for N≥2 there does not exist a finite spectrally rigid subset of FN. In this paper we prove that for N≥3 if H≤Aut(FN) is a subgroup that projects to an infinite normal subgroup in Out(FN) then the H-orbit of an arbitrary nontrivial element g∈FN is spectrally rigid. We also establish a similar statement for F2=F(a,b), provided that g∈F2 is not conjugate to a power of [a,b]. We also include an appended corrigendum which gives a corrected proof of Lemma 5.1 about the existence of a fully irreducible element in an infinite normal subgroup of of Out(FN). Our original proof of Lemma 5.1 relied on a subgroup classification result of Handel-Mosher, originally stated by Handel-Mosher for arbitrary subgroups H≤Out(FN). After our paper was published, it turned out that the proof of the Handel-Mosher subgroup classification theorem needs the assumption that H be finitely generated. The corrigendum provides an alternative proof of Lemma~5.1 which uses the corrected, finitely generated, version of the Handel-Mosher theorem and relies on the 0-acylindricity of the action of Out(FN) on the free factor complex (due to Bestvina-Mann-Reynolds). A proof of 0-acylindricity is included in the corrigendum.
Let G be a group given by the presentation [<a_1,...,a_k,b_1,... b_k\,| a_i=u_i(\bar b), b_i=v_i(\bar a) \hbox{for} 1\le i\le k>,] where k≥2 and where the ui∈F(b1,...,bk) and wi∈F(a1,...,ak) are random words. Generically such a group is a small cancellation group and it is clear that (a1,...,ak) and (b1,...,bk) are generating n-tuples for G. We prove that for generic choices of u1,...,uk and v1,...,vk the "once-stabilized" tuples (a1,...,ak,1) and (b1,...,bk,1) are not Nielsen equivalent in G. This provides a counter-example for a Wiegold-type conjecture in the setting of word-hyperbolic groups. We conjecture that in the above construction at least k stabilizations are needed to make the tuples (a1,...,ak) and (b1,...,bk) Nielsen equivalent.
We show how to derive hyperbolicity of the free factor complex of FN from the Handel-Mosher proof of hyperbolicity of the free splitting complex of FN, thus obtaining an alternative proof of a theorem of Bestvina-Feighn. We also show that under the natural map τ from the free splitting complex to free factor complex, a geodesic [x,y] maps to a path that is uniformly Hausdorff-close to a geodesic [τ(x),τ(y)] .
We prove that if G is a non-uniform lattice in a rank-one semi-simple Lie group $\ne Isom(\H^2_\R)$ then G is quasi-isometrically co-Hopf. This means that every quasi-isometric embedding G→G is coarsely onto and thus is a quasi-isometry.
We introduce and study the space of \emph{subset currents} on the free group FN. A subset current on FN is a positive FN-invariant locally finite Borel measure on the space CN of all closed subsets of ∂FN consisting of at least two points. While ordinary geodesic currents generalize conjugacy classes of nontrivial group elements, a subset current is a measure-theoretic generalization of the conjugacy class of a nontrivial finitely generated subgroup in FN, and, more generally, in a word-hyperbolic group. The concept of a subset current is related to the notion of an "invariant random subgroup" with respect to some conjugacy-invariant probability measure on the space of closed subgroups of a topological group. If we fix a free basis A of FN, a subset current may also be viewed as an FN-invariant measure on a "branching" analog of the geodesic flow space for FN, whose elements are infinite subtrees (rather than just geodesic lines) of the Cayley graph of FN with respect to A.
Motivated by the work of McCarthy and Papadopoulos for subgroups of mapping class groups, we construct domains of proper discontinuity in the compactified Outer space and in the projectivized space of geodesic currents for any "sufficiently large" subgroup of Out(FN) (that is, a subgroup containing a hyperbolic iwip). As a corollary we prove that for N≥3 the action of Out(FN) on the subset of PCurr(FN) consisting of all projectivized currents with full support is properly discontinuous.
We say that a subset S⊆FN is \emph{spectrally rigid} if whenever T1,T2∈cvN are points of the (unprojectivized) Outer space such that ∣∣g∣∣T1=∣∣g∣∣T2 for every g∈S then T1=T2 in $\cvn$. It is well-known that FN itself is spectrally rigid; it also follows from the result of Smillie and Vogtmann that there does not exist a finite spectrally rigid subset of FN. We prove that if A is a free basis of FN (where N≥2) then almost every trajectory of a non-backtracking simple random walk on FN with respect to A is a spectrally rigid subset of FN.
We prove that if T is an R-tree with a minimal free isometric action of FN, then the Out(FN)-stabilizer of the projective class [T] is virtually cyclic. For the special case where T=T+(ϕ) is the forward limit tree of an atoroidal iwip element ϕ∈Out(FN) this is a consequence of the results of Bestvina, Feighn and Handel, via very different methods. We also derive a new proof of the Tits alternative for subgroups of Out(FN) containing an iwip (not necessarily atoroidal): we prove that every such subgroup G≤Out(FN) is either virtually cyclic or contains a free subgroup of rank two. The general case of the Tits alternative for subgroups of Out(FN) is due to Bestvina, Feighn and Handel.
A \emph{geodesic current} on a free group F is an F-invariant measure on the set ∂2F of pairs of distinct points of ∂F. The space of geodesic currents on F is a natural companion of Culler-Vogtmann's Outer space cv(F) and studying them together yields new information about both spaces as well as about the group Out(F). The main aim of this paper is to introduce and study the notion of {\it geometric entropy} hT(μ) of a geodesic current μ with respect to a point T of cv(F), which can be viewed as a length function on F. The geometric entropy is defined as the slowest rate of exponential decay of μ-measures of bi-infinite cylinders in F, as the T-length of the word defining such a cylinder goes to infinity. We obtain an explicit formula for hT′(μT), where T,T′ are arbitrary points in cv(F) and where μT denotes a Patterson-Sullivan current corresponding to T. It involves the volume entropy h(T) and the extremal distortion of distances in T with respect to distances in T′. It follows that, given T in the projectivized outer space CV(F), hT′(μT) as function of T′∈CV(F) achieves a strict global maximum at T′=T. We also show that for any T∈cv(F) and any geodesic current μ on F, hT(μ)≤h(T), where the equality is realized when μ=μT. For points T∈cv(F) with simplicial metric (where all edges have length one), we relate the geometric entropy of a current and the measure-theoretic entropy.
We compare the random group model of Gromov and the model of generic groups of Arzhantseva and Ol'shanskii.
We prove that if ϕ,ψ∈Out(FN) are hyperbolic iwips (irreducible with irreducible powers) such that <ϕ,ψ>≤Out(FN) 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(FN) 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(FN).
For the free group FN of finite rank N≥2 we construct a canonical Bonahon-type continuous and Out(FN)-invariant \emph{geometric intersection form} <,>:cvˉ(FN)×Curr(FN)→R≥0. Here cvˉ(FN) is the closure of unprojectivized Culler-Vogtmann's Outer space cv(FN) in the equivariant Gromov-Hausdorff convergence topology (or, equivalently, in the length function topology). It is known that cvˉ(FN) consists of all \emph{very small} minimal isometric actions of FN on R-trees. The projectivization of cvˉ(FN) provides a free group analogue of Thurston's compactification of the Teichmüller space. As an application, using the \emph{intersection graph} determined by the intersection form, we show that several natural analogues of the curve complex in the free group context have infinite diameter.
Let FN be a free group of rank N≥2, let μ be a geodesic current on FN and let T be an R-tree with a very small isometric action of FN. We prove that the geometric intersection number <T,μ> is equal to zero if and only if the support of μ is contained in the dual algebraic lamination L2(T) of T. Applying this result, we obtain a generalization of a theorem of Francaviglia regarding length spectrum compactness for currents with full support. As another application, we define the notion of a \emph{filling} element in FN and prove that filling elements are "nearly generic" in FN. We also apply our results to the notion of \emph{bounded translation equivalence} in free groups.
We show that for any positive integer m≥1, m-relator quotients of the modular group M=PSL(2,Z) generically satisfy a very strong Mostow-type \emph{isomorphism rigidity}. We also prove that such quotients are generically "essentially incompressible". By this we mean that their "absolute T-invariant", measuring the smallest size of any possible finite presentation of the group, is bounded below by a function which is almost linear in terms of the length of the given presentation. We compute the precise asymptotics of the number Im(n) of \emph{isomorphism types} of m-relator quotients of M where all the defining relators are cyclically reduced words of length n in M. We obtain other algebraic results and show that such quotients are complete, Hopfian, co-Hopfian, one-ended, word-hyperbolic groups.
Motivated by Bonahon's result for hyperbolic surfaces, we construct an analogue of the Patterson-Sullivan-Bowen-Margulis map from the Culler-Vogtmann outer space CV(Fk) into the space of projectivized geodesic currents on a free group. We prove that this map is a topological embedding. We also prove that for every k≥2 the minimum of the volume entropy of the universal covers of finite connected volume-one metric graphs with fundamental group of rank k and without degree-one vertices is equal to (3k−3)log2 and that this minimum is realized by trivalent graphs with all edges of equal lengths, and only by such graphs.
We prove that the rank problem is decidable in the class of torsion-free word-hyperbolic Kleinian groups. We also show that every group in this class has only finitely many Nielsen equivalence classes of generating sets of a given cardinality.
We show that if H is a quasiconvex subgroup of a hyperbolic group G then the relative Cayley graph Y (also known as the Schreier coset graph) for G/H is Gromov-hyperbolic. We also observe that in this situation if G is torsion-free and non-elementary and H has infinite index in G then the simple random walk on Y is transient.
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.