On the local connectivity of limit sets of Kleinian groups
|
|
- Giles Phelps
- 5 years ago
- Views:
Transcription
1 On the local connectivity of limit sets of Kleinian groups James W. Anderson and Bernard Maskit Department of Mathematics, Rice University, Houston, TX Department of Mathematics, SUNY at Stony Brook, Stony Brook, NY Abstract AMS no. 30F40 The main result here is the fact that the limit set of a geometrically finite Kleinian group with connected limit set is locally connected. For an analytically finite Kleinian group with connected limit set, we give necessary and sufficient conditions for the limit set to be locally connected. 1 Introduction The purpose of this note is to fill a gap in the current literature by providing a proof of the fact that the limit set of a geometrically finite Kleinian group with connected limit set is locally connected (Corollary 3.3). We actually prove a bit more; we give a necessary and sufficient condition for the limit set of an analytically finite Kleinian group with connected limit set to be locally connected. The condition is that the limit set of every degenerate structure subgroup must be locally connected. For an analytically finite Kleinian group a structure subgroup is a maximal subgroup of the stabilizer of a component of the set of discontinuity, where this subgroup, as a Kleinian group, has a simply connected invariant component on which it acts without accidental parabolic elements. A finitely generated Kleinian group is degenerate if its set of discontinuity is connected, simply-connected and hyperbolic. We do not consider the difficult, and mostly unresolved, conjecture that the limit set of a degenerate group is locally connected; we do show that this conjecture is the only obstacle to locally connectivity of the limit set of a general analytically finite Kleinian group with connected limit set. A survey of the consequences of a positive resolution of this conjecture is given in Abikoff [1]. In particular, there are strong connections with Thurston s ending lamination conjecture. It has been shown by Cannon and Thurston [5] and by Minsky [10] that certain classes of degenerate groups have locally connected limit set. Roughly speaking, Cannon and Thurston consider those degenerate groups which arise from pseudo-anosov homeomorphisms of a surface, while Minsky Research supported in part by NSF Grant
2 considers those for which there is a lower bound on the injectivity radius of the corresponding hyperbolic 3-manifold. The authors wish to thank Curt McMullen for bringing this gap in the literature to our attention and for several important suggestions. McMullen has also sketched a similar proof (see [9]), based in part on the work of Floyd [6]. We also thank him for pointing out (oral communication) that there is a closely related result in the theory of rational maps proved by Tan and Yin [12]. Basic Definitions A Kleinian group is a discrete subgroup of PSL 2 (C), which can be viewed as acting either on hyperbolic 3-space H 3 via isometries or on the Riemann sphere C via Möbius transformations. The action of Γ partitions C into two sets. The domain of discontinuity Ω(Γ) is the largest open subset of C on which Γ acts properly discontinuously. Its complement, the limit set Λ(Γ), is the smallest non-empty closed subset of C which is invariant under the action of Γ. If Λ(Γ) contains at least three points, we say Γ is non-elementary. In this case, the universal cover of any component of Ω(Γ) is the upper half plane H 2, and the stabilizer st Γ ( ) = {γ Γ γ( ) = } of in Γ lifts to a group Φ of isometries of H 2. Hence, the Poincaré metric on H 2 descends to a complete metric of curvature 1 on and on /st Γ ( ). Say that Γ is analytically finite if Ω(Γ)/Γ has finite area in this metric; in particular, Ω(Γ)/Γ is the union of finitely many Riemann surfaces, each of which is a compact surface with a finite number of punctures. Ahlfors finiteness theorem [3] states that every finitely generated Kleinian group is analytically finite. There are several classes of Kleinian groups which are of special interest. A quasifuchsian group is a finitely generated Kleinian group Γ whose limit set Λ(Γ) is a Jordan curve, such that no element of Γ interchanges the components of C Λ(Γ). A degenerate group is a non-elementary finitely generated Kleinian group Γ whose domain of discontinuity Ω(Γ) and limit set Λ(Γ) are both nonempty and connected. A function group is a Kleinian group Γ whose domain of discontinuity Ω(Γ) contains a component that is invariant under the action of Γ. A B-group is a function group for which the invariant component is simply-connected; equivalently, a B-group is a function group with connected limit set. Quasifuchsian groups and degenerate groups are examples of B-groups. A Kleinian group is geometrically finite if there exists a finite sided fundamental polyhedron for its action on H 3. For a detailed discussion of equivalent formulations of geometric finiteness, see [4]. By way of example, quasifuchsian groups are geometrically finite, while degenerate groups are not. 2 B-groups In this section, we show that a finitely generated B-group has locally connected limit set if and only if each of its degenerate structure subgroups has locally connected limit set. The main tools we use 2
3 are a decomposition of function groups due to Maskit and a characterization of local connectivity that can be found in Whyburn [13]. We start with a description of the decomposition for a B- group; a more detailed treatment, for the more general case of a function group, can be found in chapters IX and X of [8]. Let Γ be an analytically finite B-group, and let be an invariant component of Ω(Γ). Since Γ is analytically finite, the stabilizer of in Γ is finitely generated; also, since Λ(Γ) is connected, is necessarily simply connected. Note that is unique unless Γ is quasifuchsian, in which case there are two choices, either of which does equally well. A Riemann map ϕ : H 2 conjugates the action of Γ on to the action of a Fuchsian group Φ = ϕ Γ ϕ 1 on H 2. A parabolic element ξ Γ is accidental if the corresponding element ϕ ξ ϕ 1 Φ is hyperbolic. In this case, let l be the (hyperbolic) line in H 2 invariant under ϕ ξ ϕ 1 (that is, l is the axis of ϕ ξ ϕ 1 ), and define the axis of ξ to be a = ϕ 1 (l). Let ξ be an accidental parabolic element of Γ, acting on, with axis a, and consider the full axis A = a fix(ξ). Then A is a Jordan curve that is precisely invariant under st Γ (A) in Γ; that is, A is invariant under the action of the subgroup st Γ (A) and γ(a) is disjoint from A for every element γ Γ st Γ (A). The only possibilities for the subgroup st Γ (A) are that it is parabolic cyclic, or that it is a Z 2 -extension of a parabolic cyclic group; in the latter case, there are fixed points of elliptic elements of order 2 on A. The full axes of accidental parabolic elements of Γ are called structure loops. Since Γ is analytically finite, there are only finitely many inequivalent structure loops, and any two distinct structure loops are disjoint. Further, for any one structure loop A, the spherical diameters of any sequence of distinct translates of A go to zero, and so it follows that the spherical diameters of any sequence of distinct structure loops go to zero. In general, a function group contains multiple different accidental parabolics. Let ξ 1,..., ξ p be a maximal collection of primitive accidental parabolic elements of Γ that generate non-conjugate cyclic subgroups, and let A j be the full axis of ξ j. Normalize so that and so that does not lie on any structure loop. Then each structure loop A has a well-defined inside and outside, where the inside is the bounded component of C A and the outside contains. The components of the complement of the union of the structure loops are the panels of Γ; the stabilizers of the panels are the structure subgroups of Γ. The crucial properties of this decomposition are as follows. There are only finitely many conjugacy classes of structure subgroups in Γ, and each structure subgroup either is quasifuchsian or is degenerate without accidental parabolics; in particular, the structure subgroups are finitely generated. The closure of each panel contains the limit set of its stabilizer (the corresponding structure subgroup) in fact, for each panel R, Λ(Γ) R = Λ(st Γ (R)). If x Λ(Γ) is not a limit point of any structure subgroup, then x is the limit of a nested sequence of translates of some A j. Finally, for any two distinct panels, P 1 and P 2, either their closures are disjoint and separated by a structure loop, or their closures intersect in a structure loop which lies on the boundary of each. Proposition 2.1 Let Γ be an analytically finite B-group. Then, Γ has locally connected limit set 3
4 if and only if the limit set of every degenerate structure subgroup is locally connected. set. Proof We suppose first that every degenerate structure subgroup has locally connected limit We have already noted that every structure subgroup is either quasifuchsian or degenerate. Since the limit set of a quasifuchsian group is a Jordan curve, it is connected and locally connected. Hence our hypothesis implies that every structure subgroup has locally connected limit set. We recall the following. A set X has property S if, for each ε > 0, X is the union of a finite number of connected sets, each having diameter less than ε. It is well known ([13], p. 23) that a continuum X is locally connected if and only if X has property S. Let ε > 0 be given. Normalize Γ so that and so that does not lie on any structure loop. Since the diameters of any sequence of distinct structure loops go to zero, there are only finitely many structure loops whose diameter is greater than any given number. Hence, there are a finite number of structure loops, call them B 1,..., B s, whose diameter is greater than 1 4 ε. Since there are only finitely many B i, there are only finitely many panels which contain at least one of the B i in their boundary. Call these panels R 1,..., R t. Each R j has diameter at least 1 4 ε and, except for the finitely many B i on its boundary, each structure loop on the boundary of each R j has diameter less than 1 4 ε. Among the remaining structure loops, let C 1,..., C n,... be the outside structure loops of diameter less than 1 4 ε; that is, no C i separates any C j from, and every structure loop of diameter less than 1 4 ε either is one of the C i or is separated from by some C i. Note that, by our choice of R 1,..., R t above, each C i lies on the boundary of some R j. For each i, let C i be the intersection of Λ(Γ) with the closed bounded disc in C determined by C i. Since each structure loop intersects Λ(Γ) in exactly one point, one easily sees that each C i is connected. We now have that ( t ) Λ(Γ) = Λ(Γ) R j. j=1 C i i=1 Since the limit set of each structure subgroup is connected and locally connected, for each j, the limit set Λ(st Γ (R j )) = Λ(Γ) R j of the stabilizer, st Γ (R j ), of R j is connected and locally connected. Since there are finitely many R j, we can find a finite number of connected subsets D 1,..., D m of Λ(Γ) so that each D k has diameter less than 1 4 ε and m t D k Λ(Γ) R j. k=1 j=1 Since every limit point of Γ either lies in the closure of some R j, or lies inside one of the C i, we can enlarge each of the D k by adjoining all the C i such that the parabolic fixed point on C i lies in D k. Call these new sets D k, k = 1,..., m. Since the C i are all disjoint and of diameter at most 1 4 ε, each D k has diameter less than ε. 4
5 We need to show that each D k is connected. Assume not. Then, there are two disjoint open sets in C, U and V, whose union contains D k. Since D k is connected, we can assume that D k U. Then, for every i, the parabolic fixed point on the boundary of C i is contained in U. Then, since C i is connected, C i U. Hence D k U. We have shown that Λ(Γ) can be written as a finite union of sets D k, each connected and of diameter less than ε. Hence, Λ(Γ) has property S, and so is locally connected. Now, suppose that Γ has locally connected limit set; we will show that Λ(Φ) is locally connected, where Φ is any structure subgroup of Γ. We start with the observation that, if x Λ(Γ) and x Λ(Φ), then there is a structure loop separating x from Λ(Φ). Since each structure loop intersects Λ(Γ) in a single point, it follows that X Λ(Φ) is connected whenever X is a connected subset of Λ(Γ). Since Λ(Γ) has property S, given ε > 0, we can write Λ(Γ) as the union Y 1 Y m, where each Y t is connected and has diameter at most ε; by taking closures, we may assume that each Y t is closed. Intersecting each Y t with Λ(Φ) gives a decomposition of Λ(Φ) as the union of finitely many connected sets of diameter at most ε. Hence, Λ(Φ) has property S, and hence is locally connected. 3 Analytically finite groups with connected limit set We now consider the general case of an analytically finite Kleinian group with connected limit set. An E-continuum is a plane continuum X such that, for every ε > 0, there are at most a finite number of complementary domains of X of diameter greater than ε. It is well known ([13], p. 113) that a plane continuum X is locally connected if and only if X satisfies the following two properties: (i) X is an E-continuum, and, (ii) for every complementary domain of X, is locally connected. If Γ is an analytically finite Kleinian group with connected limit set, then every component of Ω(Γ) is simply connected; it is well known and easy to see that, since Γ is analytically finite, the stabilizer of any component of Ω(Γ) is a finitely generated B-group. Proposition 3.1 Let Γ be an analytically finite Kleinian group with connected limit set. Then Λ(Γ) is locally connected if and only if every component stabilizer of Γ has locally connected limit set. Proof It was shown by Maskit [7] that Λ(Γ) is an E-continuum for every analytically finite Kleinian group Γ with connected limit set. For an analytically finite group, the boundaries of the components are exactly the limit sets of the component stabilizers. For function groups, a structure subgroup is a maximal subgroup Φ of Γ which has a simply connected invariant component, contains no accidental parabolic elements, and contains every 5
6 parabolic element whose fixed point lies in its limit set Λ(Φ) (see [8], p. 268). A structure subgroup of a more general analytically finite Kleinian groups is a structure subgroup of a stabilizer of a component of Ω(Γ). For an analytically finite Kleinian group Γ, every component stabilizer is a finitely generated function group. Combining 3.1 with 2.1, we obtain the following. Theorem 3.2 Let Γ be an analytically finite Kleinian group with connected limit set. Then Λ(Γ) is locally connected if and only if every degenerate structure subgroup of Γ has locally connected limit set. Corollary 3.3 Let Γ be a geometrically finite Kleinian group with connected limit set. Then, Λ(Γ) is locally connected. Proof It was shown by Thurston (see [11]) that every component stabilizer of a geometrically finite Kleinian group is again geometrically finite. It is well known (see for example Maskit [8] p. 289) that every structure subgroup of a geometrically finite function group is either quasifuchsian or elementary; in particular, every structure subgroup has locally connected limit set. 4 Analytically finite groups We now consider an analytically finite Kleinian group Γ whose limit set is not necessarily connected. It follows from work of Abikoff and Maskit [2] that, for such a group Γ, there exists a finite collection Φ 1,..., Φ p of subgroups of Γ that are analytically finite and have connected limit set so that, if x Λ(Γ), then either x is a translate of a point of some Λ(Φ j ) or x is the limit of a nested sequence of translates of a Jordan curve c lying entirely in Ω(Γ). It follows that every connected component of Λ(Γ) is either the limit set of an analytically finite Kleinian group with connected limit set, or is a single point. These subgroups of Γ are unique up to conjugation in Γ; a structure subgroup of Γ is a structure subgroup of a conjugate of one of these subgroups, Φ i. Hence, we have the following. Corollary 4.1 Let Γ be an analytically finite Kleinian group. Every connected component of Λ(Γ) is locally connected if and only if every structure subgroup of Γ has locally connected limit set. Corollary 4.2 Every component of the limit set of a geometrically finite Kleinian group is locally connected. We close by noting that the construction given in Section VIII.A of [8] can easily be used to construct an infinitely generated Kleinian group whose limit set is connected but not locally connected. 6
7 References [1] W. Abikoff, Kleinian groups geometrically finite and geometrically perverse, in Geometry of Group Representations, ed. by Wm. M. Goldman and Andy R. Magid, Contemporary Mathematics, vol. 74, American Mathematical Society, Providence, RI, 1988, [2] W. Abikoff and B. Maskit, Geometric decomposition of Kleinian groups, Amer. J. Math. 99 (1977), [3] L. Ahlfors, Finitely generated Kleinian groups, Amer. J. Math. 86 (1964), [4] B. H. Bowditch, Geometrical finiteness for hyperbolic groups, J. Functional Analysis 113 (1993), [5] J. Cannon and W. P. Thurston, Group invariant Peano curves, preprint, [6] W. J. Floyd, Group completions and limit sets of Kleinian groups, Invent. Math. 57 (1980), [7] B. Maskit, Intersections of Component Subgroups of Kleinian Groups, in Discontinuous Groups and Riemann Surfaces, ed. by L. Greenberg, Annals of Mathematics Studies, no. 79, Princeton University Press, Princeton, 1974, [8] B. Maskit, Kleinian groups, Springer Verlag, New York, [9] C. McMullen, The classification of conformal dynamical systems, in Current Developments in Mathematics, 1995, International Press, to appear. [10] Y. Minsky, On rigidity, limit sets, and end invariants of hyperbolic 3-manifolds, J. Amer. Math. Soc. 7 (1994), [11] J.W. Morgan, On Thurston s uniformization theorem for three-dimensional manifolds, in The Smith Conjecture, ed. by J. Morgan and H. Bass, Academic Press, 1984, [12] L. Tan and Y. Yin, Local connectivity of the Julia set for geometrically finite rational maps, ENS Lyon preprint UMPA , [13] G. T. Whyburn, Analytic Topology, American Mathematical Society, Providence, RI,
676 JAMES W. ANDERSON
676 JAMES W. ANDERSON Such a limit set intersection theorem has been shown to hold under various hypotheses. Maskit [17] shows that it holds for pairs of analytically finite component subgroups of a Kleinian
More informationThe bumping set and the characteristic submanifold
The bumping set and the characteristic submanifold Abstract We show here that the Nielsen core of the bumping set of the domain of discontinuity of a Kleinian group Γ is the boundary for the characteristic
More informationThe topology of deformation spaces of Kleinian groups
Annals of Mathematics, 152 (2000), 693 741 The topology of deformation spaces of Kleinian groups By James W. Anderson, Richard D. Canary, and Darryl McCullough* Abstract Let M be a compact, hyperbolizable
More informationConformal measures associated to ends of hyperbolic n-manifolds
Conformal measures associated to ends of hyperbolic n-manifolds arxiv:math/0409582v2 [math.cv] 13 Jun 2005 James W. Anderson Kurt Falk Pekka Tukia February 1, 2008 Abstract Let Γ be a non-elementary Kleinian
More informationPRELIMINARY LECTURES ON KLEINIAN GROUPS
PRELIMINARY LECTURES ON KLEINIAN GROUPS KEN ICHI OHSHIKA In this two lectures, I shall present some backgrounds on Kleinian group theory, which, I hope, would be useful for understanding more advanced
More informationSystoles of hyperbolic 3-manifolds
Math. Proc. Camb. Phil. Soc. (2000), 128, 103 Printed in the United Kingdom 2000 Cambridge Philosophical Society 103 Systoles of hyperbolic 3-manifolds BY COLIN C. ADAMS Department of Mathematics, Williams
More informationKleinian groups Background
Kleinian groups Background Frederic Palesi Abstract We introduce basic notions about convex-cocompact actions on real rank one symmetric spaces. We focus mainly on the geometric interpretation as isometries
More informationLaminations on the circle and convergence groups
Topological and Homological Methods in Group Theory Bielefeld, 4 Apr. 2016 Laminations on the circle and convergence groups Hyungryul (Harry) Baik University of Bonn Motivations Why convergence groups?
More informationThe Skinning Map. 1 Motivation
The Skinning Map The skinning map σ is a particular self-map of the Teichmüller space T (Σ). It arises in the theory of geometrization of 3-manifolds. Let us start by understanding the geometrization of
More informationMöbius transformations Möbius transformations are simply the degree one rational maps of C: cz + d : C C. ad bc 0. a b. A = c d
Möbius transformations Möbius transformations are simply the degree one rational maps of C: where and Then σ A : z az + b cz + d : C C ad bc 0 ( ) a b A = c d A σ A : GL(2C) {Mobius transformations } is
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationSOME SPECIAL 2-GENERATOR KLEINIAN GROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 106, Number I, May 1989 SOME SPECIAL 2-GENERATOR KLEINIAN GROUPS BERNARD MASKIT (Communicated by Irwin Kra) Abstract. We explore the following question.
More informationTHE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF
THE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF D. D. LONG and A. W. REID Abstract We prove that the fundamental group of the double of the figure-eight knot exterior admits
More informationON KLEIN-MASKIT COMBINATION THEOREM IN SPACE I
Li, L., Ohshika, K. and Wang, X. Osaka J. Math. 46 (2009), 1097 1141 ON KLEIN-MASKIT COMBINATION THEOREM IN SPACE I LIULAN LI, KEN ICHI OHSHIKA and XIANTAO WANG (Received August 21, 2007, revised August
More informationInvariants of knots and 3-manifolds: Survey on 3-manifolds
Invariants of knots and 3-manifolds: Survey on 3-manifolds Wolfgang Lück Bonn Germany email wolfgang.lueck@him.uni-bonn.de http://131.220.77.52/lueck/ Bonn, 10. & 12. April 2018 Wolfgang Lück (MI, Bonn)
More informationABELIAN COVERINGS, POINCARÉ EXPONENT OF CONVERGENCE AND HOLOMORPHIC DEFORMATIONS
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 20, 1995, 81 86 ABELIAN COVERINGS, POINCARÉ EXPONENT OF CONVERGENCE AND HOLOMORPHIC DEFORMATIONS K. Astala and M. Zinsmeister University
More informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationConformal measures associated to ends of hyperbolic n-manifolds
Conformal measures associated to ends of hyperbolic n-manifolds James W. Anderson, Kurt Falk, Pekka Tukia version 2 June 2006 Abstract Let Γ be a non-elementary Kleinian group acting on the closed n-dimensional
More informationAction of mapping class group on extended Bers slice
Action of mapping class group on extended Bers slice (Kentaro Ito) 1 Introduction Let S be an oriented closed surface of genus g 2. Put V (S) = Hom(π 1 (S), PSL 2 (C))/PSL 2 (C). Let X be an element of
More informationQUASICONFORMAL HOMOGENEITY OF HYPERBOLIC MANIFOLDS
QUASICONFORMAL HOMOGENEITY OF HYPERBOLIC MANIFOLDS PETRA BONFERT-TAYLOR, RICHARD D. CANARY, GAVEN MARTIN, AND EDWARD TAYLOR Abstract. We exhibit strong constraints on the geometry and topology of a uniformly
More informationTrace fields of knots
JT Lyczak, February 2016 Trace fields of knots These are the knotes from the seminar on knot theory in Leiden in the spring of 2016 The website and all the knotes for this seminar can be found at http://pubmathleidenunivnl/
More informationKLEINIAN GROUPS AND HOLOMORPHIC DYNAMICS
International Journal of Bifurcation and Chaos, Vol. 3, No. 7 (2003) 959 967 c World Scientific Publishing Company KLEINIAN GROUPS AND HOLOMORPHIC DYNAMICS C. CORREIA RAMOS Departamento de Matemática and
More information6 6 DISCRETE GROUPS. 6.1 Discontinuous Group Actions
6 6 DISCRETE GROUPS 6.1 Discontinuous Group Actions Let G be a subgroup of Möb(D). This group acts discontinuously on D if, for every compact subset K of D, the set {T G : T (K) K } is finite. Proposition
More informationDOMAINS OF DISCONTINUITY FOR ALMOST-FUCHSIAN GROUPS
DOMAINS OF DISCONTINUITY FOR ALMOST-FUCHSIAN GROUPS ANDREW SANDERS Abstract. An almost-fuchsian group Γ < Isom + (H 3 ) is a quasi-fuchsian group such that the quotient hyperbolic manifold H 3 /Γ contains
More informationGEODESIC PLANES IN GEOMETRICALLY FINITE MANIFOLDS OSAMA KHALIL
GEODESIC PLANES IN GEOMETRICALLY FINITE MANIFOLDS OSAMA KHALIL Abstract. We study the problem of rigidity of closures of totally geodesic plane immersions in geometrically finite manifolds containing rank
More informationSOME REMARKS ON NON-DISCRETE MÖBIUS GROUPS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 21, 1996, 69 79 SOME REMARKS ON NON-DISCRETE MÖBIUS GROUPS A. F. Beardon University of Cambridge, Department of Pure Mathematics and Mathematical
More informationFree Kleinian groups and volumes of hyperbolic 3-manifolds
Free Kleinian groups and volumes of hyperbolic 3-manifolds James W. Anderson, Richard D. Canary, Marc Culler, and Peter B. Shalen October 1, 2003 1 Introduction The central result of this paper, Theorem
More informationarxiv: v4 [math.gt] 9 Oct 2017
ON LAMINAR GROUPS, TITS ALTERNATIVES, AND CONVERGENCE GROUP ACTIONS ON S 2 JUAN ALONSO, HYUNGRYUL BAIK, AND ERIC SAMPERTON arxiv:1411.3532v4 [math.gt] 9 Oct 2017 ABSTRACT. Following previous work of the
More informationBending deformation of quasi-fuchsian groups
Bending deformation of quasi-fuchsian groups Yuichi Kabaya (Osaka University) Meiji University, 30 Nov 2013 1 Outline The shape of the set of discrete faithful representations in the character variety
More informationFree Kleinian groups and volumes of hyperbolic 3-manifolds
Free Kleinian groups and volumes of hyperbolic 3-manifolds James W. Anderson, Richard D. Canary, Marc Culler, and Peter B. Shalen November 30, 2003 1 Introduction The central result of this paper, Theorem
More informationCUBO A Mathematical Journal Vol.19, N ō 03, (69 77). October 2017
CUBO A Mathematical Journal Vol.19, N ō 03, (69 77). October 2017 Totally Degenerate Extended Kleinian Groups Rubén A. Hidalgo 1 Departamento de Matemática y Estadística Universidad de La Frontera, Temuco,
More informationRigidity of Teichmüller curves
Rigidity of Teichmüller curves Curtis T. McMullen 11 September, 2008 Let f : V M g be a holomorphic map from a Riemann surface of finite hyperbolic volume to the moduli space of compact Riemann surfaces
More informationTHE LENGTH OF UNKNOTTING TUNNELS
THE LENGTH OF UNKNOTTING TUNNELS DARYL COOPER, MARC LACKENBY, AND JESSICA S. PURCELL Abstract. We show there exist tunnel number one hyperbolic 3 manifolds with arbitrarily long unknotting tunnel. This
More informationPart II. Geometry and Groups. Year
Part II Year 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2014 Paper 4, Section I 3F 49 Define the limit set Λ(G) of a Kleinian group G. Assuming that G has no finite orbit in H 3 S 2, and that Λ(G),
More informationBounding the bending of a hyperbolic 3-manifold
Bounding the bending of a hyperbolic 3-manifold Martin Bridgeman and Richard D Canary June 7, 2003 Abstract In this paper we obtain bounds on the total bending of the boundary of the convex core of a hyperbolic
More informationHYPERBOLIC 3-MANIFOLDS AND KLEINIAN GROUPS AT THE CROSSROADS
HYPERBOLIC 3-MANIFOLDS AND KLEINIAN GROUPS AT THE CROSSROADS KEN ICHI OHSHIKA Dedicated to Professor Yukio Matsumoto on the occasion of his sixtieth birthday 1. Introduction By virtue of recent work of
More informationFuchsian groups. 2.1 Definitions and discreteness
2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this
More informationarxiv: v1 [math.dg] 28 Jun 2008
Limit Surfaces of Riemann Examples David Hoffman, Wayne Rossman arxiv:0806.467v [math.dg] 28 Jun 2008 Introduction The only connected minimal surfaces foliated by circles and lines are domains on one of
More information3-manifolds and their groups
3-manifolds and their groups Dale Rolfsen University of British Columbia Marseille, September 2010 Dale Rolfsen (2010) 3-manifolds and their groups Marseille, September 2010 1 / 31 3-manifolds and their
More informationAffine Geometry and Hyperbolic Geometry
Affine Geometry and Hyperbolic Geometry William Goldman University of Maryland Lie Groups: Dynamics, Rigidity, Arithmetic A conference in honor of Gregory Margulis s 60th birthday February 24, 2006 Discrete
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationEquivalent trace sets for arithmetic Fuchsian groups
Equivalent trace sets for arithmetic Fuchsian groups Grant S Lakeland December 30 013 Abstract We show that the modular group has an infinite family of finite index subgroups each of which has the same
More informationThe Geometrization Theorem
The Geometrization Theorem Matthew D. Brown Wednesday, December 19, 2012 In this paper, we discuss the Geometrization Theorem, formerly Thurston s Geometrization Conjecture, which is essentially the statement
More informationFINITELY GENERATED SUBGROUPS OF LATTICES IN PSL 2 C
FINITELY GENERATED SUBGROUPS OF LATTICES IN PSL 2 C YAIR GLASNER, JUAN SOUTO, AND PETER STORM Abstract. Let Γ be a lattice in PSL 2 (C). The pro-normal topology on Γ is defined by taking all cosets of
More informationRANDOM HOLOMORPHIC ITERATIONS AND DEGENERATE SUBDOMAINS OF THE UNIT DISK
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 RANDOM HOLOMORPHIC ITERATIONS AND DEGENERATE SUBDOMAINS OF THE UNIT DISK LINDA KEEN AND NIKOLA
More informationLERF, tameness and Simon s conjecture.
LERF, tameness and Simon s conjecture. D. D. Long & A. W. Reid November 18, 2003 Abstract This paper discusses applications of LERF to tame covers of certain hyperbolic 3-manifolds. For example, if M =
More informationA brief survey of the deformation theory of Kleinian groups
ISSN 1464-8997 (on line) 1464-8989 (printed) 23 Geometry & Topology Monographs Volume 1: The Epstein birthday schrift Pages 23 49 A brief survey of the deformation theory of Kleinian groups James W Anderson
More informationSOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS. 1. Introduction
SOME COUNTEREXAMPLES IN DYNAMICS OF RATIONAL SEMIGROUPS RICH STANKEWITZ, TOSHIYUKI SUGAWA, AND HIROKI SUMI Abstract. We give an example of two rational functions with non-equal Julia sets that generate
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationCommensurability between once-punctured torus groups and once-punctured Klein bottle groups
Hiroshima Math. J. 00 (0000), 1 34 Commensurability between once-punctured torus groups and once-punctured Klein bottle groups Mikio Furokawa (Received Xxx 00, 0000) Abstract. The once-punctured torus
More informationSide parameter for the torus with a single cone point
Side parameter for the torus with a single cone point Hirotaka Akiyoshi Osaka City University A Satellite Conference of Seoul ICM 2014 Knots and Low Dimensional Manifolds Aug 22, 2014 BEXCO Convention
More information1.3 Group Actions. Exercise Prove that a CAT(1) piecewise spherical simplicial complex is metrically flag.
Exercise 1.2.6. Prove that a CAT(1) piecewise spherical simplicial complex is metrically flag. 1.3 Group Actions Definition 1.3.1. Let X be a metric space, and let λ : X X be an isometry. The displacement
More informationON THE MARGULIS CONSTANT FOR KLEINIAN GROUPS, I
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 21, 1996, 439 462 ON THE MARGULIS CONSTANT FOR KLEINIAN GROUPS, I F.W. Gehring and G.J. Martin University of Michigan, Department of Mathematics
More informationGeometric structures on the Figure Eight Knot Complement. ICERM Workshop
Figure Eight Knot Institut Fourier - Grenoble Sep 16, 2013 Various pictures of 4 1 : K = figure eight The complete (real) hyperbolic structure M = S 3 \ K carries a complete hyperbolic metric M can be
More informationMapping Class Groups MSRI, Fall 2007 Day 8, October 25
Mapping Class Groups MSRI, Fall 2007 Day 8, October 25 November 26, 2007 Reducible mapping classes Review terminology: An essential curve γ on S is a simple closed curve γ such that: no component of S
More informationElliptic modular transformations on. Teichmuller spaces and moduli space. 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2010), B17: 1-20
Elliptic modular transformations on Titleasymptotic Teichmuller spaces (Infi Teichmuller spaces and moduli space Author(s) FUJIKAWA, Ege Citation 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2010), B17: 1-20 Issue
More informationarxiv:math/ v1 [math.gt] 15 Aug 2003
arxiv:math/0308147v1 [math.gt] 15 Aug 2003 CIRCLE PACKINGS ON SURFACES WITH PROJECTIVE STRUCTURES AND UNIFORMIZATION SADAYOSHI KOJIMA, SHIGERU MIZUSHIMA, AND SER PEOW TAN Abstract. Let Σ g be a closed
More informationHyperbolic geometry of Riemann surfaces
3 Hyperbolic geometry of Riemann surfaces By Theorem 1.8.8, all hyperbolic Riemann surfaces inherit the geometry of the hyperbolic plane. How this geometry interacts with the topology of a Riemann surface
More informationRELATIVE CUBULATIONS AND GROUPS WITH A 2 SPHERE BOUNDARY
RELATIVE CUBULATIONS AND GROUPS WITH A 2 SPHERE BOUNDARY EDUARD EINSTEIN AND DANIEL GROVES ABSTRACT. We introduce a new kind of action of a relatively hyperbolic group on a CAT(0) cube complex, called
More informationDiscrete groups and the thick thin decomposition
CHAPTER 5 Discrete groups and the thick thin decomposition Suppose we have a complete hyperbolic structure on an orientable 3-manifold. Then the developing map D : M H 3 is a covering map, by theorem 3.19.
More informationarxiv: v2 [math.ds] 9 Jun 2013
SHAPES OF POLYNOMIAL JULIA SETS KATHRYN A. LINDSEY arxiv:209.043v2 [math.ds] 9 Jun 203 Abstract. Any Jordan curve in the complex plane can be approximated arbitrarily well in the Hausdorff topology by
More informationRandom Geodesics. Martin Bridgeman Boston College. n 1 denote the sphere at infinity. A Kleinian
Random Geodesics Martin Bridgeman Boston College 1 Background Let H n be n-dimensional hyperbolic space and let S n 1 denote the sphere at infinity. A Kleinian group is a discrete subgroup Γ of the group
More informationOn bisectors in Minkowski normed space.
On bisectors in Minkowski normed space. Á.G.Horváth Department of Geometry, Technical University of Budapest, H-1521 Budapest, Hungary November 6, 1997 Abstract In this paper we discuss the concept of
More informationA TALE OF TWO CONFORMALLY INVARIANT METRICS
A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic
More informationPlumbing Constructions in Quasifuchsian Space.
Plumbing Constructions in Quasifuchsian Space. Sara Maloni University of Warwick, University of Toulouse August 8, 2012 Table of content 1 Dehn Thurston coordinates 2 Maskit embedding and pleating ray
More informationAn obstruction to the strong relative hyperbolicity of a group
An obstruction to the strong relative hyperbolicity of a group James W. Anderson, Javier Aramayona and Kenneth J. Shackleton 25 December, 2006 Abstract We give a simple combinatorial criterion for a group
More informationIntroduction to Poincare Conjecture and the Hamilton-Perelman program
Introduction to Poincare Conjecture and the Hamilton-Perelman program David Glickenstein Math 538, Spring 2009 January 20, 2009 1 Introduction This lecture is mostly taken from Tao s lecture 2. In this
More informationarxiv:math/ v2 [math.gt] 11 May 2004
arxiv:math/0404227v2 [math.gt] 11 May 2004 A CHARACTERIZATION OF SHORT CURVES OF A TEICHMÜLLER GEODESIC KASRA RAFI Abstract. We provide a combinatorial condition characterizing curves that are short along
More informationINDUCED QUASI-ACTIONS: A REMARK. 1. Introduction
INDUCED QUASI-ACTIONS: A REMARK BRUCE KLEINER AND BERNHARD LEEB 1. Introduction In this note we observe that the notion of an induced representation has an analog for quasi-actions, and give some applications.
More informationKLEINIAN GROUPS IN HIGHER DIMENSIONS. To the memory of Sasha Reznikov
KLEINIAN GROUPS IN HIGHER DIMENSIONS MICHAEL KAPOVICH Abstract. This is a survey of higher-dimensional Kleinian groups, i.e., discrete isometry groups of the hyperbolic n-space H n for n 4. Our main emphasis
More informationDISCRETENESS CRITERIA AND THE HYPERBOLIC GEOMETRY OF PALINDROMES
DISCRETENESS CRITERIA AND THE HYPERBOLIC GEOMETRY OF PALINDROMES JANE GILMAN AND LINDA KEEN Abstract. We consider non-elementary representations of two generator free groups in P SL(2, C), not necessarily
More informationE. Falbel and P.-V. Koseleff
Mathematical Research Letters 9, 379 391 (2002) A CIRCLE OF MODULAR GROUPS IN PU(2,1) E. Falbel and P.-V. Koseleff Abstract. We prove that there exists a circle of discrete and faithful embeddings of the
More informationHyperbolicity of mapping-torus groups and spaces
Hyperbolicity of mapping-torus groups and spaces François Gautero e-mail: Francois.Gautero@math.unige.ch Université de Genève Section de Mathématiques 2-4 rue du Lièvre, CP 240 1211 Genève Suisse July
More informationSlicing, skinning, and grafting
Slicing, skinning, and grafting David Dumas and Richard P. Kent IV May 8, 2007 Let M be a compact manifold with boundary. If M is connected, let X C (M) be the SL 2 (C) character variety of M. If not,
More informationFibrations of 3-manifolds and nowhere continuous functions
Fibrations of 3-manifolds and nowhere continuous functions Balázs Strenner Georgia Institute of Technology Geometric Topology Seminar Columbia University October 5, 2018 Calculus exercise 1 Calculus exercise
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationTHE MAPPING CLASS GROUP AND A THEOREM OF MASUR-WOLF
THE MAPPING CLASS GROUP AND A THEOREM OF MASUR-WOLF JOHN D. MCCARTHY AND ATHANASE PAPADOPOULOS Abstract. In [M-W], Masur and Wolf proved that the Teichmüller space of genus g > 1 surfaces with the Teichmüller
More informationESSENTIAL CLOSED SURFACES IN BOUNDED 3-MANIFOLDS
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 10, Number 3, July 1997, Pages 553 563 S 0894-0347(97)00236-1 ESSENTIAL CLOSED SURFACES IN BOUNDED 3-MANIFOLDS D. COOPER, D. D. LONG, AND A. W. REID
More information(x, y) = d(x, y) = x y.
1 Euclidean geometry 1.1 Euclidean space Our story begins with a geometry which will be familiar to all readers, namely the geometry of Euclidean space. In this first chapter we study the Euclidean distance
More informationA Crash Course on Kleinian Groups
Rend. Istit. Mat. Univ. Trieste Vol. XXXVII, 1 38 (2005) A Crash Course on Kleinian Groups Caroline Series ( ) Summary. - These notes formed part of the ICTP summer school on Geometry and Topology of 3-manifolds
More informationarxiv:math/ v2 [math.gt] 5 Sep 2006
arxiv:math/0609099v2 [math.gt] 5 Sep 2006 PROPERLY EMBEDDED LEAST AREA PLANES IN GROMOV HYPERBOLIC 3-SPACES BARIS COSKUNUZER ABSTRACT. Let X be a Gromov hyperbolic 3-space with cocompact metric, and S
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationHYPERBOLIC GEOMETRY AND HEEGAARD SPLITTINGS
HYPERBOLIC GEOMETRY AND HEEGAARD SPLITTINGS TALK GIVEN BY HOSSEIN NAMAZI 1. Preliminary Remarks The lecture is based on joint work with J. Brock, Y. Minsky and J. Souto. Example. Suppose H + and H are
More informationThe Classification of Nonsimple Algebraic Tangles
The Classification of Nonsimple Algebraic Tangles Ying-Qing Wu 1 A tangle is a pair (B, T ), where B is a 3-ball, T is a pair of properly embedded arcs. When there is no ambiguity we will simply say that
More informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
More informationThe Geometry of Two Generator Groups: Hyperelliptic Handlebodies
The Geometry of Two Generator Groups: Hyperelliptic Handlebodies Jane Gilman (gilman@andromeda.rutgers.edu) Department of Mathematics, Smith Hall Rutgers University, Newark, NJ 07102, USA Linda Keen (linda.keen@lehman.cuny.edu)
More informationWe will outline two proofs of the main theorem:
Chapter 4 Higher Genus Surfaces 4.1 The Main Result We will outline two proofs of the main theorem: Theorem 4.1.1. Let Σ be a closed oriented surface of genus g > 1. Then every homotopy class of homeomorphisms
More informationMAPPING CLASS ACTIONS ON MODULI SPACES. Int. J. Pure Appl. Math 9 (2003),
MAPPING CLASS ACTIONS ON MODULI SPACES RICHARD J. BROWN Abstract. It is known that the mapping class group of a compact surface S, MCG(S), acts ergodically with respect to symplectic measure on each symplectic
More informationJunior Seminar: Hyperbolic Geometry Lecture Notes
Junior Seminar: Hyperbolic Geometry Lecture Notes Tim Campion January 20, 2010 1 Motivation Our first construction is very similar in spirit to an analogous one in Euclidean space. The group of isometries
More informationRational Maps and Kleinian Groups
Rational Maps and Kleinian Groups The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters. Citation Accessed Citable Link Terms of Use
More informationRENORMALIZED VOLUME AND THE VOLUME OF THE CONVEX CORE
RENORMALIZED VOLUME AND THE VOLUME OF THE CONVEX CORE MARTIN BRIDGEMAN AND RICHARD D. CANARY Abstract. We obtain upper and lower bounds on the difference between the renormalized volume and the volume
More informationThe Geometry of Two Generator Groups: Hyperelliptic Handlebodies
The Geometry of Two Generator Groups: Hyperelliptic Handlebodies Jand Gilman (gilman@andromeda.rutgers.edu) Department of Mathematics, Smith Hall Rutgers University, Newark, NJ 07102, USA Linda Keen (linda@lehman.cuny.edu)
More informationSPHERES IN THE CURVE COMPLEX
SPHERES IN THE CURVE COMPLEX SPENCER DOWDALL, MOON DUCHIN, AND HOWARD MASUR 1. Introduction The curve graph (or curve complex) C(S) associated to a surface S of finite type is a locally infinite combinatorial
More informationTotally Marked Rational Maps. John Milnor. Stony Brook University. ICERM, April 20, 2012 [ ANNOTATED VERSION]
Totally Marked Rational Maps John Milnor Stony Brook University ICERM, April 20, 2012 [ ANNOTATED VERSION] Rational maps of degree d 2. (Mostly d = 2.) Let K be an algebraically closed field of characteristic
More informationThe classification of conformal dynamical systems
The classification of conformal dynamical systems Curtis T. McMullen University of California, Berkeley CA 94720 30 October, 1995 1 Introduction Consider the group generated by reflections in a finite
More informationSURGERY ON A KNOT IN SURFACE I
SURGERY ON A KNOT IN SURFACE I MARTIN SCHARLEMANN AND ABIGAIL THOMPSON Abstract. Suppose F is a compact orientable surface, K is a knot in F I, and (F I) surg is the 3-manifold obtained by some non-trivial
More informationDISCRETENESS CRITERIA AND THE HYPERBOLIC GEOMETRY OF PALINDROMES
CONFORMAL GEOMETRY AND DYNAMICS An Electronic Journal of the American Mathematical Society Volume 00, Pages 000 000 (Xxxx XX, XXXX) S 1088-4173(XX)0000-0 DISCRETENESS CRITERIA AND THE HYPERBOLIC GEOMETRY
More informationGEODESIC SYSTEMS OF TUNNELS IN HYPERBOLIC 3 MANIFOLDS
GEODESIC SYSTEMS OF TUNNELS IN HYPERBOLIC 3 MANIFOLDS STEPHAN D. BURTON AND JESSICA S. PURCELL Abstract. It is unknown whether an unknotting tunnel is always isotopic to a geodesic in a finite volume hyperbolic
More informationA FUCHSIAN GROUP PROOF OF THE HYPERELLIPTICITY OF RIEMANN SURFACES OF GENUS 2
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 69 74 A FUCHSIAN GROUP PROOF OF THE HYPERELLIPTICITY OF RIEMANN SURFACES OF GENUS 2 Yolanda Fuertes and Gabino González-Diez Universidad
More informationThe box-counting dimension for geometrically finite Kleinian groups
F U N D A M E N T A MATHEMATICAE 149 (1996) The box-counting dimension for geometrically finite Kleinian groups by B. S t r a t m a n n (Göttingen) and M. U r b a ń s k i (Denton, Tex.) Abstract. We calculate
More information