20

Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The
Page 2: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

Resolutio n o f Singularitie s

Steve n Dal e Cutkosk y

Graduat e Studie s

in Mathematic s

Volume 63

American Mathematical Society Providence, Rhode Island

http://dx.doi.org/10.1090/gsm/063

Page 3: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

E D I T O R I A L C O M M I T T E E

Walter Craig Nikolai Ivanov

Steven G. Krantz David Saltman (Chair)

2000 Mathematics Subject Classification. Primary 13Hxx, 14B05, 14J17, 14E15, 32Sxx.

For additional information and updates on this book, visit www.ams.org/bookpages /gsm-63

Library of Congress Cataloging-in-Publication D a t a

Cutkosky, Steven Dale. Resolution of singularities / Steven Dale Cutkosky.

p. cm.- (Graduate studies in mathematics, ISSN 1065-7339; v. 63) Includes bibliographical references and index. ISBN 0-8218-3555-6 (acid-free paper) 1. Singularities (Mathematics). I. Title. II. Series.

QA614.58.C87 2004 516.3'5-dc22 2004046123

Copying and reprinting. Material in this book may be reproduced by any means for edu­cational and scientific purposes without fee or permission with the exception of reproduction by services that collect fees for delivery of documents and provided that the customary acknowledg­ment of the source is given. This consent does not extend to other kinds of copying for general distribution, for advertising or promotional purposes, or for resale. Requests for permission for commercial use of material should be addressed to the Acquisitions Department, American Math­ematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected].

Excluded from these provisions is material in articles for which the author holds copyright. In such cases, requests for permission to use or reprint should be addressed directly to the author(s). (Copyright ownership is indicated in the notice in the lower right-hand corner of the first page of each article.)

© 2004 by the author. All rights reserved. Printed in the United States of America.

@ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability.

Visit the AMS home page at h t t p : //www. ams. org/

10 9 8 7 6 5 4 3 2 1 09 08 07 06 05 04

Page 4: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

To , Ashok and Maya

Page 5: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

This page intentionally left blank

Page 6: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

Contents

Preface vii

Chapter 1. Introduction 1

§1.1. Notation 2

Chapter 2. Non-singularity and Resolution of Singularities 3

§2.1. Newton's method for determining the branches of a plane

curve 3

§2.2. Smoothness and non-singularity 7

§2.3. Resolution of singularities 9

§2.4, Normalization 10

§2.5. Local uniformization and generalized resolution problems 11

Chapter 3. Curve Singularities 17

§3.1. Blowing up a point on A2 17

§3.2. Completion 22

§3.3. Blowing up a point on a non-singular surface 25

§3.4. Resolution of curves embedded in a non-singular surface I 26

§3.5. Resolution of curves embedded in a non-singular surface II 29

Chapter 4. Resolution Type Theorems 37

§4.1. Blow-ups of ideals 37

§4.2. Resolution type theorems and corollaries 40

Chapter 5. Surface Singularities 45

§5.1. Resolution of surface singularities 45

Page 7: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

VI Contents

§5.2. Embedded resolution of singularities 56

Chapter 6. Resolution of Singularities in Characteristic Zero 61

§6.1. The operator A and other preliminaries 62

§6.2. Hypersurfaces of maximal contact and induction in resolution 66

§6.3. Pairs and basic objects 70

§6.4. Basic objects and hypersurfaces of maximal contact 75

§6.5. General basic objects 81

§6.6. Functions on a general basic object 83

§6.7. Resolution theorems for a general basic object 89

§6.8. Resolution of singularities in characteristic zero 99

Chapter 7. Resolution of Surfaces in Positive Characteristic 105

§7.1. Resolution and some invariants 105

§7.2. r(q) = 2 109

§7.3. r(q) = 1 113

§7.4. Remarks and further discussion 130

Chapter 8. Local Uniformization and Resolution of Surfaces 133

§8.1. Classification of valuations in function fields of dimension 2 133

§8.2. Local uniformization of algebraic function fields of surfaces 137

