BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Lee Mosher

Lee Mosher appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GRmath.GT

Catalog footprint

What is connected

15works
2topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

15 published item(s)

preprint2020arXiv

The topology, geometry and dynamics of free groups. Part I: Outer space, fold paths, and the Nielsen/Whitehead problems

The object of this expository work is to try to unveil the topological/geometric intuition behind the theory of free groups and their automorphism and outer automorphism groups. The method we follow is to focus on a series of problems in the study of free groups, and use the solutions of those problems to motivate topological/geometric tools. We do not aim to write down proofs which minimize the number of alphanumeric characters. We instead strive to write down proofs which maximize the development of broadly applicable geometric tools. In Part I we study problems solved by Nielsen and Whitehead in the 1920's and 1930's, but we approach these problems from a modern topological/geometric viewpoint, and we formulate their solutions so as to motivate modern tools, including marked graphs, the outer space of a free group, and fold paths in outer space.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The free splitting complex of a free group II: Loxodromic outer automorphisms

We study the loxodromic elements for the action of $Out(F_n)$ on the free splitting complex of the rank $n$ free group $F_n$. We prove that each outer automorphism is either loxodromic, or has bounded orbits without any periodic point, or has a periodic point; and we prove that all three possibilities can occur. We also prove that two loxodromic elements are either co-axial or independent, meaning that their attracting/repelling fixed point pairs on the Gromov boundary of the free splitting complex are either equal or disjoint as sets. Each of the alternatives in these results is also characterized in terms of the attracting/repelling lamination pairs of an outer automorphism. As an application, each attracting lamination determines its corresponding repelling lamination independent of the outer automorphism. As part of this study we describe the structure of the subgroup of $Out(F_n)$ that stabilizes the fixed point pair of a given loxodromic outer automorphism, and we give examples which show that this subgroup need not be virtually cyclic. As an application, the action of $Out(F_n)$ on the free splitting complex is not acylindrical, and its loxodromic elements do not all satisfy the WPD property of Bestvina and Fujiwara.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Subgroup decomposition in $\text{Out}(F_n)$, Part III: Weak attraction theory

This is the third in a series of four papers (with research announcement posted on this arXiv) that develop a decomposition theory for subgroups of $\text{Out}(F_n)$. In this paper, given an outer automorphism of $F_n$ and an attracting-repelling lamination pair, we study which lines and conjugacy classes in $F_n$ are weakly attracted to that lamination pair under forward and backward iteration respectively. For conjugacy classes, we prove Theorem F from the research annoucement, which exhibits a unique vertex group system called the "nonattracting subgroup system" having the property that the conjugacy classes it carries are characterized as those which are not weakly attracted to the attracting lamination under forward iteration, and also as those which are not weakly attracted to the repelling lamination under backward iteration. For lines in general, we prove Theorem G that characterizes exactly which lines are weakly attracted to the attracting lamination under forward iteration and which to the repelling lamination under backward iteration. We also prove Theorem H which gives a uniform version of weak attraction of lines. v3: Contains a stronger proof of Lemma 2.19 (part of the proof of Theorem G) for purposes of further applications.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Subgroup decomposition in $\text{Out}(F_n)$, Part IV: Relatively irreducible subgroups

This is the fourth and last in a series of four papers (with research announcement posted on this arXiv) that develop a decomposition theory for subgroups of $\text{Out}(F_n)$. In this paper we develop general ping-pong techniques for the action of $\text{Out}(F_n)$ on the space of lines of $F_n$. Using these techniques we prove the main results stated in the research announcement, Theorem C and its special case Theorem I, the latter of which says that for any finitely generated subgroup $\mathcal H$ of $\text{Out}(F_n)$ that acts trivially on homology with $\mathbb{Z}/3$ coefficients, and for any free factor system $\mathcal F$ that does not consist of (the conjugacy classes of) a complementary pair of free factors of $F_n$ nor of a rank $n-1$ free factor, if $\mathcal H$ is fully irreducible relative to $\mathcal F$ then $\mathcal H$ has an element that is fully irreducible relative to $\mathcal F$. We also prove Theorem J which, under the additional hypothesis that $\mathcal H$ is geometric relative to $\mathcal F$, describes a strong relation between $\mathcal H$ and a mapping class group of a surface. v3 and 4: Strengthened statements of the main theorems, highlighting the role of the finite generation hypothesis, and providing an alternative hypothesis. Strengthened proofs of lamination ping-pong, and a strengthened conclusion in Theorem J, for further applications.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Subgroup decomposition in Out(F_n), Part I: Geometric Models

This is the first in a series of four papers (with research announcement posted on this arXiv) that together develop a decomposition theory for subgroups of Out(F_n). In this paper we develop further the theory of geometric EG strata of relative train track maps originally introduced in the work of Bestvina, Feighn, and Handel on the Tits alternative, with our focus trained on certain 2-dimensional models of such strata called "geometric models" and on the interesting properties of these models. A secondary purpose of this paper is to serve as a central reference for the whole series regarding basic facts of the general theory for elements of Out(F_n).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Subgroup decomposition in Out(F_n), Part II: A relative Kolchin theorem

This is the second in a series of four papers (with research announcement posted on this arXiv) that together develop a decomposition theory for subgroups of Out(F_n). In this paper we relativize the "Kolchin-type theorem" from the work of Bestvina, Feighn, and Handel on the Tits alternative, which describes a decomposition theory for subgroups H of Out(F_n) all of whose elements have polynomial growth. The Relative Kolchin Theorem allows subgroups H whose elements have exponential growth, as long as all such exponential growth is cordoned off in some free factor system F which is invariant under every element of H. The conclusion is that a certain finite index subgroup of H has an invariant filtration by free factor systems going from F up to the full free factor system by individual steps each of which is a "one-edge extension". We also study the kernel of the action of Out(F_n) on homology with Z/3 coefficients, and we prove Theorem B from the research announcement, which describes strong finite permutation behavior of all elements of this kernel.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Subgroup decomposition in Out(F_n): Introduction and Research Announcement

