• 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.
  • We construct an infinite discrete subgroup of the isometry group of $\mathbb H^3$ with no finite quotients other than the trivial group.
  • 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.
  • 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.
  • 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.
  • We prove that there are finite area flat surfaces whose Veech group is an infinite cyclic group consisting of hyperbolic elements
  • 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.
  • 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.
  • 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}$.
  • 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$.
  • 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.
  • 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.
  • 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.
  • 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$.
  • 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-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.
  • 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.
  • 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.
  • 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.
  • We construct a Cantor set in S^3 whose complement admits a complete hyperbolic metric.
  • 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.
  • 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.
  • 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$.
  • 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.