§8.3. Resolving systems and the Zariski-Riemann manifold 148

Chapter 9. Ramification of Valuations and Simultaneous Resolution 155

Appendix. Smoothness and Non-singularity II 163

§A.l. Proofs of the basic theorems 163

§A.2. Non-singularity and uniformizing parameters 169

§A.3. Higher derivations 171

§A.4. Upper semi-continuity of vq(T) 174

Bibliography 179

Index 185

Page 8: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

Preface

The notion of singularity is basic to mathematics. In elementary algebra singularity appears as a multiple root of a polynomial. In geometry a point in a space is non-singular if it has a tangent space whose dimension is the same as that of the space. Both notions of singularity can be detected through the vanishing of derivitives.

Over an algebraically closed field, a variety is non-singular at a point if there exists a tangent space at the point which has the same dimension as the variety. More generally, a variety is non-singular at a point if its local ring is a regular local ring. A fundamental problem is to remove a singularity by simple algebraic mappings. That is, can a given variety be desingularized by a proper, birational morphism from a non-singular variety? This is always possible in all dimensions, over fields of characteristic zero. We give a complete proof of this in Chapter 6.

We also treat positive characteristic, developing the basic tools needed for this study, and giving a proof of resolution of surface singularities in positive characteristic in Chapter 7.

In Section 2.5 we discuss important open problems, such as resolution of singularities in positive characteristic and local monomialization of mor-phisms.

Chapter 8 gives a classification of valuations in algebraic function fields of surfaces, and a modernization of Zariski's original proof of local uni-formization for surfaces in characteristic zero.

This book has evolved out of lectures given at the University of Mis­souri and at the Chennai Mathematics Institute, in Chennai, (also known as Madras), India. It can be used as part of a one year introductory sequence

vn

Page 9: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

vm Preface

in algebraic geometry, and would provide an exciting direction after the ba­sic notions of schemes and sheaves have been covered. A core course on resolution is covered in Chapters 2 through 6. The major ideas of resolution have been introduced by the end of Section 6.2, and after reading this far, a student will find the resolution theorems of Section 6.8 quite believable, and have a good feel for what goes into their proofs.

Chapters 7 and 8 cover additional topics. These two chapters are inde­pendent, and can be chosen as possible followups to the basic material in the first 5 chapters. Chapter 7 gives a proof of resolution of singularities for surfaces in positive characteristic, and Chapter 8 gives a proof of local uniformization and resolution of singularities for algebraic surfaces. This chapter provides an introduction to valuation theory in algebraic geometry, and to the problem of local uniformization.

The appendix proves foundational results on the singular locus that we need. On a first reading, I recommend that the reader simply look up the statements as needed in reading the main body of the book. Versions of almost all of these statements are much easier over algebraically closed fields of characteristic zero, and most of the results can be found in this case in standard textbooks in algebraic geometry.

I assume that the reader has some familiarity with algebraic geometry and commutative algebra, such as can be obtained from an introductory course on these subjects. This material is covered in books such as Atiyah and MacDonald [13] or the basic sections of Eisenbud's book [37], and the first two chapters of Hartshorne's book on algebraic geometry [47], or Eisenbud and Harris's book on schemes [38].

I thank Professors Seshadri and Ed Dunne for their encouragement to write this book, and Laura Ghezzi, Tai Ha, Krishna Hanamanthu, Olga Kashcheyeva and Emanoil Theodorescu for their helpful comments on pre­liminary versions of the manuscript.

For financial support during the preparation of this book I thank the National Science Foundation, the National Board of Higher Mathematics of India, the Mathematical Sciences Research Insititute and the University of Missouri.

Steven Dale Cutkosky

Page 10: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

Bibliography

[1] Abhyankar, S., Local uniformization on algebraic surfaces over ground fields of char­acteristic p ^ O , Annals of Math, 63 (1956), 491-526.

[2] Abhyankar, S. Simultaneous resolution for algebraic surfaces, Amer. J. Math 78 (1956), 761-790.

