• ### Geodesics Currents and Counting Problems(1709.06834)

March 23, 2019 math.GT, math.DS
For every positive, continuous and homogeneous function $f$ on the space of currents on a compact surface $\overline{\Sigma}$, and for every compactly supported filling current $\alpha$, we compute as $L \to \infty$, the number of mapping classes $\phi$ so that $f(\phi(\alpha))\leq L$. As an application, when the surface in question is closed, we prove a lattice counting theorem for Teichm\"uller space equipped with the Thurston metric.
• ### Discrete groups without finite quotients(1804.01047)

April 3, 2018 math.GT
We construct an infinite discrete subgroup of the isometry group of $\mathbb H^3$ with no finite quotients other than the trivial group.
• ### Surface groups of diffeomorphisms of the interval(1701.09019)

Sept. 13, 2017 math.GT, math.DS, math.MG, math.GR
We prove that the group of diffeomorphisms of the interval $[0,1]$ contains surface groups whose action on $(0,1)$ has no global fix point, is topologically transitive, and such that only countably many points of the interval $(0,1)$ have non-trivial stabiliser.
• ### Thick hyperbolic 3-manifolds with bounded rank(1708.01774)

Aug. 5, 2017 math.GT
We construct a geometric decomposition for the convex core of a thick hyperbolic 3-manifold M with bounded rank. Corollaries include upper bounds in terms of rank and injectivity radius on the Heegaard genus of M and on the radius of any embedded ball in the convex core of M.
• ### Ranks of mapping tori via the curve complex(1409.1878)

July 24, 2017 math.GT
We show that if the monodromy of a 3-manifold M that fibers over the circle has large translation distance in the curve complex, then the rank of the fundamental group of M is 2g+1, where g is the genus of the fiber.
• ### Cyclic hyperbolic Veech groups in finite area(1706.06290)

June 20, 2017 math.GT, math.DS
We prove that there are finite area flat surfaces whose Veech group is an infinite cyclic group consisting of hyperbolic elements
• ### Counting curves, and the stable length of currents(1612.05980)

Dec. 18, 2016 math.DG, math.GT, math.DS, math.GR
Let $\gamma_0$ be a curve on a surface $\Sigma$ of genus $g$ and with $r$ boundary components and let $\pi_1(\Sigma)\curvearrowright X$ be a discrete and cocompact action on some metric space. We study the asymptotic behavior of the number of curves $\gamma$ of type $\gamma_0$ with translation length at most $L$ on $X$. For example, as an application, we derive that for any finite generating set $S$ of $\pi_1(\Sigma)$ the limit $$\lim_{L\to\infty}\frac 1{L^{6g-6+2r}}\{\gamma\text{ of type }\gamma_0\text{ with }S\text{-translation length}\le L\}$$ exists and is positive. The main new technical tool is that the function which associates to each curve its stable length with respect to the action on $X$ extends to a (unique) continuous and homogenous function on the space of currents. We prove that this is indeed the case for any action of a torsion free hyperbolic group.
• ### Geometric filling curves on surfaces(1610.08404)

Oct. 26, 2016 math.DG, math.GT
This note is about a type of quantitative density of closed geodesics on closed hyperbolic surfaces. The main results are upper bounds on the length of the shortest closed geodesic that $\varepsilon$-fills the surface.
• ### A remark about critical sets in $R^3$(1610.01979)

Oct. 6, 2016 math.CA, math.GT
We give a necessary condition for a closed subset of $R^3$ to be the set of critical points of some smooth function. In particular we obtain that for example neither the Whitehead continuum nor the p-adic solenoid are such a critical sets.
• ### Counting curve types(1606.06067)

June 20, 2016 math.GT
Let $S$ be a closed orientable hyperbolic surface, and let $\mathcal{O}(K,S)$ denote the number of mapping class group orbits of curves on $S$ with at most $K$ self-intersections. Building on work of Sapir [16], we give upper and lower bounds for $\mathcal{O}(K,S)$ which are both exponential in $\sqrt{K}$.
• ### Dimension invariants of outer automorphism groups(1602.04354)

