Showing 1–20 of 20 results for author: Dowdall, S

Constructing reducibly geometrically finite subgroups of the mapping class group

Authors: Tarik Aougab, Harrison Bray, Spencer Dowdall, Hannah Hoganson, Sara Maloni, Brandis Whitfield

Abstract: In this article, we consider qualified notions of geometric finiteness in mapping class groups called parabolically geometrically finite (PGF) and reducibly geometrically finite (RGF). We examine several constructions of subgroups and determine when they produce a PGF or RGF subgroup. These results provide a variety of new examples of PGF and RGF subgroups. Firstly, we consider the right-angled Ar… ▽ More In this article, we consider qualified notions of geometric finiteness in mapping class groups called parabolically geometrically finite (PGF) and reducibly geometrically finite (RGF). We examine several constructions of subgroups and determine when they produce a PGF or RGF subgroup. These results provide a variety of new examples of PGF and RGF subgroups. Firstly, we consider the right-angled Artin subgroups constructed by Koberda and Clay--Leininger--Mangahas, which are generated by high powers of given elements of the mapping class group. We give conditions on the supports of these elements that imply the resulting right-angled Artin subgroup is RGF. Secondly, we prove combination theorems which provide conditions for when a collection of reducible subgroups, or sufficiently deep finite-index subgroups thereof, generate an RGF subgroup. △ Less

Submitted 22 January, 2025; originally announced January 2025.

Comments: 34 pages, 6 figures

MSC Class: 20F65; 20F67; 57K20; 57M60

Lattice point counting for finite-order mapping classes

Authors: Spencer Dowdall, Howard Masur

Abstract: This paper concerns the lattice counting problem for the mapping class group of a surface $S$ acting on Teichmüller space with the Teichmüller metric. In that problem the goal is to count the number of mapping classes that send a given point $x$ into the ball of radius $R$ centered about another point $y$. For the action of the entire group, Athreya, Bufetov, Eskin and Mirzakhani have shown this q… ▽ More This paper concerns the lattice counting problem for the mapping class group of a surface $S$ acting on Teichmüller space with the Teichmüller metric. In that problem the goal is to count the number of mapping classes that send a given point $x$ into the ball of radius $R$ centered about another point $y$. For the action of the entire group, Athreya, Bufetov, Eskin and Mirzakhani have shown this quantity is asymptotic to $e^{hR}$, where $h$ is the dimension of the Teichmüller space. We instead consider only the action of finite-order elements of the group and show the associated count grows coarsely at the rate of $e^{hR/2}$, that is, with half the exponent. To obtain these quantitative estimates, we introduce a new notion in Teichmüller geometry, called complexity length, which reflects some aspects of the negative curvature of curve complexes and also has applications to counting problems. △ Less

Submitted 5 May, 2023; originally announced May 2023.

Comments: 102 pages. Comments welcome

Orientable maps and polynomial invariants of free-by-cyclic groups

Authors: Spencer Dowdall, Radhika Gupta, Samuel J. Taylor

Abstract: We relate the McMullen polynomial of a free-by-cyclic group to its Alexander polynomial. To do so, we introduce the notion of an orientable fully irreducible outer automorphism $\varphi$ and use it to characterize when the homological stretch factor of $\varphi$ is equal to its geometric stretch factor. We relate the McMullen polynomial of a free-by-cyclic group to its Alexander polynomial. To do so, we introduce the notion of an orientable fully irreducible outer automorphism $\varphi$ and use it to characterize when the homological stretch factor of $\varphi$ is equal to its geometric stretch factor. △ Less

Submitted 20 January, 2023; v1 submitted 22 March, 2022; originally announced March 2022.

Comments: v2: 36 pages, 5 figures. Minor changes incorporating referee comments. Final version, to appear in Advances in Mathematics

MSC Class: 20F65; 20E05; 20E06

Extensions of Veech groups II: Hierarchical hyperbolicity and quasi-isometric rigidity

Authors: Spencer Dowdall, Matthew G. Durham, Christopher J. Leininger, Alessandro Sisto

Abstract: We show that for any lattice Veech group in the mapping class group $\mathrm{Mod}(S)$ of a closed surface $S$, the associated $π_1 S$--extension group is a hierarchically hyperbolic group. As a consequence, we prove that any such extension group is quasi-isometrically rigid. We show that for any lattice Veech group in the mapping class group $\mathrm{Mod}(S)$ of a closed surface $S$, the associated $π_1 S$--extension group is a hierarchically hyperbolic group. As a consequence, we prove that any such extension group is quasi-isometrically rigid. △ Less