[3] Abhyankar, S., Ramification theoretic methods in algebraic geometry, Annals of Math. Studies, 43, Princeton University Press, Princeton, NJ, 1959.

[4] Abhyankar, S., Resolution of singularities of embedded algebraic surfaces, second edi­tion, Springer Verlag, New York, Berlin, Heidelberg, 1998.

[5] Abhyankar, S., Desingularization of plane curves, AMS Proceedings of Symp. in Pure Math. 40, part 1 (1983), 1-45.

[6] Abhyankar, S., Algebraic geometry for scientists and engineers, AMS Mathematical Surveys and Monographs 35, Amer. Math. Soc., Providence, RI, 1990.

[7] Abhyankar, S., Good points of a hypersurface, Advances in Math. 68 (1988), 87-256.

[8] Abhyankar, S., Resolution of singularities and modular Galois theory, Bulletin of the AMS 38 (2000), 131-171.

[9] Abramovich, D. and de Jong, A.J., Smoothness, semistability and toroidal geometry, Journal of Algebraic Geometry, 6 (1997), 789-801.

[10] Abramovich, D. and Karu, K., Weak semistable reduction in characteristic 0, Invent. Math., 139 (2000), 241-273.

[11] Abramovich, D., Karu, K., Matsuki, K., Wlodarczyk, J., Torification and factoriza­tion of birational maps, J. Amer. Math. Soc. 15 (2002), 351-572.

[12] Albanese,G, Transformazione birazionale di una superficie algebrica qualunque in un'altra priva di punti multipli, Rend. Circ. Mat. Palermo 48 (1924), 321-332.

[13] Atiyah, M.F. and Macdonald, I,G., Introduction to commutative algebra, Addison-Wesley, Reading, MA (1969).

[14] Bierstone, E. and Milman, P, Canonical desingularization in characteristic zero by blowing up the maximal strata of a local invariant, Inv. Math 128 (1997), 207-302.

[15] Bodnar, G. and Schicho, J., A computer algorithm for the resolution of singularities, in Resolution of Singularities, (Obergurgl, 1977), Progr. Math 181, Birkhauser, Basel, 2000, 53-80.

179

Page 11: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

180 Bibliography

Bogomolov F. and Pantev, T., Weak Hironaka theorem, Mathematical Research Let­ters 3 (1996), 299-307.

Bravo, A., Encinas, S., Villamayor, O., A simplified proof of desingularization and applications, to appear in Revista Matematica Iberoamericana.

Brieskorn, E. and Knorrer, H., Plane algebraic curves, Birkhauser, Basel, 1986.

Cano, F., Desinglarization of plane vector fields, Trans. Amer. Math. Soc. 296 (1986), 83-93.

Cano, F., Desingularization strategies for three-dimensional vector fields, Lecture Notes in Mathematics 1259, Springer-Verlag, Heidelberg, 1987.

Cano, F., Reduction of the singularities of foliations and applications, Singularities Symposium, Banach Center, Publ. 44, Polish Acad. Sci., Warsaw, 1998, 51-71.

Chevalley, C , Introduction to the theory of algebraic functions of one variable, AMS, Mathematical Surveys 6, Amer. Math. Soc, New York, 1951.

Cossart, V., Desingularization of embedded excellent surfaces, Tohoku Math. Journ. 33 (1981), 25-33.

Cossart, V., Polyedre caracteristique d'une singularity, Thesis, Universite de Paris-Sud, Centre d'Orsay, 1987.

Cutkosky, S.D., Local factorization of birational maps, Advances in Math. 132, (1997), 167-315.

Cutkosky, S.D., Local monomialization and factorization of morphisms, Asterisque 260, (1999).

Cutkosky, S.D., Monomialization of morphisms from 3-folds to surfaces, Lecture Notes in Math 1786, Springer Verlag, Berlin, Heidelberg, New York, 2002.

Cutkosky, S.D., Local monomialization of transcendental extensions, preprint.

Cutkosky, S.D., Simultaneous resolution of singularities, Proc. American Math. Soc. 128 (2000), 1905-1910.