Feb. 13, 2016 math.AT, math.GT, math.GR
The geometric dimension for proper actions $\underline{\mathrm{gd}}(G)$ of a group $G$ is the minimal dimension of a classifying space for proper actions $\underline{E}G$. We construct for every integer $r\geq 1$, an example of a virtually torsion-free Gromov-hyperbolic group $G$ such that for every group $\Gamma$ which contains $G$ as a finite index normal subgroup, the virtual cohomological dimension $\mathrm{vcd}(\Gamma)$ of $\Gamma$ equals $\underline{\mathrm{gd}}(\Gamma)$ but such that the outer automorphism group $\mathrm{Out}(G)$ is virtually torsion-free, admits a cocompact model for $\underline E\mathrm{Out}(G)$ but nonetheless has $\mathrm{vcd}(\mathrm{Out}(G))\le\underline{\mathrm{gd}}(\mathrm{Out}(G))-r$.
• ### Variations on a Theorem of Birman and Series(1512.04360)

Dec. 14, 2015 math.GT
Suppose that $\Sigma$ is a hyperbolic surface and $f:\mathbb R_+\to\mathbb R_+$ a monotonic function. We study the closure in the projective tangent bundle $PT\Sigma$ of the set of all geodesics $\gamma$ satisfying $I(\gamma,\gamma)\leq f(\ell_\Sigma(\gamma))$. For instance we prove that if $f$ is unbounded and sublinear then this set has Hausdorff dimension strictly bounded between 1 and 3.
• ### Counting Curves in Hyperbolic Surfaces(1508.02265)

Aug. 10, 2015 math.GT, math.DS
Let $\Sigma$ be a hyperbolic surface. We study the set of curves on $\Sigma$ of a given type, i.e. in the mapping class group orbit of some fixed but otherwise arbitrary $\gamma_0$. For example, in the particular case that $\Sigma$ is a once-punctured torus, we prove that the cardinality of the set of curves of type $\gamma_0$ and of at most length $L$ is asymptotic to $L^2$ times a constant.
• ### Recurrence of multiply-ended planar triangulations(1506.00221)

May 31, 2015 math.PR
In this note we show that a bounded degree planar triangulation is recurrent if and only if the set of accumulation points of some/any circle packing of it is polar (that is, planar Brownian motion avoids it with probability 1). This generalizes a theorem of He and Schramm [6] who proved it when the set of accumulation points is either empty or a Jordan curve, in which case the graph has one end. We also show that this statement holds for any straight-line embedding with angles uniformly bounded away from 0.
• ### Free vs. Locally Free Kleinian Groups(1506.00156)

May 30, 2015 math.GT, math.GR
We prove that Kleinian groups whose limit sets are Cantor sets of Hausdorff dimension $<1$ are free. On the other hand we construct for any $\epsilon>0$ examples of non-free purely hyperbolic Kleinian groups whose limit set is a Cantor set of Hausdorff dimension $<1+\epsilon$.
• ### Geometric dimension of lattices in classical simple Lie groups(1504.02607)

April 10, 2015 math.AT, math.GT, math.GR
We prove that if $\Gamma$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $\Gamma$-equivariantly homotopy equivalent to a proper cocompact $\Gamma$-CW complex of dimension the virtual cohomological dimension of $\Gamma$.
• ### Bounded combinatorics and uniform models for hyperbolic 3-manifolds(1312.2293)

Dec. 9, 2013 math.GT
Bounded-type 3-manifolds arise as combinatorially bounded gluings of irreducible 3-manifolds chosen from a finite list. We prove effective hyperbolization and effective rigidity for a broad class of 3-manifolds of bounded type and large gluing heights. Specifically, we show the existence and uniqueness of hyperbolic metrics on 3-manifolds of bounded type and large heights, and prove existence of a bilipschitz diffeomorphism to a combinatorial model described explicitly in terms of the list of irreducible manifolds, the topology of the identification, and the combinatorics of the gluing maps.
• ### Distributional limits of Riemannian manifolds and graphs with sublinear genus growth(1208.2130)

Sept. 4, 2013 math.PR, math.MG, math.CV
Benjamini and Schramm introduced the notion of distributional limit of a sequence of graphs with uniformly bounded valence and studied such limits in the case that the involved graphs are planar. We investigate distributional limits of sequences of Riemannian manifolds with bounded curvature which satisfy certain condition of quasi-conformal nature. We then apply our results to somewhat improve Benjamini's and Schramm's original result on the recurrence of the simple random walk on limits of planar graphs. For instance, as an application give a proof of the fact that for graphs in an expander family, the genus of each graph is bounded from below by a linear function of the number of vertices.
• ### Three techniques for obtaining algebraic circle packings(1304.1488)

