Source author record

Michael Handel

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

ResearcherUnclaimed source record

math.GR math.GT math.DS

Catalog footprint

What is connected

15works

3topics

3close collaborators

Actions

Connect this record

Open graph Browse works

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.

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.

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.

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.

preprint2013arXiv

Some virtually abelian subgroups of the group of analytic symplectic diffeomorphisms of $S^2$

We show that if $M$ is a compact oriented surface of genus 0 and $G$ is a subgroup of $\Symp^ω_μ(M)$ which has an infinite normal solvable subgroup, then $G$ is virtually abelian. In particular the centralizer of an infinite order $f \in \Symp^ω_μ(M)$ is virtually abelian. Another immediate corollary is that if $G$ is a solvable subgroup of $\Symp^ω_μ(M)$ then $G$ is virtually abelian. We also prove a special case of the Tits Alternative for subgroups of $\Symp^ω_μ(S^2).$

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

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.

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.

preprint2012arXiv

Entropy zero area preserving diffeomorphisms of $S^2$

In this paper we formulate and prove a structure theorem for area preserving diffeomorphisms of genus zero surfaces with zero entropy. As an application we relate the existence of faithful actions of a finite index subgroup of the mapping class group of a closed surface $Σ_g$ on $S^2$ by area preserving diffeomorphisms to the existence of finite index subgroups of bounded mapping class groups $MCG(S, \partial S)$ with non-trivial first cohomology.

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

preprint2012arXiv

The free splitting complex of a free group I: Hyperbolicity

We prove that the free splitting complex of a finite rank free group, also known as Hatcher's sphere complex, is hyperbolic.

preprint2011arXiv

Triviality of some representations of $MCG(S_g)$ in $GL(n,C), Diff(S^2)$ and $Homeo(T^2)$

We show the triviality of representations of the mapping class group of a genus $g$ surface in $GL(n,C), Diff(S^2)$ and $Homeo(T^2)$ when appropriate restrictions on the genus $g$ and the size of $n$ hold. For example, if $S_g$ is a surface of finite type and $ϕ: MCG(S_g) \to GL(n,C)$ is a homomorphism, then $ϕ$ is trivial provided the genus $g \ge 3$ and $n < 2g$. We also show that if $S_g$ is a closed surface with genus $g \ge 7$, then every homomorphism $ϕ: MCG(S_g) \to Diff(S^2)$ is trivial and that if $g \ge 3$, then every homomorphism $ϕ: MCG(S_g) \to Homeo(T^2)$ is trivial.

preprint2008arXiv

Global fixed points for centralizers and Morita's Theorem

We prove a global fixed point theorem for the centralizer of a homeomorphism of the two dimensional disk $D$ that has attractor-repeller dynamics on the boundary with at least two attractors and two repellers. As one application, we show that there is a finite index subgroup of the centralizer of a pseudo-Anosov homeomorphism with infinitely many global fixed points. As another application we give an elementary proof of Morita's Theorem, that the mapping class group of a closed surface $S$ of genus $g$ does not lift to the group of diffeormorphisms of $S$ and we improve the lower bound for $g$ from 5 to 3.

preprint2006arXiv

Abelian subgroups of \Out(F_n)

We classify abelian subgroups of Out(F_n) up to finite index in an algorithmic and computationally friendly way. A process called disintegration is used to canonically decompose a single rotationless element ϕinto a composition of finitely many elements and then use these elements to generate an abelian subgroup A(ϕ) that contains ϕ. The main theorem is that up to finite index every abelian subgroup is realized by this construction. As an application we classify, up to finite index, abelian subgroups of Out(F_n) and of IA with maximal rank.

preprint2003arXiv

Area preserving group actions on surfaces

Suppose G is an almost simple group containing a subgroup isomorphic to the three-dimensional integer Heisenberg group. For example any finite index subgroup of SL(3,Z) is such a group. The main result of this paper is that every action of G on a closed oriented surface by area preserving diffeomorphisms factors through a finite group.

preprint2003arXiv

Periodic points of Hamiltonian surface diffeomorphisms

The main result of this paper is that every non-trivial Hamiltonian diffeomorphism of a closed oriented surface of genus at least one has periodic points of arbitrarily high period. The same result is true for S^2 provided the diffeomorphism has at least three fixed points. In addition we show that up to isotopy relative to its fixed point set, every orientation preserving diffeomorphism F: S --> S of a closed orientable surface has a normal form. If the fixed point set is finite this is just the Thurston normal form.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint