arXiv subjects

Samuel J. Taylor

Publications and source records attributed to Samuel J. Taylor.

43 records · Page 3Linked to original sources

arXiv2015

Random extensions of free groups and surface groups are hyperbolic

In this note, we prove that a random extension of either the free group $F_N$ of rank $N\ge3$ or of the fundamental group of a closed, orientable surface $S_g$ of genus $g\ge2$ is a hyperbolic group. Here, a random extension is one corresponding to a subgroup of either Out$(F_N)$ or Mod$(S_g)$ generated by $k$ independent random walks. Our main theorem has several applications, including that a random subgroup of a weakly hyperbolic group is free and undistorted.

math.GT↗

arXiv2014

Products of Farey graphs are totally geodesic in the pants graph

We show that for a surface S, the subgraph of the pants graph determined by fixing a collection of curves that cut S into pairs of pants, once-punctured tori, and four-times-punctured spheres is totally geodesic. The main theorem resolves a special case of a conjecture made by Aramayona, Parlier, and Shackleton and has the implication that an embedded product of Farey graphs in any pants graph is totally geodesic. In addition, we show that a pants graph contains a convex n-flat if and only if it contains an n-quasi-flat.

math.GT↗

arXiv2014

Convex cocompactness and stability in mapping class groups

We introduce a strong notion of quasiconvexity in finitely generated groups, which we call stability. Stability agrees with quasiconvexity in hyperbolic groups and is preserved under quasi-isometry for finitely generated groups. We show that the stable subgroups of mapping class groups are precisely the convex cocompact subgroups. This generalizes a well-known result of Behrstock and is related to questions asked by Farb-Mosher and Farb.

math.GT↗

arXiv2013

Small intersection numbers in the curve graph

Let $S_{g,p}$ denote the genus $g$ orientable surface with $p \ge 0$ punctures, and let $ω(g,p)= 3g+p-4$. We prove the existence of infinitely long geodesic rays $\left\{v_{0},v_{1}, v_{2}, ...\right\}$ in the curve graph satisfying the following optimal intersection property: for any natural number $k$, the endpoints $v_{i},v_{i+k}$ of any length $k$ subsegment intersect $O(ω^{k-2})$ times. By combining this with work of the first author, we answer a question of Dan Margalit.

math.GT↗

arXiv2013

A note on subfactor projections

We extend some results of [BF12] on subfactor projections to show that the projection of a free factor B to the free factor complex of the free factor A is well-defined with uniformly bound diameter, unless either A is contained in B or A and B are vertex stabilizers of a single splitting of F_n, i.e. they are disjoint. These projections are shown to satisfy properties analogous to subsurface projections, and we give as an application a construction of fully irreducible outer automorphisms using the Bounded Geodesic Image Theorem.

math.GT↗

arXiv2013

Convex cocompactness in mapping class groups via quasiconvexity in right-angled Artin groups

We characterize convex cocompact subgroups of mapping class groups that arise as subgroups of specially embedded right-angled Artin groups. That is, if the right-angled Artin group G in Mod(S) satisfies certain conditions that imply G is quasi-isometrically embedded in Mod(S), then a purely pseudo-Anosov subgroup H of G is convex cocompact in Mod(S) if and only if it is combinatorially quasiconvex in G. We use this criterion to construct convex cocompact subgroups of Mod(S) whose orbit maps into the curve complex have small Lipschitz constants.

math.GT↗

arXiv2013

Right-angled Artin groups and Out(F_n) I: quasi-isometric embeddings

We construct quasi-isometric embeddings from right-angled Artin groups into the outer automorphism group of a free group. These homomorphisms are in analogy with those constructed in \cite{CLM}, where the target group is the mapping class group of a surface. Toward this goal, we develop tools in the free group setting that mirror those for surface groups as well as discuss various analogs of subsurface projection; these may be of independent interest.

math.GT↗