Source author record

Christopher J. Leininger

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

23works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

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

23 published item(s)

preprint2022arXiv

Finite rigid sets in sphere complexes

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.

preprint2022arXiv

Hyperbolic cone metrics and billiards

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.

preprint2021arXiv

Big mapping class groups and the co-Hopfian property

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.

preprint2020arXiv

Weil-Petersson translation length and manifolds with many fibered fillings

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.

preprint2019arXiv

Finite rigid subgraphs of pants graphs

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.

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

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

A geometric criterion to be pseudo-Anosov

We establish a criterion for certain mapping classes of a surface homeomorphisms to be pseudo-Anosov in terms of the geometry of hyperbolic 3-manifolds and Gromov-hyperbolic surface group extensions. Specifically, any element of the fundamental group of a surface S gives rise to a mapping class on the punctured surface, and we show that such a class is pseudo-Anosov if its geodesic representative is "wide" in some hyperbolic 3-manifold homeomorphic to the trivial interval bundle over S.

preprint2014arXiv

Abstract commensurators of right-angled Artin groups and mapping class groups

We prove that, aside from the obvious exceptions, the mapping class group of a compact orientable surface is not abstractly commensurable with any right-angled Artin group. Our argument applies to various subgroups of the mapping class group---the subgroups generated by powers of Dehn twists and the terms of the Johnson filtration---and additionally to the outer automorphism group of a free group and to certain linear groups.

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

Systoles and Dehn surgery for hyperbolic 3-manifolds

Given a closed hyperbolic 3-manifold M of volume V, and a link L in M such that the complement M \ L is hyperbolic, we establish a bound for the systole length of M \ L in terms of V. This extends a result of Adams and Reid, who showed that in the case that M is not hyperbolic, there is a universal bound of 7.35534... . As part of the proof, we establish a bound for the systole length of a non-compact finite volume hyperbolic manifold which grows asymptotically like (4/3)log(V).

preprint2012arXiv

Finite rigid sets in curve complexes

We prove that curve complexes of surfaces are finitely rigid: for every orientable surface S of finite topological type, we identify a finite subcomplex X of the curve complex C(S) such that every locally injective simplicial map from X into C(S) is the restriction of an element of Aut(C(S)), unique up to the (finite) point-wise stabilizer of X in Aut(C(S)). Furthermore, if S is not a twice-punctured torus, then we can replace Aut(C(S)) in this statement with the extended mapping class group.

preprint2011arXiv

On the number and location of short geodesics in moduli space

A closed Teichmuller geodesic in the moduli space M_g of Riemann surfaces of genus g is called L-short if it has length at most L/g. We show that, for any L > 0, there exist e_2 > e_1 > 0, independent of g, so that the L-short geodesics in M_g all lie in the intersection of the e_1-thick part and the e_2-thin part. We also estimate the number of L-short geodesics in M_g, bounding this from above and below by polynomials in g whose degrees depend on L and tend to infinity as L does.

preprint2010arXiv

The geometry of right angled Artin subgroups of mapping class groups

We describe sufficient conditions which guarantee that a finite set of mapping classes generate a right-angled Artin group quasi-isometrically embedded in the mapping class group. Moreover, under these conditions, the orbit map to Teichmuller space is a quasi-isometric embedding for both of the standard metrics. As a consequence, we produce infinitely many genus h surfaces (for any h at least 2) in the moduli space of genus g surfaces (for any g at least 3) for which the universal covers are quasi-isometrically embedded in the Teichmuller space.

preprint2009arXiv

Length spectra and degeneration of flat metrics

In this paper we consider flat metrics (semi-translation structures) on surfaces of finite type. There are two main results. The first is a complete description of when a set of simple closed curves is spectrally rigid, that is, when the length vector determines a metric among the class of flat metrics. Secondly, we give an embedding into the space of geodesic currents and use this to get a boundary for the space of flat metrics. The geometric interpretation is that flat metrics degenerate to "mixed structures" on the surface: part flat metric and part measured foliation.

preprint2009arXiv

The universal Cannon--Thurston maps and the boundary of the curve complex

In genus two and higher, the fundamental group of a closed surface acts naturally on the curve complex of the surface with one puncture. Combining ideas from previous work of Kent--Leininger--Schleimer and Mitra, we construct a universal Cannon--Thurston map from a subset of the circle at infinity for the closed surface group onto the boundary of the curve complex of the once-punctured surface. Using the techniques we have developed, we also show that the boundary of this curve complex is locally path-connected.

preprint2008arXiv

Injections of mapping class groups

We construct new monomorphisms between mapping class groups of surfaces. The first family of examples injects the mapping class group of a closed surface into that of a different closed surface. The second family of examples are defined on mapping class groups of once-punctured surfaces and have quite curious behaviour. For instance, some pseudo-Anosov elements are mapped to multi-twists. Neither of these two types of phenomena were previously known to be possible although the constructions are elementary.

preprint2004arXiv

On groups generated by two positive multi-twists: Teichmueller curves and Lehmer's number

From a simple observation about a construction of Thurston, we derive several interesting facts about subgroups of the mapping class group generated by two positive multi-twists. In particular, we identify all configurations of curves for which the corresponding groups fail to be free, and show that a subset of these determine the same set of Teichmueller curves as the non-obtuse lattice triangles which were classified by Kenyon, Smillie, and Puchta. We also identify a pseudo-Anosov automorphism whose dilatation is Lehmer's number, and show that this is minimal for the groups under consideration. In addition, we describe a connection to work of McMullen on Coxeter groups and related work of Hironaka on a construction of an interesting class of fibered links.