Submitted 7 March, 2024; v1 submitted 1 November, 2021; originally announced November 2021.

Comments: v2: 60 pages, 10 figures. This is the sequel to arXiv:2006.16425. Updates to incorporate referee comments. Final version accepted for publication in Commentarii Mathematici Helvetici

MSC Class: 20F67; 20F65; 30F60; 57M60; 57M07

Journal ref: Comment. Math. Helv. 99 (2024), no. 1, pp. 149-228

Extensions of Veech groups I: A hyperbolic action

Authors: Spencer Dowdall, Matthew G. Durham, Christopher J. Leininger, Alessandro Sisto

Abstract: Given a lattice Veech group in the mapping class group of a closed surface $S$, this paper investigates the geometry of $Γ$, the associated $π_1S$--extension group. We prove that $Γ$ is the fundamental group of a bundle with a singular Euclidean-by-hyperbolic geometry. Our main result is that collapsing "obvious" product regions of the universal cover produces an action of $Γ$ on a hyperbolic spac… ▽ More Given a lattice Veech group in the mapping class group of a closed surface $S$, this paper investigates the geometry of $Γ$, the associated $π_1S$--extension group. We prove that $Γ$ is the fundamental group of a bundle with a singular Euclidean-by-hyperbolic geometry. Our main result is that collapsing "obvious" product regions of the universal cover produces an action of $Γ$ on a hyperbolic space, retaining most of the geometry of $Γ$. This action is a key ingredient in the sequel where we show that $Γ$ is hierarchically hyperbolic and quasi-isometrically rigid. △ Less

Submitted 7 March, 2024; v1 submitted 29 June, 2020; originally announced June 2020.

Comments: v3: 45 pages; minor revisions incorporating referee comments; final version accepted for publication in the Journal of Topology; v4: corrected citation for Lemma 4.10

MSC Class: 20F67; 20F65; 30F60; 57M60; 57M07

Journal ref: J. Topol., 16(2023), no.2, 757-805

Discretely shrinking targets in moduli space

Authors: Spencer Dowdall, Grace Work

Abstract: We consider the discrete shrinking target problem for Teichmüller geodesic flow on the moduli space of abelian or quadratic differentials and prove that the discrete geodesic trajectory of almost every differential will hit a shrinking family of targets infinitely often provided the measures of the targets are not summable. This result applies to any ergodic $\mathrm{SL}(2,\mathbb{R})$--invariant… ▽ More We consider the discrete shrinking target problem for Teichmüller geodesic flow on the moduli space of abelian or quadratic differentials and prove that the discrete geodesic trajectory of almost every differential will hit a shrinking family of targets infinitely often provided the measures of the targets are not summable. This result applies to any ergodic $\mathrm{SL}(2,\mathbb{R})$--invariant measure and any nested family of spherical targets. Under stronger conditions on the targets, we moreover prove that almost every differential will eventually always hit the targets. As an application, we obtain a logarithm law describing the rate at which generic discrete trajectories accumulate on a given point in moduli space. These results build on work of Kelmer and generalize theorems of Aimino, Nicol, and Todd. △ Less

Submitted 6 July, 2022; v1 submitted 12 September, 2019; originally announced September 2019.

Comments: v2: 18 pages, no figures; final version incorporating referee comments; to appear in Geometriae Dedicata

MSC Class: 37A; 37A10; 37A30; 37E35; 57S25

Isomorphisms between big mapping class groups

Authors: Juliette Bavard, Spencer Dowdall, Kasra Rafi

Abstract: We show that any isomorphism between mapping class groups of orientable infinite-type surfaces is induced by a homeomorphism between the surfaces. Our argument additionally applies to automorphisms between finite-index subgroups of these `big' mapping class groups and shows that each finite-index subgroup has finite outer automorphism group. As a key ingredient, we prove that all simplicial automo… ▽ More We show that any isomorphism between mapping class groups of orientable infinite-type surfaces is induced by a homeomorphism between the surfaces. Our argument additionally applies to automorphisms between finite-index subgroups of these `big' mapping class groups and shows that each finite-index subgroup has finite outer automorphism group. As a key ingredient, we prove that all simplicial automorphisms between curve complexes of infinite-type orientable surfaces are induced by homeomorphisms. △ Less

