graduate texts in mathematics 219978-1-4757-6720...mathematical logic. 5 mac lane. categories for...
TRANSCRIPT
Graduate Texts in Mathematics 219 Editorial Board
S. Axler F.W. Gehring K.A. Ribet
Springer Science+Business Media, LLC
Graduate Texts in Mathematics TAKEun/ZARING. Introduction to 34 SPITZER. Principles ofRandom Walk Axiomatic Set Theory. 2nd ed. 2nd ed.
2 OXTOBY. Measure and Category. 2nd ed. 35 ALEXANDERIWERMER. Several Cornplex 3 SCHAEFER. Topological Vector Spaces. Variables and Banach Algebras. 3rd ed.
2nd ed. 36 KELLEy!NAMlOKA et al. Linear 4 HILTON/STAMMBACH. A Course in Topological Spaces.
Homological Algebra. 2nd ed. 37 MONK. Mathematical Logic. 5 MAC LANE. Categories for the Working 38 GRAUERT/FRlTZSCHE. 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/SNELLIKNAPP. Denumerable 8 TAKEUTIIZARING. Axiomatic Set Theory. Markov Chains. 2nd ed. 9 HUMPHREYs. Introduction to Lie Algebras 41 ApOSTOL. Modular Functions and
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/JERlSON. Rings of Continuous 12 BEALS. Advanced Mathernatical Analysis. Functions. 13 ANDERSON/FuLLER. Rings and Categories 44 KENDIG. Elementary Algebraic Geometry.
of Modules. 2nd ed. 45 LoEVE. Probability Theory I. 4th ed. 14 GOLUBITSKy/GUILLEMIN. Stable Mappings 46 LoEVE. Probability Theory Ir. 4th ed.
and Their Singularities. 47 MOISE. Geometric Topology in 15 BERBERlAN. Lectures in Functional Dimensions 2 and 3.
Analysis and Operator Theory. 48 SACHS/Wu. General Relativity for 16 WINTER. The Structure ofFields. Mathematicians. 17 ROSENBLATT. Random Processes. 2nd ed. 49 GRUENBERG/WEIR. Linear Geometry. 18 HALMOS. Measure Theory. 2nd ed. 19 HALMOS. A Hilbert Space Problem Book. 50 EDWARDs. Fermat's Last Theorem.
2nd ed. 51 KLINGENBERG. A Course in Differential 20 HUSEMOLLER. Fibre Bundles. 3rd ed. Geometry. 21 HUMPHREYS. Linear Algebraic Groups. 52 HARTSHORNE. Algebraic Geometry. 22 BARNES/MACK. An Algebraic Introduction 53 MANIN. A Course in Mathematical Logic.
to Mathematical Logic. 54 GRAVERIWATKINS. Combinatorics with 23 GREUB. Linear Algebra. 4th ed. Emphasis on the Theory of Graphs. 24 HOLMES. Geometric Functional Analysis 55 BROWNIPEARCY. Introduction to Operator
and Its Applications. Theory I: Elements ofFunctional Analysis. 25 HEWITT/STROMBERG. Real and Abstract 56 MASSEY. Algebraic Topology: An
Analysis. Introduction. 26 MANES. Algebraic Theories. 57 CROWELLIFox. Introduction to Knot 27 KELLEY. General Topology. Theory. 28 ZARlsKilSAMUEL. Commutative Algebra. 58 KOBLITZ. p-adic Numbers, p-adic
Vol.I. Analysis, and Zeta-Functions. 2nd ed. 29 ZARlsKilSAMUEL. Commutative Algebra. 59 LANG. Cyclotomic Fields.
VoI.H. 60 ARNOLD. Mathematical Methods in 30 JACOBSON. Lectures in Abstract Algebra I. Classical Mechanics. 2nd ed.
Basic Concepts. 61 WtDTEHEAD. Elements ofHomotopy 31 JACOBSON. Lectures in Abstract Algebra H. Theory.
Linear Algebra. 62 KARGAPOLOvIMERlZlAKOV. Fundamentals 32 JACOBSON. Lectures in Abstract Algebra of the Theory of Groups.
III. Theory ofFields and Galois Theory. 63 BOLLOBAS. Graph Theory. 33 HIRSCH. Differential Topology.
(continued after index)
Colin Maclachlan Alan W. Reid
The Arithmetic of Hyperbolic 3-Manifolds
With 57 Illustrations
, Springer
Colin Maclachlan Alan W. Reid Department of Mathematical Sciences University of Aberdeen Kings College
Department of Mathematics University of Texas at Austin Austin, TX 78712
Aberdeen AB24 3UE USA UK [email protected] [email protected]
Editorial Board: S. Axler Mathematics Department San Francisco State
University San Francisco, CA 94132 USA [email protected]
F.W. Gehring Mathematics Department East Hall University of Michigan Ann Arbor, MI 48109 USA [email protected]
K.A. Ribet Mathematics Department University of California,
Berkeley Berkeley, CA 94720-3840 USA [email protected]
Mathematics Subject Classification (2000): 57-01, 57NlO, 57Mxx, 51H20, llRxx
Library of Congress Cataloging-in-Publication Data Maclachlan, C.
The arithmetic of hyperbolic 3-manifolds / Colin Maclachlan. Alan W. Reid. p. cm. - (Graduate texts in mathematics ; 219)
Includes bibliographical references and index. ISBN 978-1-4419-3122-1 ISBN 978-1-4757-6720-9 (eBook) DOI 10.1007/978-1-4757-6720-9 1. Three-manifolds (Topology) I. Reid. Alan W. 11. Tide. III. Series.
QA613.2 .M29 2002 514'.3--dc21 2002070472
Printed on acid-free paper.
© 2003 Springer Science+Business Media New York Originally published by Springer-Verlag New Y ork, Inc. in 2003 Softcover reprint ofthe hardcover 1st edition 2003
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). 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 of trade names. trademarks. service marks. and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights.
987 6 5 4 3 2 1 SPIN 10656811
Typesetting: Pages created by the authors using a Springer TEX macro package.
www.springer-ny.com
Preface
The Geometrization Program of Thurston has been the driving force for research in 3-manifold topology in the last 25 years. This has inspired a surge of activity investigating hyperbolic 3-manifolds (and Kleinian groups), as these manifolds form the largest and least well-understood dass of compact 3-manifolds. Familiar and new tools from diverse areas of mathematics have been utilised in these investigations - from topology, geometry, analysis, group theory and, from the point of view of this book, algebra and number theory. The important observation in this context is that Mostow Rigidity implies that the matrix entries of the elements of 8L(2, C), representing a finite-covolume Kleinian group, can be taken to lie in a field which is a finite extension of Q. This has led to the use of tools from algebraic number theory in the study of Kleinian groups of finite covolume and thus of hyperbolic 3-manifolds of finite volume. A particular subdass of finite-covolume Kleinian groups for wh ich the number-theoretic connections are strongest is the dass of arithmetic Kleinian groups. These groups are particularly amenable to exhibiting the interplay between the geometry, on the one hand and the number theory, on the other.
This book is designed to introduce the reader, who has begun the study of hyperbolic 3-manifolds or Kleinian groups, to these interesting connections with number theory and the tools that will be required to pursue them. There are a number of texts which cover the topologie al , geometrie and analytical aspects of hyperbolic 3-manifolds. This book is constructed to cover arithmetic aspects which have not been discussed in other texts. A central theme is the study and determination of the invariant number field and the invariant quaternion algebra associated to a Kleinian group of
VI Preface
finite covolume, these arithmetic objects being invariant with respect to the commensurability dass of the group. We should point out that this book does not investigate some dassical arithmetic objects associated to Kleinian groups via the SeI berg Trace Formula. Indeed, we would suggest that, if prospective readers are unsure whether they wish to follow the road down which this book leads, they should dip into Chapters 4 and 5 to see what is revealed about examples and problems with which they are already familiar. Thus this book is written for an audience already familiar with the basic aspects of hyperbolic 3-manifolds and Kleinian groups, to expand their repertoire to arithmetic applications in this field. By suitable selection, it can also be used as an introduction to arithmetic Kleinian groups, even, indeed, to arithmetic Fuchsian groups.
We now provide a guide to the content and intent of the chapters and their interconnection, for the reader, teacher or student who may wish to be selective in choosing a route through this book. As the numbering is intended to indicate, Chapter 0 is a reference chapter containing terminology and background information on algebraic number theory. Many readers can bypass this chapter on first reading, especially if they are familiar with the basic concepts of algebraic number theory. Chapter 1, in essence, defines the target audience as those who have, at least, a passing familiarity with some of the topics in this chapter. In Chapters 2 to 5, the structure, construction and applications of the invariant number field and invariant quaternion algebra associated to any finite-covolume Kleinian group are developed. The algebraic structure of quaternion algebras is given in Chapter 2 and this is furt her expanded in Chapters 6 and 7, where, in particular, the arithmetic structure of quaternion algebras is set out. Chapter 3 gives the tools and formulas to determine, from a given Kleinian group, its associated invariant number field and quaternion algebra. This is then put to effect in Chapter 4 in many examples and utilised in Chapter 5 to investigate the geometrie ramifications of determining these invariants.
From Chapter 6 onward, the emphasis is on developing the theory of arithmetic Kleinian groups, concentrating on those aspects which have geometrie applications to hyperbolic 3-manifolds and 3-orbifolds. Our definition of arithmetic Kleinian groups, and arithmetic Fuchsian groups, given in Chapter 8, proceeds via quaternion algebras and so naturally progresses from the earlier chapters. The geometrie applications follow in Chapters 9, 11 and 12. In particular, important aspects such as the development of the volume formula and the determination of maximal groups in a commensurability dass form the focus of Chapter 11 building on the ground work in Chapters 6 and 7.
Using quaternion algebras to define arithmetic Kleinian groups facilitates the flow of ideas between the number theory, on the one hand and the geometry, on the other. This interplay is one of the special beauties of the subject which we have taken every opportunity to emphasise. There are other, equally meritorious approaches to arithmetic Kleinian groups,
Preface vii
particulary via quadratic forms. These are discussed in Chapter 10, where we also show how these arithmetic Kleinian groups fit into the wider realm of general discrete arithmetic subgroups of Lie groups.
Some readers may wish to use this book as an introduction to arithmetic Kleinian groups. A short course covering the general theory of quaternion algebras over number fields, suitable for such an introduction to either arithmetic Kleinian groups or arithmetic Fuchsian groups, is essentially selfcontained in Chapters 2, 6 and 7. The construction of arithmetic Kleinian groups from quaternion algebras is given in the first part of Chapter 8 and the main consequences of this construction appear in Chapter 11. However, if the reader wishes to investigate the role played by arithmetic Kleinian groups in the general framework of all Kleinian groups, then he or she must further assimiliate the material in Chapter 3, such examples in Chapter 4 as interest them, the remainder of Chapter 8, Chapter 9 and as much of Chapter 12 as they wish.
For those in the field of hyperbolic 3-manifolds and 3-orbifolds, we have endeavoured to make the exposition here as self-contained as possible, given the constraints on some familiarity with basic aspects of algebraic number theory, as mentioned earlier. There are, however, certain specific exceptions to this, which, we believe, were unavoidable in the interests of keeping the size of this treatise within reasonable bounds. Two of these are involved in steps which are critical to the general development of ideas. First, we state without proof in Chapter 0, the Hasse-Minkowski Theorem on quadratic forms and use that in Chapter 2 to prove part of the classification theorem for quaternion algebras over a number field. Second, we do not give the full proof in Chapter 7 that the Tamagawa number of the quotient A~/Al is 1, although we do develop all of the surrounding theory. This Tamagawa number is used in Chapter 11 to obtain volume formulas for arithmetic Kleinian groups and arithmetic Fuchsian groups. We should also mention that the important theorem of Margulis, whereby the arithmeticity and non-arithmeticity in Kleinian groups can be detected by the denseness or discreteness of the commensurator, is discussed, but not proved, in Chapter 10. However, this result is not used critically in the sequel. Also, on a small number of occasions in later chapters, specialised results on algebraic number theory are employed to obtain specific applications.
Many of the arithmetic methods discussed in this book are now available in the computer program Snap. Once readers have come to terms with some of these methods, we strongly encourage them to experiment with this wonderful program to develop a feel for the interaction between hyperbolic 3-manifolds and number theory.
Finally, we should comment on our method of referencing. We have avoided "on the spot" references and have placed all references in a given chapter in the Further Reading section appearing at the end of each chapter. We should also remark that these Further Reading sections are intended to be just that, and are, by no means, designed to give a historical account of
viii Preface
the evolution of ideas in the chapter. Thus regrettably, some papers critical to the development of certain topics may have been omitted while, perhaps, later refinements and expository articles or books, are included. No offence or prejudice is intended by any such omissions, which are surely the result of shortcomings on the authors' part possibly due to the somewhat unsystematic way by which they themselves became acquainted with the material contained here.
We owe a great deal to many colleagues and friends who have contributed to our understanding of the subject matter contained in these pages. These contributions have ranged through inspiring lectures, enlightening conversations, helpful collaborations, ongoing encouragement and critical feedback to a number of lecture courses wh ich the authors have separately given on parts of this material. We especially wish to thank Ted Chinburg, Eduardo Friedman, Kerry Jones, Darren Long, Murray Macbeath, Gaven Martin, Walter Neumann and Gerhard Rosenberger. We also wish to thank Fred Gehring, who additionally encouraged us to write this text, and Oliver Goodman for supplying Snap Data which is included in the appendix. Finally, we owe a particular debt of gratitude to two people: Dorothy Maclachlan and Edmara Cavalcanti Reid. Dorothy has been an essential member of the backroom staff, with endless patience and support over the years. More recently, Edmara's patience and support has been important in the completion of the book.
In addition to collaborating, and working individually, at our horne institutions of Aberdeen University and the University of Texas at Austin, work on the text has benefited from periods spent at the University of Auckland and the Instituto de Maternatica Pura e Aplicada, Rio de Janiero. Furthermore, we are grateful to a number of sources for financial support over the years (and this book has been several years in preparation) - Engineering and Physical Sciences Research Council (UK), Marsden Fund (NZ), National Science Foundation (US), Royal Society (UK), Sloan Foundation (US) and the Texas Advanced Research Program. The patient support provided by the staff at Springer-Verlag has also been much appreciated.
Aberdeen, UK Austin, Texas, USA
Colin Maclachlan Alan W. Reid
Contents
Preface
o Nurnber-Theoretic Menagerie 0.1 Number Fields and Field Extensions 0.2 Algebraic Integers .... 0.3 Ideals in Rings of Integers 0.4 Units ..... 0.5 Class Groups 0.6 Valuations.. 0.7 Completions. 0.8 Adeles and Ideles 0.9 Quadratic Forms
1 Kleinian Groups and Hyperbolic Manifolds 1.1 PSL(2, q and Hyperbolic 3-Space 1.2 Subgroups of PSL(2, q ...... . 1.3 Hyperbolic Manifolds and Orbifolds 1.4 Examples . . . . . . . .
1.4.1 Bianchi Groups ...... . 1.4.2 Coxeter Groups . . . . . . . 1.4.3 Figure 8 Knot Complement 1.4.4 Hyperbolic Manifolds by Gluing
1.5 3-Manifold Topology and Dehn Surgery 1.5.1 3-Manifolds ........... .
v
1 2 6
11 20 22 24 29 35 39
47 47 50 55 57 58 59 59 60 62 63
x Contents
1.5.2 Hyperbolic Manifolds 1.5.3 Dehn Surgery .... .
1.6 Rigidity ........... . 1. 7 Volumes and Ideal Tetrahedra . 1.8 Further Reading ....... .
64 65 67 69 74
2 Quaternion Algebras I 77 2.1 Quaternion Algebras . . . . . . . . . . . . . 77 2.2 Orders in Quaternion Algebras . . . . . . . 82 2.3 Quaternion Algebras and Quadratic Forms 87 2.4 Orthogonal Groups . . . . . . . . . . . . 91 2.5 Quaternion Algebras over the Reals 92 2.6 Quaternion Algebras over P-adic Fields 94 2.7 Quaternion Algebras over Number Fields 98 2.8 Central Simple Algebras . . . . 101 2.9 The Skolem Noether Theorem. 105 2.10 Further Reading ........ 108
3 Invariant Trace Fields 111 3.1 Trace Fields for Kleinian Groups of Finite Covolume 111 3.2 Quaternion Algebras for Subgroups of SL(2, C) 114 3.3 Invariant Trace Fields and Quaternion Algebras . 116 3.4 Trace Relations . . . . . . . . . . . . . . . . . 120 3.5 Generators for Trace Fields . . . . . . . . . . 123 3.6 Generators for Invariant Quaternion Algebras 128 3.7 Further Reading ........ . . . . . . . . 130
4 Examples 133 4.1 Bianchi Groups . . . . . . . . 133 4.2 Knot and Link Complements 134 4.3 Hyperbolic Fibre Bundles 135 4.4 Figure 8 Knot Complement 137
4.4.1 Group Presentation 137 4.4.2 Ideal Tetrahedra . . 137 4.4.3 Once-Punctured Torus Bundle 138
4.5 Two-Bridge Knots and Links . 140 4.6 Once-Punctured Torus Bundles . 142 4.7 Polyhedral Groups . . . . . . . . 143
4.7.1 Non-compact Tetrahedra 144 4.7.2 Compact Tetrahedra . . . 146 4.7.3 Prisms and Non-integral Traces . 149
4.8 Dehn Surgery Examples . . . . . . . . . 152 4.8.1 J(Ilrgensen's Compact Fibre Bundles 152 4.8.2 Fibonacci Manifolds . . . . . . . . . 153 4.8.3 The Weeks-Matveev-Fomenko Manifold 156
Contents xi
4.9 Fuehsian Groups 159 4.10 Further Reading 162
5 Applications 165 5.1 Disereteness Criteria 165 5.2 Bass's Theorem . . . 168
5.2.1 Tree of SL(2, Kp) 169 5.2.2 Non-integral Traees 170 5.2.3 Free Produet with Amalgamation. 171
5.3 Geodesics and Totally Geodesic Surfaces . 173 5.3.1 Manifolds with No Geodesic Surfaces . 173 5.3.2 Embedding Geodesic Surfaces . 174 5.3.3 The Non-cocompact Case . . . 176 5.3.4 Simple Geodesics . . . . . . . . 178
5.4 Further Hilbert SymbolObstructions . 180 5.5 Geometrie Interpretation of the Invariant Trace Field . 183 5.6 Constructing Invariant Trace Fields 189 5.7 Further Reading ... . . . . . . . . . . . . . . . . . . 194
6 Orders in Quaternion Algebras 197 6.1 Integers, Ideals and Orders 197 6.2 Loealisation.... 200 6.3 Discriminants.... 205 6.4 The Local Case - I . 207 6.5 The Local Case - 11 209 6.6 Orders in the Global Case 214 6.7 The Type Number of a Quaternion Algebra 217 6.8 Further Reading ............... 223
7 Quaternion Algebras 11 225 7.1 Adeles and Id€les . . . . . . . . . . . . 226 7.2 Duality ................. 229 7.3 Classification of Quaternion Algebras . 233 7.4 Theorem on Norms . . . . . 237 7.5 Local Tamagawa Measures. . . . . . 238 7.6 Tamagawa Numbers . . . . . . . . . 244 7.7 The Strong Approximation Theorem 246 7.8 Further Reading ........... 250
8 Arithmetic Kleinian Groups 253 8.1 Discrete Groups from Orders in Quaternion Algebras . 254 8.2 Arithmetic Kleinian Groups . . . . . . . 257 8.3 The Identification Theorem . . . . . . . 261 8.4 Complete Commensurability Invariants . 8.5 Algebraic Integers and Orders ..... .
267 272
xii Contents
8.6 Further Reading 274
9 Arithmetic Hyperbolic 3-Manifolds and Orbifolds 275 9.1 Bianchi Groups . . . . . . . . . . . . . . . 275 9.2 Arithmetic Link Complements ...... 277 9.3 Zimmert Sets and Cuspidal Cohomology . 281 9.4 The Arithmetic Knot. . . . . . . . . . . . 285 9.5 Fuchsian Subgroups of Arithmetic Kleinian Groups . 287 9.6 Fuchsian Subgroups of Bianchi Groups
and Applications 292 9.7 Simple Geodesics . . . . . . . . . . . . . 297 9.8 Hoovering Up . . . . . . . . . . . . . . . 299
9.8.1 The Finite Subgroups A 4 , 84 and A 5 299 9.8.2 Week's Manifold Again 300
9.9 Further Reading . . . . . . . . . . . . . . . 302
10 Discrete Arithmetic Groups 305 10.1 Orthogonal Groups . . . . . . . . . . . . . 306 10.2 SO(3, 1) and SO(2, 1) . . . . . . . . . . . . 310 10.3 General Discrete Arithmetic Groups and
Margulis Theorem . . . . . . . . . . . 315 10.4 Reflection Groups. . . . . . . . . . . . 322
10.4.1 Arithmetic Polyhedral Groups 325 10.4.2 Tetrahedral Groups 326 10.4.3 Prismatic Examples 327
10.5 Further Reading ... . . . 329
11 Commensurable Arithmetic Groups and Volumes 331 11.1 Covolumes for Maximal Orders . . . . . 332 11.2 Consequences of the Volume Formula. . 338
11.2.1 Arithmetic Kleinian Groups with Bounded Covolume. . . . . . . . 338
11.2.2 Volumes for Eichier Orders . . . 340 11.2.3 Arithmetic Manifolds of Equal Volume . 341 11.2.4 Estimating Volumes . 342 11.2.5 A Tetrahedral Group. . . . . . . . 343
11.3 Fuchsian Groups . . . . . . . . . . . . . . 345 11.3.1 Arithmetic Fuchsian Groups with
Bounded Covolume. . . . 345 11.3.2 Totally Real Fields . . . . . . . . . 346 11.3.3 Fuchsian Triangle Groups . . . . . 346 11.3.4 Signatures of Arithmetic Fuchsian Groups . 350
11.4 Maximal Discrete Groups 352 11.5 Distribution of Volumes 356 11.6 Minimal Covolume . . . . 358
Contents xiii
11.7 Minimum Covolume Groups . 363 11.8 Further Reading ....... 368
12 Length and Torsion in Arithmetic Hyperbolic Orbifolds 371 12.1 Loxodromic Elements and Geodesics . . . . . . . . . 371 12.2 Geodesics and Embeddings in Quaternion Aigebras . 373 12.3 8hort Geodesics, Lehmer's and 8alem's Conjectures . 377 12.4 Isospectrality . . . . . . . . . . . . . . . 383 12.5 Torsion in Arithmetic Kleinian Groups . 394 12.6 Volume Calculations Again . . . . . . 405 12.7 Volumes of Non-arithmetic Manifolds . 410 12.8 Further Reading ............ 413
13 Appendices 415 13.1 Compact Hyperbolic Tetrahedra 415 13.2 Non-compact Hyperbolic Tetrahedra 416
13.2.1 Arithmetic Groups . . . . . . 416 13.2.2 Non-arithmetic Groups ... 417
13.3 Arithmetic Fuchsian Triangle Groups . 418 13.4 Hyperbolic Knot Complements 419 13.5 8mall Closed Manifolds 423 13.6 8mall Cusped Manifolds . . . . 431 13.7 Arithmetic Zoo . . . . . . . . . 436
13.7.1 Non-compact Examples 436 13.7.2 Compact Examples, Degree 2 Fields 439 13.7.3 Compact Examples, Degree 3 Fields 440 13.7.4 Compact Examples, Degree 4 Fields 441
Bibliography 443
Index 459