Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Foige. Band 16 A Series of Modern Surveys in Mathematics Editorial Board E. Bombieri, Princeton S. Feferman, Stanford N. H. Kuiper, Bures-sur-Yvette P. Lax, New York H. W. Lenstra, Jf., Berkeley R. Remmert (Managing Editor), Munster W. Schmid, Cambridge, Mass. J-P. Serre, Paris J. Tits, Paris K. K. Uhlenbeck, Austin
Gerard van der Geer Hilbert Modular Surfaces With 39 Figures Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
Gerard van der Geer Mathematisch Instituut Universiteit van Amsterdam Roetersstraat 15 10 18 WB Amsterdam The Netherlands Mathematics Subject Classification (1980): llf41, llg18, 11120 ISBN-13: 978-3-642-64868-7 DOl: lo.lo07/978-3-642-61553-5 e-isbn-13: 978-3-642-61553-5 Library of Congress Cataloging-in-Publication Data Geer, Gerard van der. Hilbert modular surfaces. (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 16) Bibliography: p. Includes index. I. Hilbert modular surfaces. I. TItle. II. Series. QA573.G44 1987 512'.7 87-20634 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use ofillustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. Duplication of this publication or parts thereof is only permitted under the provisions of the German Copyright Law of September 9, 1965, in its version of June 24, 1985, and a copyright fee must always be paid. Violations fall under the prosecution act of the German Copyright Law. Springer-Verlag Berlin Heidelberg 1988 Softcover reprint of the hardcover I st edition 1988 Typesetting: Asco Trade Typesetting Ltd., Hong Kong Printing and bookbinding: Konrad Triltsch, Wiirzburg 2141/3140-543210
Preface Work on this book started in 1981 following a suggestion off. Hirzebruch. I would like to thank him heartily for this suggestion and for his constant support, in particular for the invitations to visit the Max-Planck-Institut fur Mathematik in Bonn. I profited a lot from the stimulating atmosphere at this institute. The manuscript was completed during a stay at the Mathematical Sciences Research Institute in Berkeley. I acknowledge with gratitude the support of both research institutes. During the preparation of the manuscript suggestions and corrections were made by C. Faber, J. Koehl, S. Maurmann and R. Schoof. J. Koehl kindly provided the table of numerical invariants at the end of this book. I thank them for their help. I also would like to thank B. Gross and B. Mazur for their comments on the last two chapters, and J. Lagerberg for drawing the figures. Thanks are also due to the publishers for their cooperation. Finally, I would like to express my gratitude to D. Zagier. Over the years I learned a lot from him in the course of numerous discussions we had on the subject of this book and on other parts of mathematics. Moreover, he read a large part of the manuscript and his comments were most helpful. For all this and the fact that he contributed a section, VII.5 to be precise, I thank him very much. Cambridge, Mass., June 1987 Gerard van der Geer
Table of Contents Introduction.................................................... 1 Notations and Conventions Concerning Quadratic Number Fields....... 2 I. Hilbert's Modular Group....................................... 4 1. The Action of the Hilbert Modular Group......................... 5 2. The Distance to the Cusps...................................... 7 3. A Fundamental Domain........................................ 9 4. The Hurwitz-Maass Extension... '"... "................. 11 5. Elliptic Fixed Points........................................... 14 6. Hilbert Modular Forms......................................... 17 7. The Adelic Version............................................. 25 II. Resolution of the Cusp Singularities.............................. 28 1. The Local Ring at Infinity....................................... 28 2. Glueing...................................................... 30 3. Dividing by the Units.......................................... 33 4. Digression: the Elliptic r-gon.................................... 36 5. Continued Fractions........................................... 37 6. Resolution of Cyclic Quotient Singularities........................ 41 7. The Baily-Borel Compactification................................ 44 III. Local Invariants.............................................. 45 1. Local Chern Classes............................................ 45 2. Meyer's Theorem.............................................. 48 3. Extension of Differential Forms.................................. 51 IV. Global Invariants............................................. 58 1. The Volume of rvy... 58 2. Chern Numbers of Yr.... "............ 61 3. Inequalities for X and CI.... 66 4. Dimensions of Spaces of Cusp Forms............................. 71 5. Representations on Spaces of Cusp Forms......................... 77
VIII Table of Contents 6. The Vanishing of the Fundamental Group......................... 81 7. Rigidity... 82 V. Modular Curves on Modular Surfaces............................ 86 1. The Curves FN and TN.......................................... 86 2. Intersections with the Cusp Resolutions........................... 91 3. The Components of FN......................................... 93 4. The Geometry of SO(2, 2)....................................... 100 5. The Volume of the Modular Curves.............................. 101 6. The Intersection Points of the Modular Curves..................... 102 7. Classification of Elliptic Fixed Points............................. 106 8. The Intersection Number of Tl and TN............................ 110 9. The Fixed Points of the Galois Involution......................... 116 Appendix: Modular Forms on ro(d)................................ 118 VI. The Cohomology of Hilbert Modular Surfaces.................... 121 1. Cohomology and Hilbert Modular Forms......................... 123 2. The Dual of TN................................................ 130 3. The Generating Series of the Modular Curves...................... 133 4. The Doi-Naganuma Lifting..................................... 136 5. The Intersection Number of TM and TN'........................... 142 6. The Action of the Hecke Algebra on the Cohomology............... 144 7. The Periods of Eigenforms...................................... 147 8. The Contribution of an Eigenform to the Picard Number............ 155 VII. The Classification of Hilbert Modular Surfaces................... 158 1. The Rough Classification of Algebraic Surfaces..................... 159 2. Configurations of Curves on Surfaces............................. 161 3. Classification Theorems......................................... 165 4. Exceptional Curves on Hilbert Modular Surfaces................... 167 5. Estimates for the Numerical Invariants............................ 171 6. Proof of the Classification....................................... 174 7. Canonical Divisors............................................. 178 VIII. Examples of Hilbert Modular Surfaces......................... 187 1. Preliminaries... 187 2. The Examples................................................. 189 IX. Humbert Surfaces............................................ 205 1. Modular Embeddings.......................................... 205 2. Humbert Surfaces.............................................. 210 3. Examples..................................................... 215 4. lacobians with Real Multiplication............................... 220
Table of Contents IX X. Moduli of Abelian Schemes with Real Multiplication............... 222 1. Abelian Schemes with Real Multiplication......................... 223 2. Modular Stacks............................................... 227 3. Hilbert Modular Forms......................................... 234 4. The Galois Action on the Set of Components... 236 XI. The Tate Conjectures for Hilbert Modular Surfaces................ 239 1. Hodge and Tate Cycles......................................... 240 2. Decomposition of the Cohomology and L-Series.................... 245 3. Splitting up the Galois Representation............................ 249 4. The Tate Conjectures........................................... 257 Table 1. Elliptic Fixed Points...................................... 267 Table 2. Numerical Invariants..................................... 269 Bibliography.................................................... 277 List of Notations................................................. 284 Index... ".................................................... 290