Submitted 30 April, 2018; v1 submitted 28 August, 2017; originally announced August 2017.

Comments: v3: 11 pages; updated and added references; final version to appear in IMRN

MSC Class: 57S05; 20F65; 57M07

Rank and Nielsen equivalence in hyperbolic extensions

Authors: Spencer Dowdall, Samuel J. Taylor

Abstract: In this note, we generalize a theorem of Juan Souto on rank and Nielsen equivalence in the fundamental group of a hyperbolic fibered 3-manifold to a large class of hyperbolic group extensions. This includes all hyperbolic extensions of surfaces groups as well as hyperbolic extensions of free groups by convex cocompact subgroups of Out$(F_n)$. In this note, we generalize a theorem of Juan Souto on rank and Nielsen equivalence in the fundamental group of a hyperbolic fibered 3-manifold to a large class of hyperbolic group extensions. This includes all hyperbolic extensions of surfaces groups as well as hyperbolic extensions of free groups by convex cocompact subgroups of Out$(F_n)$. △ Less

Submitted 20 December, 2018; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: v2: 10 pages. Minor updates to incorporate referee comments. Added counter-example demonstrating necessity of torsion free hypothesis. Final version; accepted for publication in the International Journal of Algebra and Computation (IJAC)

The co-surface graph and the geometry of hyperbolic free group extensions

Authors: Spencer Dowdall, Samuel J. Taylor

Abstract: We introduce the co-surface graph $\mathcal{CS}$ of a finitely generated free group $\mathbb{F}$ and use it to study the geometry of hyperbolic group extensions of $\mathbb{F}$. Among other things, we show that the Gromov boundary of the co-surface graph is equivariantly homeomorphic to the space of free arational $\mathbb{F}$-trees and use this to prove that a finitely generated subgroup of… ▽ More We introduce the co-surface graph $\mathcal{CS}$ of a finitely generated free group $\mathbb{F}$ and use it to study the geometry of hyperbolic group extensions of $\mathbb{F}$. Among other things, we show that the Gromov boundary of the co-surface graph is equivariantly homeomorphic to the space of free arational $\mathbb{F}$-trees and use this to prove that a finitely generated subgroup of $\mathrm{Out}(\mathbb{F})$ quasi-isometrically embeds into the co-surface graph if and only if it is purely atoroidal and quasi-isometrically embeds into the free factor complex. This answers a question of I. Kapovich. Our earlier work [Hyperbolic extensions of free groups, arXiv:1406.2567] shows that every such group gives rise to a hyperbolic extension of $\mathbb{F}$, and here we prove a converse to this result that characterizes the hyperbolic extensions of $\mathbb{F}$ arising in this manner. As an application of our techniques, we additionally obtain a Scott--Swarup type theorem for this class of extensions. △ Less

Submitted 21 February, 2017; v1 submitted 1 January, 2016; originally announced January 2016.

Comments: 33 pages. Minor changes and other updates to incorporate referee comments. Final version; accepted for publication in the Journal of Topology

Endomorphisms, train track maps, and fully irreducible monodromies

Authors: Spencer Dowdall, Ilya Kapovich, Christopher J. Leininger

Abstract: Any endomorphism of a finitely generated free group naturally descends to an injective endomorphism of its stable quotient. In this paper, we prove a geometric incarnation of this phenomenon: namely, that every expanding irreducible train track map inducing an endomorphism of the fundamental group gives rise to an expanding irreducible train track representative of the injective endomorphism of th… ▽ More Any endomorphism of a finitely generated free group naturally descends to an injective endomorphism of its stable quotient. In this paper, we prove a geometric incarnation of this phenomenon: namely, that every expanding irreducible train track map inducing an endomorphism of the fundamental group gives rise to an expanding irreducible train track representative of the injective endomorphism of the stable quotient. As an application, we prove that the property of having fully irreducible monodromy for a splitting of a hyperbolic free-by-cyclic group depends only on the component of the BNS-invariant containing the associated homomorphism to the integers. △ Less

Submitted 29 August, 2017; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: 18 pages, 1 figure. Final version, accepted for publication in Groups, Geometry, and Dynamics

MSC Class: 20F65 (primary); 57M; 37B; 37E (secondary)

Cannon-Thurston maps for hyperbolic free group extensions

Authors: Spencer Dowdall, Ilya Kapovich, Samuel J. Taylor