Cutkosky, S.D., Generically finite morphisms and simultaneous resolution of singu­larities, Contemporary Mathematics 331 (2003), 75-99.

Cutkosky, S.D. and Herzog, J., Cohen-Macaulay coordinate rings of blowup schemes. Comment. Math. Helv. 72 (1997), 605-617.

Cutkosky, S.D. and Ghezzi, L., Completions of valuation rings, to appear in Contem­porary Mathematics.

Cutkosky, S.D. and Kashcheyeva, O., Monomialization of strongly prepared mor­phisms from monsingular N-folds to surfaces, to appear in J. Alg.

Cutkosky, S.D. and Piltant, O., Monomial resolutions of morphisms of algebraic sur­faces, Communications in Algebra 28 (2000), 5935-5959.

Cutkosky, S.D. and Piltant, O., Ramification of valuations, to appear in Advances in Mathematics 183, (2004), 1-79.

de Jong, A.J., Smoothness, semistability and alterations, Publ. Math. I.H.E.S. 83 (1996), 51-93.

Eisenbud, D., Commutative algebra with a view towards algebraic geometry, Grad, Texts in Math. 150, Springer Verlag, Heidelberg, Berlin, New York, 1995.

Eisenbud, D. and Harris, J., The geometry of schemes, Grad. Texts in Math. 197, Springer Verlag, Heidelberg, Berlin, New York, 2000.

Encinas, S., Hauser, H., Strong resolution of singularities in characteristic zero, Com­ment Math. Helv. 77 (2002), 821-845.

Page 12: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

Bibliography 181

Encinas S. and Villamayor O., A course on constructive desingularization and equivariance, in Resolution of Singularities, (Obergurgl, 1997), Progr. Math. 181, Birkhauser, Basel, 2000, 147-227.

Encinas S. and Villamayor O., A new theorem of desingularization over fields of characteristic zero, Revista Matematica Iberoamericana 21 (2003).

Giraud, J., Condition de Jung pour les revetements radiciels de hauteur un, Proc. Al­gebraic Geometry, Tokyo/Kyoto 1982. Lecture Notes in Math 1016, Springer-Verlag, Heidelberg, Berlin, New York, 1983, 313-333.

Goldin, R. and Teissier, B., Resolving singularities of plane analytic branches with one toric morphism, Resolution of Singularities, (Obergurgl, 1997), Progr. Math. 181, Birkhauser, Basel, 2000, 314-340.

Grothendieck, A. and Dieudonne, Elements de geometrie algebrique III, Publ. Math IHES 11 (1961) and 17 (1963).

Grothendieck, A. and Dieudonne, Elements de geometrie algebrique IV, Publ. Math IHES 20 (1964), 24 (1965), 28 (1966), 32 (1967).

Hardy, G.H. and Wright, E.M., An introduction to the theory of numbers, Oxford University Press, Oxford, 1938.

Hartshorne R., Algebraic geometry, Graduate Texts in Math, 52, Springer Verlag, Heidelberg, Berlin, New York, 1977.

Hauser, H., Excellent surfaces and their taut resolution, Resolution of Singularities, (Obergurgl, 1997), Progr. Math. 181, Birkhauser, Basel, 2000, 341-373.

Hauser, H., The Hironaka theorem on resolution of singularities (or: A proof we always wanted to understand), Bull. Amer. Math. Soc. 40 (2003), 323-348.

Hauser, H., Why Hironaka's resolution fails in positive characteristic, preprint.

Heinzer, W., Rotthaus, C., Wiegand, S., Approximating discrete valuation rings by regular local rings, a remark on local uniformization, Proc. Amer. Math. Soc. 129 (2001), 37-43,

Hironaka, H., Resolution of singularities of an algebraic variety over a field of char­acteristic zero, Annals of Math, 79 (1964), 109-326.

Hironaka, H., Desingularization of excellent surfaces, in Appendix to Cossart V., Giraud J. and Orbanz U., Resolution of surface singularities, Lect. Notes in Math, 1101, Springer Verlag, Heidelberg, Berlin, New York, 1984.

