We examine the internal geometry of a Kleinian surface group and its relations to the asymptotic geometry of its ends, using the combinatorial structure of the complex of curves on the surface. Our main results give necessary conditions for the Kleinian group to have `bounded geometry' (lower bounds on injectivity radius) in terms of a sequence of coefficients (subsurface projections) computed using the ending invariants of the group and the complex of curves.
These results are directly analogous to those obtained in the case of punctured-torus surface groups. In that setting the ending invariants are points in the closed unit disk and the coefficients are closely related to classical continued-fraction coefficients. The estimates obtained play an essential role in the solution of Thurston's ending lamination conjecture in that case.
We prove an effective version of a theorem relating curve complex distance to electric distance in hyperbolic 3-manifolds, up to errors that are polynomial in the complexity of the underlying surface. We use this to give an effective proof of a result regarding maps between curve complexes of surfaces induced by finite covers. As applications, we effectively relate the electric circumference of a fibered manifold to the curve complex translation length of its monodromy, and we give quantitative bounds on virtual specialness for cube complexes dual to curves on surfaces.
We show that $Γ< \textbf{SU}(3,1)$ is a non-elementary complex hyperbolic Kleinian group in which $tr(γ) \in \R$ for all $γ\in Γ$ if and only if $Γ$ is conjugate to a subgroup of $\textbf{SO}(3,1)$ or $\textbf{SU}(1,1)\times\textbf{SU}(2)$.
Let $G$ be a non-elementary discrete subgroup of $\mathrm{Sp}(2,1)$. We show that if the sum of diagonal entries of each element of $G$ is a complex number, then $G$ is conjugate to a subgroup of $\mathrm{U}(2,1)$.
Let M^3 be a compact, oriented, irreducible, and boundary incompressible 3-manifold. Assume that its fundamental group is without rank two abelian subgroups and its boundary is non-empty. We will show that every homomorphism from pi_1(M) to PSL(2,C) which is not `boundary elementary' is induced by a possibly branched complex projective structure on the boundary of a hyperbolic manifold homeomorphic to M.
Let $Γ$ be a nonelementary discrete subgroup of SU(n,1) or Sp(n,1). We show that if the trace field of $Γ$ is contained in $\mathbb R$, $Γ$ preserves a totally geodesic submanifold of constant negative sectional curvature. Furthermore if $Γ$ is irreducible, $Γ$ is a Zariski dense irreducible discrete subgroup of SO(n,1) up to conjugation. This is an analog of a theorem of Maskit for general semisimple Lie groups of rank $1$.
Let $Γ$ be a nonelementary discrete subgroup of $\mathrm{Sp}(n,1)$. We show that if the trace skew-field of $Γ$ is commutative, then $Γ$ stabilizes a copy of complex hyperbolic subspace of quaternionic hyperbolic $n$-space.
In this paper we provide the complete classification of Kleinian groups of Hausdorff dimensions less than $1.$ In particular, we prove that every purely loxodromic Kleinian groups of Hausdorff dimension $<1$ is a classical Schottky group. This upper bound is sharp. As an application, the result of \cite{H} then implies that, every closed Riemann surface is uniformizable by a classical Schottky group. The prove relie on the result of Hou \cite{Hou}, and space of rectifiable $\G$-invariant closed curves.
We prove that a Kleinian surface groups is determined, up to conjugacy in the isometry group of $\mathbb H^3$, by its simple marked length spectrum. As a first application, we show that a discrete faithful representation of the fundamental group of a compact, acylindrical, hyperbolizable 3-manifold $M$ is similarly determined by the translation lengths of images of elements of $π_1(M)$ represented by simple curves on the boundary of $M$. As a second application, we show the group of diffeomorphisms of quasifuchsian space which preserve the renormalized intersection number is generated by the (…
Let P be a locally finite circle packing in the plane invariant under a non-elementary Kleinian group Gamma and with finitely many Gamma-orbits. When Gamma is geometrically finite, we construct an explicit Borel measure on the plane which describes the asymptotic distribution of small circles in P, assuming that either the critical exponent of Gamma is strictly bigger than 1 or P does not contain an infinite bouquet of tangent circles glued at a parabolic fixed point of Gamma. Our construction also works for P invariant under a geometrically infinite group Gamma, provided Gamma admits a finite…
We prove that every finitely presentable group G arises as the fundamental group of an orientable 3-complex obtained from a hyperbolic link complement, by coning each boundary torus of the link exterior to a distinct point. We define the closed-link-genus, clg(G), of any finitely presentable group G, which completely characterizes fundamental groups of closed orientable 3-manifolds: clg(G)=0 if and only if G is the fundamental group of a closed orientable 3-manifold. Moreover clg(G) gives an upper bound for the concept `genus(G)' of genus defined earlier by Aitchison and Reeves, and in turn is…
For a compact, oriented, hyperbolic $n$-manifold $(M,g)$, realised as $M= Γ\backslash \mathbb{H}^{n}$ where $Γ$ is a torsion-free cocompact subgroup of $SO(n,1)$, we establish and study a relationship between differential geometric cohomology on $M$ and algebraic invariants of the group $Γ$. In particular for $\mathbb{F}$ an irreducible $SO(n,1)$-module, we show that the group cohomology with coefficients $H^{\bullet}(Γ, \mathbb{F})$ is isomorphic to the cohomology of an appropriate projective BGG complex on $M$. This yields the geometric interpretation that $H^{\bullet}(Γ, \mathbb{F})$ parame…
Let (ρ_λ)_{λ\in Λ} be a holomorphic family of representations of a finitely generated group G into PSL(2,C), parameterized by a complex manifold Λ. We define a notion of bifurcation current in this context, that is, a positive closed current on Λdescribing the bifurcations of this family of representations in a quantitative sense. It is the analogue of the bifurcation current introduced by DeMarco for holomorphic families of rational mappings on the Riemann sphere. Our definition relies on the theory of random products of matrices, so it depends on the choice of a probability measure μon G. We…
We prove a continuity property for ending invariants of convergent sequences of Kleinian surface groups. We also analyze the bounded curve sets of such groups and show that their projections to non-annular subsurfaces lie a bounded Hausdorff distance from geodesics joining the projections of the ending invariants.
We prove that for any closed surface of genus at least four, and any punctured surface of genus at least two, the space of ending laminations is connected. A theorem of E. Klarreich implies that this space is homeomorphic to the Gromov boundary of the complex of curves. It follows that the boundary of the complex of curves is connected in these cases, answering the conjecture of P. Storm. Other applications include the rigidity of the complex of curves and connectivity of spaces of degenerate Kleinian groups.
This paper continues a geometric study of Harvey's Complex of Curves, whose ultimate goal is to apply the theory of hyperbolic spaces and groups to algorithmic questions for the Mapping Class Group and geometric properties of Kleinian representations. The authors' previous result that the complex is delta-hyperbolic was hard to apply because the complex is not locally finite; in this paper some tools are developed for overcoming this problem, and a combinatorial mechanism introduced which describes sequences of elementary moves in the graph of markings on a surface. These tools are applied to …
Any quasi-isometry of the complex of curves is bounded distance from a simplicial automorphism. As a consequence, the quasi-isometry type of the curve complex determines the homeomorphism type of the surface.
A rigid set in a curve complex of a surface is a subcomplex such that every locally injective simplicial map from the set into the curve complex is induced by a homeomorphism of the surface. In this paper, we find finite rigid sets in the curve complexes of connected non-orientable surfaces of genus $g$ with $n$ holes for $g+n \neq 4$.
For each closed surface of genus $g\ge3$, we find a finite subcomplex of the separating curve complex that is rigid with respect to incidence-preserving maps.
Let S be the boundary of a handlebody M. We prove that the set of curves in S that are boundaries of disks in M, considered as a subset of the complex of curves of S, is quasi-convex.
Using the Birmanexact sequence for pure mapping class groups, we construct a universal Cannon--Thurston map onto the boundary of a curve complex for a surface with punctures we call surviving curve complex. Along the way we prove hyperbolicity of this complex and identify its boundary as a space of laminations. As a corollary we obtain a universal Cannon--Thurston map to the boundary of the ordinary curve complex, extending earlier work of the second author with Mj and Schleimer.
We show that a random walk on the mapping class group of an orientable surface of finite type makes linear progress in the relative metric, which is quasi-isometric to the complex of curves.
This goal of the paper is to show that the automorphisms of the complex of curves in a surface are induced by the self-homeomorphisms of the surface except the surface is the 2-holed torus.
In this survey paper we give a proof of hyperbolicity of the complex of curves for a non-exceptional surface S of finite type combining ideas of Masur/Minsky and Bowditch. We also shortly discuss the relation between the geometry of the complex of curves and the geometry of Teichmueller space.
Rafi and Schleimer recently proved that the natural relation between curve complexes induced by a covering map between two surfaces is a quasi-isometric embedding. We offer another proof of this result using a distance estimate via hyperbolic 3-manifolds.
Let $S$ be a connected orientable surface of finite topological type. We prove that there is an exhaustion of the curve complex $\mathcal{C}(S)$ by a sequence of finite rigid sets.
By the work of Harer, the reduced homology of the complex of curves is a fundamental cohomological object associated to all torsion free finite index subgroups of the mapping class group. We call this homology group the Steinberg module of the mapping class group. It was previously known that the curve complex has the homotopy type of a bouquet of spheres. Here, we give the first explicit homologically nontrivial sphere in the curve complex and show that under the action of the mapping class group, the orbit of this homology class generates the reduced homology of the curve complex.
Let $S$ be a closed Riemann surface of genus $p>1$ with one point removed. In this paper, we identify those point-pushing pseudo-Anosov maps on $S$ that preserve at least one bi-infinite geodesic in the curve complex.
This article was born as a generalisation of the analysis made by Series, where she made the first attempt to plot a deformation space of Kleinian group of more than 1 complex dimension. We use the Top Terms' Relationship proved by the author and Series to determine the asymptotic directions of pleating rays in the Maskit embedding of a hyperbolic surface S as the bending measure of the `top' surface in the boundary of the convex core tends to zero. The Maskit embedding M of a surface S is the space of geometrically finite groups on the boundary of quasifuchsian space for which the `top' end i…
We compute the automorphism groups of the Torelli complex and the complex of separating curves for all but finitely many compact orientable surfaces. As an application, we show that the abstract commensurators of the Torelli group and the Johnson kernel for such surfaces are naturally isomorphic to the extended mapping class group.
We prove that the separated curve complex of a closed orientable surface of genus g is (g-3)-connected. We also obtain a connectivity property for a separated curve complex of the open surface that is obtained by removing a finite set from a closed one, but it is then assumed that the removed set is endowed with a partition and that the separating curves respect that partition. These connectivity statements have implications for the algebraic topology of the moduli space of curves.
We show that for all but finitely many compact orientable surfaces, any superinjective map from the complex of separating curves into the Torelli complex is induced by an element of the extended mapping class group. As an application, we prove that any injective homomorphism from a finite index subgroup of the Johnson kernel into the Torelli group for such a surface is induced by an element of the extended mapping class group.
The coamoeba of any complex algebraic plane curve $V$ is its image in the real torus under the argument map. The area counted with multiplicity of the coamoeba of any algebraic curve in $(\mathbb{C}^*)^2$ is bounded in terms of the degree of the curve. We show in this Note that up to multiplication by a constant in $(\mathbb{C}^*)^2$, the complex algebraic plane curves whose coamoebas are of maximal area (counted with multiplicity) are defined over $\mathbb{R}$, and their real loci are Harnack curves possibly with ordinary real isolated double points (c.f. \cite{MR-00}). In addition, we charac…