Abstract: This paper gives a detailed analysis of the Cannon--Thurston maps associated to a general class of hyperbolic free group extensions. Let $F_N$ denote a free groups of finite rank $N\ge 3$ and consider a \emph{convex cocompact} subgroup $Γ\le Out(F_N)$, i.e. one for which the orbit map from $Γ$ into the free factor complex of $F_N$ is a quasi-isometric embedding. The subgroup $Γ$ determines an exte… ▽ More This paper gives a detailed analysis of the Cannon--Thurston maps associated to a general class of hyperbolic free group extensions. Let $F_N$ denote a free groups of finite rank $N\ge 3$ and consider a \emph{convex cocompact} subgroup $Γ\le Out(F_N)$, i.e. one for which the orbit map from $Γ$ into the free factor complex of $F_N$ is a quasi-isometric embedding. The subgroup $Γ$ determines an extension $E_Γ$ of $F_N$, 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 $\partial F_N\to\partial 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. △ Less

Submitted 13 December, 2015; v1 submitted 23 June, 2015; originally announced June 2015.

Comments: some minor revisions and updates; final accepted version, to appear in the Israel Journal of Mathematics

MSC Class: Primary 20F65; Secondary 57M; 37B; 37D

Contracting orbits in Outer space

Authors: Spencer Dowdall, Samuel J. Taylor

Abstract: 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 co… ▽ More 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. △ Less

Submitted 4 December, 2018; v1 submitted 13 February, 2015; originally announced February 2015.

Comments: v3: 20 pages. minor corrections and changes based on referee comments. Final version; accepted for publication in MathZ

Hyperbolic extensions of free groups

Authors: Spencer Dowdall, Samuel J. Taylor

Abstract: Given a finitely generated subgroup $Γ\le \mathrm{Out}(\mathbb{F})$ of the outer automorphism group of the rank $r$ free group $\mathbb{F} = F_r$, there is a corresponding free group extension $1 \to \mathbb{F} \to E_Γ \to Γ\to 1$. We give sufficient conditions for when the extension $E_Γ$ is hyperbolic. In particular, we show that if all infinite order elements of $Γ$ are atoroidal and the action… ▽ More Given a finitely generated subgroup $Γ\le \mathrm{Out}(\mathbb{F})$ of the outer automorphism group of the rank $r$ free group $\mathbb{F} = F_r$, there is a corresponding free group extension $1 \to \mathbb{F} \to E_Γ \to Γ\to 1$. We give sufficient conditions for when the extension $E_Γ$ is hyperbolic. In particular, we show that if all infinite order elements of $Γ$ are atoroidal and the action of $Γ$ on the free factor complex of $\mathbb{F}$ has a quasi-isometric orbit map, then $E_Γ$ is hyperbolic. As an application, we produce examples of hyperbolic $\mathbb{F}$-extensions $E_Γ$ for which $Γ$ has torsion and is not virtually cyclic. The proof of our main theorem involves a detailed study of quasigeodesics in Outer space that make progress in the free factor complex. This may be of independent interest. △ Less

Submitted 29 November, 2016; v1 submitted 10 June, 2014; originally announced June 2014.

Comments: 50 pages. Minor changes and other updates to incorporate referee comments. Final version; accepted for publication in Geometry & Topology

Journal ref: Geom. Topol. 22 (2018) 517-570

Unbounded asymmetry of stretch factors

Authors: Spencer Dowdall, Ilya Kapovich, Christopher J Leininger

Abstract: A result of Handel-Mosher guarantees that the ratio of logarithms of stretch factors of any fully irreducible automorphism of the free group $F_N$ and its inverse is bounded by a constant $C_N$. In this short note we show that this constant $C_N$ cannot be chosen independent of $N$. A result of Handel-Mosher guarantees that the ratio of logarithms of stretch factors of any fully irreducible automorphism of the free group $F_N$ and its inverse is bounded by a constant $C_N$. In this short note we show that this constant $C_N$ cannot be chosen independent of $N$. △ Less

Submitted 4 May, 2014; originally announced May 2014.

Comments: 2 pages

MSC Class: Primary 20F65; Secondary 57M; 37B; 37E}

Journal ref: C. R. Math. Acad. Sci. Paris 352 (2014), no. 11, 885-887

McMullen polynomials and Lipschitz flows for free-by-cyclic groups

Authors: Spencer Dowdall, Ilya Kapovich, Christopher J. Leininger

Abstract: 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_\varphi\Z with ker(u_0) a finitely generated free group and \varphi\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-Macla… ▽ More 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_\varphi\Z with ker(u_0) a finitely generated free group and \varphi\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. △ Less