This is the introduction to a series of four papers that develop a decomposition theory for subgroups of Out(F_n) which generalizes the theory for elements of Out(F_n) found in the work of Bestvina, Feighn, and Handel on the Tits alternative, and which is analogous to the decomposition theory for subgroups of mapping class groups found in work of Ivanov. In this introduction we state the main theorems and we outline the contents of the whole series.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Lipschitz retraction and distortion for subgroups of Out(F_n)

Given a free factor A of the rank n free group F_n, we characterize when the subgroup of Out(F_n) that stabilizes the conjugacy class of A is distorted in Out(F_n). We also prove that the image of the natural embedding of Aut(F_{n-1}) in Aut(F_n) is nondistorted, that the stabilizer in Out(F_n) of the conjugacy class of any free splitting of F_n is nondistorted, and we characterize when the stabilizer of the conjugacy class of an arbitrary free factor system of F_n is distorted. In all proofs of nondistortion, we prove the stronger statement that the subgroup in question is a Lipschitz retract. As applications we determine Dehn functions and automaticity for Out(F_n) and Aut(F_n).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Geometry and rigidity of mapping class groups

We study the large scale geometry of mapping class groups MCG(S), using hyperbolicity properties of curve complexes. We show that any self quasi-isometry of MCG(S) (outside a few sporadic cases) is a bounded distance away from a left-multiplication, and as a consequence obtain quasi-isometric rigidity for MCG(S), namely that groups quasi-isometric to MCG(S) are virtually equal to it. (The latter theorem was proved by Hamenstadt using different methods). As part of our approach we obtain several other structural results: a description of the tree-graded structure on the asymptotic cone of MCG(S); a characterization of the image of the curve-complex projection map from MCG(S) to the product of the curve complexes of essential subsurfaces of S; and a construction of Sigma-hulls in MCG(S), an analogue of convex hulls.

0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv

Thick metric spaces, relative hyperbolicity, and quasi-isometric rigidity

We study the geometry of nonrelatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single peripheral subgroup. This implies that a group being relatively hyperbolic with nonrelatively hyperbolic peripheral subgroups is a quasi-isometry invariant. As an application, Artin groups are relatively hyperbolic if and only if freely decomposable. We also introduce a new quasi-isometry invariant of metric spaces called metrically thick, which is sufficient for a metric space to be nonhyperbolic relative to any nontrivial collection of subsets. Thick finitely generated groups include: mapping class groups of most surfaces; outer automorphism groups of most free groups; certain Artin groups; and others. Nonuniform lattices in higher rank semisimple Lie groups are thick and hence nonrelatively hyperbolic, in contrast with rank one which provided the motivating examples of relatively hyperbolic groups. Mapping class groups are the first examples of nonrelatively hyperbolic groups having cut points in any asymptotic cone, resolving several questions of Drutu and Sapir about the structure of relatively hyperbolic groups. Outside of group theory, Teichmuller spaces for surfaces of sufficiently large complexity are thick with respect to the Weil-Peterson metric, in contrast with Brock--Farb's hyperbolicity result in low complexity.

0 citations0 reviewsNo code linkedOpen access
preprint2003arXiv

Stable Teichmueller quasigeodesics and ending laminations

We characterize which cobounded quasigeodesics in the Teichmueller space T of a closed surface are at bounded distance from a geodesic. More generally, given a cobounded lipschitz path gamma in T, we show that gamma is a quasigeodesic with finite Hausdorff distance from some geodesic if and only if the canonical hyperbolic plane bundle over gamma is a hyperbolic metric space. As an application, for complete hyperbolic 3-manifolds N with finitely generated, freely indecomposable fundamental group and with bounded geometry, we give a new construction of model geometries for the geometrically infinite ends of N, a key step in Minsky's proof of Thurston's ending lamination conjecture for such manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2002arXiv

Convex cocompact subgroups of mapping class groups

We develop a theory of convex cocompact subgroups of the mapping class group MCG of a closed, oriented surface S of genus at least 2, in terms of the action on Teichmuller space. Given a subgroup G of MCG defining an extension L_G: 1--> pi_1(S) --> L_G --> G -->1 we prove that if L_G is a word hyperbolic group then G is a convex cocompact subgroup of MCG. When G is free and convex cocompact, called a "Schottky subgroup" of MCG, the converse is true as well; a semidirect product of pi_1(S) by a free group G is therefore word hyperbolic if and only if G is a Schottky subgroup of MCG. The special case when G=Z follows from Thurston's hyperbolization theorem. Schottky subgroups exist in abundance: sufficiently high powers of any independent set of pseudo-Anosov mapping classes freely generate a Schottky subgroup.

0 citations0 reviewsNo code linkedOpen access
preprint1994arXiv

A User's Guide to the Mapping Class Group: Once Punctured Surfaces

This document is a practical guide to computations using an automatic structure for the mapping class group of a once-punctured, oriented surface $S$. We describe a quadratic time algorithm for the word problem in this group, which can be implemented efficiently with pencil and paper. The input of the algorithm is a word, consisting of ``chord diagrams'' of ideal triangulations and elementary moves, which represents an element of the mapping class group. The output is a word called a ``normal form'' that uniquely represents the same group element.

0 citations0 reviewsNo code linkedOpen access