Foundations of Hyperbolic Manifolds

793 Pages·1994·3.677 MB·English

by  John G. Ratcliffe (auth.)

149
Graduate Texts in Mathematics
Editorial Board
S.Axler K.A.Ribet
Graduate Texts in Mathematics
1 TAKEUTI/ZARING.Introduction to 34 SPITZER.Principles ofRandom Walk.
Axiomatic Set Theory.2nd ed. 2nd ed.
2 OXTOBY.Measure and Category.2nd ed. 35 ALEXANDER/WERMER.Several Complex
3 SCHAEFER.Topological Vector Spaces. Variables and Banach Algebras.3rd ed.
2nd ed. 36 KELLEY/NAMIOKAet al.Linear
4 HILTON/STAMMBACH.A Course in Topological Spaces.
Homological Algebra.2nd ed. 37 MONK.Mathematical Logic.
5 MACLANE.Categories for the Working 38 GRAUERT/FRITZSCHE.Several Complex
Mathematician.2nd ed. Variables.
6 HUGHES/PIPER.Projective Planes. 39 ARVESON.An Invitation to C*-Algebras.
7 J.-P.SERRE.A Course in Arithmetic. 40 KEMENY/SNELL/KNAPP.Denumerable
8 TAKEUTI/ZARING.Axiomatic Set Theory. Markov Chains.2nd ed.
9 HUMPHREYS.Introduction to Lie 41 APOSTOL.Modular Functions and
Algebras and Representation Theory. Dirichlet Series in Number Theory.
10 COHEN.A Course in Simple Homotopy 2nd ed.
Theory. 42 J.-P.SERRE.Linear Representations of
11 CONWAY.Functions ofOne Complex Finite Groups.
Variable I.2nd ed. 43 GILLMAN/JERISON.Rings of
12 BEALS.Advanced Mathematical Analysis. Continuous Functions.
13 ANDERSON/FULLER.Rings and 44 KENDIG.Elementary Algebraic
Categories ofModules.2nd ed. Geometry.
14 GOLUBITSKY/GUILLEMIN.Stable 45 LOÈVE.Probability Theory I.4th ed.
Mappings and Their Singularities. 46 LOÈVE.Probability Theory II.4th ed.
15 BERBERIAN.Lectures in Functional 47 MOISE.Geometric Topology in
Analysis and Operator Theory. Dimensions 2 and 3.
16 WINTER.The Structure ofFields. 48 SACHS/WU.General Relativity for
17 ROSENBLATT.Random Processes.2nd ed. Mathematicians.
18 HALMOS.Measure Theory. 49 GRUENBERG/WEIR.Linear Geometry.
19 HALMOS.A Hilbert Space Problem 2nd ed.
Book.2nd ed. 50 EDWARDS.Fermat's Last Theorem.
20 HUSEMOLLER.Fibre Bundles.3rd ed. 51 KLINGENBERG.A Course in Differential
21 HUMPHREYS.Linear Algebraic Groups. Geometry.
22 BARNES/MACK.An Algebraic 52 HARTSHORNE.Algebraic Geometry.
Introduction to Mathematical Logic. 53 MANIN.A Course in Mathematical Logic.
23 GREUB.Linear Algebra.4th ed. 54 GRAVER/WATKINS.Combinatorics with
24 HOLMES.Geometric Functional Emphasis on the Theory ofGraphs.
Analysis and Its Applications. 55 BROWN/PEARCY.Introduction to
25 HEWITT/STROMBERG.Real and Abstract Operator Theory I:Elements of
Analysis. Functional Analysis.
26 MANES.Algebraic Theories. 56 MASSEY.Algebraic Topology:An
27 KELLEY.General Topology. Introduction.
28 ZARISKI/SAMUEL.Commutative 57 CROWELL/FOX.Introduction to Knot
Algebra.Vol.I. Theory.
29 ZARISKI/SAMUEL.Commutative 58 KOBLITZ.p-adic Numbers,p-adic
Algebra.Vol.II. Analysis,and Zeta-Functions.2nd ed.
30 JACOBSON.Lectures in Abstract Algebra 59 LANG.Cyclotomic Fields.
I.Basic Concepts. 60 ARNOLD.Mathematical Methods in
31 JACOBSON.Lectures in Abstract Algebra Classical Mechanics.2nd ed.
II.Linear Algebra. 61 WHITEHEAD.Elements ofHomotopy
32 JACOBSON.Lectures in Abstract Algebra Theory.
III.Theory ofFields and Galois 62 KARGAPOLOV/MERIZJAKOV.
Theory. Fundamentals ofthe Theory ofGroups.
33 HIRSCH.Differential Topology. 63 BOLLOBAS.Graph Theory.
(continued after index)
John G. Ratcliffe
Foundations of Hyperbolic
Manifolds
Second Edition
John G.Ratcliffe
Department of Mathematics
Stevenson Center 1326
Vanderbilt University
Nashville,Tennessee 37240
[email protected]
Editorial Board:
S.Axler K.A.Ribet
Department of Mathematics Department of Mathematics
San Francisco State University University of California,Berkeley
San Francisco,CA 94132 Berkeley,CA 94720-3840
USA USA
[email protected] [email protected]
Mathematics Subject Classification (2000):57M50,30F40,51M10,20H10
Library ofCongress Control Number:2006926460
ISBN-10:0-387-33197-2
ISBN-13:978-0387-33197-3
Printed on acid-free paper.
© 2006 Springer Science+Business Media,LLC
All rights reserved.This work may not be translated or copied in whole or in part without the
written permission of the publisher (Springer Science+Business Media,LLC,233 Spring Street,
New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly
analysis. Use in connection with any form of information storage and retrieval, electronic
adaptation,computer software,or by similar or dissimilar methodology now known or hereafter
developed is forbidden.
The use in this publication oftrade names,trademarks,service marks,and similar terms,even ifthey
are not identified as such,is not to be taken as an expression ofopinion as to whether or not they
are subject to proprietary rights.
Printed in the United States ofAmerica. (MVY)
9 8 7 6 5 4 3 2 1
springer.com
To Susan, Kimberly, and Thomas
Preface to the First Edition
This book is an exposition of the theoretical foundations of hyperbolic
manifolds. It is intended to be used both as a textbook and as a reference.
Particularemphasishasbeenplacedonreadabilityandcompletenessofar-
gument. Thetreatmentofthematerialisforthemostpartelementaryand
self-contained. Thereaderisassumedtohaveabasicknowledgeofalgebra
and topology at the first-year graduate level of an American university.
Thebookisdividedintothreeparts. Thefirstpart, consistingofChap-
ters 1-7, is concerned with hyperbolic geometry and basic properties of
discrete groups of isometries of hyperbolic space. The main results are the
existence theorem for discrete reflection groups, the Bieberbach theorems,
and Selberg’s lemma. The second part, consisting of Chapters 8-12, is de-
votedtothetheoryofhyperbolicmanifolds. ThemainresultsareMostow’s
rigidity theorem and the determination of the structure of geometrically
finite hyperbolic manifolds. The third part, consisting of Chapter 13, in-
tegrates the first two parts in a development of the theory of hyperbolic
orbifolds. The main results are the construction of the universal orbifold
covering space and Poincar´e’s fundamental polyhedron theorem.
This book was written as a textbook for a one-year course. Chapters
1-7 can be covered in one semester, and selected topics from Chapters 8-
12 can be covered in the second semester. For a one-semester course on
hyperbolicmanifolds,thefirsttwosectionsofChapter1andselectedtopics
fromChapters8-12arerecommended. Sincecompleteargumentsaregiven
in the text, the instructor should try to cover the material as quickly as
possiblebysummarizingthebasicideasanddrawinglotsofpictures. Ifall
the details are covered, there is probably enough material in this book for
a two-year sequence of courses.
Thereareover500exercisesinthisbookwhichshouldbereadaspartof
thetext. Theseexercisesrangeindifficultyfromelementarytomoderately
difficult, with the more difficult ones occurring toward the end of each set
of exercises. There is much to be gained by working on these exercises.
An honest effort has been made to give references to the original pub-
lished sources of the material in this book. Most of these original papers
are well worth reading. The references are collected at the end of each
chapter in the section on historical notes.
Thisbookisacompleterevisionofmylecturenotesforaone-yearcourse
onhyperbolicmanifoldsthatIgaveattheUniversityofIllinoisduring1984.
vii
viii Preface to the First Edition
I wish to express my gratitude to:
(1) James Cannon for allowing me to attend his course on Kleinian
groups at the University of Wisconsin during the fall of 1980;
(2)WilliamThurstonforallowingmetoattendhiscourseonhyperbolic
3-manifolds at Princeton University during the academic year 1981-82 and
for allowing me to include his unpublished material on hyperbolic Dehn
surgery in Chapter 10;
(3) my colleagues at the University of Illinois who attended my course
on hyperbolic manifolds, Kenneth Appel, Richard Bishop, Robert Craggs,
George Francis, Mary-Elizabeth Hamstrom, and Joseph Rotman, for their
many valuable comments and observations;
(4) my colleagues at Vanderbilt University who attended my ongoing
seminar on hyperbolic geometry over the last seven years, Mark Baker,
Bruce Hughes, Christine Kinsey, Michael Mihalik, Efstratios Prassidis,
Barry Spieler, and Steven Tschantz, for their many valuable observations
and suggestions;
(5) my colleagues and friends, William Abikoff, Colin Adams, Boris
Apanasov, Richard Arenstorf, William Harvey, Linda Keen, Ruth Keller-
hals, Victor Klee, Bernard Maskit, Hans Munkholm, Walter Neumann,
Alan Reid, Robert Riley, Richard Skora, John Stillwell, Perry Susskind,
and Jeffrey Weeks, for their helpful conversations and correspondence;
(6) the library staff at Vanderbilt University for helping me find the
references for this book;
(7) Ruby Moore for typing up my manuscript;
(8)theeditorialstaffatSpringer-VerlagNewYorkforthecarefulediting
of this book.
I especially wish to thank my colleague, Steven Tschantz, for helping
me prepare this book on my computer and for drawing most of the 3-
dimensional figures on his computer.
Finally, I would like to encourage the reader to send me your comments
and corrections concerning the text, exercises, and historical notes.
Nashville, June, 1994 John G. Ratcliffe
Preface to the Second Edition
Thesecondeditionisathoroughrevisionofthefirsteditionthatembodies
hundreds of changes, corrections, and additions, including over sixty new
lemmas, theorems, and corollaries. The following theorems are new in the
second edition: 1.4.1, 3.1.1, 4.7.3, 6.3.14, 6.5.14, 6.5.15, 6.7.3, 7.2.2, 7.2.3,
7.2.4, 7.3.1, 7.4.1, 7.4.2, 10.4.1, 10.4.2, 10.4.5, 10.5.3, 11.3.1, 11.3.2, 11.3.3,
11.3.4, 11.5.1, 11.5.2, 11.5.3, 11.5.4, 11.5.5, 12.1.4, 12.1.5, 12.2.6, 12.3.5,
12.5.5, 12.7.8, 13.2.6, 13.4.1. It is important to note that the numbering
oflemmas,theorems,corollaries,formulas,figures,examples,andexercises
may have changed from the numbering in the first edition.
The following are the major changes in the second edition. Section 6.3,
Convex Polyhedra, of the first edition has been reorganized into two sec-
tions, §6.3, Convex Polyhedra, and §6.4, Geometry of Convex Polyhedra.
Section 6.5, Polytopes, has been enlarged with a more thorough discussion
of regular polytopes. Section 7.2, Simplex Reflection Groups, has been
expanded to give a complete classification of the Gram matrices of spher-
ical, Euclidean, and hyperbolic n-simplices. Section 7.4, The Volume of a
Simplex, is a new section in which a derivation of Schla¨fli’s differential for-
mulaispresented. Section10.4, HyperbolicVolume, hasbeenexpandedto
includethecomputationofthevolumeofacompactorthotetrahedron. Sec-
tion 11.3, The Gauss-Bonnet Theorem, is a new section in which a proof
of the n-dimensional Gauss-Bonnet theorem is presented. Section 11.5,
Differential Forms, is a new section in which the volume form of a closed
orientablehyperbolicspace-formisderived. Section12.1,LimitSetsofDis-
crete Groups, of the first edition has been enhanced and subdivided into
two sections, §12.1, Limit Sets, and §12.2, Limit Sets of Discrete Groups.
The exercises have been thoroughly reworked, pruned, and upgraded.
There are over a hundred new exercises. Solutions to all the exercises in
the second edition will be made available in a solution manual.
Finally, I wish to express my gratitude to everyone that sent me correc-
tions and suggestions for improvements. I especially wish to thank Keith
Conrad, Hans-Christoph Im Hof, Peter Landweber, Tim Marshall, Mark
Meyerson, Igor Mineyev, and Kim Ruane for their suggestions.
Nashville, November, 2005 John G. Ratcliffe
ix
Contents
Preface to the First Edition vii
Preface to the Second Edition ix
1 Euclidean Geometry 1
§1.1. Euclid’s Parallel Postulate . . . . . . . . . . . . . . . . . . 1
§1.2. Independence of the Parallel Postulate . . . . . . . . . . . 7
§1.3. Euclidean n-Space . . . . . . . . . . . . . . . . . . . . . . . 13
§1.4. Geodesics . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
§1.5. Arc Length. . . . . . . . . . . . . . . . . . . . . . . . . . . 28
§1.6. Historical Notes . . . . . . . . . . . . . . . . . . . . . . . . 32
2 Spherical Geometry 35
§2.1. Spherical n-Space . . . . . . . . . . . . . . . . . . . . . . . 35
§2.2. Elliptic n-Space . . . . . . . . . . . . . . . . . . . . . . . . 41
§2.3. Spherical Arc Length . . . . . . . . . . . . . . . . . . . . . 43
§2.4. Spherical Volume . . . . . . . . . . . . . . . . . . . . . . . 44
§2.5. Spherical Trigonometry . . . . . . . . . . . . . . . . . . . . 47
§2.6. Historical Notes . . . . . . . . . . . . . . . . . . . . . . . . 52
3 Hyperbolic Geometry 54
§3.1. Lorentzian n-Space . . . . . . . . . . . . . . . . . . . . . . 54
§3.2. Hyperbolic n-Space . . . . . . . . . . . . . . . . . . . . . . 61
§3.3. Hyperbolic Arc Length . . . . . . . . . . . . . . . . . . . . 73
§3.4. Hyperbolic Volume . . . . . . . . . . . . . . . . . . . . . . 77
§3.5. Hyperbolic Trigonometry . . . . . . . . . . . . . . . . . . . 80
§3.6. Historical Notes . . . . . . . . . . . . . . . . . . . . . . . . 98
4 Inversive Geometry 100
§4.1. Reflections . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
§4.2. Stereographic Projection . . . . . . . . . . . . . . . . . . . 107
§4.3. Mo¨bius Transformations . . . . . . . . . . . . . . . . . . . 110
§4.4. Poincar´e Extension . . . . . . . . . . . . . . . . . . . . . . 116
§4.5. The Conformal Ball Model . . . . . . . . . . . . . . . . . . 122
§4.6. The Upper Half-Space Model . . . . . . . . . . . . . . . . 131
§4.7. Classification of Transformations . . . . . . . . . . . . . . 136
§4.8. Historical Notes . . . . . . . . . . . . . . . . . . . . . . . . 142
x
Contents xi
5 Isometries of Hyperbolic Space 144
§5.1. Topological Groups . . . . . . . . . . . . . . . . . . . . . . 144
§5.2. Groups of Isometries . . . . . . . . . . . . . . . . . . . . . 150
§5.3. Discrete Groups . . . . . . . . . . . . . . . . . . . . . . . . 157
§5.4. Discrete Euclidean Groups . . . . . . . . . . . . . . . . . . 165
§5.5. Elementary Groups . . . . . . . . . . . . . . . . . . . . . . 176
§5.6. Historical Notes . . . . . . . . . . . . . . . . . . . . . . . . 185
6 Geometry of Discrete Groups 188
§6.1. The Projective Disk Model . . . . . . . . . . . . . . . . . . 188
§6.2. Convex Sets . . . . . . . . . . . . . . . . . . . . . . . . . . 194
§6.3. Convex Polyhedra . . . . . . . . . . . . . . . . . . . . . . . 201
§6.4. Geometry of Convex Polyhedra . . . . . . . . . . . . . . . 212
§6.5. Polytopes . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
§6.6. Fundamental Domains . . . . . . . . . . . . . . . . . . . . 234
§6.7. Convex Fundamental Polyhedra . . . . . . . . . . . . . . . 246
§6.8. Tessellations . . . . . . . . . . . . . . . . . . . . . . . . . . 253
§6.9. Historical Notes . . . . . . . . . . . . . . . . . . . . . . . . 261
7 Classical Discrete Groups 263
§7.1. Reflection Groups . . . . . . . . . . . . . . . . . . . . . . . 263
§7.2. Simplex Reflection Groups . . . . . . . . . . . . . . . . . . 276
§7.3. Generalized Simplex Reflection Groups . . . . . . . . . . . 296
§7.4. The Volume of a Simplex . . . . . . . . . . . . . . . . . . . 303
§7.5. Crystallographic Groups . . . . . . . . . . . . . . . . . . . 310
§7.6. Torsion-Free Linear Groups . . . . . . . . . . . . . . . . . 322
§7.7. Historical Notes . . . . . . . . . . . . . . . . . . . . . . . . 332
8 Geometric Manifolds 334
§8.1. Geometric Spaces . . . . . . . . . . . . . . . . . . . . . . . 334
§8.2. Clifford-Klein Space-Forms . . . . . . . . . . . . . . . . . . 341
§8.3. (X,G)-Manifolds . . . . . . . . . . . . . . . . . . . . . . . 347
§8.4. Developing . . . . . . . . . . . . . . . . . . . . . . . . . . . 354
§8.5. Completeness . . . . . . . . . . . . . . . . . . . . . . . . . 361
§8.6. Curvature . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
§8.7. Historical Notes . . . . . . . . . . . . . . . . . . . . . . . . 373
9 Geometric Surfaces 375
§9.1. Compact Surfaces . . . . . . . . . . . . . . . . . . . . . . . 375
§9.2. Gluing Surfaces . . . . . . . . . . . . . . . . . . . . . . . . 378
§9.3. The Gauss-Bonnet Theorem . . . . . . . . . . . . . . . . . 390
§9.4. Moduli Spaces . . . . . . . . . . . . . . . . . . . . . . . . . 391
§9.5. Closed Euclidean Surfaces . . . . . . . . . . . . . . . . . . 401
§9.6. Closed Geodesics . . . . . . . . . . . . . . . . . . . . . . . 404
§9.7. Closed Hyperbolic Surfaces . . . . . . . . . . . . . . . . . . 411