Submitted 4 September, 2016; v1 submitted 28 October, 2013; originally announced October 2013.

Comments: v6: 73 pages, 10 figures. Added a reference and a remark clarifying our convention of using left actions instead of right actions when considering the BNS-invariant; consequently our notion of the invariant is the negative of the original definition given in [BNS] but agrees with other uses in the literature, such at [BR]. To appear in the Journal of the European Mathematical Society (JEMS)

MSC Class: 20F65 (Primary); 57MXX; 37BXX; 37EXX (Secondary)

Dynamics on free-by-cyclic groups

Authors: Spencer Dowdall, Ilya Kapovich, Christopher J. Leininger

Abstract: Given a free-by-cyclic group $G = F_N \rtimes_\varphi \mathbb{Z}$ determined by any outer automorphism $\varphi \in \mathrm{Out}(F_N)$ 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… ▽ More Given a free-by-cyclic group $G = F_N \rtimes_\varphi \mathbb{Z}$ determined by any outer automorphism $\varphi \in \mathrm{Out}(F_N)$ 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 $\mathcal{A} \subset H^1(X;\mathbb{R}) = \mathrm{Hom}(G;\mathbb{R})$ containing the homomorphism $u_0 \colon G \to \mathbb{Z}$ having $\mathrm{ker}(u_0) = F_N$, a homology class $ε\in H_1(X;\mathbb{R})$, and a continuous, convex, homogeneous of degree $-1$ function $\mathfrak H\colon\mathcal{A} \to \mathbb{R}$ with the following properties. Given any primitive integral class $u \in \mathcal{A}$ there is a graph $Θ_u \subset X$ such that: (1) the inclusion $Θ_u \to X$ is $π_1$-injective and $π_1(Θ_u) = \mathrm{ker}(u)$, (2) $u(ε) = χ(Θ_u)$, (3) $Θ_u \subset X$ is a section of the semiflow and the first return map to $Θ_u$ is an expanding irreducible train track map representing $\varphi_u \in \mathrm{Out}(\mathrm{ker}(u))$ such that $G = \mathrm{ker}(u) \rtimes_{\varphi_u} \mathbb{Z}$, (4) the logarithm of the stretch factor of $\varphi_u$ is precisely $\mathfrak H(u)$, (5) if $\varphi$ was further assumed to be hyperbolic and fully irreducible then for every primitive integral $u\in \mathcal{A}$ the automorphism $\varphi_u$ of $\mathrm{ker}(u)$ is also hyperbolic and fully irreducible. △ Less

Submitted 29 January, 2015; v1 submitted 31 January, 2013; originally announced January 2013.

Comments: v7: Minor organizational and stylistic changes incorporating referee's suggestions. Notably, section 6.3 in v6 has been moved to section 4.5 in v7. 67 pages, 13 figures. Final version; accepted for publication in Geometry & Topology

MSC Class: 20F65 (Primary); 57M; 37B; 37E (Secondary)

Journal ref: Geom. Topol. 19 (2015) 2801-2899

Pseudo-Anosov subgroups of fibered 3-manifold groups

Authors: Spencer Dowdall, Richard P. Kent IV, Christopher J. Leininger

Abstract: Let X be a hyperbolic surface and H the fundamental group of a hyperbolic 3-manifold that fibers over the circle with fiber X. Using the Birman exact sequence, H embeds in the mapping class group Mod(Y) of the surface Y obtained by removing a point from X. We prove that a subgroup G in H is convex cocompact in Mod(Y) if and only if G is finitely generated and purely pseudo-Anosov. We also prove a… ▽ More Let X be a hyperbolic surface and H the fundamental group of a hyperbolic 3-manifold that fibers over the circle with fiber X. Using the Birman exact sequence, H embeds in the mapping class group Mod(Y) of the surface Y obtained by removing a point from X. We prove that a subgroup G in H is convex cocompact in Mod(Y) if and only if G is finitely generated and purely pseudo-Anosov. We also prove a generalization of this theorem with H replaced by an arbitrary Gromov hyperbolic extension of the fundamental group of X, and an additional hypothesis of quasi-convexity of G in H. Along the way, we obtain a generalization of a theorem of Scott and Swarup on the geometric finiteness of subgroups of fibered 3-manifold groups. △ Less

Submitted 11 April, 2013; v1 submitted 13 August, 2012; originally announced August 2012.

