arXiv subjects
Publications and source records attributed to Christopher J. Leininger.
We show that there is a type-preserving homomorphism from the fundamental group of the figure-eight knot complement to the mapping class group of the thrice-punctured torus. As a corollary, we obtain infinitely many commensurability classes of purely pseudo-Anosov surface subgroups of mapping class groups of closed surfaces. This gives the first examples of compact atoroidal surface bundles over surfaces.
We show that the open genus 2 handlebody admits uncountably-many fibrations over the circle with fiber homeomorphic to the Cantor tree surface with non-conjugate monodromies in the mapping class group. The construction generalizes to produce uncountably many fibrations of other tame 3-manifolds with infinite type fibers, including the blooming Cantor tree and many other types of surfaces.
We prove that finitely generated, purely pseudo-Anosov subgroups of the genus $2$ handlebody group are convex cocompact.
We answer a question of Freedman and Krushkal, producing filling links in any closed, orientable 3-manifold. The links we construct are hyperbolic, and have large essential systole, contrasting earlier geometric constraints on hyperbolic links in 3-manifolds due to Adams-Reid and Lakeland-Leininger.
We introduce and study the notion of filling links in 3-manifolds: a link L is filling in M if for any 1-spine G of M which is disjoint from L, $π_1(G)$ injects into $π_1(M\smallsetminus L)$. A weaker "k-filling" version concerns injectivity modulo k-th term of the lower central series. For each k>1 we construct a k-filling link in the 3-torus. The proof relies on an extension of the Stallings theorem which may be of independent interest. We discuss notions related to "filling" links in 3-manifolds, and formulate several open problems. The appendix by C. Leininger and A. Reid establishes the existence of a filling hyperbolic link in any closed orientable 3-manifold with $π_1(M)$ of rank 2.
We classify surface Houghton groups, as well as their pure subgroups, up to isomorphism, commensurability, and quasi-isometry.
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.
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 study Veech groups associated to the pseudo-Anosov monodromies of fibers and foliations of a fixed hyperbolic 3-manifold. Assuming Lehmer's Conjecture, we prove that the Veech groups associated to fibers generically contain no parabolic elements. For foliations, we prove that the Veech groups are always elementary.
For every $n\ge 2$, the {\em surface Houghton group} $\mathcal B_n$ is defined as the asymptotically rigid mapping class group of a surface with exactly $n$ ends, all of them non-planar. The groups $\mathcal B_n$ are analogous to, and in fact contain, the braided Houghton groups. These groups also arise naturally in topology: every monodromy homeomorphisms of a fibered component of a depth-1 foliation of closed 3-manifold is conjugate into some $\mathcal B_n$. As countable mapping class groups of infinite type surfaces, the groups $\mathcal B_n$ lie somewhere between classical mapping class groups and big mapping class groups. We initiate the study of surface Houghton groups proving, among other things, that $\mathcal B_n$ is of type $F_{n-1}$, but not of type $FP_n$, analogous to the braided Houghton groups.
We show that finitely generated and purely pseudo-Anosov subgroups of fibered 3-manifolds with reducible monodromy are convex cocompact as subgroups of the mapping class group via the Birman exact sequence. Combined with results of Dowdall--Kent--Leininger and Kent--Leininger--Schleimer, this establishes the result for the image of all such fibered 3-manifold groups in the mapping class group.
A negatively curved hyperbolic cone metric is called rigid if it is determined (up to isotopy) by the support of its Liouville current, and flexible otherwise. We provide a complete characterization of rigidity and flexibility, prove that rigidity is a generic property, and parameterize the associated deformation space for any flexible metric. As an application, we parameterize the space of hyperbolic polygons with the same symbolic coding for their billiard dynamics, and prove that generically this parameter space is a point.
A subcomplex $X\leq \mathcal{C}$ of a simplicial complex is strongly rigid if every locally injective, simplicial map $X\to\mathcal{C}$ is the restriction of a unique automorphism of $\mathcal{C}$. Aramayona and the second author proved that the curve complex of an orientable surface can be exhausted by finite strongly rigid sets. The Hatcher sphere complex is an analog of the curve complex for isotopy classes of essential spheres in a connect sum of $n$ copies of $S^1\times S^2$. We show that there is an exhaustion of the sphere complex by finite strongly rigid sets for all $n\ge 3$ and that when $n=2$ the sphere complex does not have finite rigid sets.
We study injective homomorphisms between big mapping class groups of infinite-type surfaces. First, we construct (uncountably many) examples of surfaces without boundary whose (pure) mapping class groups are not co-Hopfian; these are the first examples of injective endomorphisms of mapping class groups (of surfaces with empty boundary) that fail to be surjective. We then prove that, subject to some topological conditions on the domain surface, any continuous injective homomorphism between (arbitrary) big mapping class groups that sends Dehn twists to Dehn twists is induced by homeomorphism. Finally, we explore the extent to which, in stark contrast to the finite-type case, superinjective maps between curve graphs impose no topological restrictions on the underlying surfaces.
We prove that any mapping torus of a pseudo-Anosov mapping class with bounded normalized Weil-Petersson translation length contains a finite set of transverse and level closed curves, and drilling out this set of curves results in one of a finite number of cusped hyperbolic 3-manifolds. The number of manifolds in the finite list depends only on the bound for normalized translation length. We also prove a complementary result that explains the necessity of removing level curves by producing new estimates for the Weil-Petersson translation length of compositions of pseudo-Anosov mapping classes and arbitrary powers of a Dehn twist.
We give a complete characterization of the relationship between the shape of a Euclidean polygon and the symbolic dynamics of its billiard flow. We prove that the only pairs of tables that can have the same bounce spectrum are right-angled tables that differ by an affine map. The main tool is a new theorem that establishes that a flat cone metric is completely determined by the support of its Liouville current.
Let $S_{g,n}$ be an orientable surface of genus $g$ with $n$ punctures. We identify a finite rigid subgraph $X_{g,n}$ of the pants graph $\mathcal P (S_{g,n})$, that is, a subgraph with the property that any simplicial embedding of $X_{g,n}$ into any pants graph $\mathcal P (S_{g',n'})$ is induced by an embedding $S_{g,n}\to S_{g',n'}$. This extends results of the third author for the case of genus zero surfaces.
We give a short proof of Masbaum and Reid's result that mapping class groups involve any finite group, appealing to free quotients of surface groups and a result of Gilman, following Dunfield-Thurston.