Hyperbolic Manifold H3

Total Page:16

File Type:pdf, Size:1020Kb

Hyperbolic Manifold H3 Cambridge University Press 978-1-107-11674-0 - Hyperbolic Manifolds: An Introduction in 2 and 3 Dimensions Albert Marden Index More information Index 2π Lemma, 359 Agol, Ian, xvii, xviii, 84, 114, 248, 252, H2, H3; hyperbolic 2D, 3D space, 12 293, 300, 358, 359, 363, 386, 389, (G); limit set of group G, 62 396, 405, 422 M(G); hyperbolic manifold Ahlfors, Lars, xiii, 17, 25, 42, 61, 77, 91, H3 ∪ (G)/G, 66 94, 96, 154, 186, 200, 204, 308, (G); discontinuity set of group G, 64 332, 336, 368, 456 δ-hyperbolic, δ-thinness, 109 Conjecture/Theorem, 184, 202, 295 λ-Lemma, 362 Finiteness Theorem, 64, 66, 115, 122, log(2k − 1) theorem on group actions, 192, 194, 234, 363 272, 439 Akiyoshi, Hirotaka, 144 algebraic convergence, 219 MCG(R); mapping class group of surface R, 91 algebraic surface, 77 Anderson, James, xvii, 81, 196, 209, R(G); representation space of group G, 238, 284, 285, 329, 347, 349, 416, 277 439 R (G); discreteness locus = AH(G), disc Andreev-Thurston Theorem, 10 279 annulus, 25 Teich(R); Teichmüller space of surface modulus of, 336 R, 87 Anosov mappings of tori, 340 T(R), T(G); quasifuchsian space, anti-Möbius transformation, 1, 44 surface R, group G, 280 Antonakoudis, Stergios, 381 Aougab, Terik, 103 Abikoff, William, 198 area absolute measure of length, 7 as a function of topology, 187 accidental parabolic, 198, 239 of disk, ball, 16 Accola, Robert D. M., 65 of tube boundary, 104 acylindrical manifold, 198, 239, 382 arithmetic kleinian group, 401 Adams, Colin, 191, 252 Arnoux, Pierre, 343 Adams, Scot, xviii Artin, Emil, 295 Agard, Steve, 96 Astala, Kari, 202 495 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-1-107-11674-0 - Hyperbolic Manifolds: An Introduction in 2 and 3 Dimensions Albert Marden Index More information 496 Index atoroidal manifold, 382 lamination, 170, 178, 179, 296, 302, automatic group, 111 366 automorphism lines, 172 Dehn twist, 322 measure, 169 iterated, 321 existence theorem, 178 discrete group on S1, 395 Benedetti, Riccardo, 250 extention from S1 to disk, 395 Bergeron, Nicolas, 386, 389 inner and outer, 283, 286, 353 Bers (analytic) boundary of a 3-manifold, 370 geometric limits, 321, 346 of fundamental group, 283 limit of iteration, 322 pseudo-Anosov, 322 locally connected case, 311 reducible, 322 Bers slice, 306 pseudo-Anosov, 322 Bers (analytic) boundary, 310, 353 automorphism of a surface, 371, see also extended, 308, 413 Dehn twist quasifuchsian locus, 413 extened, 415 Anosov maps on tori, 102 Bers, Lipman, 94, 145, 272, 281, 308, finite order, 92 310, 336, 369 Nielsen Realization Problem, 92 conjecture, see Density Conjecture Bessiéres, Laurent, 395 B-groups, 309 Besson, Gérard, 188, 395 Baba, Shinpei, 415 Bestvina, Mladen, 258, 259, 261, 354, Baba, Shipei, xviii 390 ball Betti number/rank of H (M3), 387 circumference, 17 1 Bianchi groups, 400 volume, 17 bilipschitz map, 201 ball, upper halfspace (UHS) models billiards, 116 formulas for ball model, 30 Biringer, Ian, 239, 334 Ballmann, Werner, 358 Birman, Joan, 160, 342 baseball, 11 Bishop, Christopher, 201, 202, 334 Basmajian, Ara, xviii, 217 Bleiler, Steven, 34, 80, 192, 358 Bass, Hyman, 383 Bobenko, Alexander, 10, 268 Beardon, Alan, 42, 133, 142, 145, 185, Boileau, Michel, 199, 395, 402, 403 199, 267, 444, 457 Bólyai, János, xvi Beltrami differential, 90, 288, 353, 368 Bonahon, Francis, xvii, 26, 158, 160, Beltrami, Eugenio, xvi 164, 165, 172, 178, 180, 195, 214, differential, 86 270, 282, 293, 295, 297, 298, 302, for finitely generated kleinian 316, 385, 407 group, 183 Criteria A and B, 292, 294, 310, 313, equation, 85, 86 357 Belyˇı functions, 117, 461 Bonk, Mario, 77 bending Borromean rings, 398, 399, 401 angle, 168 approximation of complement, 397 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-1-107-11674-0 - Hyperbolic Manifolds: An Introduction in 2 and 3 Dimensions Albert Marden Index More information Index 497 boundary 298–300, 303, 334, 337, 347, 349, groups, 309 354, 356–359, 363, 416, 439 parallel embedded surface, 333 Cannon Conjecture, 110 boundary component Cannon, James, 36, 38, 42, 110, 111, 199 compressible (indecomposible), 355 Cannon-Thurston mappings, 327 conformal, 73 a sufficient condition, 370 ideal, 76 degenerate Schottky groups, 332 incompressible, 151, 382 of kleinian groups, 330 bounded geometry, 303, 329 singly or doubly degenerated Bounded Image Theorem, 382 quasifuchsian groups, 330 Bowditch Cao, Chun, 251 manifold constant, 176 Cao, Jian Guo, 212 Carathéodory convergence, 233 Bowditch, Brian, xviii, 24, 75, 110, 176, Casson, Andrew, 34, 80, 341, 386, 395 184, 215, 279, 298, 300, 438 CAT(−1), 294 Bowers, Philip, 10, 268 CAT(0), 393 brain cortex, 268 Cauchy–Riemann equations, 85 branch cover, point, value, 68, 80 Cayley graph, 108 branch locus, 70 δ-thin, 109 Brendle, Tara, 92 dual to polyhedra tessellation, 143 Bridgeman, Martin, 174, 178, 198, 378 geodesic, 108 Bridson, Martin R., 294 Cayley–Hamilton identity, 425 Brin, Matthew, 358 census of manifolds, 393 Brock, Jeffrey, xi, xviii, 238, 239, 293, cerebral cortex, 268 299, 300, 302, 303, 305, 314, 316, character variety, 362 321, 322, 352, 353, 373, 390, 406, Chavel, Isaac, 262 416 Cheeger constant, 335 Bromberg, Kenneth, xviii, 50, 238, 239, Cheeger, Jeff, 34 287, 289, 293, 305, 310, 314, 373, Choi, Young-Eun, 179 406, 410, 411, 416 Chow, Bennett, 395 Brooks, Robert, xi, 117, 264, 440 circle packing, 10, 264, 413 Brunner, Andrew, 401 obtaining polyhedra, 268 bumping, 289, 416, 418, 419 circles self-bumping, 289, 310 euclidean and hyperbolic centers, 26 Burger, Marc, 253, 334 circumference of a disk, 16 Buser, Peter, 133, 456 closed manifold, 69 Button, Jack, 393 collapsing laminations, 329 collapsing map, 329, 339 Calegari, Daniel, 293, 300 Collar Lemma, 133, 456 Callahan, David, 393 combining groups, 152, 193 Canary, Richard, xviii, 11, 115, 158, commensurable groups, 196 160, 172, 173, 198, 201, 238, 279, commensurator of a group, 196 282, 285, 286, 288, 292–295, commutator, 2, 19 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-1-107-11674-0 - Hyperbolic Manifolds: An Introduction in 2 and 3 Dimensions Albert Marden Index More information 498 Index subgroup, 67 Möbius transformations, 2 compact core, 180, 197, 281, 284, 291, convergence, see also algebraic, 359, 435 geometric, Hausdorff relative compact core, 181, 281, 291 Carathéodory, 233 ends of manifold, 291, 357 Gromov-Hausdorff c. of metric companion knot/link, 396, 397 spaces, 259 complex length/distance, 431, 438, 441, of limit sets, 236 446 of simple loops, 163 between lines, 431 type, 203 complex probabilities, 47 convex cocompact group, 177 complex projective structure, 412 convex core, 115, 175, 177, 256, 279 grafting, 413 bending measure, 178, 179 monodromy (holonomy) group, 413 boundary, 178, 303, 338, 363 composition of Möbius t., 2 bounded embedded balls, 280 compressible/incompressible bounded thickness, 176 boundary component, 149 compact, 179 surface, 151 in H2, 211 compressible/incompressible surface, maximal cusp, 319 151 totally geodesic boundary, 377 compressing curve, 83 volume, 378 compressing disk, 151 convex hull, 167 compression body, 83, 194, 354 bending measure, 169 embedding in S3, 397 floor and dome, 169 computer software, see also Snap, in H2, 419 SnapPi, OPTi Cooper, Daryl, xviii, 199, 262, 360, 402 for Bers slices, 415 corner in manifold boundary, 420 for cyclic loxodromic groups, 245 coset graph, 354 Conder, Marston, 252 Coulson, David, 400 cone cover transformation, 68 angle/axis, 71, 254 covering surface manifold, 255, 256, 406 branched, 68, 69 point, 69, 71, 76, 80 normal, 68 conformal Covering Theorem, 292 averaging, 440 coverings of surfaces/3-manifolds boundary, 12, 73 normal coverings, 67 groups, 107 regular coverings, 67 map, 1, 77 Riemann surfaces, 67 metric, 85 topological branched coverings, 393 model, 8 Coxeter, H. M. S., 18 congruence subgroup, 96 critical exponent, 202 conical limit point, 184, 198, 199 cross ratio, 3, 5, 26, 35 conjugate and distances, angles, 25 groups, 55 convergence, 54 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-1-107-11674-0 - Hyperbolic Manifolds: An Introduction in 2 and 3 Dimensions Albert Marden Index More information Index 499 cube complex/hyperplanes, 393 degenerate group Culler, Marc, 66, 246, 258, 277, 288, compression body, 304 303, 354, 399, 439 doubly, 304, 310, 373, 401 curvature, see also under sectional partially, 313 Gaussian, 47 singly, 310, 313, 373 of arcs, 45 degenerate hexagon, 448 of circle, 46 degree of map to closed manifold, 393 of equidistant arc, 46 Dehn filling of equidistant surface, 47 exceptional slopes, 249 of horocycles, 45 on link complements, 398 sectional, 19 Dehn surgery, 248, 404 curve complex, 350 Dehn Surgery Theorem, 248, 404 arc complex, 352 Dehn twist, 91, 339, 343 disk complex, 352 fixed point, 342 pants complex, 352 iteration in T(R), 344 cusp, see also under maximal cusp surface automorphism, 339 cusp cylinders/cusp tori Definitions, variation of length, 120 125 Dehn’s Lemma, xiii density, 288 Dehn’s Lemma and Loop Theorem, 195 elimination, 359 applications, 151 on deformation space boundary, 287, equivariant, 150 313, 338 Dehn-Nielsen-Baer Theorem, 353 paired punctures, solid pairing tube Delaunay triangulation, 206 Definition, 125 Density Conjecture/Theorem, 290, 305, rank of, 145 310 solid cusp cylinders/solid cusp tori dessins d’enfants, 117, 461 Definitions, 125 developing map, 255,
Recommended publications
  • Hyperbolic Manifolds: an Introduction in 2 and 3 Dimensions Albert Marden Frontmatter More Information
    Cambridge University Press 978-1-107-11674-0 - Hyperbolic Manifolds: An Introduction in 2 and 3 Dimensions Albert Marden Frontmatter More information HYPERBOLIC MANIFOLDS An Introduction in 2 and 3 Dimensions Over the past three decades there has been a total revolution in the classic branch of mathematics called 3-dimensional topology, namely the discovery that most solid 3-dimensional shapes are hyperbolic 3-manifolds. This book introduces and explains hyperbolic geometry and hyperbolic 3- and 2-dimensional manifolds in the first two chapters, and then goes on to develop the subject. The author discusses the profound discoveries of the astonishing features of these 3-manifolds, helping the reader to understand them without going into long, detailed formal proofs. The book is heav- ily illustrated with pictures, mostly in color, that help explain the manifold properties described in the text. Each chapter ends with a set of Exercises and Explorations that both challenge the reader to prove assertions made in the text, and suggest fur- ther topics to explore that bring additional insight. There is an extensive index and bibliography. © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-1-107-11674-0 - Hyperbolic Manifolds: An Introduction in 2 and 3 Dimensions Albert Marden Frontmatter More information [Thurston’s Jewel (JB)(DD)] Thurston’s Jewel: Illustrated is the convex hull of the limit set of a kleinian group G associated with a hyperbolic manifold M(G) with a single, incompressible boundary component. The translucent convex hull is pictured lying over p. 8.43 of Thurston [1979a] where the theory behind the construction of such convex hulls was first formulated.
    [Show full text]
  • Bi-Lagrangian Structures and Teichmüller Theory Brice Loustau, Andrew Sanders
    Bi-Lagrangian structures and Teichmüller theory Brice Loustau, Andrew Sanders To cite this version: Brice Loustau, Andrew Sanders. Bi-Lagrangian structures and Teichmüller theory. 2017. hal- 01579284v3 HAL Id: hal-01579284 https://hal.archives-ouvertes.fr/hal-01579284v3 Preprint submitted on 23 Aug 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Bi-Lagrangian structures and Teichmüller theory Brice Loustau∗ and Andrew Sanders† Abstract In this paper, we review or introduce several differential structures on manifolds in the general setting of real and complex differential geometry, and apply this study to Teichmüller theory. We focus on bi-Lagrangian i.e. para-Kähler structures, which consist of a symplectic form and a pair of transverse Lagrangian foliations. We prove in particular that the complexification of a real-analytic Kähler manifold has a natural complex bi-Lagrangian structure. We then specialize to moduli spaces of geometric structures on closed surfaces, and show that old and new geometric features of these spaces are formal consequences of the general theory. We also gain clarity on several well-known results of Teichmüller theory by deriving them from pure differential geometric machinery.
    [Show full text]
  • Cusp Geometry of Fibered 3-Manifolds
    CUSP GEOMETRY OF FIBERED 3{MANIFOLDS DAVID FUTER AND SAUL SCHLEIMER Abstract. Let F be a surface and suppose that ': F ! F is a pseudo-Anosov homeomor- phism, fixing a puncture p of F . The mapping torus M = M' is hyperbolic and contains a maximal cusp C about the puncture p. We show that the area (and height) of the cusp torus @C is equal to the stable translation distance of ' acting on the arc complex A(F; p), up to an explicitly bounded multiplicative error. Our proof relies on elementary facts about the hyperbolic geometry of pleated sur- faces. In particular, the proof of this theorem does not use any deep results from Teichm¨uller theory, Kleinian group theory, or the coarse geometry of A(F; p). A similar result holds for quasi-Fuchsian manifolds N =∼ F × R. In that setting, we find a combinatorial estimate for the area (and height) of the cusp annulus in the convex core of N, up to explicitly bounded multiplicative and additive error. As an application, we show that covers of punctured surfaces induce quasi-isometric embeddings of arc complexes. 1. Introduction Following the work of Thurston, Mostow, and Prasad, it has been known for over three decades that almost every 3{manifold with torus boundary admits a hyperbolic structure [37], which is necessarily unique up to isometry [30, 33]. Thus, in principle, it is possible to trans- late combinatorial data about a 3{manifold into a detailed description of its geometry | and conversely, to use geometry to identify topological features. Indeed, given a triangulated manifold (up to over 100 tetrahedra) the computer program SnapPy can typically approxi- mate the manifold's hyperbolic metric to a high degree of precision [17].
    [Show full text]
  • Arxiv:2108.06059V1 [Math.GT] 13 Aug 2021 Ized Volume of Quasi-Fuchsian Manifolds
    COMPACTIFICATION AND DISTANCE ON TEICHMULLER¨ SPACE VIA RENORMALIZED VOLUME HIDETOSHI MASAI Abstract. We introduce a variant of horocompactification which takes \di- rections" into account. As an application, we construct a compactification of the Teichm¨ullerspaces via the renormalized volume of quasi-Fuchsian mani- folds. Although we observe that the renormalized volume itself does not give a distance, the compactification allows us to define a new distance on the Te- ichm¨ullerspace. We show that the translation length of pseudo-Anosov map- ping classes with respect to this new distance is precisely the hyperbolic volume of their mapping tori. A similar compactification via the Weil-Petersson metric is also discussed. 1. Introduction On an orientable closed surface S of genus ≥ 2, the space of complex structures has a one-to-one correspondence with the space of hyperbolic structures. Those complex or hyperbolic structures together with markings have the rich deformation space which is called the Teichm¨ullerspace, denoted T (S). Complex structures and hyperbolic structures reveal similar but different features of T (S). The Teichm¨uller (resp. Thurston) distance on T (S) is defined as a measurement of the deformation of complex (resp. hyperbolic) structures. Similarly, the Gardiner-Masur [GM91] (resp. Thurston [FLP79]) boundary is a boundary of T (S) constructed by regarding T (S) as the space of complex (resp. hyperbolic) structures. The theory of horoboundary, which is introduced by Gromov [Gro81], is a uni- versal method to compactify any given metric space. The horoboundary with re- spect to the Teichm¨ullerdistance and the Thurston distance is the Gardiner-Masur boundary [LS14] and the Thurston boundary [Wal14] respectively.
    [Show full text]
  • Thick-Skinned 3-Manifolds
    Thick–skinned 3–manifolds Richard P. Kent IV and Yair N. Minsky June 30, 2014 Abstract We show that if the totally geodesic boundary of a compact hyperbolic 3– manifold M has a collar of depth d 0, then the diameter of the skinning map of M is no more than Ae−d for some A depending only on the genus and injectivity radius of ¶M. Given a discrete group G, we equip Hom(G;PSL2(C)) with the compact–open topol- ogy. This induces a topology on the space Hom(G;PSL2(C))=PSL2(C) of conju- gacy classes of representations called the algebraic topology. If N is a connected 3–manifold, we let AH(N) ⊂ Hom(p1(N);PSL2(C))=PSL2(C) be the subset of conjugacy classes of discrete and faithful representations with the subspace topology. Each such conjugacy class corresponds to a hyperbolic structure on a 3–manifold homotopy equivalent to N. Let AH(N)◦ be the interior of AH(N). Let S be a closed connected oriented surface of negative Euler characteristic.∗ By ◦ work of Marden [14] and Sullivan [23], the space AH(S × R) equals the set QF(S) of convex cocompact, or quasifuchsian, hyperbolic structures on S × R. By the Simul- taneous Uniformization Theorem [3], the space QF(S) is naturally homeomorphic to the product of Teichmüller spaces T (S)×T (S). If (X;Y) is a point of T (S)×T (S), we let qf(X;Y) denote S × R with the corresponding convex cocompact hyperbolic structure. Let M be a compact hyperbolic 3–manifold with totally geodesic boundary home- omorphic to S.
    [Show full text]
  • Closed Minimal Surfaces in Cusped Hyperbolic Three-Manifolds
    CLOSED MINIMAL SURFACES IN CUSPED HYPERBOLIC THREE-MANIFOLDS ZHENG HUANG AND BIAO WANG Abstract. Motivated by classical theorems on minimal surface theory in compact hyperbolic 3-manifolds, we investigate the questions of existence and deformations for least area minimal surfaces in complete noncompact hyperbolic 3-manifold of fi- nite volume. We prove any closed immersed incompressible surface can be deformed to a closed immersed least area surface within its homotopy class in any cusped hy- perbolic 3-manifold. Our techniques highlight how special structures of these cusped hyperbolic 3-manifolds prevent any least area minimal surface going too deep into the cusped region. 1. Introduction 1.1. Minimal surfaces in hyperbolic 3-manifolds. Minimal surfaces are funda- mental objects in geometry. In 3-manifold theory, the existence and multiplicity of minimal surfaces often offer important geometrical insight into the structure of the ambient 3-manifold (see for instance [Rub05, Mee06]), they also have important ap- plications in Teichm¨ullertheory, Lorentzian geometry and many other mathematical fields (see for example [Rub07, KS07]). By Thurston's geometrization theory, the most common geometry in a 3-manifold is hyperbolic ([Thu80]), and this paper is a part of a larger goal of studying closed incompressible minimal surfaces in hyperbolic 3-manifolds. Before we state our main result, we briefly motivate our effort by making some his- toric notes on minimal surface theory in three different types of hyperbolic 3-manifolds, namely, compact hyperbolic
    [Show full text]
  • The Complex Symplectic Geometry of the Deformation Space of Complex Projective Structures Brice Loustau
    The complex symplectic geometry of the deformation space of complex projective structures Brice Loustau To cite this version: Brice Loustau. The complex symplectic geometry of the deformation space of complex projective structures. 2016. hal-01275182 HAL Id: hal-01275182 https://hal.archives-ouvertes.fr/hal-01275182 Preprint submitted on 17 Feb 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. The complex symplectic geometry of the deformation space of complex projective structures Brice Loustau This article investigates the complex symplectic geometry of the deformation space of complex projective structures on a closed oriented surface of genus at least 2. The cotangent symplectic structure given by the Schwarzian parametrization is studied carefully and compared to the Goldman symplectic structure on the character variety, clarifying and generalizing a theorem of S. Kawai [Kaw96]. Generalizations of results of C. McMullen are derived, notably quasi-Fuchsian reciprocity [McM00]. The symplectic geometry is also described in a Hamiltonian setting with the complex Fenchel-Nielsen coordinates on quasi-Fuchsian space, recovering results of I. Platis [Pla01]. Contents 1 Introduction 2 2 Teichmüller space and the deformation space of complex projective structures 7 2.1 T (S) and CP(S) ............................
    [Show full text]
  • Slicing, Skinning, and Grafting
    Slicing, skinning, and grafting David Dumas and Richard P. Kent IV∗ March 14, 2008 Let M be a compact manifold with boundary. If M is connected, let XC(M) be the SL2(C)–character variety of M. If not, take XC(M) to be the cartesian product of the character varieties of its components. Throughout, S is a closed connected oriented hyperbolic surface, T(S) its Teich- muller¨ space. By the Uniformization Theorem, T(S) is both the space of marked con- formal structures on S and the space of marked hyperbolic structures on S; we blur the distinction between these two descriptions, letting context indicate the desired one. The variety XC(S) contains the space AH(S) of hyperbolic structures on S ×R. By the work of A. Marden [20] and D. Sullivan [33], the interior of AH(S) is the space of quasifuchsian groups QF(S), and QF(S) lies in the smooth part of XC(S)—though AH(S) sits more naturally in the PSL2(C)–character variety of S, and has many lifts to the variety XC(S), we content ourselves with XC(S), as our arguments apply to any lift considered. We refer the reader to [14] for a detailed treatment of the PSL2(C)– character variety. The quasifuchsian groups are parameterized by the product of Teich- muller¨ spaces T(S) × T(S), by the Simultaneous Uniformization Theorem of L. Bers [2], and the Bers slice BY is the set BY = T(S) × fYg ⊂ XC(S): As we will see, a Bers slice is cut out of XC(S) by an analytic subvariety of dimension 3 − 2 c(S).
    [Show full text]
  • A Locally Hyperbolic 3-Manifold That Is Not Hyperbolic
    A LOCALLY HYPERBOLIC 3-MANIFOLD THAT IS NOT HYPERBOLIC TOMMASO CREMASCHI Abstract: We construct a locally hyperbolic 3-manifold M1 such that π1(M1) has no divisible subgroup. We then show that M1 is not homeo- morphic to any complete hyperbolic manifold. This answers a question of Agol [DHM06, Mar07]. Introduction Throughout this paper, M is always an oriented, aspherical 3-manifold. A 3-manifold M is hyperbolizable if its interior is homeomorphic to 3 3 H Γ for Γ 6 Isom(H ) a discrete, torsion free subgroup. An ir- reducible 3-manifold M is of finite-type if π1(M) is finitely gener- ated and we say it is of infinite-type otherwise. By Geometrization (2003, [Per03b, Per03c, Per03a]) and Tameness (2004, [Ago04, CG06]) a finite type 3-manifold M is hyperbolizable if and only if M is the interior of a compact 3-manifold M that is atoroidal and with non fi- nite π1(M). On the other hand, if M is of infinite type not much is known and we are very far from a complete topological characterisa- tion. Nevertheless, some interesting examples of these manifolds have been constructed in [SS13,BMNS16]. What we do know are necessary condition for a manifold of infinite type to be hyperbolizable. If M 3 is hyperbolizable then M ∼= H Γ, hence by discreteness of Γ and the classification of isometries of H3 we have that no element γ 2 Γ is divis- ible ([Fri11, Lemma 3.2]). Here, γ 2 Γ is divisible if there are infinitely n many α 2 π1(M) and n 2 N such that: γ = α .
    [Show full text]
  • Pre-Publication Accepted Manuscript
    Tommaso Cremaschi A locally hyperbolic 3-manifold that is not hyperbolic Proceedings of the American Mathematical Society DOI: 10.1090/proc/14176 Accepted Manuscript This is a preliminary PDF of the author-produced manuscript that has been peer-reviewed and accepted for publication. It has not been copyedited, proofread, or finalized by AMS Production staff. Once the accepted manuscript has been copyedited, proofread, and finalized by AMS Production staff, the article will be published in electronic form as a \Recently Published Article" before being placed in an issue. That electronically published article will become the Version of Record. This preliminary version is available to AMS members prior to publication of the Version of Record, and in limited cases it is also made accessible to everyone one year after the publication date of the Version of Record. The Version of Record is accessible to everyone five years after publication in an issue. A LOCALLY HYPERBOLIC 3-MANIFOLD THAT IS NOT HYPERBOLIC TOMMASO CREMASCHI Abstract: We construct a locally hyperbolic 3-manifold M1 such that π1(M1) has no divisible subgroup. We then show that M1 is not homeo- morphic to any complete hyperbolic manifold. This answers a question of Agol [DHM06, Mar07]. Introduction Throughout this paper, M is always an oriented, aspherical 3-manifold. A 3-manifold M is hyperbolizable if its interior is homeomorphic to 3 3 H Γ for Γ 6 Isom(H ) a discrete, torsion free subgroup. An ir- reducible 3-manifold M is of finite-type if π1(M) is finitely gener- ated and we say it is of infinite-type otherwise.
    [Show full text]
  • Convex Hulls in Hyperbolic 3-Space and Generalized Orthospectral Identities
    Convex hulls in hyperbolic 3-space and generalized orthospectral identities Andrew Yarmola A dissertation submitted to the Faculty of the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy Boston College Morrissey College of Arts and Sciences Graduate School May 2016 © Copyright 2016 Andrew Yarmola Convex hulls in hyperbolic 3-space and generalized orthospectral identities Andrew Yarmola Advisor: Martin Bridgeman Abstract We begin this dissertation by studying the relationship between the Poincar´emetric of a simply connected domain Ω ⊂ C and the geometry of Dome(Ω), the boundary of the convex hull of its complement. Sullivan showed that there is a universal constant Keq such that one may find a conformally natural Keq-quasiconformal map from Ω to Dome(Ω) which extends to the identity on @Ω. Explicit upper and lower bounds on Keq have been obtained by Epstein, Marden, Markovic and Bishop. We improve upon these upper bounds by showing that one may choose Keq ≤ 7:1695. As part of this work, we provide stronger criteria 3 for embeddedness of pleated planes. In addition, for Kleinian groups Γ where N = H =Γ has incompressible boundary, we give improved bounds for the average bending on the convex core of N and the Lipschitz constant for the homotopy inverse of the nearest point retraction. In the second part of this dissertation, we prove an extension of Basmajian's identity to n-Hitchin representations of compact bordered surfaces. For 3-Hitchin representations, we provide a geometric interpretation of this identity analogous to Basmajian's original result.
    [Show full text]
  • On Extendibility of a Map Induced by the Bers Isomorphism
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 142, Number 12, December 2014, Pages 4181–4189 S 0002-9939(2014)12140-X Article electronically published on August 1, 2014 ON EXTENDIBILITY OF A MAP INDUCED BY THE BERS ISOMORPHISM HIDEKI MIYACHI AND TOSHIHIRO NOGI (Communicated by Michael Wolf) Abstract. Let S be a closed Riemann surface of genus g( 2) and set S˙ = S \{zˆ0}. Thenwehavethecomposedmapϕ◦ r of a map r : T (S)× U → F (S) and the Bers isomorphism ϕ : F (S) → T (S˙), where F (S) is the Bers fiber space of S, T (X) is the Teichm¨uller space of X and U is the upper half-plane. The purpose of this paper is to show that the map ϕ ◦ r : T (S) × U → T (S˙) has a continuous extension to some subset of the boundary T (S) × ∂U. 1. Introduction 1.1. Teichm¨uller space. Let S be a closed Riemann surface of genus g( 2). Consider any pair (R, f) of a closed Riemann surface R of genus g and a quasicon- formal map f : S → R.Twopairs(R1,f1)and(R2,f2)aresaidtobeequivalent if ◦ −1 → → f2 f1 : R1 R2 is homotopic to a biholomorphic map h : R1 R2.Let[R, f] be the equivalence class of such a pair (R, f). We set T (S)={[R, f] | f : S → R : quasiconformal} and call T (S)theTeichm¨uller space of S. For any p1 =[R1,f1], p2 =[R2,f2] ∈ T (S), the Teichm¨uller distance is defined to be 1 dT (p1,p2)= inf log K(g), 2 g ◦ −1 where g runs over all quasiconformal maps from R1 to R2 homotopic to f2 f1 and K(g) means the maximal dilatation of g.
    [Show full text]