Comments: v2. Revised according to referee's suggestions. To appear in Groups, Geometry, and Dynamics. 29 pages, no figures. v1. 27 pages, no figures

Spheres in the curve complex

Authors: Spencer Dowdall, Moon Duchin, Howard Masur

Abstract: In this paper we study the geometry of metric spheres in the curve complex of a surface, with the goal of determining the "average" distance between points on a given sphere. Averaging is not technically possible because metric spheres in the curve complex are countably infinite and do not support any invariant probability measures. To make sense of the idea of averaging, we instead develop defini… ▽ More In this paper we study the geometry of metric spheres in the curve complex of a surface, with the goal of determining the "average" distance between points on a given sphere. Averaging is not technically possible because metric spheres in the curve complex are countably infinite and do not support any invariant probability measures. To make sense of the idea of averaging, we instead develop definitions of null and generic subsets in a way that is compatible with the topological structure of the curve complex. With respect to this notion of genericity, we show that pairs of points on a sphere of radius R almost always have distance exactly 2R apart, which is as large as possible. △ Less

Submitted 30 April, 2012; v1 submitted 28 September, 2011; originally announced September 2011.

Comments: Main definition simplified; exposition improved

MSC Class: 57M50

Statistical hyperbolicity in Teichmüller space

Authors: Spencer Dowdall, Moon Duchin, Howard Masur

Abstract: In this paper we explore the idea that Teichmüller space is hyperbolic "on average." Our approach focuses on studying the geometry of geodesics which spend a definite proportion of time in some thick part of Teichmüller space. We consider several different measures on Teichmüller space and find that this behavior for geodesics is indeed typical. With respect to each of these measures, we show that… ▽ More In this paper we explore the idea that Teichmüller space is hyperbolic "on average." Our approach focuses on studying the geometry of geodesics which spend a definite proportion of time in some thick part of Teichmüller space. We consider several different measures on Teichmüller space and find that this behavior for geodesics is indeed typical. With respect to each of these measures, we show that the average distance between points in a ball of radius r is asymptotic to 2r, which is as large as possible. Our techniques also lead to a statement quantifying the expected thinness of random triangles in Teichmüller space, showing that "most triangles are mostly thin." △ Less

Submitted 26 November, 2013; v1 submitted 27 August, 2011; originally announced August 2011.

Comments: v5: 41 pages. Added a new theorem quantifying the "expected thinness" of random geodesic triangles Teichmuller space, as well as an appendix that gives a self-contained account of some relevant facts about random walks in Teichmuller space. The treatment of "reverse triangle inequalities" has also been adjusted. This version accepted for publication in the journal Geometric And Functional Analysis

MSC Class: 30F60 (Primary) 37C20; 53C60

Dilatation versus self-intersection number for point-pushing pseudo-Anosov homeomorphisms

Authors: Spencer Dowdall

Abstract: A filling curve $γ$ on a based surface $S$ determines a pseudo-Anosov homeomorphism $P(γ)$ of $S$ via the process of "point-pushing along $γ$." We consider the relationship between the self-intersection number $i(γ)$ of $γ$ and the dilatation of $P(γ)$; our main result is that the dilatation is bounded between $(i(γ)+1)^{1/5}$ and $9^{i(γ)}$. We also bound the least dilatation of any pseudo-Anosov… ▽ More A filling curve $γ$ on a based surface $S$ determines a pseudo-Anosov homeomorphism $P(γ)$ of $S$ via the process of "point-pushing along $γ$." We consider the relationship between the self-intersection number $i(γ)$ of $γ$ and the dilatation of $P(γ)$; our main result is that the dilatation is bounded between $(i(γ)+1)^{1/5}$ and $9^{i(γ)}$. We also bound the least dilatation of any pseudo-Anosov in the point-pushing subgroup of a closed surface and prove that this number tends to infinity with genus. Lastly, we investigate the minimal entropy of any pseudo-Anosov homeomorphism obtained by pushing along a curve with self-intersection number $k$ and show that, for a closed surface, this number grows like $\log(k)$. △ Less

Submitted 21 August, 2011; v1 submitted 22 April, 2010; originally announced April 2010.

Comments: Final version -- 50 pages, 21 figures. Accepted for publication in the Journal of Topology

MSC Class: 37E30 (Primary) 37D20; 37B40; 57M99 (Secondary)

Journal ref: J Topology 4 (2011) no.4: 942-984