Hironaka, H., Characteristic polyhedra of singularities, J. Math. Kyoto Univ. 10 (1967), 251-187.

Hironaka, H., Idealistic exponent of a singularity, Algebraic Geometry, The John Hopkins Centennial Lectures, Baltimore, John Hopkins University Press, 1977, 53-125.

Hasse, H. and Schmidt, F.K., Noch eine Begrilndung der Theorie der hoheren Differential-quotienten in einem algebraischen Funktionenkorper einer Unbestimmten, J. Reine Angew. Math. 177 (1937), 215-317.

Jung, H.W.E., Darstellung der Funktionen eines algebraische Korrespondenzen und das verallgemeinerte Korrespondenzprinzip. Math. Ann. 28 (1887).

Kawasaki, T, On Macaulayification of Noetherian schemes, Trans. Amer. Math. Soc. 352 (2000) 2517-2552.

Kuhlmann, F.V, Valuation theoretic and model theoretic aspects of local uniformiza­tion, Resolution of Singularities, (Obergurgl, 1997), Progr. Math. 181, Birkhauser, Basel, 2000, 381-456.

Page 13: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

182 Bibliography

[60

[61

[62

[63;

[64

[65;

[66

[67;

[68

[69

[70;

[71

[72;

[73;

[74;

[75

[76;

[77;

[78;

[79;

[so;

[81

Kuhlmann, F.V. On places of algebraic function fields in arbitrary characteristic, to appear in Adv. in Math.

Levi. Beppo, Risoluzzione delle singolaritd punctuali delle superficie algebriche, Atti Accad. Sci. Torino 33 (1897), 66-68.

Lipman, J., Introduction to resolution of singularities, in Algebraic Geometry, Areata 1974, Amer. Math. Soc. Proc. Symp. Pure Math. 29 (1975), 187-230.

Lipman, J., Desingularization of 2-dimensional schemes, Annals of Math, 107 (1978), 115-207.

MacLane, S. and Shilling, O., Zero-dimensional branches of rank 1 on algebraic va­rieties, Annals of Mathematics 40 (1939), 507-520.

Matsumura, H., Geometric structure of the cohomology rings in abstract algebraic geometry, Mem. Coll. Sci. Univ. Kyoto. (A) 32 (1959) 33-84.

Matsumura, H., Commutative ring theory, Cambridge University Press, Cambridge, 1986.

Moh, T.T., Quasi-canonical uniformization of hyper surf ace singularities of charac­teristic zero, Comm. Algebra 20 (1992), 3207-3249.

Nagata, M., Local rings, Interscience Tracts in Pure and Applied Mathematics 13, John Wiley and Sons, New York, 1962.

Narasimhan, R., Hyperplanarity of the equimultiple locus, Proc. Amer. Math. Soc. 87 (1983), 403-408.

Paranjape, K., Bogomolov-Pantev resolution, an expository account, in New Trends in Algebraic Geometry, Proceedings of the European Algebraic Geometry Conference, Warwick, UK 1996, Cambridge Univ. Press, Cambridge, 1999, 347-358.

Piltant, O., Sur la methode de Jung in caracteristique positive, Annales de l'lnstitut Fourier 53 (2003), 1237-1258.

Oda. T., Infinitely very near-singular points, Complex Analytic Singularities, Ad­vanced Studies in Pure Mathematics 8, North Holland, Amsterdam, 1986, 363-404.

Orbanz, U., Embedded resolution of algebraic surfaces after Abhyankar (characteristic 0), in Cossart V., Giraud J. and Orbanz U., Resolution of surface singularities, Lect. Notes in Math, 1101, Springer Verlag, Heidelberg, Berlin, New York, 1984.

Rotthaus, C , Nicht ausgezeichnete, universell japanische Ringe, Math. Z. 152 (1977), 107-125.

Seidenberg, A., Reduction of the singlarities of the differential equation Ady = Bdx, Amer. J. Math. 90 (1968), 248-269.

Shannon, D.L., Monoidal transforms, Amer. J. Math. 95 (1973), 284-320.

Spivakovsky, M., Sandwiched singularities and desingularization of surfaces by nor­malized Nash transforms, Ann. of Math. 131 (1990), 441-491.

Teissier, B., Valuations, deformations and toric geometry, Valuation Theory and its Applications II, Franz-Viktor Kuhlmann, Salma Kuhlmann and Murray Marshall, editors, Fields Insitute Communications, 33, Amer. Math. Soc, Providence, RI, 361-459.

Villamayor, O., Constructiveness of Hironaka's resolution, Ann. Scient. Ecole Norm. Sup. 22, (1989), 1-32.

Villamayor, O., Patching local uniformization, Ann. Scient. Ecole Norm. Sup. 25 (1992), 629-677.

Walker, R.J., Algebraic curves, Princeton University Press, Princeton, 1950.

Page 14: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

Bibliography 183

[82] Walker, R.J., Reduction of singularities of an algebraic surface, Ann. of Math. 36 (1935), 336-365.

[83] Wlodarczyk J., Birational cobordism and factorization of birational maps, J. Algebraic Geom. 9 (2000), 425-449.

[84] Wlodarczyk, J., Simple Hironaka resolution in characteristic zero, preprint.

[85] Zariski, O.. The concept of a simple point on an abstract algebraic variety, Trans. Amer. Math. Soc. 62 (1947), 1-52.

[86] Zariski, O., The reduction of the singularities of an algebraic surface, Annals of Math. 40 (1939), 639-689.

[87] Zariski, O., Local uniformization of algebraic varieties, Annals of Math. 41 (1940), 852-896.

[88] Zariski, O., A simplified proof for the resolution of singularities of an algebraic surface, Ann. of Math. 43 (1942), 538-593.

[89] Zariski, O., The compactness of the Riemann manifold of an abstract field of algebraic functions, Bull. Amer. Math. Soc. 45 (1944), 683-691.

[90] Zariski, O., Reduction of singularities of algebraic three-dimensional varieties, Ann. of Math. 45 (1944), 472-542.

[91] Zariski, O., Algebraic surfaces, second supplemented edition, Ergebnisse 61 , Springer Verlag, Heidelberg, Berlin, New York, 1971.

[92] Zariski, O. and Samuel, P., Commutative algebra, Volumes I and II, Van Nostrand, Princeton, 1958 and 1960.

Page 15: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

This page intentionally left blank

Page 16: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

Index

Abhyankar, 12, 28, 42, 45, 130, 131, 153, 157, 158, 160

Abramovich, 9 Albanese, 55 approximate manifold, 106 Atiyah, viii

Bierstone, 61 Bravo, 61

Cano, 13 Chevalley, 24 Cohen, 22 completion of the square, 24 Cossart, 131 curve, 2

de Jong, 61, 131 derivations

Hasse-Schmidt, 171 higher, 171

Eisenbud, viii Encinas, 61 exceptional divisor, 20, 39, 40 exceptional locus, 39, 40

Giraud, 70

Harris, viii Hartshorne, viii, 2 Hauser, 13, 61, 132 Heinzer, 13, 157 Hensel's Lemma, 23 Hironaka, 2, 15, 61, 62, 130 hypersurface, 2

intersection reduced set-theoretic, 62 scheme-theoretic, 2, 62

isolated subgroup, 134

Jung, 55

Karu, 9 Kawasaki, 11 Kuhlmann, 13

Levi, 55 Lipman, 130 local uniformization, 12, 130, 138, 147, 156

Macaulayfication, 11 Macdonald, viii MacLane, 137 Matsuki, 9 maximal contact

formal curve, 28 formal hypersurface, 177 hypersurface, 56, 67, 70, 131, 177

Milman, 61 Moh, 61 monoidal transform, 16, 39, 40 monomialization, 13, 157 morphism

birational, 9 monomial, 14 proper, 9

multiplicity, 3, 19, 25, 175

Nagata, 11 Narasimhan, 131 Newton, 1, 3, 6, 12

185

Page 17: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

186 Index

Newton Polygon, 34 normalization, 3, 10, 12, 26

ord, 22, 138 order, 3, 19, 25, 138

vj(q), 63 *fl, 175 vx, 63, 176 uq(J), 175 vq{X), 175 upper semi-continuous, 176

Piltant, 13 principalization of ideals, 40, 43, 99 Puiseux, 6 Puiseux series, 6, 11, 137

resolution of differential forms, 13 resolution of indeterminacy, 41, 100 resolution of singularities, 9, 40, 41, 61, 100-

102 curve, 10, 12, 26, 27, 30, 38, 39, 42 embedded, 41, 56, 99 equi variant, 103 excellent surface, 130 positive characteristic, 10, 12, 13, 30, 42,

105, 152 surface, 12, 45, 105, 152 three-fold, 12, 152

resolution of vector fields, 13 ring

affme, 2 regular, 7

Rotthaus, 9, 13

scheme Cohen-Macaulay, 11 excellent, 9 non-singular, 7 quasi-excellent, 9 smooth, 7

Schilling, 137 Seidenberg, 13 Serre, 10 Shannon, 151 singularity

Sing(J,6), 66 Sing6(X), 45, 105, 177 S ing 6 (d x > 9 ) , 177

SNCs, 29, 40, 49 Spivakovsky, 13 surface, 2

tangent space, 8 Teissier, 13 three-fold, 2

transform strict, 20, 25, 38, 65 total, 21, 25, 37 weak, 65

Tschirnhausen transformation, 24, 28, 51, 56, 61, 67, 70

uniformizing parameters, 170 upper semi-continuous, 176

valuation, 12, 133 dimension, 134 discrete, 134 rank, 134 rational rank, 136 ring, 134

variety, 2 integral, 2 quasi-complete, 15 subvariety, 2

Villamayor, 61

Walker, 55 Weierstrass preparation theorem, 24 Wiegand, 13 Wlodarczyk, 9, 61

Zariski, 1, 12, 55, 133, 147, 148, 152, 156

Page 18: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

Titles in This Series

63 Steven Dale Cutkosky, Resolution of singularities, 2004

62 T. W . Korner, A companion to analysis: A second first and first second course in

analysis, 2004

61 Thomas A. Ivey and J. M. Landsberg, Cartan for beginners: Differential geometry via

moving frames and exterior differential systems, 2003

60 Alberto Candel and Lawrence Conlon, Foliations II, 2003

59 Steven H. Weintraub, Representation theory of finite groups: algebra and arithmetic,

2003

58 Cedric Villani, Topics in optimal transportation, 2003

57 Robert P lato , Concise numerical mathematics, 2003

56 E. B . Vinberg, A course in algebra, 2003

55 C. Herbert Clemens, A scrapbook of complex curve theory, second edition, 2003

54 Alexander Barvinok, A course in convexity, 2002

53 Henryk Iwaniec, Spectral methods of automorphic forms, 2002

52 Ilka Agricola and Thomas Friedrich, Global analysis: Differential forms in analysis,

geometry and physics, 2002

51 Y. A. Abramovich and C. D . Aliprantis, Problems in operator theory, 2002

50 Y . A. Abramovich and C D . Aliprantis, An invitation to operator theory, 2002

49 John R. Harper, Secondary cohomology operations, 2002

48 Y. Eliashberg and N. Mishachev, Introduction to the /i-principle, 2002

47 A. Yu. Kitaev, A. H. Shen, and M. N . Vyalyi , Classical and quantum computation,

2002

46 Joseph L. Taylor, Several complex variables with connections to algebraic geometry and

Lie groups, 2002

45 Inder K. Rana, An introduction to measure and integration, second edition, 2002

44 J im Agler and John E. M c C a r t h y , Pick interpolation and Hilbert function spaces, 2002

43 N . V. Krylov, Introduction to the theory of random processes, 2002

42 Jin Hong and Seok-Jin Kang, Introduction to quantum groups and crystal bases, 2002

41 Georgi V. Smirnov, Introduction to the theory of differential inclusions, 2002

40 Robert E. Greene and Steven G. Krantz, Function theory of one complex variable,

2002

39 Larry C. Grove, Classical groups and geometric algebra, 2002

38 El ton P. Hsu, Stochastic analysis on manifolds, 2002

37 Hershel M. Farkas and Irwin Kra, Theta constants, Riemann surfaces and the modular

group, 2001

36 Martin Schechter, Principles of functional analysis, second edition, 2002

35 James F. Davis and Paul Kirk, Lecture notes in algebraic topology, 2001

34 Sigurdur Helgason, Differential geometry, Lie groups, and symmetric spaces, 2001

33 Dmitr i Burago, Yuri Burago, and Sergei Ivanov, A course in metric geometry, 2001

32 Robert G. Bartle, A modern theory of integration, 2001

31 Ralf Korn and Elke Korn, Option pricing and portfolio optimization: Modern methods

of financial mathematics, 2001

30 J. C. McConnel l and J. C, Robson, Noncommutative Noetherian rings, 2001

29 Javier Duoandikoetxea , Fourier analysis, 2001

28 Liviu I. Nicolaescu, Notes on Seiberg-Witten theory, 2000

27 Thierry Aubin , A course in differential geometry, 2001

26 Rolf Berndt , An introduction to symplectic geometry, 2001

Page 19: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The

TITLES IN THIS SERIES

25 Thomas Friedrich, Dirac operators in Riemannian geometry, 2000

24 He lmut Koch, Number theory: Algebraic numbers and functions, 2000

23 A lber to Candel and Lawrence Conlon, Foliations I, 2000

22 Giinter R. Krause and Thomas H. Lenagan, Growth of algebras and Gelfand-Kirillov

dimension, 2000

21 John B . Conway, A course in operator theory, 2000

20 Robert E. Gompf and Andras I. Stipsicz, 4-manifolds and Kirby calculus, 1999

19 Lawrence C . Evans, Partial differential equations, 1998

18 Winfried Just and Martin Weese, Discovering modern set theory. II: Set-theoretic

tools for every mathematician, 1997

17 Henryk Iwaniec, Topics in classical automorphic forms, 1997

16 Richard V. Kadison and John R. Ringrose, Fundamentals of the theory of operator

algebras. Volume II: Advanced theory, 1997

15 Richard V. Kadison and John R. Ringrose, Fundamentals of the theory of operator

algebras. Volume I: Elementary theory, 1997

14 Elliott H. Lieb and Michael Loss, Analysis, 1997

13 Paul C. Shields, The ergodic theory of discrete sample paths, 1996

12 N . V. Krylov, Lectures on elliptic and parabolic equations in Holder spaces, 1996

11 Jacques Dixmier , Enveloping algebras, 1996 Printing

10 Barry Simon, Representations of finite and compact groups, 1996

9 D ino Lorenzini, An invitation to arithmetic geometry, 1996

8 Winfried Just and Martin Weese , Discovering modern set theory. I: The basics, 1996

7 Gerald J. Janusz, Algebraic number fields, second edition, 1996

6 Jens Carsten Jantzen, Lectures on quantum groups, 1996

5 Rick Miranda, Algebraic curves and Riemann surfaces, 1995

4 Russell A. Gordon, The integrals of Lebesgue, Denjoy, Perron, and Henstock, 1994 3 Wil l iam W . A d a m s and Phi l ippe Loustaunau, An introduction to Grobner bases,

1994 2 Jack Graver, Brigitte Servatius, and Herman Servatius, Combinatorial rigidity,

1993 1 E than Akin, The general topology of dynamical systems, 1993

Page 20: Resolutio n of Singularitie s - American Mathematical Society · Embedded resolution of singularities 56 Chapter 6. Resolution of Singularities in Characteristic Zero 61 §6.1. The