April 4, 2013 math.GT
The main purpose of this article is to demonstrate three techniques for proving algebraicity statements about circle packings. We give proofs of three related theorems: (1) that every finite simple planar graph is the contact graph of a circle packing on the Riemann sphere, equivalently in the complex plane, all of whose tangency points, centers, and radii are algebraic, (2) that every flat conformal torus which admits a circle packing whose contact graph triangulates the torus has algebraic modulus, and (3) that if R is a compact Riemann surface of genus at least 2, having constant curvature -1, which admits a circle packing whose contact graph triangulates R, then R is isomorphic to the quotient of the hyperbolic plane by a subgroup of PSL_2(real algebraic numbers). The statement (1) is original, while (2) and (3) have been previously proved in the Ph.D. thesis of McCaughan. Our first proof technique is to apply Tarski's Theorem, a result from model theory, which says that if an elementary statement in the theory of real-closed fields is true over one real-closed field, then it is true over any real closed field. This technique works to prove (1) and (2). Our second proof technique is via an algebraicity result of Thurston on finite co-volume discrete subgroups of the orientation-preserving-isometry group of hyperbolic 3-space. This technique works to prove (1). Our first and second techniques had not previously been applied in this area. Our third and final technique is via a lemma in real algebraic geometry, and was previously used by McCaughan to prove (2) and (3). We show that in fact it may be used to prove (1) as well.
• ### Some groups of mapping classes not realized by diffeomorphisms(0905.2360)

Dec. 20, 2012 math.GT, math.GR
Let S be a closed surface of genus g >= 2 and z in S a marked point. We prove that the subgroup of the mapping class group Map(S,z) corresponding to the fundamental group pi_1(S,z) of the closed surface does not lift to the group of diffeomorphisms of S fixing z. As a corollary, we show that the Atiyah-Kodaira surface bundles admit no invariant flat connection, and obtain another proof of Morita's non-lifting theorem.
• ### A Cantor set with hyperbolic complement(1205.4668)

May 21, 2012 math.GT, math.MG
We construct a Cantor set in S^3 whose complement admits a complete hyperbolic metric.
• ### Diameter and spectral gap for planar graphs(1204.4435)

April 26, 2012 math.GT, math.PR
We prove that the spectral gap of a finite planar graph $X$ is bounded by $\lambda_1(X)\le C(\frac{\log(\diam X)}{\diam X})^2$ where $C$ depends only on the degree of $X$. We then give a sequence of such graphs showing the the above estimate cannot be improved. This yields a negative answer to a question of Benjamini and Curien on the mixing times of the simple random walk on planar graphs.
• ### On genericity of pseudo-Anosovs in the Torelli group(1102.0601)

April 5, 2011 math.GT
We show that, for any (symmetric) finite generating set of the Torelli group of a closed surface, the probability that a random word is not pseudo-Anosov decays exponentially in terms of the length of the word.
• ### Homomorphisms between mapping class groups(1011.1855)

Nov. 8, 2010 math.AG, math.GT, math.GR
Suppose that $X$ and $Y$ are surfaces of finite topological type, where $X$ has genus $g\geq 6$ and $Y$ has genus at most $2g-1$; in addition, suppose that $Y$ is not closed if it has genus $2g-1$. Our main result asserts that every non-trivial homomorphism $\Map(X) \to \Map(Y)$ is induced by an {\em embedding}, i.e. a combination of forgetting punctures, deleting boundary components and subsurface embeddings. In particular, if $X$ has no boundary then every non-trivial endomorphism $\Map(X)\to\Map(X)$ is in fact an isomorphism. As an application of our main theorem we obtain that, under the same hypotheses on genus, if $X$ and $Y$ have finite analytic type then every non-constant holomorphic map $\CM(X)\to\CM(Y)$ between the corresponding moduli spaces is a forgetful map. In particular, there are no such holomorphic maps unless $X$ and $Y$ have the same genus and $Y$ has at most as many marked points as $X$.
• ### Algebraic and geometric convergence of discrete representations into PSL(2,C)(1010.0459)

Oct. 4, 2010 math.GT
Anderson and Canary have shown that if the algebraic limit of a sequence of discrete, faithful representations of a finitely generated group into PSL(2,C) does not contain parabolics, then it is also the sequence's geometric limit. We construct examples that demonstrate the failure of this theorem for certain sequences of unfaithful representations, and offer a suitable replacement.