Source author record

Spencer Dowdall

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GT math.DS math.GR math.MG

Catalog footprint

Research overview

9works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Discretely shrinking targets in moduli space

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.

preprint2016arXiv

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

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.

preprint2015arXiv

Cannon-Thurston maps for hyperbolic free group extensions

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.

preprint2015arXiv

Dynamics on free-by-cyclic groups

Given a free-by-cyclic group $G = F_N \rtimes_φ\mathbb{Z}$ determined by any outer automorphism $φ\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 $φ_u \in \mathrm{Out}(\mathrm{ker}(u))$ such that $G = \mathrm{ker}(u) \rtimes_{φ_u} \mathbb{Z}$ , (4) the logarithm of the stretch factor of $φ_u$ is precisely $\mathfrak H(u)$ , (5) if $φ$ was further assumed to be hyperbolic and fully irreducible then for every primitive integral $u\in \mathcal{A}$ the automorphism $φ_u$ of $\mathrm{ker}(u)$ is also hyperbolic and fully irreducible.

preprint2014arXiv

Unbounded asymmetry of stretch factors

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$ .

preprint2013arXiv

Pseudo-Anosov subgroups of fibered 3-manifold groups

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.

preprint2013arXiv

Statistical hyperbolicity in Teichmüller space

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."

preprint2012arXiv

Spheres in the curve complex

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.

preprint2011arXiv

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

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)$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.