CHAPTER 1 Preliminaries from algebraic geometry In Section 1 of this Chapter we review some standard terminology, conventions, and notation from algebraic geometry we also introduce some new terminology and notation that will prove useful throughout the book. In Section 2 we very briefly discuss categorical quotients in algebraic geometry, specifically in the context of al- gebraic varieties, algebraic stacks, affine schemes, and p—adic formal schemes. Our main purpose here is to offer a quick overview of some of the available approaches to quotients in algebraic geometry before we embark, in the next Chapter, onto the task of explaining the S—geometric approach proposed in this book. In Section 3 we discuss a class of correspondences on algebraic curves that will play a key role in our book these are the correspondences that admit an analytic uniformization and will fall into 3 categories (spherical, flat and hyperbolic). The concept of ana- lytic uniformization of a correspondence is closely connected, as we shall see, to (a generalization of) the concept of postcritical finiteness in complex dynamics. The impatient reader might choose to simply skim through this Chapter and to later come back to the material here as needed. A good idea, nevertheless, is to read (at least) the numbered new definitions in this Chapter. With regards to proofs, our general policy, in this Chapter, was to prove only the facts for which we could find no convenient reference these facts are all "easy". The facts (some of which are "hard") for which we could find references are not supplied with proofs. 1.1. Algebro-geometric terminology 1.1.1. Categories. Recall the following terminology already used in the In- troduction. DEFINITION 1.1. A correspondence in a category C is a tuple (1.1) X = ( X , A i , a 2 ) , where X, X are objects in C and cri,T2 : X —• X are morphisms in C. If a := (X, cri, cr2) then we also say that o is a correspondence on X and we write (1.2) X = ( A » . We sometimes refer to X as the base of X. A categorical quotient for X is a pair (y, 7r) where Y is an object of C and n : X Y is a morphism in C satisfying the following properties: 1) 7T O &i = 7T O (J25 2) For any pair (Y',irf) where Y' is an object of C and IT' : X Y' is a morphism such that ir' o o~l = IT' o r2 there exists a unique morphism 7 : Y Y' SUCh t h a t 7 O 7T = 7T . 3 http://dx.doi.org/10.1090/surv/118/01
Previous Page Next Page