Grundlehren der mathematischen Wissenschaften 334 A Series of Comprehensive Studies in Mathematics
Series editors
M. Berger B. Eckmann P. de la Harpe F. Hirzebruch N. Hitchin L. Hörmander M.-A. Knus A. Kupiainen G. Lebeau M.Ratner D.Serre Ya.G.Sinai N.J.A. Sloane B. Totaro A. Vershik M. Waldschmidt
Editor-in-Chief A. Chenciner J. Coates S.R.S. Varadhan Edoardo Sernesi
Deformations of Algebraic Schemes
ABC Edoardo Sernesi Universitá "Roma Tre" Department of Mathematics Largo San Leonardo Murialdo 1 00146 Roma, Italy e-mail: [email protected]
Library of Congress Control Number: 2006924565
Mathematics Subject Classification (2000): 14D15, 14B12
ISSN 0072-7830 ISBN-10 3-540-30608-0 Springer Berlin Heidelberg New York ISBN-13 978-3-540-30608-5 Springer Berlin Heidelberg New York
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, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com c Springer-Verlag Berlin Heidelberg 2006 Printed in The Netherlands The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
Typesetting: by the author and SPI Publisher Services using a Springer LTA EX macro package Cover design: design & production GmbH, Heidelberg Printed on acid-free paper SPIN: 11371335 41/SPI 543210 Preface
In one sense, deformation theory is as old as algebraic geometry itself: this is because all algebro-geometric objects can be “deformed” by suitably varying the coefficients of their defining equations, and this has of course always been known by the classical geometers. Nevertheless, a correct understanding of what “deforming” means leads into the technically most difficult parts of our discipline. It is fair to say that such technical obstacles have had a vast impact on the crisis of the classical language and on the development of the modern one, based on the theory of schemes and on cohomological methods. The modern point of view originates from the seminal work of Kodaira and Spencer on small deformations of complex analytic manifolds and from its forma- lization and translation into the language of schemes given by Grothendieck. I will not recount the history of the subject here since good surveys already exist (e.g. [27], [138], [145], [168]). Today, while this area is rapidly developing, a self-contained text covering the basic results of what we can call “classical deformation theory” seems to be missing. Moreover, a number of technicalities and “well-known” facts are scattered in a vast literature as folklore, sometimes with proofs available only in the complex analytic category. This book is an attempt to fill such a gap, at least par- tially. More precisely, it aims at giving an account with complete proofs of the results and techniques which are needed to understand the local deformation theory of alge- braic schemes over an algebraically closed field, thus providing the tools needed, for example, in the local study of Hilbert schemes and moduli problems. The existing monographs, like [14], [93], [105], [109], [124], [163], [175], [176], [184], all aim at goals different from the above. For these reasons my approach has been to work exclusively in the category of locally noetherian schemes over a fixed algebraically closed field k, to avoid switch- ing back and forth between the algebraic and the analytic category. I tried to make the text self-contained as much as possible, but without forgetting that all the technical ideas and prerequisites can be found in [3] and [2]: therefore the reader is advised to keep a copy of them to hand while reading this text. In any case a good fami- liarity with [84] and with a standard text in commutative algebra like [48] or [127] VI Preface will be generally sufficient; the classical [167] and [190] will be also useful. A good acquaintance with homological algebra is assumed throughout. One of the difficulties of writing about this subject is that it needs a great num- ber of technical results, which make it hard to maintain a proper balance between generality and understandability. In order to overcome this problem I tried to keep the technicalities to a minimum, and I introduced the main deformation problems in an elementary fashion in Chapter 1; they are then reconsidered as functors of Artin rings in Chapter 2, where the main results of the theory are proved. The first two chapters therefore give a self-contained treatment of formal deformation theory via the “classical” approach; cotangent complexes and functors are not introduced, nor the method of differential graded Lie algebras. Another chapter treats in more detail the most important deformation functors, with the single exception of vector bun- dles; this was motivated by reasons of space and because good monographs on the subject are already available (e.g. [90], [118], [59]). Although they are not the central issue of the book, I considered it necessary to include a chapter on Hilbert schemes and Quot schemes, since it would be impossible to give meaningful examples and applications without them, and because of the lack of an appropriate reference. De- formation theory is closely tied with classical algebraic geometry because some of the issues which had remained controversial and unclear in the old language have found a natural explanation using the methods discussed here. I have included a sec- tion on plane curves which gives a good illustration of this point. Unfortunately, important topics and results have been omitted because of lack of space, energy and competence. In particular, I did not include the construction of any global moduli spaces/stacks, which would have taken me too far from the main theme. The book is organized in the following way. Chapter 1 starts with a concise treat- ment of algebra extensions which are fundamental in deformation theory. It then discusses locally trivial infinitesimal deformations of algebraic schemes. Chapter 2 deals with “functors of Artin rings”, the abstract tool for the study of formal defor- mation theory. The main result of this theory is Schlessinger’s theorem. A section on obstruction theory, an elementary but crucial technical point, is included. We discuss the relation between formal and algebraic deformations and the algebraization prob- lem. This part is not entirely self-contained since Artin’s algebraization theorem is not proved in general and the approximation theorem is only stated. The last section explains the role of automorphisms and the related notion of “isotriviality”. Chap- ter 3 is an introduction to the most important deformation problems. By applying Schlessinger’s theorem to them, we derive the existence of formal (semi)universal deformations. Many examples are discussed in detail so that all the basic principles of deformation theory become visible. This chapter can be used as a reference for several standard facts of deformation theory, and it can be also helpful in supplement- ing the study of the more abstract Chapter 2. Chapter 4 is devoted to the construction and general properties of Hilbert schemes, Quot schemes and their variants, the “flag Hilbert schemes”. It ends with a section on plane curves, where the main properties of Severi varieties are discussed. My approach to the proof of existence of nodal curves with any number of nodes uses multiple point schemes and is apparently new. Preface VII
In the Appendices I have collected several topics which are well known and standard but I felt it would be convenient for the reader to have them available here. Acknowledgements. Firstly, I would like to express my deepest gratitude to D. Lieberman, who introduced me to the study of deformations of complex mani- folds a long time ago. More recently, R. Hartshorne, after a careful reading of a previous draft of this book, made a number of comments and suggestions which sig- nificantly contributed in improving it. I warmly thank him for his generous help. For many extremely useful remarks on another draft of the book I am also indebted to M. Brion. I gratefully acknowledge comments and suggestions from other colleagues and students, in particular: L. Badescu, I. Bauer, A. Bruno, M. Gonzalez, A. Lopez, M. Manetti, A. Molina Rojas, D. Tossici, A. Verra, A. Vistoli. I would also like to thank L. Caporaso, F. Catanese, C. Ciliberto, L. Ein, D. Laksov and H. Lange for encouragement and support which have been of great help. Contents
Terminology and notation ...... 1
Introduction ...... 3
1 Infinitesimal deformations ...... 9 1.1 Extensions...... 9 1.1.1 Generalities ...... 9 1.1.2 The module ExA(R, I ) ...... 12 1.1.3 Extensions of schemes ...... 15 1.2 Locallytrivialdeformations...... 20 1.2.1 Generalities on deformations ...... 20 1.2.2 Infinitesimal deformations of nonsingular affine schemes . . . 23 1.2.3 Extending automorphisms of deformations ...... 26 1.2.4 First-orderlocallytrivialdeformations ...... 29 1.2.5 Higher-order deformations – obstructions ...... 32
2 Formal deformation theory ...... 37 2.1 Obstructions...... 37 2.2 Functors of Artin rings ...... 44 2.3 The theorem of Schlessinger ...... 54 2.4 The local moduli functors ...... 64 2.4.1 Generalities ...... 64 2.4.2 Obstruction spaces ...... 69 2.4.3 Algebraic surfaces ...... 72 2.5 Formal versus algebraic deformations...... 75 2.6 Automorphisms and prorepresentability ...... 89 2.6.1 The automorphism functor ...... 89 2.6.2 Isotriviality ...... 96 X Contents
3 Examples of deformation functors ...... 103 3.1 Affine schemes ...... 103 3.1.1 First-orderdeformations...... 103 3.1.2 The second cotangent module and obstructions ...... 109 3.1.3 Comparison with deformations of the nonsingular locus . . . . 117 3.1.4 Quotient singularities ...... 120 3.2 Closed subschemes ...... 122 3.2.1 The local Hilbert functor ...... 122 3.2.2 Obstructions...... 129 3.2.3 Theforgetfulmorphism...... 132 3.2.4 The local relative Hilbert functor ...... 136 3.3 Invertiblesheaves...... 137 3.3.1 The local Picard functors ...... 137 3.3.2 Deformationsofsections,I...... 141 3.3.3 Deformations of pairs (X, L) ...... 145 3.3.4 Deformationsofsections,II...... 152 3.4 Morphisms...... 156 3.4.1 Deformations of a morphism leaving domain and target fixed 157 3.4.2 Deformations of a morphism leaving the target fixed ...... 161 3.4.3 Morphisms from a nonsingular curve with fixed target . . . . . 172 3.4.4 Deformations of a closed embedding ...... 176 3.4.5 Stability and costability ...... 180
4 Hilbert and Quot schemes ...... 187 4.1 Castelnuovo–Mumfordregularity...... 187 4.2 Flatnessintheprojectivecase...... 194 4.2.1 Flatness and Hilbert polynomials ...... 194 4.2.2 Stratifications...... 198 4.2.3 Flatteningstratifications...... 200 4.3 Hilbert schemes ...... 206 4.3.1 Generalities ...... 206 4.3.2 Linear systems ...... 207 4.3.3 Grassmannians ...... 209 4.3.4 Existence ...... 213 4.4 Quot schemes ...... 219 4.4.1 Existence ...... 219 4.4.2 Local properties ...... 223 4.5 Flag Hilbert schemes...... 227 4.5.1 Existence ...... 227 4.5.2 Local properties ...... 230 4.6 Examplesandapplications...... 235 4.6.1 Completeintersections...... 235 4.6.2 An obstructed nonsingular curve in IP 3 ...... 237 4.6.3 An obstructed (nonreduced) scheme ...... 238 4.6.4 Relative grassmannians and projective bundles ...... 240 Contents XI
4.6.5 Hilbert schemes of points ...... 247 4.6.6 Schemes of morphisms ...... 249 4.6.7 Focal loci ...... 251 4.7 Planecurves...... 254 4.7.1 Equisingular infinitesimal deformations ...... 254 4.7.2 TheSeverivarieties...... 256 4.7.3 Nonemptiness of Severi varieties ...... 262
A Flatness ...... 269
B Differentials ...... 279
C Smoothness ...... 293
D Complete intersections ...... 305 D.1 Regular embeddings ...... 305 D.2 Relativecompleteintersectionmorphisms...... 307
E Functorial language ...... 313
References ...... 321
List of symbols ...... 329
Index ...... 333 Terminology and notation
All rings will be commutative with 1. A ring homomorphism A → B is called essentially of finite type (e.f.t.) if B is a localization of an A-algebra of finite type. We will also say that B is e.f.t. over A. We will always denote by k a fixed algebraically closed field. All schemes will be assumed to be defined over k, locally noetherian and separated, and all algebraic sheaves will be quasi-coherent unless otherwise specified. If X and Y are schemes we will write X × Y instead of X ×k Y .IfS is a scheme and s ∈ S we denote by k(s) = OS,s/mS,s the residue field of S at s. As is customary, various categories will be denoted by indicating their objects within parentheses when it will be clear what the morphisms in the category are. For instance (sets), (A-modules), etc. The class of objects of a category C will be denoted by ob(C). The dual of a category C will be denoted by C◦. Given categories C and D, a contravariant functor F from C to D will be always denoted as a covariant functor F : C◦ → D. We will consider the following categories of k-algebras:
A = the category of local artinian k-algebras with residue field k Aˆ = the category of complete local noetherian k-algebras with residue field k A∗ = the category of local noetherian k-algebras with residue field k (k-algebras) = the category of noetherian k-algebras
Morphisms are unitary k-homomorphisms, which are local in A, Aˆ and A∗.Fora given Λ in ob(A∗) we will consider the following:
AΛ = the category of local artinian Λ-algebras with residue field k ∗ AΛ = the category of local noetherian Λ-algebras with residue field k 2 Terminology and notation
They are subcategories of A and A∗ respectively. If Λ is in ob(Aˆ) then we will let ˆ AΛ = the category of complete local noetherian Λ-algebras with residue field k which is a subcategory of Aˆ. Moreover, we will set:
(schemes) = the category of schemes
(i.e. of locally noetherian separated k-schemes) and
(algschemes) = the category of algebraic schemes
For a given scheme Z we set
(schemes/Z) = the category of Z-schemes (algschemes/Z) = the category of algebraic Z-schemes hi (X, F) denotes dim[H i (X, F)] where F is a coherent sheaf on the complete scheme X. When no confusion is possible we will sometimes write H i (F) and hi (F) i i instead of H (X, F) and h (X, F) respectively. i Xi denotes the disjoint union of the schemes Xi . If E is a vector space or a locally free sheaf we will always denote its dual by E∨. If V is a k-vector space we will denote by IP (V ) the projective space Proj(Sym(V ∨)) (where Sym(−) is the symmetric algebra of −): thus the closed points of IP (V ) are the one-dimensional subspaces of V . Similarly, if E is a locally free sheaf on an algebraic scheme S, the projective bundle associated to E will be defined as
∨ IP (E) = Proj(Sym(E ))
Note that this definition is dual to the one given in [84], p. 162. For all definitions not explicitly given we will refer to [84]. Introduction
La methode´ gen´ erale´ consiste toujours a` faire des constructions formelles, ce qui consiste essentiellement a` faire de la geom´ etrie´ algebrique´ sur un anneau artinien,eta` en tirer des conclusions de nature “algebrique”´ en utilisant les trois theor´ emes` fondamentaux (Grothendieck [71], p. 11).
Deformation theory is a formalization of the Kodaira–Nirenberg–Spencer–Kuranishi (KNSK) approach to the study of small deformations of complex manifolds. Its main ideas are clearly outlined in the series of Bourbaki seminar expositions by Grothendieck which go under the name of “Fondements de la Geom´ etrie´ Algebrique”´ [2]; in particular they are explained in detail in [72] (see especially page 17), while the technical foundations are laid in [71]. The quotation at the top of this page gives a concise description of the method employed. The first step of this formalization consists in studying infinitesimal deforma- tions, and this is accomplished via the notion of “functor of Artin rings”; the study of such functors leads to the construction of “formal deformations”. This method enhances the analogies between the analytic and the algebraic cases, and at the same time hides some delicate phenomena typical of the algebraic geometrical world. These phenomena become visible when one tries to pass from formal to algebraic deformations. The techniques of deformation theory have a variety of applications which make them an extremely useful tool, especially in understanding the local structure of schemes defined by geometrical conditions or by functorial construc- tions. In this introduction we shall explain in outline the logical structure of deforma- tion theory; for this purpose we will start by outlining the KNSK theory of small deformations of compact complex manifolds. Given a compact complex manifold X,afamily of deformations of X is a com- mutative diagram of holomorphic maps between complex manifolds X ⊂ X ξ : ↓↓π t −→o B with π proper and smooth (i.e. with everywhere surjective differential), B connected −1 and where denotes the singleton space. We denote by Xt the fibre π (t), t ∈ B. It is a standard fact that, locally on B, X is differentiably a product so that π can be viewed locally as a family of complex structures on the differentiable manifold Xdiff. 4 Introduction
The family ξ is trivial at to if there is a neighbourhood U ⊂ B of to such that we have π −1(U) =∼ X × U analytically. ∂ ∈ Kodaira and Spencer started by defining, for every tangent vector ∂t Tto B, the π ∂ derivative of the family along ∂t as an element ∂X t ∈ H 1(X, T ) ∂t X thus giving a linear map κ : → 1( , ) Tto B H X TX called the Kodaira–Spencer map of the family π. They showed that if π is trivial at to κ( ∂ ) = ∂ ∈ then ∂t 0 for all ∂t Tto B. Then they investigated the problem of classifying all small deformations of X, by constructing a “complete family” of deformations of X. A family ξ as above is called complete if for every other family of deformations of X: X ⊂ Y η : ↓↓p m −→o M there is an open neighbourhood V ⊂ M and a commutative diagram X
p−1(V ) → X ↓↓ V → B
−1 ∼ inducing an isomorphism p (V ) = V ×B X . The family is called universal if it is complete and moreover, the morphism V → B is unique locally around mo for each family η as above. Kodaira and Spencer proved that if κ is surjective then the family ξ is complete. The following existence result was then proved: 2 Theorem 0.0.1 (Kodaira–Nirenberg–Spencer [106]). If H (X, TX ) = 0 then there exists a complete family of deformations of X whose Kodaira–Spencer map is an 0 isomorphism. If, moreover, H (X, TX ) = 0 then such complete family is universal. Later Kuranishi [111] generalized this result by showing that a complete family of deformations of X such that κ is an isomorphism exists without assumptions on 2 H (X, TX ) provided the base B is allowed to be an analytic space. We want to rephrase everything algebraically as far as possible. Let’s fix an alge- braically closed field k and consider an algebraic k-scheme X.Alocal deformation, or a local family of deformations,ofX is a cartesian diagram X → X ξ : ↓↓π Spec(k) ⊂ S where π is a flat morphism, S = Spec(A) where A is a local k-algebra with residue field k, and X is identified with the fibre over the closed point. If X is nonsingular Introduction 5 and/or projective we will require π to be smooth and/or projective. We say that ξ is a deformation over Spec(A) or over A. If in particular A is an artinian local k-algebra then we speak of an infinitesimal deformation. The notion of local family has the fundamental property of being funtorial.Given two deformations of X: X → X X → Y ξ : ↓↓π and η : ↓↓ρ Spec(k) ⊂ Spec(A) Spec(k) ⊂ Spec(A) parametrized by the same Spec(A), an isomorphism ξ =∼ η is defined to be a mor- phism f : X → Y of schemes over Spec(A) inducing the identity on the closed fibre, i.e. such that the following diagram
X
X −→f Y
Spec(A) is commutative. Consider the category ∗ A = (noetherian local k-algebras with residue field k) and its full subcategory
A = (artinian local k-algebras with residue field k)
One defines a covariant functor ∗ DefX : A → (sets) by DefX (A) ={local deformations of X over Spec(A)}/(isomorphism) This is the functor of local deformations of X; its restriction to A is the functor of infinitesimal deformations of X. One may now ask whether DefX is representable, namely if there is a noetherian local k-algebra O and a local deformation X → X ◦ υ : ↓↓p Spec(k) ⊂ Spec(O) which is universal, i.e. such that any other local deformation ξ is obtained by pulling back υ under a unique Spec(A) → Spec(O). The approach of Grothendieck to this problem was to formalize the method of Kodaira and Spencer, which consists in a formal construction followed by a proof of convergence. In the search for the universal deformation υ the formal construction 6 Introduction corresponds to the construction of the sequence of its restrictions to the truncations n+1 Spec(O/mO ): → X ◦ X n un : ↓↓ n ≥ 0 n+1 Spec(k) → Spec(O/mO ) n+1 These are infinitesimal deformations of X because the rings O/mO are in A.The sequence uˆ ={un} can be considered as a formal approximation of υ. It is a special case of a formal deformation: more precisely, a formal deformation of X is given by a complete local k-algebra R with residue field k and by a sequence of infinitesimal deformations X → Xn ξn : ↓↓ n ≥ 0 ( ) → ( / n+1) Spec k Spec R m R ξ → ξ / n+1 → / n = Oˆ such that n n−1 under the truncation R m R R m R. In our case R . The goal of the formal step in deformation theory is the construction of uˆ for a given X, i.e. of a formal deformation having a suitable universal property which is inherited from the corresponding property of υ, and which we do not need to specify now. Observe that in trying to perform the formal step we will at best succeed in de- scribing Oˆ and not O. Since a formal deformation consists of infinitesimal deforma- tions, for the construction of uˆ we will only need to work with the covariant functor
DefX : A → (sets)
A covariant functor F : A → (sets) is called a functor of Artin rings.Toevery complete local k-algebra R we can associate a functor of Artin rings h R by
h R(A) = HomA(R, A)
A functor of this form is called prorepresentable. By categorical general nonsense one shows that a formal deformation ξˆ defines a morphism of functors (a natural transformation) h R → DefX and that this morphism is an isomorphism precisely when ξˆ is universal. Therefore we see that the search for uˆ is a problem of prorep- resentability of DefX . More generally, to every local deformation problem there cor- responds a functor of Artin rings F analogous to DefX ; the task of constructing a formal universal deformation for the given problem consists in showing that F is prorepresentable, producing the ring R prorepresenting F and the formal uni- versal deformation defining the isomorphism h R → F. This is the scheme of ap- proach to the formal part of every local deformation problem as it was outlined by Grothendieck. What one needs is to find criteria for the prorepresentability of a functor of Artin rings; we will also need to consider properties weaker than prorep- resentability (semiuniversality) satisfied by more general classes of functors coming from interesting deformation theoretic problems. Necessary and sufficient conditions of prorepresentability and of semiuniversality are given by Schlessinger’s theorem. After having solved the problem of existence of a formal universal (or semiuni- versal) deformation by means of necessary and sufficient conditions for its existence Introduction 7 one still has to decide whether O and υ exist and to find them. To pass from Oˆ to O is the analogue of the convergence step in the Kodaira–Spencer theory, and it is a very difficult problem, the algebraization problem. Under reasonably general as- sumptions one shows that there exists a deformation υ over an algebraic local ring (i.e. the henselization of a local k-algebra essentially of finite type) which does not quite represent the functor DefX but at least has a universal (or semiuniversal) associ- ated formal deformation. The further property of representing DefX is not in general satisfied by (O,υ), being related to the existence of nontrivial automorphisms of X. This part of the theory is largely due to the work of M. Artin, and based on the notions of effectivity of a formal deformation and of local finite presentation of a functor, al- ready introduced by Grothendieck. The main technical tool is Artin’s approximation theorem. 1 Infinitesimal deformations
The purpose of this chapter is to introduce the reader to deformation theory in an elementary and direct fashion. We will be especially interested in first-order defor- mations and obstructions and in giving them appropriate interpretation mostly by elementary Cechˇ cohomology computations. We will start by introducing some al- gebraic tools needed. For other notions used we refer the reader to the appendices.
1.1 Extensions
1.1.1 Generalities
Let A → R be a ring homomorphism. An A-extension of R (or of R by I )isan exact sequence ϕ (R ,ϕ): 0 → I → R −→ R → 0 where R is an A-algebra and ϕ is a homomorphism of A-algebras whose kernel I is an ideal of R satisfying I 2 = (0). This condition implies that I has a structure of R-module. (R ,ϕ)is also called an extension of A-algebras. If (R ,ϕ) and (R ,ψ) are A-extensions of R by I ,anA-homomorphism ξ : R → R is called an isomorphism of extensions if the following diagram commutes: 0 → I → R → R → 0 ↓ξ 0 → I → R → R → 0 Such a ξ is necessarily an isomorphism of A-algebras. More generally, given A- extensions (R ,ϕ)and (R ,ψ)of R, not necessarily having the same kernel, a homo- morphism of A-algebras r : R → R such that ψr = ϕ is called a homomorphism of extensions. The following lemma is immediate. Lemma 1.1.1. Let (R ,ϕ) be an extension as above. Given an A-algebra B and two A-homomorphisms f1, f2 : B → R such that ϕ f1 = ϕ f2 the induced map 10 1 Infinitesimal deformations f2 − f1 : B → I is an A-derivation. In particular, given two homomorphisms of extensions
r1, r2 : (R ,ϕ)→ (R ,ψ) the induced map r2 − r1 : R → ker(ψ) is an A-derivation.
The A-extension (R ,ϕ)is called trivial if it has a section, that is, if there exists a homomorphism of A-algebras σ : R → R such that ϕσ = 1R. We also say that (R ,ϕ)splits, and we call σ a splitting. Given an R-module I , a trivial A-extension of R by I can be constructed by considering the A-algebra R⊕˜ I whose underlying A-module is R ⊕ I and with mul- tiplication defined by: (r, i)(s, j) = (rs, rj + si) The first projection p : R⊕˜ I → R defines an A-extension of R by I which is trivial: a section q is given by q(r) = (r, 0). The sections of p can be identified with the A-derivations d : R → I . Indeed, if we have a section σ : R → R⊕˜ I with σ(r) = (r, d(r)) then for all r, r ∈ R:
σ(rr ) = (rr , d(rr )) = σ(r)σ (r ) = (r, d(r))(r , d(r )) = (rr , rd(r ) + r d(r)) and if a ∈ A then:
σ(ar) = (ar, d(ar)) = aσ(r) = a(r, d(r)) = (ar, ad(r)) hence d : R → I is an A-derivation. Conversely, every A-derivation d : R → I ˜ defines a section σd : R → R⊕I by σd (r) = (r, d(r)). Every trivial A-extension (R ,ϕ) of R by I is isomorphic to (R⊕˜ I, p).If σ : R → R is a section an isomorphism ξ : R⊕˜ I → R is given by:
ξ((r, i)) = σ(r) + i and its inverse is ξ −1(r ) = (ϕ(r ), r − σϕ(r )) An A-extension (P, f ) of R will be called versal if for every other A-extension (R ,ϕ) of R there is a homomorphism of extensions r : (P, f ) → (R ,ϕ).If R = P/I where P is a polynomial algebra over A then
0 → I/I 2 → P/I 2 → R → 0 is a versal A-extension of R. Therefore, since such a P always exists, we see that every A-algebra R has a versal extension. 1.1 Extensions 11
Examples 1.1.2. (i) Every A-extension of A is trivial because by definition it has a section. Therefore it is of the form A⊕˜ V for an A-module V . In particular, if t is an indeterminate the A-extension A[t]/(t2) of A is trivial, and is denoted by A[ ] (where = t mod (t2) satisfies 2 = 0). The corresponding exact sequence is:
0 → ( ) → A[ ]→A → 0
A[ ] is called the algebra of dual numbers over A. (ii) Assume that K is a field. If R is a local K -algebra with residue field K a K -extension of R by K is called a small extension of R.Let
f (R , f ) : 0 → (t) → R −→ R → 0 beasmallK -extension; in other words t ∈ m R is annihilated by m R so that (t) is a K -vector space of dimension one. (R , f ) is trivial if and only if the surjective linear map induced by f :
m m f : R → R 1 2 2 m R m R is not bijective. Indeed for the trivial K -extension
0 → (t) → R⊕˜ (t) → R → 0
2 we have t ∈ m ˜ \ m , hence the map f is not injective because f (t¯) = 0. R⊕(t) R⊕˜ (t) 1 1 ¯ ¯ Conversely, if f1 is not injective then f1(t) = 0; choose a vector subspace
⊂ / 2 / 2 = ⊕ (¯) ⊂ U m R m R such that m R m R U t and let V R be the subring generated by U. Then V is a subring mapped isomorphically onto R by f .Thein- verse of f|V is a section of f , therefore (R , f ) is trivial. For example, it follows from this criterion that the extension of K -algebras
(tn) K [t] K [t] 0 → → → → 0 (tn+1) (tn+1) (tn) n ≥ 2, is nontrivial. (iii) Let K be a field. The K -algebra
K [ , ]:=K [t, t ]/(t, t )2 is a K -extension of K [ ] by K in two different ways. The first
p 0 → ( ) → K [ , ] −→ K [ ]→0 12 1 Infinitesimal deformations is a trivial extension, isomorphic to p∗((K [ ], p )):
0 → ( ) → K [ ]×K K [ ]→K [ ]→0 ↓ ↓p p 0 → ( ) → K [ ] −→ K → 0 The isomorphism is given by
K [ , ]−→K [ ]×K K [ ] a + b + b −→ (a + b , a + b ) The second way is by “sum”: + 0 → ( − ) → K [ , ] −→ K [ ]→0
a + b + b → a + (b + b )
We leave it as an exercise to show that (K [ , ], +) is isomorphic to (K [ , ], p ).
1.1.2 The module ExA(R, I)
Let A → R be a ring homomorphism. In this subsection we will show how to give an R-module structure to the set of isomorphism classes of extensions of an A-algebra R by a module I , closely following the analogous theory of extensions in an abelian category as explained, for example, in Chapter III of [123]. Let (R ,ϕ) be an A-extension of R by I and f : S → R a homomorphism of A-algebras. We can define an A-extension f ∗(R ,ϕ)of S by I , called the pullback of (R ,ϕ)by f , in the following way: ∗ f (R ,ϕ): 0 → I → R ×R S → S → 0 ↓↓f (R ,ϕ): 0 → I → R → R → 0 where R ×R S denotes the fibred product defined in the usual way. Let λ : I → J be a homomorphism of R-modules. The pushout of (R ,ϕ)by λ is the A-extension λ∗(R ,ϕ)of R by J defined by the following commutative diagram: α ϕ 0 → I −→ R −→ R → 0 ↓ λ ↓ → → → → 0 J R I J R 0 where R ⊕˜ J R J = {(−α(i), λ(i)), i ∈ I } I Definition 1.1.3. For every A-algebra R and for every R-module I we define
ExA(R, I ) to be the set of isomorphism classes of A-extensions of R by I . If (R ,ϕ) is such an extension we will denote by [R ,ϕ]∈ExA(R, I ) its class. 1.1 Extensions 13
Using the operations of pullback and pushout it is possible to define an R-module structure on ExA(R, I ).
If r ∈ R and [R ,ϕ]∈ExA(R, I ) we define
r[R ,ϕ]=[r∗(R ,ϕ)] where r : I → I is the multiplication by r.
Given [R ,ϕ], [R ,ψ]∈ExA(R, I ), to define their sum we use the following diagram: 000 ↓↓ I ⊕ II= I ↓ ↓
0 → I → R ×R R → R → 0 ↓ ↓ 0 → I → R → R → 0 ↓↓ 000 which defines an A-extension:
ζ (R ×R R ,ζ): 0 → I ⊕ I → R ×R R −→ R → 0 We define
[R ,ϕ]+[R ,ψ]:=[δ∗(R ×R R ,ζ)] where δ : I ⊕ I → I is the “sum homomorphism”: δ(i ⊕ j) = i + j. Proposition 1.1.4. Let A → R be a ring homomorphism and I an R-module. With the operations defined above ExA(R, I ) is an R-module whose zero element is [R⊕˜ I, p]. This construction defines a covariant functor: (R-modules) −→ (R-modules) I −→ ExA(R, I ) ( f : I → J) −→ ( f∗ : ExA(R, I ) → ExA(R, J)) Proof. Straightforward. It is likewise straightforward to check that if f : R → S is a homomorphism of A-algebras and I is an S-module, then the operation of pullback induces an applica- tion: ∗ f : ExA(S, I ) → ExA(R, I ) which is a homomorphism of R-modules. We have the following useful result. Proposition 1.1.5. Let A be a ring, f : S → R a homomorphism of A-algebras and let I be an R-module. Then there is an exact sequence of R-modules: ρ 0 → DerS(R, I ) → DerA(R, I ) → DerA(S, I ) ⊗S R −→ v f ∗ → ExS(R, I ) −→ ExA(R, I ) −→ ExA(S, I ) ⊗S R 14 1 Infinitesimal deformations
Proof. v is the obvious application sending an S-extension to itself considered as an A-extension. An A-extension ϕ 0 → I → R −→ R → 0 is also an S-extension if and only if there exists f : S → R such that the triangle R → R ↑ S commutes, and this is equivalent to saying that f ∗(R ,ϕ)is trivial. This proves the exactness in ExA(R, I ). The homomorphism ρ is defined by letting ρ(d) = (R⊕˜ I, p) where the structure of S-algebra on R⊕˜ I is given by the homomorphism s → ( f (s), d(s)) Clearly, vρ = 0. On the other hand, for ϕ (R ,ϕ): 0 → I → R −→ R → 0 ↑ S to define an element of ker(v) there must exist an isomorphism of A-algebras R → R⊕˜ I inducing the identity on I and on R. Hence the composition S → R → R⊕˜ I is of the form
s → ( f (s), d(s)) for some d ∈ DerA(S, I ): therefore the sequence is exact at ExS(R, I ). To prove the ˜ exactness at DerA(S, I ) note that ρ(d) = 0 if and only if p : R⊕I → R has a section as a homomorphism of S-algebras, if and only if there exists an A-derivation R → I whose restriction to S is d: this proves the assertion. The exactness at DerS(R, I ) and DerA(R, I ) is straightforward.
Definition 1.1.6. The R-module ExA(R, R) is called the first cotangent module of R 1 = 1 over A and it is denoted by TR/A. In the case A k we will write TR instead of 1 TR/k. Proposition 1.1.7. Let A → B be an e.f.t. ring homomorphism and let B = P/J where P is a smooth A-algebra. Then for every B-module M we have an exact sequence: 2 DerA(P, M) → HomB(J/J , M) → ExA(B, M) → 0 (1.1)
If A → B is a smooth homomorphism then ExA(B, M) = 0 for every B-module M. Proof. We have a natural surjective homomorphism 2 HomB(J/J , M) → ExA(B, M) λ → λ∗(η) 1.1 Extensions 15 where η : 0 → J/J 2 → P/J 2 → B → 0
The surjectivity follows from the fact that η is versal. The extension λ∗(η) is trivial if and only if we have a commutative diagram 0 → J/J 2 → P/J 2 → B → 0 ↓ λ ↓ 0 → M → B⊕˜ M → B → 0 if and only if λ extends to an A-derivation D¯ : P/J 2 → M, equivalently to an A-derivation D : P → M. The last assertion is immediate (see Theorem C.9). Corollary 1.1.8. If A → B is an e.f.t. ring homomorphism and M is a finitely gener- ( , ) 1 ated B-module then ExA B M is a finitely generated B-module. In particular TB/A is a finitely generated B-module and we have an exact sequence:
0 → HomB(ΩB/A, M) → HomB(ΩP/A ⊗P B, M) → (1.2) 2 → HomB(I/I , M) → ExA(B, M) → 0 if B = P/J for a smooth A-algebra P and an ideal J ⊂ P. Proof. It is a direct consequence of the exact sequence (1.1).
1.1.3 Extensions of schemes
Let X → S be a morphism of schemes. An extension of X/S is a closed immersion
X ⊂ X , where X is an S-scheme, defined by a sheaf of ideals I ⊂ OX such 2 that I = 0. It follows that I is, in a natural way, a sheaf of OX -modules, which coincides with the conormal sheaf of X ⊂ X . To give an extension X ⊂ X of X/S is equivalent to giving an exact sequence on X: ϕ E : 0 → I → OX −→ OX → 0 2 where I is an OX -module, ϕ is a homomorphism of OS-algebras and I = 0in OX ; we call E an extension of X/SbyI or with kernel I. Two such extensions OX and OX are called isomorphic if there is an OS-homomorphism α : OX → OX inducing the identity on both I and OX . It follows that α must necessarily be an S-isomorphism. We denote by Ex(X/S, I) the set of isomorphism classes of extensions of X/S with kernel I. In the case where Spec(B) → Spec(A) is a morphism of affine schemes and I = M˜ we have an obvious identification:
ExA(B, M) = Ex(X/S, I)
If S = Spec(A) is affine we will sometimes write ExA(X, I) instead of Ex(X/Spec(A), I). Exactly as in the affine case one proves that Ex(X/S, I) is a Γ(X, OX )-module with identity element the class of the trivial extension: ˜ 0 → I → OX ⊕I → OX → 0 16 1 Infinitesimal deformations ˜ where OX ⊕I is defined as in the affine case (see Section 1.1). The correspondence
I → Ex(X/S, I) defines a covariant functor from OX -modules to Γ(X, OX )-modules. In deformation theory the case I = OX is the most important one, being related to first-order deformations. If, more generally, I is a locally free sheaf we get the notions of ribbon, carpet etc. (see [17]). Using the fact that the exact sequence (1.2) of page 15 localizes, it is immediate to check that the cotangent module localizes. More specifically, it is straightforward to show that given a morphism of finite type of schemes f : X → S one can define a 1 = ( ) quasi-coherent sheaf TX/S on X with the following properties. If U Spec A is an affine open subset of S and V = Spec(B) is an affine open subset of f −1(U), then Γ( , 1 ) = 1 V TX/S TB/A
1 1 It follows from the properties of the cotangent modules that TX/S is coherent. TX/S is / 1 = ( ) called the first cotangent sheaf of X S. We will write TX if S Spec k . For future reference it will be convenient to state the following:
1 Proposition 1.1.9. (i) If X is an algebraic scheme then TX is supported on the sin- gular locus of X. More generally, if X → S is a morphism of finite type of 1 algebraic schemes then TX/S is supported on the locus where X is not smooth over S. (ii) If we have a closed embedding X ⊂ Y with Y nonsingular, then we have an exact sequence of coherent sheaves on X: → → → → 1 → 0 TX TY |X NX/Y TX 0 (1.3) = [ → 1] so that, letting NX/Y ker NX/Y TX , we have the short exact sequence → → → → 0 TX TY |X NX/Y 0 (1.4)
NX/Y is called the equisingular normal sheaf of X in Y. (iii) For every scheme S and morphism of S-schemes f : X → Y we have an exact sequence of sheaves → → → ( ∗Ω1 , O ) → 1 → 1 → ∗ 1 0 TX/Y TX/S Hom f Y/S X TX/Y TX/S f TY/S (1.5) (iv) When S = Spec(k) and f is a closed embedding of algebraic schemes, with Y = = 1 nonsingular, we have TX/Y 0 and NX/Y TX/Y . Moreover, (1.3) is a special case of (1.5) in this case.
Proof. (i) Use Proposition 1.1.7. (ii) (1.3) globalizes the exact sequence (1.2). (iii) (1.5) globalizes the exact sequence of Proposition 1.1.5. (iv) Follows from (1.2) and 1.1.5. 1.1 Extensions 17
Note that the first half of the exact sequence (1.5) is the dual of the cotangent sequence of f . For more about (1.5) see also (3.43), page 162. The following is a basic result:
Theorem 1.1.10. Let X → S be a morphism of finite type of algebraic schemes and I a coherent locally free sheaf on X. Assume that X is reduced and S-smooth on a dense open subset. Then there is a canonical identification
Ex(X/S, I) = Ext1 (Ω1 , I) OX X/S which to the isomorphism class of an extension of X/S:
E : 0 → I → OX → OX → 0 associates the isomorphism class of the relative conormal sequence of X ⊂ X :
: → I →δ (Ω1 ) → Ω1 → cE 0 X /S |X X/S 0 (which is exact also on the left).
Proof. Suppose given an extension E. Since I is locally free and X is reduced in order to show that cE is exact on the left it suffices to prove that ker(δ) is torsion, equivalently that cE is exact at every general closed point x of any irreducible com- ponent of X. Since X is smooth over S at x it follows from 1.1.7 that there is an affine open neighbourhood U of x such that E|U is trivial. From Theorem B.3 we de- duce that the relative conormal sequence of E|U is split exact. Since it coincides with the restriction of cX to U we see that δ|U is injective; this shows that ker(δ) is tor- sion and cE is exact. Since isomorphic extensions have isomorphic relative cotangent sequences we have a well-defined map
1 1 c− : Ex(X/S, I) → Ext (Ω , I) OX X/S
Now let η : → I → A →p Ω1 → 0 X/S 0 define an element of Ext1 (Ω1 , I). Letting d : O → Ω1 be the canonical OX X/S X X/S derivation, consider the sheaf of OS algebras O = A ×Ω1 OX : over an open subset X/S U ⊂ X we have Γ(U, O) ={(a, f ) : p(a) = d( f )} and the multiplication rule is
(a, f )(a , f ) = ( fa + f a, ff )
Then we have an exact commutative diagram
0 → I → O → OX → 0 ↓d¯ ↓ d → I → A → Ω1 → 0 X/S 0 18 1 Infinitesimal deformations ¯ where one immediately checks that the projection d is an OS-derivation and therefore it must factor as 1 O → Ω ⊗O O → A O/OS X and we have an exact commutative diagram
0 → I → O → OX → 0 ↓ ↓d I → Ω1 ⊗ O → Ω1 → O/O O X X/S 0 (1.6) ↓S → I → A → Ω1 → 0 X/S 0 1 ∼ which implies Ω ⊗O OX = A. Therefore, letting eη be the extension given by O/OS the first row of (1.6), we see that ceη = η. Similarly, one shows that ecE = E for any [E]∈Ex(X/S, I). Therefore c− and e− are inverse of each other and the conclusion follows.
Corollary 1.1.11. Let X → S be a morphism of finite type of algebraic schemes, smooth on a dense open subset of X. Assume X reduced. Then there is a canonical isomorphism of coherent sheaves on X:
T 1 =∼ Ext1 (Ω1 , O ) X/S OX X/S X In particular, if X is a reduced algebraic scheme then
T 1 =∼ Ext1 (Ω1 , O ) X OX X X and if, moreover, X = Spec(B0) then
1 ∼ 1 T = Ext (Ω / , B ) B0 k B0 k 0 Proof. An immediate consequence of the above theorem. A closer analysis of the proof of Theorem 1.1.10 shows that without assuming X reduced we only have an inclusion
Ext1 (Ω1 , O ) ⊂ T 1 OX X X X
NOTES 1. An alternative approach to the topics treated in this section can be obtained by means of the so-called “truncated cotangent complex”, first introduced in [76]. A more general version of the cotangent complex was introduced in [120] and later incorporated in general theories of Andre´ [4], Quillen [146] and Tate [181]. Here we will just recall the main facts about the truncated cotangent complex, without entering into any details, with the only purpose of showing the relation to the notions introduced in this section. For details we refer to [94]. Let A be a ring and R an A-algebra. To every A-extension
ϕ η : 0 → I → R −→ R → 0 1.1 Extensions 19 we associate a complex c•(η) of R-modules (also denoted c•(ϕ)) defined as follows:
c0(η) = ΩR /A ⊗R R c1(η) = I cn(η) = (0) n = 0, 1 d1 : c1(η) → c0(η) is the map x → d(x) ⊗ 1. In other words c•(η) consists of the first map in the conormal sequence of ϕ.Ifr : (R ,ϕ)→ (R ,ψ)is a homomorphism of A-extensions then r induces a homomorphism of complexes
c•(r) : c•(ϕ) → c•(ψ) in an obvious way. The following is easy to establish:
• Let r1, r2 : (R ,ϕ) → (R ,ψ) be two homomorphisms of A-extensions of R.Then c•(r1) and c•(r2) are homotopic. As an immediate consequence we have: • if (E, p) and (F, q) are two versal A-extensions of R then the complexes c•(p) and c•(q) are homotopically equivalent.
Definition 1.1.12. Let A be a ring, R an A-algebra and (E, p) a versal A-extension of R. The homotopy class of the complex c•(p) is called the (truncated) cotangent complex of R over A and denoted by Tˇ (R/A).
If R = P/I for a polynomial A-algebra P the A-extension
0 → I/I 2 → P/I 2 → R → 0 (1.7) is versal and therefore the complex
2 δ I/I −→ ΩP/A ⊗P R (1.8) where δ is the map appearing in the conormal sequence of A → P → R,representsTˇ (R/A). If R is e.f.t. and P is replaced by a smooth A-algebra then (1.7) is again a versal A-extension and (1.8) again represents Tˇ (R/A). From the fact that every A-algebra R can be obtained as the quotient of a polynomial A-algebra P it follows that the cotangent complex Tˇ (R/A) exists for every A-algebra R. The cotangent complex can be used to define “upper and lower cotangent functors”, as follows.
Definition 1.1.13. Let A → B be a ring homomorphism, M a B-module, and let d1 ˇ c• ={C1 −→ C0} represent T (B/A). Then for i = 0, 1 the lower cotangent module of B over A relative to M is: ˇ Ti (B/A, M) = Hi (c• ⊗B M) and the upper cotangent module of B over A relative to M is:
Tˇ i (B/A, M) = Hi (Hom(c•, M))
Because of the definition of cotangent complex it follows that the cotangent modules are independent on the choice of the complex c• representing Tˇ (B/A),butonlydependon 20 1 Infinitesimal deformations
A, B, M. Moreover, one immediately checks that the definition is functorial in M and there- fore we have covariant functors: ˇ Ti (B/A, −) : (B-modules) → (B-modules) i = 0, 1 and Tˇ i (B/A, −) : (B-modules) → (B-modules) i = 0, 1 One immediately sees that for i = 0 the cotangent functors are: ˇ T0(B/A, M) = ΩB/A ⊗B M and ˇ 0 T (B/A, M) = DerA(B, M) From the extension (1.7) we obtain the exact sequences:
ˇ 2 0 → T1(B/A, M) → I/I ⊗B M → ΩP/A ⊗P M → ΩB/A ⊗B M → 0 and 0 → HomB(ΩB/A, M) → HomB(ΩP/A ⊗P B, M) →
2 ˇ 1 HomB(I/I , M) → T (B/A, M) → 0 If B is e.f.t. then in (1.7) P can be chosen to be a smooth A-algebra; in this case it follows that ˇ ˇ i Ti (B/A, M) and T (B/A, M) are finitely generated B-modules if M is finitely generated. Moreover, recalling Corollary 1.1.8, we see that we have an identification
ˇ 1 T (B/A, M) = ExA(B, M)
2. The topics of this section originate from [76]. See also [1], Ch. 0IV, § 18. The proof of Theorem 1.1.10 has been taken from [17]; see also [66].
1.2 Locally trivial deformations
1.2.1 Generalities on deformations
Let X be an algebraic scheme. A cartesian diagram of morphisms of schemes
X → X η : ↓↓π s Spec(k) −→ S where π is flat and surjective, and S is connected, is called a family of deforma- tions,orsimplyadeformation,ofX parametrized by S, or over S; we call S and X respectively the parameter scheme and the total scheme of the deformation. If S is al- gebraic, for each k-rational point t ∈ S the scheme-theoretic fibre X (t) is also called a deformation of X. When S = Spec(A) with A in ob(A∗) and s ∈ S is the closed point we have a local family of deformations (shortly a local deformation)ofX over A. The deformation η will be also denoted by (S,η)or (A,η)when S = Spec(A). 1.2 Locally trivial deformations 21
The local deformation (A,η)is infinitesimal (resp. first-order)ifA ∈ ob(A) (resp. A = k[ ]). Given another deformation X → Y ξ : ↓↓ Spec(k) → S of X over S, an isomorphism of η with ξ is an S-isomorphism φ : X → Y inducing the identity on X, i.e. such that the following diagram is commutative: X
φ X −→ Y
S By a pointed scheme we will mean a pair (S, s) where S is a scheme and s ∈ S.IfK is a field we call (S, s) a K -pointed scheme if K =∼ k(s). Observe that for every X and for every k-pointed scheme (S, s) there exists at least one family of deformation of X over S, namely the product family: X → X × S ↓↓ s Spec(k) −→ S A deformation of X over S is called trivial if it is isomorphic to the product family. It will be also called a trivial family with fibre X. All fibres over k-rational points of a trivial deformation of X parametrized by an algebraic scheme are isomorphic to X. The converse is not true: there are deformations which are not trivial but have isomorphic fibres over all the k-rational points (see Example 1.2.2(ii) below). The scheme X is called rigid if every infinitesimal deformation of X over A is trivial for every A in ob(A). Given a deformation η of X over S as above and a morphism (S , s ) → (S, s) of k-pointed schemes there is induced a commutative diagram by base change
X → X ×S S ↓↓ Spec(k) → S which is clearly a deformation of X over S . This operation is functorial, in the sense that it commutes with composition of morphisms and the identity morphism does not change η. Moreover, it carries isomorphic deformations to isomorphic ones. An infinitesimal deformation η of X is called locally trivial if every point x ∈ X has an open neighbourhood Ux ⊂ X such that → X Ux |Ux ↓↓ Spec(k) → S is a trivial deformation of Ux . 22 1 Infinitesimal deformations
Remark 1.2.1. Let j X −→ X η : ↓↓π s Spec(k) −→ S be a family of deformations of an algebraic scheme X parametrized by an algebraic scheme S and let Z ⊂ X be a proper closed subset. Then
j X\Z −→ X \ j(Z) ↓↓π s Spec(k) −→ S is a family of deformations of X\Z having the same fibres as π over t ∈ S for t = s: thus such fibres are deformations both of X and of X\Z. This shows that the defi- nition of family of deformations given above is somewhat ambiguous unless we as- sume that π is projective or that the deformation is infinitesimal. In what follows we will restrict to the consideration of deformations of projective schemes and/or of in- finitesimal deformations when discussing the general theory, so that such ambiguity will be removed; only occasionally will we consider non-infinitesimal deformations of affine schemes.
Examples 1.2.2. (i) The quadric Q ⊂ A3 of equation xy − t = 0 defines, via the projection A3 → A1 (x, y, t) → t a flat family Q → A1 whose fibres are affine conics. This family is not trivial since the fibre Q(0) is singular, hence not isomorphic to the fibres Q(t), t = 0, which are nonsingular. (ii) Consider, for a given integer m ≥ 0, the rational ruled surface = (O ( ) ⊕ O ) Fm IP IP 1 m IP 1
1 The structural morphism π : Fm → IP defines a flat family whose fibres are all 1 ∼ isomorphic to IP ;butifm > 0 then π is not a trivial family because Fm = F0 = IP 1 × IP 1 (see Example B.11(iii)). (iii) Let 0 ≤ n < m be two distinct nonnegative integers having the same parity = 1 ( − ) 2 × 1 and let k 2 m n . Consider two copies of A IP given as ( [ , ,ξ ,ξ ]) =: ( [ , ,ξ ,ξ ]) =: Proj k t z 0 1 W and Proj k t z 0 1 W (here the rings are graded ξ ξ ξ = ξ /ξ ξ = ξ /ξ with respect to the variables i and i ). Letting 1 0 and 1 0 consider the open subsets
Spec(k[t, z,ξ]) ⊂ W, Spec(k[t, z ,ξ ]) ⊂ W and glue them together along the open subsets
− Spec(k[t, z, z 1,ξ]) ⊂ Spec(k[t, z,ξ]) 1.2 Locally trivial deformations 23 and − Spec(k[t, z , z 1,ξ ]) ⊂ Spec(k[t, z ,ξ ]) according to the following rules:
− z = z 1,ξ= zmξ + tzk (1.9)
This induces a gluing of W and W along ( [ , , −1,ξ ,ξ ]) ( [ , , −1,ξ ,ξ ]) Proj k t z z 0 1 and Proj k t z z 0 1 Call the resulting scheme W and f : W → A1 = Spec(k[t]) the morphism induced by the projections. Then f is a flat morphism because it is locally a projection; moreover, ∼ W(0) = Fm Let W◦ = f −1(A1\{0}) and f ◦ : W◦ → A1\{0} the restriction of f . In k[t, t−1, z,ξ] define kξ − ζ = z t tξ and in k[t, t−1, z ,ξ ] ξ ζ = tz m−kξ + t2 It is straightforward to verify that the gluing (1.9) induces the relation
ζ = znζ
This means that we have an isomorphism
◦ ∼ 1 W = Fn × (A \{0}) compatible with the projections to A1\{0}. Therefore the family f ◦ is trivial, in par- ticular all its fibres are isomorphic to Fn, but the family f is not trivial because ∼ W(0) = Fm. (iv) Let f : X → Y be a surjective morphism of algebraic schemes, with X integral and Y an irreducible and nonsingular curve. Then f is flat. This is a special case of Prop. III.9.7 of [84]. Therefore f defines a family of deformations of any of its closed fibres.
1.2.2 Infinitesimal deformations of nonsingular affine schemes
We will start by considering infinitesimal deformations of affine schemes. We need the following:
Lemma 1.2.3. Let Z0 be a closed subscheme of a scheme Z, defined by a sheaf of nilpotent ideals N ⊂ OZ .IfZ0 is affine then Z is affine as well. 24 1 Infinitesimal deformations
Proof. Let r ≥ 2 be the smallest integer such that N r = (0). Since we have a chain of inclusions
r−1 r−2 Z ⊃ V (N ) ⊃ V (N ) ⊃···⊃ V (N) = Z0 it suffices to prove the assertion in the case r = 2. In this case N is a coherent O Z0 -module, and therefore
1 1 H (Z, N) = H (Z0, N) = 0
Let R0 be the k-algebra such that Z0 = Spec(R0). We have the exact sequence: 0 0 0 → H (Z, N) → H (Z, OZ ) → R0 → 0
0 Put R = H (Z, OZ ) and let Z = Spec(R). We have a commutative diagram: θ Z −→ Z Z0 −1 The sheaf homomorphism θ OZ → OZ is clearly injective and θ is a homeomor- −1 phism. It will therefore suffice to prove that θ OZ → OZ is surjective. Let z ∈ Z and f ∈ Γ(U, OZ ) for some affine open neighbourhood U of z.Let ϕ = ϕ ,ψ ∈ = 0 ψ ( ) = f0 f|U∩Z0 . It is possible to find 0 0 R0 such that f0 ψ , 0 z 0 ψ = \ ψ ∈ 0ψ = ψ and 0 0onZ0 U, because Z0 is affine. Let R be such that |Z0 0 (it exists by the surjectivity of R → R0). Then ψ(z) = 0 and ψ = 0onZ\U. There exists n 0 such that ψn f =: g ∈ R (it suffices to cover Z with affines). Then − = g ∈ θ 1O f ψn Z . Let B0 be a k-algebra, and let X0 = Spec(B0). Consider an infinitesimal defor- mation of X0 parametrized by Spec(A), where A is in ob(A). By definition this is a cartesian diagram X0 → X ↓↓ Spec(k) → Spec(A) where X is a scheme flat over Spec(A). By Lemma 1.2.3 X is necessarily affine. Therefore, equivalently, we can talk about an infinitesimal deformation of B0 over A as a cartesian diagram of k-algebras:
B → B0 ↑↑ (1.10) A → k with A → B flat. Note that to give this diagram is the same as to give A → B flat and a k-isomorphism B ⊗A k → B0. We will sometimes abbreviate by calling A → B the deformation.
Given another deformation A → B of B0 over A, an isomorphism of deforma- tions of A → B to A → B is a homomorphism ϕ : B → B of A-algebras inducing a commutative diagram: 1.2 Locally trivial deformations 25
B0 ϕ B −→ B A It follows from Lemma A.4 that such a ϕ is an isomorphism. An infinitesimal deformation of B0 over A is trivial if it is isomorphic to the product deformation B0 ⊗k A → B0 ↑↑ A → k
The k-algebra B0 is called rigid if Spec(B0) is rigid. Theorem 1.2.4. Every smooth k-algebra is rigid. In particular, every affine nonsin- gular algebraic variety is rigid.
Proof. Suppose k → B0 is smooth, and suppose given a first-order deformation of B0: B → B0 η0 : ↑ f ↑ k[ ]→ k Consider the commutative diagram:
B → B0 ↑ f ↑ k[ ]→B0[ ] where B0[ ]=B0⊗k[ ]. Since f is smooth (because flat with smooth fibre, see [84], ch. III, Th. 10.2) and the right vertical morphism is a k[ ]-extension, by Theorem C.9 there exists a k[ ]-homomorphism φ : B → B0[ ] making the diagram
B → B0 ↑ f ↑ k[ ]→B0[ ] commutative. Therefore φ is an isomorphism of deformations and η0 is trivial. Consider more generally a deformation of B0
B → B0 η : ↑ f ↑ A → k parametrized by A in ob(A). To show that η is trivial we proceed by induction on d = dimk(A). The case d = 2 has been already proved; assume d ≥ 3 and let
0 → (t) → A → A → 0 26 1 Infinitesimal deformations be a small extension. Consider the commutative diagram: ∼ B → B ⊗A A = B0 ⊗k A ↑ f ↑ A → B0 ⊗k A f is smooth, the upper right isomorphism is by the inductive hypothesis, and the right vertical homomorphism is an A-extension. By the smoothness of f and by Theorem C.9 we deduce the existence of an A-homomorphism B → B0 ⊗k A which is an isomorphism of deformations.
2 Example 1.2.5. Let λ ∈ k and B0 = k[X, Y ]/(Y − X(X − 1)(X − λ)).Ifλ = 0, 1 then B0 is a smooth k-algebra, being the coordinate ring of a nonsingular plane cubic curve. By Theorem 1.2.4, B0 is rigid. On the other hand, the elementary theory of elliptic curves (see [84]) shows that the following flat family of affine curves Speck[X, Y ]/(Y 2 − X(X − 1)(X − (λ + t))) ↓ Spec(k[t]) is not trivial around the origin t = 0 so that it defines a nontrivial (non-infinitesimal) deformation of B0. This example shows that by studying infinitesimal deformations of affine schemes we are losing some information. In this specific case we will see that this information is recovered by considering the infinitesimal deformations of the projective closure of Spec(B0) (see Corollary 2.6.6, page 94).
1.2.3 Extending automorphisms of deformations
In deformation theory it is very important to have a good control of automorphisms of deformations and of their extendability properties. We will now begin to introduce such matters and to recall some terminology. In Section 2.6 we will consider these problems again in general, and we will relate them with the property of “prorepre- sentability”. Let’s start with a basic lemma.
Lemma 1.2.6. Let B0 be a k-algebra, and
e : 0 → (t) → A˜ → A → 0 a small extension in A. Then there is a canonical isomorphism of groups: ˜ automorphisms of the trivial deformation B0 ⊗k A → Derk(B0, B0) inducing the identity on B0 ⊗k A In particular the group on the left is abelian. ˜ ˜ Proof. Every automorphism θ : B0 ⊗k A → B0 ⊗k A belonging to the first group must be A˜-linear and induce the identity mod t. Therefore:
θ(x) = x + tdx 1.2 Locally trivial deformations 27 ˜ ˜ where d : B0 ⊗k A → B0 is a A-derivation (Lemma 1.1.1). But ˜ Der ˜ (B ⊗ A, B ) = Hom ˜ (Ω ˜ ˜ , B ) A 0 k 0 B0⊗k A B0⊗k A/A 0 = (Ω , ) = ( , ) HomB0 B0/k B0 Derk B0 B0 By sending θ → d we define the correspondence of the statement. Since θ is deter- mined by d the correspondence is one to one. Clearly the identity corresponds to the zero derivation. If we compose two automorphisms: ˜ θ ˜ σ ˜ B0 ⊗k A −→ B0 ⊗k A −→ B0 ⊗k A where θ(x) = x + tdx, σ(x) = x + tδx, we obtain:
σ(θ(x)) = θ(x) + tδ(θ(x)) = x + tdx + t(δx + tδ(dx)) = x + t(dx + δx) therefore the correspondence is a group isomorphism. Recall the following well-known definition. Definition 1.2.7. Let G be a group acting on a set T and let
π : G × T → T be the map defining the action. T is called a homogeneous space under (the action of) G if π is transitive, i.e. if π(G ×{t}) = T for some (equivalently for any) t ∈ T (i.e. if there is only one orbit). The action is called free if for every point t ∈ T the stabilizer Gt ={g ∈ G : gt = t} is trivial, i.e. gt = t implies g = 1G for all t ∈ T . If the action is both transitive and free then T is called a principal homogeneous space (or a torsor) under (the action of) G. To an action π : G × T → T we can associate the map: p : G × T → T × T
(g, t) → (gt, t) The condition that the action is transitive (resp. free) is equivalent to p being sur- jective (resp. injective); therefore T is a torsor under G if and only if p is bijective. π = Note that pr1 p is determined by p. More generally, suppose that we have a map of sets f : T → T . Then the map p factors through T ×T T ⊂ T × T if and only if the action π is compatible with f , i.e. if f (t) = f (gt) for all t ∈ T , g ∈ G. As before, the map
p : G × T → T ×T T is surjective (resp. injective) if and only if the action of G is transitive (resp. free) on all the non-empty fibres of f . In particular, p is bijective if and only if all the non- empty fibres of f are torsors under G. In this case one also says, according to [3], 28 1 Infinitesimal deformations p. 114, that T over T is a formal principal homogeneous space (or a pseudo-torsor) under G. Now we come back to deformations and we prove a generalization of Lemma 1.2.6.
Lemma 1.2.8. Let B0 be a k-algebra,
e : 0 → (t) → A˜ → A → 0 A ˜ → ˜ → = ˜ ⊗ a small extension in , A B a deformation of B0 and A B B A˜ Athe induced deformation of B0 over A. Let σ : B → B be an automorphism of the deformation. Then: (i) If ( ˜ ) := τ : ˜ → ˜ τ ⊗ = σ =∅ Autσ B automorphisms B B such that A˜ A
then there is a free and transitive action ˜ ˜ Derk(B0, B0) × Autσ (B) → Autσ (B)
defined by (d,τ) → τ + td ˜ (ii) If B0 is a smooth k-algebra then Autσ (B) =∅for any σ .
Proof. (i) Recall that we have a chain of natural identifications
( ˜ , ) = (Ω , ) = (Ω ⊗ , ) DerA˜ B B0 HomB˜ B˜ /A˜ B0 HomB0 B˜ /A˜ A˜ k B0
= (Ω , ) = ( , ) HomB0 B0/k B0 Derk B0 B0 Therefore the action in the statement is well defined once we consider a ˜ ˜ d ∈ Derk(B0, B0) as an A-derivation of B into B0. Given any two elements ˜ τ,η ∈ Autσ (B) we have by definition:
qτ = σq = qη where q : B˜ → B is the projection; hence by Lemma 1.1.1, ˜ η − τ : B → tB0 = ker(q) is an A˜-derivation which is 0 if and only if η = τ. This implies that the action is free and transitive. ˜ ˜ (ii) Since B0 is smooth the deformation A → B is trivial (Theorem 1.2.4), so that ˜ ˜ ∼ ˜ ˜ ˜ we have an A-isomorphism B = B0 ⊗k A; moreover, B0 ⊗k A is a smooth A-algebra (Proposition C.2(iii)) hence B˜ is A˜-smooth. Let σ : B → B be any automorphism of the deformation and consider the diagram of A˜-algebras: 1.2 Locally trivial deformations 29 q σ B˜ → B → B ↑ q B˜ ˜ ˜ Since ker(q) = tB0 is a square-zero ideal, and since B is A-smooth, we deduce that there is σ˜ : B˜ → B˜ such that qσ˜ = σq. It is immediate to check that σ˜ is an ˜ isomorphism and therefore σ˜ ∈ Autσ (B). In (ii) the condition that B0 is smooth cannot be removed. A simple example is given in 2.6.8(i). The extendability of automorphisms of deformations of not neces- sarily affine schemes will be studied in § 2.6.
1.2.4 First-order locally trivial deformations
We will now apply 1.2.6 to first-order deformations of any algebraic variety.
Proposition 1.2.9. Let X be an algebraic variety. There is a 1–1 correspondence: isomorphism classes of first order 1 κ : → H (X, TX ) locally trivial deformations of X
= (Ω1 , O ) = called the Kodaira–Spencer correspondence, where TX Hom X X Derk(OX , OX ), such that κ(ξ) = 0 if and only if ξ is the trivial deformation class. In particular if X is nonsingular then κ is a 1–1 correspondence isomorphism classes of 1 κ : → H (X, TX ) first-order deformations of X
Proof. Given a first-order locally trivial deformation
X → X ↓↓ Spec(k) → Spec(k[ ]) U ={ } X choose an affine open cover Ui i∈I of X such that |Ui is trivial for all i.For each index i we therefore have an isomorphism of deformations: θ : × ( [ ]) → X i Ui Spec k |Ui by 1.2.4. Then for each i, j ∈ I θ := θ −1θ : × ( [ ]) → × ( [ ]) ij i j Uij Spec k Uij Spec k is an automorphism of the trivial deformation Uij × Spec(k[ ]). By Lemma 1.2.6, θij corresponds to a dij ∈ Γ(Uij, TX ). Since on each Uijk we have
θ θ θ −1 = ij jk ik 1Uijk×Spec(k[ ]) (1.11) 30 1 Infinitesimal deformations it follows that dij + d jk − dik = 0 1 i.e. {dij} is a Cechˇ 1-cocycle and therefore defines an element of H (X, TX ).Itis easy to check that this element does not depend on the choice of the open cover U. If we have another deformation X → X ↓↓ Spec(k) → Spec(k[ ]) and Φ : X → X is an isomorphism of deformations then for each i ∈ I there is induced an automorphism:
− Φ| θ 1 θi Ui i α : U × Spec(k[ ]) −→ X| −→ X −→ U × Spec(k[ ]) i i Ui |Ui i ∈ Γ( , ) θ α = Φ θ and therefore a corresponding ai Ui TX .Wehave i i |Ui i and therefore
−1 −1 −1 −1 (θ α ) (θ α ) = θ Φ Φ| θ = θ θ i i j j i |Uij Uij j i j thus α−1θ α = θ i ij j ij Equivalently: + − = dij a j ai dij { } { } namely, dij and dij are cohomologous, and therefore define the same element of 1 H (X, TX ). 1 Conversely, given θ ∈ H (X, TX ) we can represent it by a Cechˇ 1-cocycle 1 {dij}∈Z (U, TX ) with respect to some affine open cover U. To each dij we can associate an automorphism θij of the trivial deformation Uij×Spec(k[ ]) by Lemma 1.2.6. They satisfy the identities (1.11). We can therefore use these automorphisms to patch the schemes Ui × Spec(k[ ]) by the well-known procedure (see [84], p. 69). We obtain a Spec(k[ ])-scheme X which, by construction, defines a locally trivial first-order deformation of X. The equivalence between κ(ξ) = 0 and the triviality of ξ is easily proved. The last assertion follows from the first one because all deforma- tions of a nonsingular variety are locally trivial by Theorem 1.2.4. Definition 1.2.10. For every locally trivial first-order deformation ξ of a variety X 1 the cohomology class κ(ξ) ∈ H (X, TX ) is called the Kodaira–Spencer class of ξ. Let X → X ξ : ↓↓f (1.12) s Spec(k) −→ S be a family of deformations of a nonsingular variety X. By pulling back this family by morphisms Spec(k[ ]) → S with image s and applying the Kodaira–Spencer correspondence (Proposition 1.2.9) we define a linear map 1.2 Locally trivial deformations 31
1 κξ : TS,s → H (X, TX ) also denoted by κ f,s or κX /S,s, which is called the Kodaira–Spencer map of the family ξ.
1 Examples 1.2.11. (i) Let m ≥ 1 and let π : Fm → IP be the structural morphism of the rational ruled surface Fm (see B.11(iii)). Then π is not a trivial family but has 1 a trivial restriction around each closed point s ∈ IP , thus κπ,s = 0. (ii) Consider an unramified covering π : X → S of degree n ≥ 2 where X and S are projective nonsingular and irreducible algebraic curves. All fibres of π over the closed points consist of n distinct points, hence they are all isomorphic. More- over, each such fibre is rigid and unobstructed as an abstract variety. In particular the Kodaira–Spencer map is zero at each closed point s ∈ S. On the other hand, π −1(U) is irreducible for each open subset U ⊂ S and therefore the restriction −1 πU : π (U) → U is a nontrivial family; this follows also from the fact that π does not have rational sections. This example exhibits a phenomenon which is not detected by infinitesimal con- siderations and in some sense opposite to the one described in Example 1.2.5: we can have a flat projective family of deformations, all of whose geometric fibres are isomorphic, but which is nevertheless nontrivial over every Zariski open subset of the 1 base. Note that this is different from what happens with the projections Fm → IP , m ≥ 1 of Example (i), which are nontrivial but have trivial restriction to a Zariski open neighbourhood of every point of IP 1. See Subsection 2.6.2 for more about this. (iii) Let 0 ≤ n < m be integers having the same parity, and let k = 1 (m − n). Consider the smooth proper morphism f : W → A1 introduced 2 ∼ ∼ in Example 1.2.2(iii), whose fibres are W(0) = Fm, and W(t) = Fn for t = 0. Recall that the family f is given as the gluing of two copies of A2 × IP 1: = ( [ , ,ξ ,ξ ]), = ( [ , ,ξ ,ξ ]) W Proj k t z 0 1 W Proj k t z 0 1 ( [ , , −1,ξ ,ξ ]) ( [ , , −1,ξ ,ξ ]) along Proj k t z z 0 1 and Proj k t z z 0 1 according to the rules:
z = z−1,ξ = zmξ + tzk ξ = ξ /ξ ξ = ξ /ξ where 1 0 and 1 0 are nonhomogeneous coordinates on the corre- sponding copies of IP 1. κ κ ( d ) Let’s compute the local Kodaira–Spencer map f,0 of f at 0. The image f,0 dt 1( , ) is the element of H Fm TFm corresponding to the first-order deformation of Fm obtained by gluing := ( [ , ,ξ ,ξ ]) := ( [ , ,ξ ,ξ ]) W0 Proj k z 0 1 W0 Proj k z 0 1 ( [ , , −1,ξ ,ξ ]) ( [ , , −1,ξ ,ξ ]) along Proj k z z 0 1 and Proj k z z 0 1 according to the rules
z = z−1,ξ = zmξ + zk 32 1 Infinitesimal deformations
κ ( d ) 1(U, ) By definition we have that f,0 dt is the element of H TFm , where U ={ , } ∩ W0 W0 , defined by the 1-cocycle corresponding to the vector field on W0 W0 ∂ zk ∂ξ
According to Example B.11(iii) this element is nonzero; therefore κ f,0 is injective. Similarly, we can consider a smooth proper family F : Y → Am−1 defined as follows. Y is the gluing of
Y := Proj(k[t1,...,tm−1, z,ξ0,ξ1]) and := ( [ ,..., , ,ξ ,ξ ]) Y Proj k t1 tm−1 z 0 1 ( [ ,..., , , −1,ξ ,ξ ]) ( [ ,..., , , −1,ξ ,ξ ]) along Proj k t1 tm−1 z z 0 1 and Proj k t1 tm−1 z z 0 1 according to the rules:
m −1 −1 m j z = z ,ξ= z ξ + t j z j=1
The morphism F is defined by the projections onto Spec(k[t1,...,tm−1]); the fibre ∼ of F over 0 is Y(0) = Fm. The computation we just did immediately implies that the local Kodaira–Spencer map κ : m−1 → 1( , ) F,0 T0A H Fm TFm is an isomorphism.
1.2.5 Higher-order deformations – obstructions
Let X be a nonsingular algebraic variety. Consider a small extension
e : 0 → (t) → A˜ → A → 0 in A and let X → X ξ : ↓↓ Spec(k) → Spec(A) be an infinitesimal deformation of X.Alifting of ξ to A˜ consists in a deformation
X → X˜ ξ˜ : ↓↓ Spec(k) → Spec(A˜) 1.2 Locally trivial deformations 33 and an isomorphism of deformations X
φ X −→ X˜ × ( ) Spec(A˜) Spec A
Spec(A) If we want to study arbitrary infinitesimal deformations, and not only first-order ones, it is important to know whether, given ξ and e, a lifting of ξ to A˜ exists, and how many there are. Such information can then be used to build an inductive procedure for the description of infinitesimal deformations. The following proposition addresses this question.
Proposition 1.2.12. Given A in ob(A) and an infinitesimal deformation ξ of X over A: 2 (i) To every small extension e of A there is associated an element oξ (e) ∈ H (X, TX ) called the obstruction to lifting ξ to A,˜ which is 0 if and only if a lifting of ξ to A˜ exists. 1 (ii) If oξ (e) = 0 then there is a natural transitive action of H (X, TX ) on the set of isomorphism classes of liftings of ξ to A.˜ (iii) The correspondence e → oξ (e) defines a k-linear map
2 oξ : Exk(A, k) → H (X, TX )
Proof. Let U ={Ui }i∈I be an affine open cover of X. We have isomorphisms θ : × ( ) → X i Ui Spec A |Ui θ := θ −1θ and consequently, ij i j is an automorphism of the trivial deformation Uij × Spec(A). Moreover, θijθ jk = θik (1.13) ˜ ˜ on Uijk × Spec(A). To give a lifting ξ of ξ to A it is necessary and sufficient to give ˜ ˜ a collection of automorphisms {θij} of the trivial deformations Uij × Spec(A) such that ˜ ˜ ˜ (a) θijθ jk = θik ˜ (b) θij restricts to θij on Uij × Spec(A) In fact from such data we will be able to define X˜ by patching the local pieces ˜ ˜ Ui × Spec(A) along the open subsets Uij × Spec(A) in the usual way. To estab- ˜ ˜ lish the existence of the collection {θij} let’s choose arbitrarily automorphisms {θij} satisfying condition (b); they exist by Lemma 1.2.8(ii). Let θ˜ = θ˜ θ˜ θ˜−1 ijk ij jk ik ˜ This is an automorphism of the trivial deformation Uijk×Spec(A). Since by (1.13) it ˜ restricts to the identity on Uijk×Spec(A), by Lemma 1.2.6 we can identify each θijk 34 1 Infinitesimal deformations
˜ ˜ 2 with a dijk ∈ Γ(Uijk, TX ) and it is immediate to check that {dijk}∈Z (U, TX ).If ˜ we choose different automorphisms {Φij} of the trivial deformations Uij × Spec(A) satisfying the analogue of condition (b) then ˜ Φij = θij + tdij (1.14) for some dij ∈ Γ(Uij, TX ), by Lemma 1.2.8(i). For each i, j, k the automorphism Φ Φ Φ−1 ij jk ik corresponds to the derivation ˜ δijk = dijk + (dij + d jk − dik) ˜ and therefore we see that the 2-cocycles {dijk} and {δijk} are cohomologous. Their cohomology class 2 oξ (e) ∈ H (X, TX ) depends only on ξ and e and is 0 if and only if we can find a collection of automor- phisms {Φij} such that δijk = 0 for all i, j, k ∈ I . In such a case {Φij} defines a lifting ξ˜ of ξ. This proves (i). ˜ Assume that oξ (e) = 0, i.e. that the lifting ξ of ξ exists. Then we can choose ˜ the collection {θij} of automorphisms satisfying conditions (a) and (b) as above, in ˜ ¯ ˜ particular dijk = 0, all i, j, k. Any other choice of a lifting ξ of ξ to A corresponds to a choice of automorphisms {Φij} satisfying (1.14) and the analogue of condition (b). Therefore, for all i, j, k,wehave
0 = δijk = dij + d jk − dik
1 ¯ 1 so that {dij}∈Z (U, TX ) defines an element d ∈ H (X, TX ). As before, one checks that this element depends only on the isomorphism class of ξ¯; it follows in a straightforward way that the correspondence (ξ,˜ d¯) → ξ¯ defines a transitive action 1 ˜ of H (X, TX ) on the set of isomorphism classes of liftings of ξ to A. This proves (ii). (iii) is left to the reader.
Definition 1.2.13. The deformation ξ is called unobstructed if oξ is the zero map; otherwise ξ is called obstructed.Xisunobstructed if every infinitesimal deformation of X is unobstructed; otherwise X is obstructed. Corollary 1.2.14. A nonsingular variety X is unobstructed if
2 H (X, TX ) = (0) The proof is obvious. Corollary 1.2.15. A nonsingular variety X is rigid if and only if
1 H (X, TX ) = (0) 1.2 Locally trivial deformations 35
Proof. The hypothesis implies, by Proposition 1.2.9, that all first-order deformations of X are trivial; moreover, by Proposition 1.2.12(ii), it implies that every infinitesimal deformation of X over any A in ob(A) has at most one lifting to any small extension of A. These two facts together easily give the conclusion.
Examples 1.2.16. (i) If X is a projective nonsingular curve of genus g then from the Riemann–Roch theorem it follows that 0ifg = 0 1 h (X, TX ) = 1ifg = 1 3g − 3ifg ≥ 2
2 and h (X, TX ) = 0. In particular, projective nonsingular curves are unobstructed. (ii) If X is a projective, irreducible and nonsingular surface X then
2( , ) =∼ 0( ,Ω1 ⊗ )∨ H X TX H X X K X by Serre duality, and this rarely vanishes. For example, a nonsingular surface of de- 3 2 gree ≥ 5inIP satisfies H (X, TX ) = (0), but it is nevertheless unobstructed (see Example 3.2.11(i)); therefore the sufficient condition of Corollary 1.2.14 is not nec- 2 essary. In general a surface such that H (X, TX ) = (0) can be obstructed, but explicit examples are not elementary (see [96], [24], [87]). We will describe a class of such examples in Theorem 3.4.26, page 185. In § 2.4 we will show how to construct exam- ples of obstructed 3-folds (see remarks following Proposition 3.4.25, page 185). The first examples of obstructed compact complex manifolds where given in Kodaira– Spencer [107], § 16: they are of the form T × IP 1, where T is a two-dimensional complex torus. (iii) The projective space IP n is rigid for every n ≥ 1. In fact it follows immedi- ately from the Euler sequence:
n+1 0 → OIP n → OIP n (1) → TIP n → 0
1 n that H (IP , TIP n ) = 0. Similarly, one shows that finite products
IP n1 ×···×IP nk of projective spaces are rigid.
(iv) The ruled surfaces Fm are unobstructed because 2( , ) = h Fm TFm 0
(see (B.13), page 292). 2 Formal deformation theory
In this chapter we develop the theory of “functors of Artin rings”. The main result of this theory is a theorem of Schlessinger giving necessary and sufficient conditions for a functor of Artin rings to have a semiuniversal or a universal formal element. We then apply the functorial machinery to the construction of formal semiuniversal, or universal, deformations, which is the final goal of formal deformation theory, and we explain the relation between formal and algebraic deformations. In order to make the arguments easier to follow, these applications are given only in the case of the deformation functors DefX and DefX of an algebraic scheme. Only in Chapter 3 will we apply the general theory to other deformation functors.
2.1 Obstructions
In this section we investigate the notion of formal smoothness in the category A∗ us- ing the language of extensions. The results we prove are crucial for the understanding of obstructions in deformation theory. Our treatment is an expansion of [157]; for a more systematic treatment we refer to [54]. ∗ ∗ Let Λ ∈ ob(A ) and µ : Λ → R be in ob(AΛ).Therelative obstruction space of R/Λ is o(R/Λ) := ExΛ(R, k) If Λ = k then o(R/k) is called the (absolute) obstruction space of R and sim- ply denoted by o(R). We say that R is unobstructed (resp. obstructed) over Λ if o(R/Λ) = (0) (resp. if o(R/Λ) = (0)); R is said to be unobstructed (resp. ob- structed)ifo(R) = (0) (resp. if o(R) = (0)). Given a homomorphism f : R → S ∗ in AΛ we denote by o( f/Λ) : o(S/Λ) → o(R/Λ) the linear map induced by pullback:
∗ o( f/Λ)([η]) =[f η]∈ExΛ(R, k) 38 2 Formal deformation theory for all [η]∈ExΛ(S, k). Since this definition is functorial we have a contravariant functor: ∗ o(−/Λ) : AΛ → (vector spaces/k)
When Λ = k we write o( f ) instead of o( f/k).Ifµ is such that o(µ) is injective one sometimes says that R is less obstructed than Λ. By applying Proposition 1.1.5 we ∗ obtain an exact sequence for each f : R → S in AΛ:
o( f/Λ) 0 → tS/R → tS/Λ → tR/Λ → o(S/R) → o(S/Λ) −→ o(R/Λ) (2.1)
In the case Λ = k we obtain the exact sequence:
o( f ) 0 → tS/R → tS → tR → o(S/R) → o(S) −→ o(R) (2.2) which relates the absolute and the relative obstruction spaces. The next result gives a description of o(R/Λ) and an interpretation of formal ∗ smoothness of a Λ-algebra (R, m) in AΛ.
Proposition 2.1.1. Assume that Λ is in ob(Aˆ). ∗ ˆ (i) Let (R, m) be in ob(AΛ) and let χ : R → R be the natural homomorphism of R into its m-adic completion R.ˆ Then the induced map:
o(χ/Λ) : o(Rˆ/Λ) → o(R/Λ)
is an isomorphism. ∗ (ii) For every (R, m) in ob(AΛ) let d = dimk(tR/Λ) and let
ˆ R = Λ[[X1,...,Xd ]]/J
with J ⊂ (X)2, be a presentation of the m-adic completion R.ˆ Then there is a natural isomorphism: ∨ o(R/Λ) =∼ J/(X)J
In particular, R is unobstructed over Λ if and only if it is a formally smooth Λ-algebra.
Proof. (i) Let η : 0 → k → S → Rˆ → 0 be a small extension; denote by m the maximal ideal of S. Claim: S is complete. ¯ ˆ Let { fn}⊂S be a Cauchy sequence; then the image sequence { fn} in R is Cauchy, hence it converges to a limit which we may assume to be zero, after possibly 2.1 Obstructions 39
¯ e(n) subtracting a constant sequence from { fn}.Wehave fn ∈ˆm , with limn[e(n)]= e(n) ¯ ∞. For every n we may find gn ∈ m lying above fn. The sequence {gn} in S is Cauchy and converges to zero, and { fn − gn} is a Cauchy sequence in k. Since k is complete as an S-module, because it is annihilated by the maximal ideal, { fn − gn} converges to a limit f ∈ k. This is also the limit of { fn} because
fn − f = ( fn − gn − f ) + gn
Therefore S is complete. If χ ∗(η/Λ) is trivial the section induces a homomorphism g : R → S which factors through Rˆ because S is complete. Hence η is trivial. This proves that o(χ/Λ) is injective. Given a small Λ-extension of R:
(S,ϕ): 0 → k → S → R → 0 ˆ ˆ ˆ ˆ ˆ the map ϕˆ : S → R is surjective and ker(ϕ)ˆ = k = k. Therefore [S, ϕˆ]∈ExΛ(R, k) and o(χ/Λ)([Sˆ, ϕˆ]) =[S,ϕ]: this means that o(χ/Λ) is also surjective. (ii) R is a formally smooth Λ-algebra if and only if Rˆ is a power series ring over Λ, i.e. if and only if J = (0). Therefore the last assertion follows from the fact that J/(X)J = (0) if and only if J = (0), by Nakayama’s lemma. ˆ In order to prove the first assertion we may assume that R is in ob(AΛ), since o(R/Λ) = o(Rˆ/Λ) by the first part of the proposition. Hence R = Λ[[X]]/J with J ⊂ (X)2. The extension of R:
Φ : 0 → J/(X)J → Λ[[X]]/(X)J → R → 0 induces by pushouts a homomorphism: ∨ α : J/(X)J → ExΛ(R, k) = o(R)
d −→ [ d∗Φ]
Letting M be the maximal ideal of Λ[[X]]/(X)J we have J/(X)J ⊂ M2.Ifd ∈ ∨ (J/(X)J) is such that [d∗Φ]=0 then we have: Φ : 0 → J/(X)J → Λ[[X]]/(X)J → R → 0 ↓ d ↓ h d∗Φ : 0 → k → A → R → 0 with d∗Φ trivial. From Example 1.1.2(ii) it follows that the generator of k in A is \ 2 ( /( ) ) ⊂ 2 = contained in m A m A. Since h J X J m A we deduce that d 0. It follows that α is injective. Conversely, given a Λ-extension (A,ϕ)of R by k it is possible to find a lifting: Λ[[X]] ↓˜ϕ ϕ : A → R 40 2 Formal deformation theory because A is complete (see C.3(ii)). From the fact that ker(ϕ) = k it follows that ker(ϕ)˜ ⊃ (X)J and therefore we have a commutative diagram:
Φ : 0 → J/(X)J → Λ[[X]]/(X)J → R → 0 ↓ d ↓˜ϕ (A,ϕ): 0 → k → A → R → 0 in which d is the map induced by ϕ˜.Itfollowsthat(A,ϕ) = d∗Φ; hence α is surjective.
Corollary 2.1.2. For every R in ob(A∗) the following are true:
(i) dimk[o(R)] < ∞
(ii) dimk(tR) ≥ dim(R) ≥ dimk(tR) − dimk[o(R)] (where dim(R) means Krull dimension of R). In (ii) the first equality holds if and only if R is formally smooth; the second equality holds if and only if Rˆ = 2 k[[X1,...,Xd ]]/J, with J ⊂ (X) and J generated by a regular sequence. ˆ ˆ Proof. We may assume that R is in ob(A); hence R = R = k[[X1,...,Xd ]]/J, with J ⊂ (X)2 and o(R) =∼ (J/(X)J)∨. Then (i) and (ii) follow from the fact that dimk[J/(X)J] is the number of elements of a minimal set of generators of J.
Remarks 2.1.3. The only formally smooth k-algebra in A is k itself. By 2.1.1(ii) this means that o(k) = (0) and that o(A) = (0) for every A = k in A. The following are some special cases. • If A = k⊕˜ V , a trivial extension of k by a vector space V of dimension d, then ∼ 2 2 3 ∨ A = k[X1,...,Xd ]/(X) , and o(A) =[(X) /(X) ] . • If A = k[X]/(X)k then o(A) =[(X)k/(X)k+1]∨. In particular, if A = k[t]/(tn), n ≥ 2, then o(A) =[(tn)/(tn+1)]∨ is one-dimensional; from the proof of 2.1.1(ii) it follows immediately that o(A) is generated by the class of the ex- tension: + + 0 → (tn)/(tn 1) → k[t]/(tn 1) → k[t]/(tn) → 0
We will need the following:
Lemma 2.1.4. (i) Let µ : Λ → R be a homomorphism in A∗. Given a small ex- tension η : B → AinA and a homomorphism ϕ : R → A, the condition ϕ∗(η) ∈ ker(o(µ)) is equivalent to the existence of a commutative diagram: ϕ A ←− R ↑ η ↑ µ (2.3) B ←− Λ ϕ˜ Moreover, ϕ∗(η) = 0 if and only if there exists ϕ : R → B such that the resulting diagram 2.1 Obstructions 41 ϕ A ←− R
↑ η ϕ ↑ µ (2.4)
B ←− Λ ϕ˜ is commutative. ˆ ∗ (ii) For every Λ in ob(A) and µ : Λ → Rinob(AΛ) there exists A in ob(AΛ) and a homomorphism p : R → A such that o(p/Λ) : o(A/Λ) → o(R/Λ) is surjective.
Proof. (i) is left to the reader. n+1 (ii) We will show something more precise, namely that if pn : R → R/m is the natural map, then
n+1 o(pn/Λ) : o((R/m )/Λ) → o(R/Λ) is surjective for all n 0. ˆ Since o(pn/Λ) factors through o(R/Λ), which is isomorphic to o(R/Λ),wemay ˆ assume that R is in AΛ. Let’s write:
R = Λ[[X]]/J
2 n+2 where J = (g1,...,gs) ⊂ (X) .Letn 0 be such that g j ∈/ (X) for all j = 1,...,s. Then we have: Λ[[ ]] R = X mn+1 J,(X)n+1 and therefore ∨ (J,(X)n+1) o((R/mn+1)/Λ) = ((X)J,(X)n+2)
The map o(pn/Λ) is the transpose of J (J,(X)n+1) ı : → n (X)J ((X)J,(X)n+2) induced by the inclusion J ⊂ (J,(X)n+1). From the hypothesis on n it follows that n+2 if γ ∈ J ∩ ((X)J,(X) ) then γ ∈ (X)J; this means that ın is injective, i.e. that o(pn/Λ) is surjective. The following theorem gives a characterization of formally smooth homomor- phisms in A∗. Theorem 2.1.5. Let µ : Λ → R be a homomorphism in A∗. The following condi- tions are equivalent: (i) For every commutative diagram (2.3) with η a small extension in A∗ there exists ϕ : R → B such that diagram (2.4) is commutative. 42 2 Formal deformation theory
(ii) µ is formally smooth. (iii) dµ : tR → tΛ is surjective and o(µ) is injective. (iv) o(R/Λ) = (0).
Proof. (i) ⇒ (ii) is trivial.
(ii) ⇒ (iii) Let v ∈ tΛ be given as a k-algebra homomorphism Λ → k[ ]. The formal smoothness of µ implies the existence of a homomorphism w : R → k[ ] which makes the following diagram commutative: k ← R ↑ ↑ k[ ]←Λ and this means that dµ(w) = v. Therefore dµ is surjective. Consider a commutative diagram of k-algebra homomorphisms (2.3) with η a small extension in A. Then o(ϕ)([η]) ∈ ker(o(µ)). By the formal smoothness of µ there exists ϕ : R → B making (2.4) commutative: this implies that o(ϕ)([η]) = 0. Since, by Lemma 2.1.4, ϕ and η can be chosen so that o(ϕ)([η]) is an arbitrary element of ker(o(µ)), we deduce that o(µ) is injective. (iii) ⇔ (iv) follows from the exact sequence (2.2). (iii) ⇒ (i). Consider a diagram (2.3) with η a small extension in A∗. Then
o(ϕ)([η]) ∈ ker(o(µ))
By assumption o(ϕ)([η]) = 0, and therefore there exists ϕ¯ : R → B such that ηϕ¯ = ϕ.Itfollowsthatϕ˜ −¯ϕµ : Λ → ker(η) = k is a k-derivation. By assumption there exists a k-derivation v : R → k such that ϕ˜ −¯ϕµ = dµ(v) = vµ. Then ϕ :=ϕ ¯ + v : R → B is a k-homomorphism which obviously satisfies ηϕ = ϕ. Moreover, ϕ µ = (ϕ¯ + v)µ =¯ϕµ + vµ =˜ϕ and therefore ϕ makes (2.4) commutative. In the special case Λ = k we obtain that a k-algebra R in ob(A∗) is unobstructed if and only if R is formally smooth, a result already proven in 2.1.1. More generally, the theorem says that µ is formally smooth if and only if dµ is surjective and R is less obstructed than Λ. The following corollary is immediate.
Corollary 2.1.6. (i) Let µ : Λ → R be a homomorphism in A∗ such that dµ is surjective and R is formally smooth. Then Λ and µ are formally smooth. (ii) A homomorphism µ : Λ → RinA∗ is formally etale if and only if dµ is an isomorphism and o(µ) is injective. This happens in particular if dµ is an isomorphism and R is formally smooth. (iii) If R ∈ ob(A∗) then the natural homomorphism R → Rˆ is formally etale. 2.1 Obstructions 43
In practice it is seldom possible to compute the obstruction map o(µ) explicitly for a given µ : Λ → R in A∗. But for the purpose of studying the formal smoothness of µ all that counts is to have information about ker[o(µ)]. This can be achieved somewhat indirectly by means of the following simple result, which turns out to be very effective in practice. Proposition 2.1.7. Let µ : Λ → R be a morphism in A∗. Assume that there exists a ∗ k-vector space υ(R/Λ) such that for every homomorphism ϕ : R → AinAΛ with Ainob(AΛ) there is a k-linear map
ϕυ : ExΛ(A, k) → υ(R/Λ) satisfying ker(ϕυ ) = ker[o(ϕ/Λ)] where ϕυ ExΛ(A, k) −→ υ(R/Λ)
o(ϕ/Λ)
ExΛ(R, k) = o(R/Λ) Then there is a natural k-linear inclusion o(R/Λ) ⊂ υ(R/Λ) Proof. Choosing ϕ such that o(ϕ/Λ) surjects onto o(R/Λ) we obtain an inclusion o(R/Λ) ⊂ υ(R/Λ) as asserted. In practice this proposition will be applied as follows. Given ϕ,togiveanele- ment of ExΛ(A, k) is the same as to give a commutative diagram (2.3). Assume that to each such diagram one associates in a linear way an element of υ(R/Λ) which vanishes if and only if there is an extension ϕ : R → B making (2.4) commutative. Then the proposition applies. Taking Λ = k we get the following absolute version of the proposition, where for the last assertion we apply 2.1.2(ii). Corollary 2.1.8. Let R be in ob(A∗). Assume that there exists a k-vector space υ(R) such that for every morphism ϕ : R → AinA∗ with A in ob(A) there is a k-linear map ϕυ : o(A) → υ(R) satisfying ker(ϕυ ) = ker[o(ϕ)] Then there is a natural k-linear inclusion o(R) ⊂ υ(R) If υ(R) is finite dimensional then
dimk(tR) ≥ dim(R) ≥ dimk(tR) − dimk[υ(R)] A k-vector space υ(R) satisfying the conditions of 2.1.8 will sometimes be called an obstruction space for R. 44 2 Formal deformation theory 2.2 Functors of Artin rings
A functor of Artin rings is a covariant functor
F : AΛ −→ (sets) ˆ where Λ ∈ ob(A).LetA be in ob(AΛ). An element ξ ∈ F(A) will be called an infinitesimal deformation of ξ0 ∈ F(k) if ξ → ξ0 under the map F(A) → F(k);if A = k[ ] then ξ is called a first-order deformation of ξ0. ˆ Examples of functors of Artin rings are obtained by fixing an R in ob(AΛ) and letting: h /Λ(A) = ˆ (R, A) A (AΛ) R HomAΛ for every in ob Such a functor is clearly nothing but the restriction to AΛ of a representable functor ˆ ˆ on AΛ. A functor of Artin rings isomorphic to h R/Λ for some R in ob(AΛ) is called prorepresentable. In the case Λ = k we write h R instead of h R/k. Every representable functor h R/Λ, R in ob(AΛ), is a (trivial) example of prorep- resentable functor. Typically, a prorepresentable functor of Artin rings arises as follows. One con- siders a scheme M and the restriction
Φ : A −→ (sets)
Φ(A) = Hom(Spec(A), M) of the functor of points ◦ Hom(−, M) : (schemes) −→ (sets)
Φ is a functor of Artin rings; if ϕ : Spec(A) → M is an element of Φ(A) then ϕ is an infinitesimal deformation of the composition ϕ Spec(k) → Spec(A) −→ M where the first morphism corresponds to A → A/m A = k.Forafixedk-rational point m ∈ M, one may consider the subfunctor
F : A −→ (sets) of Φ defined as follows: morphisms Spec(A) → M F(A) = Hom(Spec(A), M) = (2.5) m whose image is {m} ˆ We have F = h R, where R = OM,m,soF is prorepresentable. We will introduce several functors of Artin rings which are defined by deformation problems. The hope is that they are of the form (2.5) for some k-pointed algebraic scheme (M, m) which has some geometrical meaning with respect to the deformation problem under con- sideration (a “moduli scheme”). As we will see, this sometimes happens, but most 2.2 Functors of Artin rings 45 of the time it doesn’t. We will thus have to content ourselves to prove that such func- tors have weaker properties. In this section and in the following one we will study prorepresentability and other properties of functors of Artin rings from an abstract point of view. Later on we will consider specific examples of such functors related to deformation problems. A prorepresentable functor F = h R/Λ satisfies the following conditions:
H0) F(k) consists of one element (the canonical quotient R → R/m R = k) Let A A (2.6) A be a diagram in AΛ and consider the natural map
α : F(A ×A A ) → F(A ) ×F(A) F(A ) induced by the commutative diagram:
F(A ×A A ) → F(A ) ↓↓ F(A ) → F(A)
Then
H) (left exactness) For every diagram (2.6) α is bijective (straightforward to check). H f ) F(k[ ]) has a structure of finite-dimensional k-vector space. In fact
F(k[ ]) = HomΛ−alg(R, k[ ]) = DerΛ(R, k) = tR/Λ is the relative tangent space of R over Λ (here the Λ-algebra structure of k[ ] is given by the composition Λ → k → k[ ], (see B.9(vi)).
A property weaker than H satisfied by a prorepresentable functor F is the fol- lowing:
H )αis bijective if A = k and A = k[ ]. It is interesting to observe that if F is prorepresentable the structure of k-vector space on F(k[ ]) can be reconstructed in a purely functorial way using only proper- ties H0 and H , and without using the prorepresentability explicitly. Indeed it is an easy exercise to check that the homomorphism:
+: k[ ]×k k[ ]−→ k[ ]
(a + b , a + b ) −→ a + (b + b ) 46 2 Formal deformation theory induces the sum operation on F(k[ ]) as the composition
F(+) F(k[ ]) × F(k[ ]) → F(k[ ]×k k[ ]) −→ F(k[ ]) where the first map is the inverse of α. Associativity is checked using H . The zero is the image of F(k) → F(k[ ]). The multiplication by a scalar c ∈ k is induced in F(k[ ]) by the morphism k[ ]−→ k[ ]
a + b −→ a + (cb) We can therefore state the following:
Lemma 2.2.1. If F is a functor of Artin rings having properties H0 and H then the set F(k[ ]) has a structure of k-vector space in a functorial way. This vector space is called the tangent space of the functor F, and is denoted by tF .IfF= h R/Λ then tF = tR/Λ. If f : F → G is a morphism of functors of Artin rings then the induced map tF → tG is called the differential of f and it is denoted by df. It is straightforward to check that if F and G satisfy H0 and H then df is k-linear. Every functor of Artin rings F can be extended to a functor ˆ ˆ F : AΛ −→ (sets) ˆ by letting, for every R in ob(AΛ): + Fˆ(R) = lim F(R/mn 1) ←− R and for every ϕ : R → S: Fˆ(ϕ) : Fˆ(R) → Fˆ(S) ( / n ) → ( / n ) ≥ be the map induced by the maps F R m R F S mS , n 1. An element uˆ ∈ Fˆ(R) is called a formal element of F. By definition uˆ can be { ∈ ( / n+1)} ≥ represented as a system of elements un F R m R n≥0 such that for every n 1 the map ( / n+1) → ( / n ) F R m R F R m R / n+1 → / n induced by the projection R m R R m R sends
un −→ un−1 (2.7) uˆ is also called a formal deformation of u0.If f : F → G is a morphism of functors of Artin rings then it can be extended in an obvious way to a morphism of functors fˆ : Fˆ → Gˆ . ˆ ˆ Lemma 2.2.2. Let R be in ob(AΛ). There is a 1–1 correspondence between F(R) and the set of morphisms of functors
h R/Λ −→ F (2.8) 2.2 Functors of Artin rings 47
Proof. To a formal element uˆ ∈ Fˆ(R) there is associated a morphism of functors ∈ ( / n+1) (2.8) in the following way. Each un F R m R defines a morphism of func- → tors h(R/mn+1)/Λ F. The compatibility conditions (2.7) imply that the following diagram commutes: → h(R/mn)/Λ h(R/mn+1)/Λ ↓
F for every n. Since for each A in ob(AΛ)
( ) → ( ) h(R/mn)/Λ A h(R/mn+1)/Λ A is a bijection for all n 0 we may define
h R/Λ(A) → F(A) as
lim [h( / n+1)/Λ(A) → F(A)] n→∞ R m ˆ Conversely, each morphism (2.8) defines a formal element uˆ ∈ F(R), where un ∈ ( / n+1) → / n+1 F R m R is the image of the canonical projection R R m R via the map
( / n+1) → ( / n+1) h R/Λ R m R F R m R ˆ ˆ Definition 2.2.3. If R is in ob(AΛ) and uˆ ∈ F(R), we call (R, uˆ) a formal couple for F. The differential tR/Λ → tF of the morphism h R/Λ → F defined by uˆ is called the characteristic map of uˆ (or of the formal couple (R, uˆ)) and is denoted by du.ˆ If (R, uˆ) is such that the induced morphism (2.8) is an isomorphism, then F is prorep- resentable, and we also say that F is prorepresented by the formal couple (R, uˆ).In this case uˆ is called a universal formal element for F, and (R, uˆ) is a universal formal couple.
An ordinary couple (R, u) with R in AΛ defines a special case of formal couple, in which (Rn, un) = (Rn+1, un+1) for all n 0. A universal formal couple sel- dom exists; we will therefore need to introduce some weaker properties of a formal couple. They are based on the following definition.
Definition 2.2.4. Let f : F → G be a morphism of functors of Artin rings. f is called smooth if for every surjection µ : B → AinAΛ the natural map:
F(B) → F(A) ×G(A) G(B) (2.9) 48 2 Formal deformation theory induced by the diagram: F(B) → G(B) ↓↓ F(A) → G(A) is surjective. The functor F is called smooth if the morphism from F to the constant functor G(A) ={one element} all A ∈ ob(AΛ) is smooth; equivalently, if F(µ) : F(B) → F(A) is surjective for every surjection µ : B → AinAΛ.
Note that, since every surjection in AΛ factors as a finite sequence of small ex- tensions (i.e. surjections with one-dimensional kernel), for f (or F) to be smooth it is necessary and sufficient that the defining condition is satisfied for small extensions in AΛ. The next proposition states some properties of the notion of smoothness of a morphism of functors of Artin rings.* ˆ Proposition 2.2.5. (i) Let f : R → S be a homomorphism in AΛ. Then f is formally smooth if and only if the morphism of functors h f : hS/Λ → h R/Λ induced by f is smooth. (ii) If f : F → G is smooth then f is surjective, i.e. F(B) → G(B) is surjective for every B in ob(AΛ). In particular the differential d f : tF → tG is surjective. (iii) If f : F → G is smooth, then F is smooth if and only if G is smooth. (iv) If f : F → G is smooth then the induced morphism of functors fˆ : Fˆ → Gisˆ ˆ ˆ ˆ surjective, i.e. F(R) → G(R) is surjective for every R in ob(AΛ). (v) If F → G and G → H are smooth morphisms of functors then the composition F → H is smooth. (vi) If F → G and H → G are morphisms of functors and F → G is smooth, then F ×G H → H is smooth. (vii) If F and G are smooth functors then F × G is smooth.
Proof. (i) Let B → A be a surjection in AΛ and let A ← S ↑↑f B ← R be a commutative diagram of homomorphisms of Λ-algebras. The formal smooth- ness of f is equivalent to the existence, for each such diagram, of a morphism S → B such that the resulting diagram A ← S ↑ ↑f B ← R ∗ Here all functors are assumed to satisfy Ho. 2.2 Functors of Artin rings 49 is commutative. This is another way to express the condition that the map ( ) −→ ( ) × ( ) hS/Λ B hS/Λ A h R/Λ (A) h R/Λ B is surjective, i.e. that h f is smooth. (ii) follows immediately from the definition. (iii) Let µ : B → A be a surjection in AΛ, and consider the diagram:
F(B) → F(A) ×G(A) G(B) → G(B) ↓↓G(µ) F(A) −→ G(A) f (A) Suppose G is smooth and let ξ ∈ F(A). By the smoothness of G there exists η ∈ G(B) such that G(µ)(η) = f (A)(ξ). By the smoothness of f there is ζ ∈ F(B) which is mapped to (ξ, η) ∈ F(A) ×G(A) G(B).ItfollowsthatF(µ)(ζ ) = ξ and F is smooth. The converse is proved similarly using the surjectivity of f (A). ˆ (iv) Let vˆ ={vn}∈G(R). Since f is smooth the map ( / 2 ) → ( ) × ( / 2 ) = ( / 2 ) F R m R F k G(k) G R m R G R m R w ∈ ( / 2 ) ( / 2 )(w ) = v is surjective. Therefore there exists 1 F R m R such that f R m R 1 1. ≥ w ∈ ( / i+1) = ,..., Let’s assume that for some n 1 there exist i F R m R , i 1 n such that: ( / i+1)(w ) = v f R m R i i w −→ w ( / i+1) −→ ( / i ) and i i−1 under F R m R F R m R . The surjectivity of the map: ( / n+1) −→ ( / n ) × ( / n+1) F R m R F R m R G(R/mn) G R m R w ∈ ( / n+1) (w ,v ) implies that there exists n+1 F R m R whose image is n n+1 . By induc- tion we conclude that there exists wˆ ∈ Fˆ(R) whose image under fˆ is vˆ. The proofs of (v), (vi) and (vii) are straightforward. We now introduce the notions of “versality” and “semiuniversality”, which are slightly weaker than universality.
Definition 2.2.6. Let F be a functor of Artin rings. A formal element uˆ ∈ Fˆ(R), ˆ for some R in ob(AΛ), is called versal if the morphism h R/Λ → F defined by uˆ is smooth; uˆ is called semiuniversal if it is versal and moreover, the differential tR/Λ → tF is bijective. We will correspondingly speak of a versal formal couple (respectively a semiuniver- sal formal couple).
It is clear from the definitions that:
uˆ universal ⇒ˆu semiuniversal ⇒ˆu versal 50 2 Formal deformation theory but none of the inverse implications is true (see Examples 2.6.8). We can also de- scribe these properties as follows. Assume given µ : (B,ξB) → (A,ξA), a surjection of couples for F (i.e. µ is surjective), and a homomorphism ϕ : R → A such that ϕ(uˆ) = ξA. Then uˆ is versal if for all such data there is a lifting ψ : R → B of ϕ (i.e. µψ = ϕ) such that ψ(uˆ) = ξB: B ξB ψ R ↓ µ uˆ ↓ ϕ A ξA uˆ is universal if, moreover, the lifting ψ is unique. uˆ is semiuniversal if it is versal and, moreover, the lifting ψ is unique when µ : k[ ]→k. Let (R, uˆ) and (S, v)ˆ be two formal couples for F.Amorphism of formal couples
f : (R, uˆ) → (S, v)ˆ is a morphism f : R → S in Aˆ such that Fˆ( f )(uˆ) =ˆv. We will call f an isomor- phism of formal couples if in addition f : R → S is an isomorphism. It is obvious that with this definition the formal couples for F and their morphisms form a category containing the category IF of couples for F as a full subcategory.
Proposition 2.2.7. Let F be a functor of Artin rings. Then: (i) If (R, uˆ) and (S, v)ˆ are universal formal couples for F there exists a unique iso- morphism of formal couples (R, uˆ) =∼ (S, v)ˆ . (ii) If (R, uˆ) and (S, v)ˆ are semiuniversal formal couples for F there exists an iso- morphism of formal couples (R, uˆ) =∼ (S, v)ˆ , which is not necessarily unique ∼ but the induced isomorphism tS = tR is uniquely determined. (iii) If (R, uˆ) is a semiuniversal formal couple for F and (S, v)ˆ is versal, then there is an isomorphism, not necessarily unique:
ϕ : R[[X1,...,Xr ]] → S ˆ for some r ≥ 0, such that F(ϕj)(uˆ) =ˆv, where j : R ⊂ R[[X1,...,Xr ]] is the inclusion.
Proof. (i) By the universality of (R, uˆ) for every n ≥ 1 there exists a unique fn ∈ ( / n+1) → v ∈ ( / n+1) h R/Λ S mS such that fn n F S mS under the isomorphism associated to uˆ. In this way we obtain
f = lim{ f }:(R, uˆ) → (S, v)ˆ ← n which is uniquely determined. Analogously, we can construct a uniquely determined g : (S, v)ˆ → (R, uˆ). By universality the compositions 2.2 Functors of Artin rings 51
gf : (R, uˆ) → (R, uˆ) and fg : (S, v)ˆ → (S, v)ˆ are the identity. (ii) Using versality, and proceeding as above we can construct morphisms of formal couples f : (R, uˆ) → (S, v)ˆ and g : (S, v)ˆ → (R, uˆ)
We obtain a commutative diagram:
tR/Λ ↑↓ tS/Λ −→ tF where the vertical arrows are the differentials of f and g, and the other arrows are the characteristic maps duˆ and dvˆ. From this diagram we deduce that df = (duˆ)−1dvˆ and dg = (dv)ˆ −1duˆ are uniquely determined. Since
d(gf) = (dg)(df) = identity of tS/Λ and d( fg) = (df)(dg) = identity of tR/Λ it follows that f and g are bijections inverse of each other. (iii) By the versality of (R, uˆ) we can find a morphism of formal couples
f : (R, uˆ) → (S, v)ˆ
We obtain a commutative diagram:
tR/Λ ↑ tS/Λ −→ tF where duˆ : tR/Λ → tF is bijective because (R, uˆ) is semiuniversal, and dvˆ : tS/Λ → tF is surjective because (S, v)ˆ is versal. Hence df : tS/Λ → tR/Λ is surjective. This means that f induces an inclusion ∨ ⊂ ∨ tR/Λ tS/Λ
Let x1,...,xr ∈ S be elements which induce a basis of ∨ = /[ 2 + ( )] tS/R mS mS f m R 52 2 Formal deformation theory and define: ϕ : R[[X1,...,Xr ]] → S by ϕ(Xi ) = xi , i = 1,...,r.Let j : R ⊂ R[[X1,...,Xr ]] be the inclusion. Letting ˆ ˆ wˆ = F( j)(uˆ) ∈ F(R[[X1,...,Xr ]]) we have a commutative diagram of formal couples: ϕ (R[[X1,...,Xr ]], w)ˆ −→ (S, v)ˆ
↑ j f
(R, uˆ) such that Fˆ(ϕj)(uˆ) =ˆv. Since ϕ : [[ ,..., ]]/ 2 → / 2 1 R X1 Xr M S mS is an isomorphism (here M ⊂ R[[X1,...,Xr ]] denotes the maximal ideal) ϕ is surjective. Let ψ : / 2 → [[ ,..., ]]/ 2 1 S mS R X1 Xr M be the inverse of ϕ1.Wehave
F(ψ1)(v1) = w1 hence, by the versality of (S, v)ˆ , it is possible to find a lifting of ψ1:
ψ : S → R[[X1,...,Xr ]] such that Fˆ(ψ)(v)ˆ =ˆw. Since by construction
d(ψϕ) = dψ dϕ = identity of tR[[X]] it follows that ψϕ is an automorphism of R[[X1,...,Xr ]]. In particular, we deduce that ϕ is injective. The following is useful:
Proposition 2.2.8. If a functor of Artin rings F : A → (sets) satisfying H0 has a semiuniversal formal element and tF = (0) then F = hk, the constant functor.
Proof. The assumptions imply that there is a smooth morphism hk → F. Since a smooth morphism of functors satisfying H0 is surjective, the conclusion follows. ∗∗∗∗∗∗
For the rest of this section we will only consider functors of Artin rings satisfying conditions H0 and H . 2.2 Functors of Artin rings 53
Definition 2.2.9. Let F be a functor of Artin rings. Suppose that υ(F) is a k-vector space such that for every A in ob(AΛ) and for every ξ ∈ F(A) there is a k-linear map ξυ : ExΛ(A, k) → υ(F) with the following property: ˜ ker(ξυ ) consists of the isomorphism classes of extensions (A,ϕ)such that
ξ ∈ Im[F(A˜) → F(A)]
Then υ(F) is called an obstruction space for the functor F. If F has (0) as an ob- struction space then it is called unobstructed.
If F is prorepresented by the formal couple (R, uˆ), then o(R/Λ) is an obstruction space for F, as it follows from the functorial characterization of o(R/Λ) given in § 2.1. Conversely, if υ(F) is an obstruction space for F, and F is prorepresented by the formal couple (R, uˆ), then it follows immediately from the definition that υ(F) is a relative obstruction space for R/Λ. One can show that under relatively mild conditions a functor F has an obstruction space. We will not discuss this matter here, and we refer the interested reader to [54]. The following are some basic properties of obstruction spaces.
Proposition 2.2.10. (i) F has (0) as an obstruction space if and only if it is smooth. (ii) Let f : F → G be a smooth morphism of functors of Artin rings. If υ(G) is an obstruction space for G then it is also an obstruction space for F.
Proof. (i)isobvious.
(ii) Let A be in ob(AΛ) and ξ ∈ F(A), and let
ξυ := f (A)(ξ)υ : ExΛ(A, k) → υ(G) the map defined by f (A)(ξ) ∈ G(A).IfA˜ → A = A˜/(t) defines an element of ˜ ker(ξυ ) then, since υ(G) is an obstruction space for G, there is η ∈ G(A) such that η → f (A)(ξ) under the map G(A˜) → G(A). From the smoothness of f it follows that the map ˜ ˜ F(A) → F(A) ×G(A) G(A) is surjective, hence there is ξ˜ ∈ F(A˜) which maps to the formal couple (ξ, η).It follows that ξ˜ → ξ under F(A˜) → F(A). Conversely, if A˜ is such that there exists ξ˜ ∈ F(A˜) such that
F(A˜) → F(A)
ξ˜ → ξ 54 2 Formal deformation theory then from the diagram: F(A˜) → F(A)
↓ f (A˜) ↓ f (A)
G(A˜) → G(A) we see that f (A˜)(ξ)˜ → f (A)(ξ) hence f (A)(ξ) ∈ Im[G(A˜) → G(A)]. Therefore ˜ the extension A → A defines an element of ker[ f (A)(ξ)υ ]. This proves that ξυ satisfies the conditions of Definition 2.2.9. Corollary 2.2.11. Let F : A → (sets) be a functor of Artin rings, and suppose that (R, uˆ) is a versal formal couple for F. If F has a finite-dimensional obstruction space υ(F) then
dimk(tR) ≥ dim(R) ≥ dimk(tR) − dimk[υ(F)] Proof. From the definition of versal formal couple and from Proposition 2.2.10 we deduce that υ(F) is an obstruction space for h R, hence for R. The conclusion follows from 2.1.6. Corollary 2.2.11 is very important in deformation theory since it gives basic geo- metrical information about a deformation problem. If F is induced by a k-pointed scheme (M, m), i.e. it is of the form (2.5), then 2.2.11 gives information about the dimension of M at m. We refer the reader to Proposition 2.3.6 for a result about obstruction spaces which is often used in applications.
NOTES 1. For an interesting discussion on the geometric motivations behind the consideration of functors of Artin rings we refer the reader to [72], part C.1. 2. Corollary 2.2.11 is due to Mumford (unpublished, see [189], p. 126). A proof is outlined in [157], p. 153. The proof given here is based on such outline, and has appeared already in [163], Corollary (B2.4). ˆ 3. Let R, P be in A, ϕ : P → R a homomorphism and F : h R → h P be the correspond- ing morphism between the prorepresentable functors
h R, h P : A → (sets)
Then F(A) : h R(A) → h P (A) is injective for all A in ob(A) if and only if ϕ is surjective, i.e. if and only if R = P/J for an ideal J ⊂ P.(Proof: left to the reader.)
2.3 The theorem of Schlessinger
In this section we will prove a well-known theorem of Schlessinger which gives necessary and sufficient conditions, easy to verify in practice, for the existence of a (semi)universal element for a functor of Artin rings. Before stating the theorem we want to make some introductory remarks, which can be useful in what follows. Let’s fix Λ ∈ ob(Aˆ) throughout this section. We start with a characterization of prorepresentable functors: 2.3 The theorem of Schlessinger 55
Proposition 2.3.1. Let F : AΛ → (sets) be a functor of Artin rings satisfying con- dition H0. Then F is prorepresentable if and only if it is left exact and has finite- dimensional tangent space, i.e. it has properties H and H f . Proof. The “only if” implication is obvious (see also § 2.2). So let’s assume that F satisfies H and H f . Then, by Proposition E.9, the category IF of couples for F is cofiltered and F = lim h X → (X,ξ)
Let (Ai ,ξi ) ∈ ob(IF ) and consider all the subrings of Ai images of morphisms ¯ ¯ (A j ,ξj ) → (Ai ,ξi ). By the descending chain condition there is (Ai , ξi ) such that ¯ Ai = Im[A j → Ai ] ¯ ¯ By construction the couples (Ai , ξi ) form a full subcategory of IF in which all maps are surjective. Moreover, the corresponding category of representable functors h A¯ /Λ ◦ i is clearly cofinal in (IF ) , and therefore
F = lim h ¯ → Ai /Λ
Therefore replacing IF by this subcategory we can assume that all homomorphisms are surjective, and therefore we have: = F h Ai /Λ
( [ ]) = ( [ ]) Moreover, since H f holds, F k h Ai k when i 0. We can discard all those Ai for which this is not true and we get again a full subcategory. Therefore
F = lim h /Λ → Ai
( [ ]) = ( [ ]) and F k h Ai /Λ k for all i. Then for each i we can find a surjection
Λ[[X1,...,Xr ]] → Ai with r = dim(F(k[ ])), and these surjections are compatible, i.e. the diagrams
Λ[[X1,...,Xr ]] → Ai ↓ A j
= Λ[[ ,..., ]]/( )2 = / 2 are commutative. Define B1 X1 Xr X Ai mi for all i. Then fix ν ≥ = / ν+1 Λ[[ ,..., ]]/( )ν+1 2, and set Ai,ν Ai mi .AllAi,ν’s are quotients of X1 Xr X and form a projective system:
···→ A j,ν → Ai,ν →··· 56 2 Formal deformation theory
Let Bν = lim A ,ν = A ,ν i 0 ← i i Then by construction ···Bν+1 → Bν →··· form a projective system and F = lim h /Λ → Bν Then ˆ B := lim Bν ← ˆ is in ob(AΛ) and prorepresents F. Unfortunately this characterization of prorepresentable functors is not very useful in practice because given homomorphisms A A
A in AΛ we have
Spec(A ×A A ) = Spec(A ) Spec(A ) Spec(A) and this is not easy to visualize. That’s why left exactness of a functor of Artin rings F is hard to check. On the other hand, if at least one of the above homomorphisms is surjective then Spec(A ×A A ) is easier to describe. The theorem of Schlessinger re- duces the prorepresentability to the verification of the condition of left exactness only in cases when at least one of the above maps is surjective. An analogous condition is given for the existence of a semiuniversal element. The result is the following.
Theorem 2.3.2 (Schlessinger [155]). Let F : AΛ → (sets) be a functor of Artin rings satisfying condition H0. Let A → A and A → A be homomorphisms in AΛ and let
α : F(A ×A A ) −→ F(A ) ×F(A) F(A ) (2.10) be the natural map. Then: (i) F has a semiuniversal formal element if and only if it satisfies the following con- ditions: H¯ ) if A → A is a small extension then the map (2.10) is surjective.
H ) If A = k and A = k[ ] then the map (2.10) is bijective. H f ) dimk(tF )<∞ (ii) F has a universal element if and only if it also satisfies the following additional condition: H) the natural map
F(A ×A A ) −→ F(A ) ×F(A) F(A )
is bijective for every small extension A → AinAΛ. 2.3 The theorem of Schlessinger 57
Remark 2.3.3. It will be helpful to explain the meaning of the conditions of the theorem before giving the proof. Consider a small extension in AΛ:
µ 0 → (t) → A −→ A → 0 ∼ Assume that F = h R/Λ is prorepresentable. Then two Λ-homomorphisms f, g :
R → A have the same image in HomΛ−alg(R, A) if and only if there exists a Λ- derivation d : R → k (which is uniquely determined) such that
g(r) = f (r) + d(r)t equivalently if and only if g and f differ by an element of
DerΛ(R, k) = tR/Λ
Therefore the fibres of
F(µ) : HomΛ−alg(R, A ) → HomΛ−alg(R, A) that are nonempty are principal homogeneous spaces under the above action of tR/Λ = tF . Assume now that F is just a functor of Artin rings having properties H0 and H , so that it has tangent space tF . We can define an action of tF on F(A ) by means of the composition
− α 1 F(b) τ : tF × F(A ) −→ F(k[ ]×k A ) −→ F(A )
− where α 1 exists by property H and F(b) is induced by the morphism
b : k[ ]×k A −→ A
(x + y , a ) −→ a + yt The action τ maps the fibres of F(µ) into themselves. Indeed the isomorphism
γ : k[ ]×k A −→ A ×A A
(x + y , a ) −→ (a + yt, a ) induces a map
− α 1 F(γ ) β : tF × F(A ) −→ F(k[ ]×k A ) −→ F(A ×A A ) −→ F(A ) ×F(A) F(A ) which coincides with
tF × F(A ) −→ F(A ) ×F(A) F(A )
(v, ξ) −→ (τ(v, ξ), ξ) 58 2 Formal deformation theory
In case F is prorepresentable we have just given another description of the action of tF on the fibres of F(µ) introduced before. In general the map β is neither injective (i.e. in general the action τ is not free on the fibres of F(µ)) nor surjective (i.e. τ is not transitive on the fibres of F(µ)). This depends on the properties of the map
α : F(A ×A A ) −→ F(A ) ×F(A) F(A )
If F is left exact then α is bijective, hence β is bijective, and the action of tF on the fibres of F(µ) is free and transitive, as expected, since F is prorepresentable by Proposition 2.3.1. Conversely, what this analysis shows is that for τ to be free and transitive on the ¯ fibres of F(µ) we only need α bijective, i.e. the condition H, weaker than H. H only guarantees the transitivity of such action: the failure from prorepresentability is therefore related to the existence of fixed points of this action. In applications this is usually due to the existence of automorphisms of geometric objects associated to an element ξ ∈ F(A) which don’t lift to automorphisms of objects associated to an element ξ ∈ F(µ)−1(ξ) (see § 2.6). Since Theorem 2.3.2 guarantees that F has a semiuniversal element if it satisfies ¯ H0, H and H, we can summarize this discussion in the following statement.
Proposition 2.3.4. Let F be a functor of Artin rings satisfying conditions H0 and H and let
0 → (t) → A → A → 0 be a small extension in A. Then there is an action τ of tF on F(A ) such that:
(a) if F has a semiuniversal formal element then tF acts transitively on the non- empty fibres of F(A ) → F(A); (b) if F is prorepresentable then tF acts freely and transitively on the non-empty fibres of F(A ) → F(A).
The following definition introduces a convenient terminology.
Definition 2.3.5. Let f : F → G be a morphism of functors of Artin rings having a semiuniversal formal element and obstruction spaces υ(F) and υ(G) respectively. An obstruction map for f is a linear map
o( f ) : υ(F) → υ(G) such that for each A in ob(A) and for each ξ ∈ F(A) the diagram:
Exk(A, k) ξυ ηυ (2.11) o( f ) υ(F) −→ υ(G) is commutative, where η denotes f (A)(ξ). If f has an injective obstruction map we say that F is less obstructed than G. 2.3 The theorem of Schlessinger 59
With this terminology we can state a result often used in concrete situations:
Proposition 2.3.6. Let f : F → G be a morphism of functors of Artin rings having a semiuniversal formal element and obstruction spaces υ(F) and υ(G) respectively. Consider the following conditions: (a) d f is surjective (b) F is less obstructed than G. If they are both satisfied then f is smooth. If condition (b) is satisfied (but not neces- sarily (a)) and G is smooth then F is smooth.
Proof. Let ϕ : A˜ → A be a small extension and assume (a) and (b) hold. Consider the map ˜ ˜ F(A) → F(A) ×G(A) G(A) (2.12) ˜ and let (ξ, η)˜ ∈ F(A) ×G(A) G(A). Since η˜ → η = f (A)(ξ) we have ηυ (ϕ) = 0. By (b) and the commutativity of (2.11) we also have ξυ (ϕ) = 0 and therefore there exists ξ˜ ∈ F(A˜) such that ξ˜ → ξ.Letη˜ = f (A˜)(ξ)˜ ∈ G(A˜).Wehave
η˜ η˜
η
¯ Since by Theorem 2.3.2 the functor G satisfies condition H, there is w ∈ tG such that τ(w,η˜ ) =˜η. From the surjectivity of df it follows that there is v ∈ tF such that v → w.Nowτ(v,ξ)˜ ∈ F(A˜) satisfies
τ(v,ξ)˜ → (ξ, η)˜ because the action τ is functorial (as it easily follows from its definition). This shows that (2.12) is surjective and f is smooth. Now assume that only (b) holds and that G is smooth. We must show that
F(A˜) → F(A) is surjective or equivalently that ξυ (ϕ) = 0. Let ξ ∈ F(A) and let η := f (A)(ξ) ∈ G(A). Since G is smooth we have ηυ (ϕ) = 0. By (b) and the commutativity of (2.11) we also have ξυ (ϕ) = 0.
Corollary 2.3.7. Let f : F → G be a morphism of functors of Artin rings having a semiuniversal formal element. Assume that F is smooth, G has an obstruction space υ(G) and d f is surjective. Then f and G are smooth.
Proof. Since F is smooth it has (0) as an obstruction space and the obvious map (0) → υ(G) is an obstruction map. Therefore f is smooth by Proposition 2.3.6 and we conclude by Proposition 2.2.5(iii). 60 2 Formal deformation theory
Remark 2.3.8. When F and G are prorepresentable the first part of Proposition 2.3.6 is a reformulation of Theorem 2.1.5(iii) and Corollary 2.3.7 is a reformulation of Corollary 2.1.6(i). If in Corollary 2.3.7 we replace the condition “df surjective” by “df bijective” we cannot conclude that f is an isomorphism unless both functors are prorepresentable: if they are then f is an isomorphism by Corollary 2.1.6(ii) because a formally etale homomorphism of k-algebras in Aˆ is an isomorphism.
Proof of Theorem 2.3.2 (i) Let’s assume that F has a semiuniversal formal element (R, uˆ). Consider a homomorphism f : A → A and a small extension π : A → A both in AΛ, and let
(ξ ,ξ ) ∈ F(A ) ×F(A) F(A ) with F( f )(ξ ) = F(π)(ξ ) =: ξ ∈ F(A) By the versality of (R, uˆ) the following maps are surjective:
HomΛ−alg(R, A ) −→ F(A )
HomΛ−alg(R, A ) −→ HomΛ−alg(R, A) ×F(A) F(A ) (2.13) therefore there are
g ∈ HomΛ−alg(R, A ), g ∈ HomΛ−alg(R, A ) such that Fˆ(g )(uˆ) = ξ and g → ( fg ,ξ ) under the map (2.13). This last condition gives:
πg = fg , Fˆ(g )(uˆ) = ξ ˆ and consequently, F(πg )(uˆ) = ξ. Using the morphism g × g : R → A ×A A we obtain an element ˆ ζ := F(g × g )(uˆ) ∈ F(A ×A A ) which, by construction, is mapped to (ξ ,ξ ) by (2.13). This proves that (R, uˆ) sat- isfies condition H¯ . If A = k[ ] and A = k the map (2.13) reduces to the bijection
HomΛ−alg(R, k[ ]) −→ tF (2.14)
In this case if ζ1,ζ2 ∈ F(A ×A k[ ]) are such that α(ζ1) = α(ζ2) = (ξ ,ξ ) choose g ∈ HomΛ−alg(R, A ) as before. By the versality the map
HomΛ−alg(R, A ×k k[ ]) −→ F(A ×k k[ ]) ×F(k[ ]) HomΛ−alg(R, k[ ])
F(A ×k k[ ]) 2.3 The theorem of Schlessinger 61
induced by the projection A ×k k[ ]→k[ ] is surjective. Hence we obtain two morphisms:
g × gi : R −→ A ×k k[ ] such that ˆ F(g × gi )(uˆ) = ζi ˆ i = 1, 2. But then F(gi )(uˆ) = ξ , i = 1, 2, hence, by the bijectivity of (2.14), g1 = g2, i.e. ζ1 = ζ2. This proves that F satisfies condition H . Condition H f is satisfied because the differential tR/Λ → tF is linear and is a bijection by definition of a semiuniversal formal couple. ¯ Conversely, let’s assume that F satisfies conditions H, H and H f . We will find a semiuniversal formal couple (R, uˆ) by constructing a projective system {Rn; pn+1 : Rn+1 → Rn}n≥0 of Λ-algebras in AΛ and a sequence {un ∈ F(Rn)}n≥0 such that F(pn)(un) = un−1, n ≥ 1. We take R0 = k and u0 ∈ F(k) its unique element. Let r = dimk(tF ), {e1,...,er } a basis of tF and letting Λ[[X]] = Λ[[X1,...,Xr ]] we set
2 R1 = Λ[[X]]/((X) + mΛΛ[[X]])
Since we have R1 = k[ ]×k ···×k k[ ] (r times) from H we deduce that F(R1) = tF ×···×tF . Let’s take u1 = (e1,...,er ) ∈ F(R1). Note that the map induced by u1:
r ∼ 2 ∨ k = ((X)/(X) ) = HomΛ−alg(R1, k[ ]) −→ tF is the isomorphism (λ1,...,λr ) −→ λ j e j j Let’s proceed by induction on n: assume that couples
(R0, u0), (R1, u1), . . . , (Rn−1, un−1) such that
Rh = Λ[[X]]/Jh, uh ∈ F(Rh), uh → uh−1 h = 1,...,n − 1 have been already constructed. In order to construct (Rn, un) we consider the family I of all ideals J ⊂ Λ[[X]] having the following properties:
(a) Jn−1 ⊃ J ⊃ (X)Jn−1; (b) there exists u ∈ F(Λ[[X]]/J) such that the map
F(Λ[[X]]/J) −→ F(Rn−1)
sends u → un−1. 62 2 Formal deformation theory
I =∅because Jn−1 ∈ I. Moreover, I has a minimal element Jn. This will be proved if we show that I is closed with respect to finite intersections. Let I, J ∈ I and K = I ∩ J. It is obvious that K satisfies condition (a). We may assume that I + J = Jn−1 (making J larger without changing K if necessary). This implies that the natural homomorphism Λ[[ ]]/ −→ Λ[[ ]]/ × Λ[[ ]]/ X K X I Rn−1 X J is an isomorphism. By H¯ the map α : (Λ[[ ]]/ ) −→ (Λ[[ ]]/ ) × (Λ[[ ]]/ ) F X K F X I F(Rn−1) F X J is surjective, therefore there exists u ∈ F(Λ[[X]]/K ) whose image in F(Rn−1) is un−1; this means that K satisfies condition (b) as well, hence it is in I. We take Rn = Λ[[X]]/Jn and un ∈ F(Rn) an element which is mapped to un−1. By induction we have constructed a formal couple (R, uˆ). We now show that it is a semiuniversal formal couple for F. ∼ As already remarked, uˆ induces an isomorphism of tangent spaces tR/Λ = tF . Therefore we only have to prove versality, namely that the map
uˆπ : HomΛ−alg(R, A ) −→ HomΛ−alg(R, A) ×F(A) F(A ) is surjective for every small extension π : A → A. ˆ Let ( f,ξ ) ∈ HomΛ−alg(R, A)×F(A) F(A ), i.e. F( f )(uˆ) = F(π)(ξ ).Wemust
find f ∈ HomΛ−alg(R, A ) such that uˆπ ( f ) = ( f,ξ ), i.e. such that
(1)πf = f ; (2) Fˆ( f )(uˆ) = ξ
Let’s consider the commutative diagram:
HomΛ−alg(R, k[ ]) × HomΛ−alg(R, A ) → tF × F(A ) ↓ β1 ↓ β2
HomΛ−alg(R, A ) ×Hom(R,A) HomΛ−alg(R, A ) → F(A ) ×F(A) F(A ) (2.15) where the horizontal arrows are induced by uˆ.Themapβ1 is a bijection because the action of HomΛ−alg(R, k[ ]) on the fibres of
HomΛ−alg(R, A ) → HomΛ−alg(R, A) ¯ is free and transitive (see Remark 2.3.3). From H it follows that β2 is surjective
(Remark 2.3.3 again). Therefore if f ∈ HomΛ−alg(R, A ) satisfies (1) then, letting η := F( f )(uˆ) ∈ F(A ) there exist v ∈ HomΛ−alg(R, k[ ]) = tF , f ∈ HomΛ−alg(R, A ) such that in diagram (2.15) we have: (v, f ) −→ (v, η ) ↓↓ ( f , f ) −→ (ξ ,η ) 2.3 The theorem of Schlessinger 63
This means that uˆπ ( f ) = ( f,ξ ). It follows that it suffices to find f satisfying condition (1). Let n > 0 be such that f factors as
fn−1 R → Rn−1 −→ A
Then f exists if and only if there exists ϕ which makes the following diagram com- mutative: ϕ Rn −→ A ↓ pn ↓ π Rn−1 −→ A equivalently, if and only if the extension
∗( ,π): → (π) → × −→π → fn A 0 ker Rn A A Rn 0 ↓ ↓ fn fn π 0 → ker(π) → A −→ A → 0 is trivial. Suppose not. This means that π induces an isomorphism of tangent spaces (see 1.1.2(ii)), i.e. that there exists an ideal I ⊂ Λ[[X]] such that
Rn ×A A = Λ[[X]]/I
By construction Jn−1 ⊃ I ⊃ (X)Jn−1 Moreover, since by H¯ the map
F(Rn ×A A ) −→ F(Rn) ×F(A) F(A )
is surjective, there exists u ∈ F(Rn ×A A ) inducing un ∈ F(Rn), hence inducing un−1 ∈ F(Rn−1).ItfollowsthatI satisfies conditions (a) and (b) and, by the mini- mality of Jn in I,itfollowsthatJn ⊂ I . But this is a contradiction because from the fact that π is a surjection with nontrivial kernel it follows that I is properly contained ∗( ,π) in Jn. This proves that fn A is trivial and concludes the proof of the fact that (R, uˆ) is semiuniversal and of part (i) of the theorem.
(ii) If F is prorepresentable then it trivially satisfies conditions H, H and H f , as already remarked. ¯ Conversely, suppose that F satisfies conditions H, H, H and H f .Wehavejust proved that F has a semiuniversal formal couple (R, uˆ). We will prove that this is a universal formal couple by showing that for every A in AΛ the map
uˆ(A) : HomΛ−alg(R, A) −→ F(A) induced by uˆ is bijective. 64 2 Formal deformation theory
This is clearly true if A = k. We will proceed by induction on dimk(A).Let
π : A → A be a small extension in AΛ. By the inductive hypothesis
HomΛ−alg(R, A) −→ F(A) is bijective and, by the versality, the map ∼ uˆπ : HomΛ−alg(R, A ) → HomΛ−alg(R, A) ×F(A) F(A ) = F(A ) is surjective. The map β2 in diagram (2.15) is bijective by condition H, and this implies that uˆπ is bijective.
NOTES 1. Theorem 2.3.2 has been published in [155]. It had also appeared in [154]. See also [119]. 2. From Theorem 2.3.2 it follows that if F has a semiuniversal element then it has a tangent space which is of finite dimension, because F satisfies H0, H and H f . This property was not explicitly stated in the definition.
2.4 The local moduli functors
2.4.1 Generalities
If X is an algebraic scheme then for every A in ob(A) we let
DefX (A) ={deformations of X over A}/isomorphism
By the functoriality properties already observed in § 1.2 this defines a functor of Artin rings DefX : A → (sets) which is called the local moduli functor of X.IfX = Spec(B0) is affine, we will often write DefB0 instead of DefX . We can define the subfunctor : A → DefX (sets) by ( ) ={ }/ DefX A locally trivial deformations of X over A isomorphism called the locally trivial moduli functor of X.
Theorem 2.4.1. (i) For any algebraic scheme X the functors DefX and Def satisfy ¯ X conditions H0, H, H of Schlessinger’s theorem. Therefore, if DefX (k[ ]) (resp. ( [ ]) DefX k ) is finite dimensional, then DefX (resp. DefX ) has a semiuniversal element. 2.4 The local moduli functors 65
(ii) There is a canonical identification of k-vector spaces ( [ ]) = 1( , ) DefX k H X TX (2.16) In particular, if X is nonsingular then ( [ ]) = ( [ ]) = 1( , ) DefX k DefX k H X TX (iii) If X is an arbitrary algebraic scheme then we have a natural identification
DefX (k[ ]) = Exk(X, OX )
and an exact sequence:
ρ → 1( , ) −→τ ( [ ]) −→ 0( , 1) −→ 2( , ) 0 H X TX DefX k H X TX H X TX (2.17) In particular, Def (k[ ]) = T 1 B0 B0
if X = Spec(B0) is affine. (iv) If X is a reduced algebraic scheme then there is an isomorphism
Def (k[ ]) =∼ Ext1 (Ω1 , O ) X OX X X and the exact sequence (2.17) is isomorphic to the local-to-global exact se- quence for Exts: 0 → H 1(X, T ) → Ext1 (Ω1 , O ) X OX X X (2.18) 0 1 1 2 → H (X, Ext (Ω , OX )) → H (X, TX ) OX X
Proof. Obviously DefX and DefX satisfy condition H0. To verify the other condi- tions we assume first that X = Spec(B0) is affine. ¯ Let’s prove that DefB0 satisfies H.Let A A
A ¯ be homomorphisms in A, with A → A a small extension. Letting A = A ×A A we have a commutative diagram with exact rows:
0 → ( ) → A¯ → A → 0 ↓↓ (2.19) 0 → ( ) → A → A → 0 Consider an element of
Def (A ) × ( ) Def (A ) B0 DefB0 A B0 66 2 Formal deformation theory which is represented by a pair of deformations f : A → B and f : A → B of
B0 such that A → B ⊗A A and A → B ⊗A A are isomorphic deformations. As- ∼ ∼ sume that the isomorphism is given by A-isomorphisms B ⊗A A = B = B ⊗A A, where A → B is a deformation. In order to check H¯ it suffices to find a deformation f¯ : A¯ → B¯ inducing ( f , f ).Let ¯ B = B ×B B endowed with the obvious homomorphism f¯ : A¯ → B¯ . It is elementary to check that ¯ ⊗ =∼ ¯ ⊗ =∼ there are an A -isomorphism B A¯ A B and an A -isomorphism B A¯ A B . Therefore we only need to check that f¯ is flat. Tensoring diagram (2.19) with ⊗ ¯ A¯ B we obtain the following diagram with exact rows: ( ) ⊗ ¯ → ¯ → → A¯ B B B 0 ↓↓
0 → B0 → B → B → 0 where the second row is given by Lemma A.9. This diagram shows that ( ) ⊗ ¯ → ¯ A¯ B B is injective: the flatness of f¯ follows from Lemma A.9. = [ ] Let’s prove that DefB0 satisfies H . Assume in the above situation that A k and A = k, and let f˜ : A¯ → B˜ be a deformation such that α( f˜) = ( f , f ). Then the diagram ˜ → ˜ ⊗ =∼ B B A¯ A B ↓↓ ˜ ⊗ =∼ → B A¯ A B B0 commutes: the universal property of the fibre product implies that we have a homo- morphism γ : B˜ → B¯ of deformations, hence an isomorphism by Lemma A.4. This proves that the fibres of α contain only one element, i.e. α is bijective. Therefore
DefB0 satisfies condition H . Let’s prove (i) for X arbitrary. Consider a diagram in A: A A
A ¯ with A → A a small extension and let A = A ×A A . Consider an element ([X ], [X ]) ∈ ( ) × ( ) DefX A DefX (A) DefX A Therefore we have a diagram of deformations: X X f f ↓ X ↓ Spec(A ) ↓ Spec(A ) Spec(A) 2.4 The local moduli functors 67 where the morphisms f and f induce isomorphisms of deformations
∼ ∼ X ×Spec(A ) Spec(A) = X = X ×Spec(A ) Spec(A)
¯ ¯ Consider the sheaf of A-algebras OX ×O OX on X. Then X := (|X|, OX ×O ¯ X X OX ) is a scheme over Spec(A) (by the proof of the affine case). Reducing to the affine case one shows that X¯ is flat over Spec(A¯). Therefore X¯ is a deformation of X over Spec(A¯) inducing the pair ([X ], [X ]). This shows that the map
( ¯) → ( ) × ( ) DefX A DefX A DefX (A) DefX A
¯ is surjective, proving H for DefX . Moreover, if the deformations X and X are X¯ ¯ locally trivial then so is , and therefore H holds for the functor DefX as well. Now assume that A = k[ ] and A = k. Then the previous diagram becomes
X X f f X
In this case any X˜ → Spec(A¯) inducing the pair
([X ], [X ]) ∈ ( ) × ( ) DefX A DefX (A) DefX A is such that the isomorphisms
X˜ × ( ) =∼ X , X˜ × ( ) =∼ X Spec(A¯) Spec A Spec(A¯) Spec A
= X˜ × ( ) X˜ induce the identity on X Spec(A¯) Spec k . Therefore fits into a commutative diagram X˜ X X f f X By the universal property of the fibred sum of schemes we then get a morphism of deformations X¯ → X˜, which is necessarily an isomorphism. This proves property
H for DefX . The proof for DefX is similar. (ii) The identification (2.16) has been proved in 1.2.9. The verification that it is k-linear is elementary and will be left to the reader. (iii) If X ⊂ X ↓↓ Spec(k) → Spec(k[ ]) 68 2 Formal deformation theory is a first-order deformation of X then X ⊂ X is an extension of X by OX because by ∼ the flatness of X over Spec(k[ ]) we have OX = OX (Lemma A.9). Conversely, given such an extension X ⊂ X we have an exact sequence
j 0 → OX → OX → OX → 0
OX has a natural structure of k[ ]-algebra by sending, for any open U ⊂ X, → j(1). It follows from Lemma A.9 that X is flat over Spec(k[ ]). Let’s assume first that X = Spec(B0) is affine. Then
Ex (X, O ) = H 0(X, T 1 ) = T 1 k X B0 B0 and the exact sequence (2.17) reduces to the isomorphism
Def (k[ ]) =∼ T 1 B0 B0 which holds by what we have just remarked. Let’s assume that X is general. The map τ corresponds to the inclusion ( [ ]) ⊂ ( [ ]) DefX k DefX k in view of (2.16). The map associates to a first-order ξ 1 {ξ } deformation of X the section of TX defined by the restrictions |Ui for some affine open cover {Ui }. It is clear that Im(τ) = ker(). ρ ∈ 0( , 1) We now define .Leth H X TX be represented, in a suitable affine open cover U ={Ui = Spec(Bi )} of X, by a collection of k-extensions Ei of Bi by Bi . σ : E =∼ E Since h is a global section there exist isomorphisms ij j|Ui ∩U j i|Ui ∩U j . These isomorphisms patch together to give an extension E if and only if h ∈ Im() if and σ only if we can find new isomorphisms ij such that σ σ = σ ij jk ik (2.20) on Ui ∩ U j ∩ Uk. Such isomorphisms are of the form σ = σ θ ij ij ij θ E where ij is an automorphism of the extension j|Ui ∩U j . The collection of auto- 1 morphisms (θij) corresponds, via Lemma 1.2.6, to a 1-cochain (tij) ∈ C (U, TX ); ( ) (σ ) conversely, every 1-cochain tij defines a system of isomorphisms ij ; and the condition (2.20) is satisfied if and only if (tij) is a 1-cocycle. Therefore we define ρ(h) to be the class of the 2-cocycle (tij + t jk − tik). With this definition we clearly have ker(ρ) = Im(). We leave to the reader to verify that the definition of ρ does not depend on the choices made.
(iv) Since we have a natural identification DefX (k[ ]) = Exk(X, OX ) we con- clude by Theorem 1.1.10. The exact sequences (2.17) and (2.18) are isomorphic in view of the isomorphism T 1 =∼ Ext1 (Ω1 , O ) X OX X X given by Corollary 1.1.11, page 18. 2.4 The local moduli functors 69
Corollary 2.4.2. If X is a projective scheme or an affine scheme with at most isolated singularities then DefX has a semiuniversal formal element. 1( , ) 0( , 1) Proof. The condition implies that H X TX and H X TX are finite-dimensional vector spaces. Therefore the conclusion follows from Theorem 2.4.1 and Sch- lessinger’s theorem. The stronger property of being prorepresentable is not satisfied in general by DefX . We will discuss this matter in § 2.6. The case X affine will be taken up again and analysed in detail in Section 3.1.
Definition 2.4.3. If (R, uˆ) is a semiuniversal couple for DefX then the Krull di- mension of R (i.e. the maximum of the dimensions of the irreducible components of Spec(R)) is called the number of moduli of X and it is denoted by µ(X). Remark 2.4.4. Let X be a reduced scheme and let ξ : X → Spec(k[ ]) beafirst- order deformation of X. Then the conormal sequence of X ⊂ X → O → Ω1 → Ω1 → 0 X X |X X 0 (2.21) is exact and defines the element of Ext1 (Ω1 , O ) which corresponds to ξ in the OX X X identification Def (k[ ]) = Ext1 (Ω1 , O ) of Theorem 2.4.1(iv) (see also Theo- X OX X X rem 1.1.10). Given an infinitesimal deformation ξ : X → Spec(A) of X we have a Kodaira– Spencer map κξ : t → Ext1 (Ω1 , O ) which associates to a tangent vector θ ∈ t A OX X X A the conormal sequence 2.21 of the pullback of ξ to Spec(k[ ]) defined by θ.
2 Example 2.4.5. Let X be a projective curve. Then H (X, TX ) = (0) and the exact 0( , 1) = ( [ ]) = ( ) sequence (2.17) shows that if h X TX 0 then DefX k 0 and X is not rigid. In particular, if X is reduced and has at least one nonrigid singular point then X is not rigid. By the way, it is not known whether rigid curve singularities exist at all.
2.4.2 Obstruction spaces
The elementary analysis of obstructions to lifting infinitesimal deformations carried out in Chapter 1 can be interpreted as the description of obstruction spaces for the corresponding deformation functors. More precisely, we have the following: 2 Proposition 2.4.6. Let X be a nonsingular algebraic variety. Then H (X, TX ) is an obstruction space for the functor DefX . If X is an arbitrary algebraic scheme then 2( , ) H X TX is an obstruction space for the functor DefX . Proof. The proposition is just a rephrasing of 1.2.12. Corollary 2.4.7. Let X be a nonsingular projective algebraic variety. Then 1 1 2 h (X, TX ) ≥ µ(R) ≥ h (X, TX ) − h (X, TX ) The first equality holds if and only if X is unobstructed. Proof. It is an immediate consequence of 2.4.6 and of Corollary 2.2.11. 70 2 Formal deformation theory
If X is a singular algebraic scheme the previous results give no information about obstructions of the functor DefX . The following proposition addresses the case of a reduced local complete intersection (l.c.i.) scheme.
Proposition 2.4.8. Let X be a reduced l.c.i. algebraic scheme X, and assume char(k) = 0. Then Ext2 (Ω1 , O ) is an obstruction space for the functor Def . OX X X X Proof. Let A be in ob(A) and let X → X ξ : ↓↓f Spec(k) → Spec(A) be a deformation of X over A. We need to define a k-linear map
2 1 oξ : Ex (A, k) → Ext (Ω , O ) k OX X X having the properties of an obstruction map according to Definition 2.2.9. Consider an element of Exk(A, k) represented by an extension
e : 0 → (t) → A˜ → A → 0 and the conormal sequence of e:
→ ( ) → Ω ⊗ → Ω → 0 t A˜/k A˜ A A/k 0 (2.22) which is exact by Lemma B.10. Since f is flat, pulling back (2.22) to X we obtain the exact sequence
∗ ∗ 0 → O → f (Ω1 ) → f (Ω1 ) → 0 (2.23) X Spec(A˜)|Spec(A) Spec(A)
Since X is a reduced l.c.i. the morphism f satisfies the hypothesis of Theorem D.2.8. Therefore the relative cotangent sequence of f :
→ ∗(Ω1 ) → Ω1 → Ω1 → 0 f Spec(A) X X /Spec(A) 0 (2.24) is exact. Composing (2.23) and (2.24) we obtain the 2-term extension
∗ 1 1 1 0 → OX → f (Ω ) → Ω → Ω → 0 Spec(A˜)|Spec(A) X X /Spec(A) which defines an element
2 1 2 1 oξ (e) ∈ Ext (Ω , O ) = Ext (Ω , O ) OX X /Spec(A) X OX X X
This defines the map oξ . The linearity of oξ is a consequence of the linearity of ( , ) → 1 (Ω , ) the map Exk A k ExtA A/k k associating to an extension e the conormal sequence (2.22). 2.4 The local moduli functors 71
Assume that there is a lifting of ξ to A˜, i.e. that we have a diagram:
X ⊂ X˜ ↓ f ↓ f˜ Spec(A) ⊂ Spec(A˜)
Then we have a commutative and exact diagram as follows:
0 ↓ ∗ 1 ∗ 1 0 → OX → f (Ω ) → f (Ω ) → 0 Spec(A˜)|Spec(A) Spec(A) ↓ ↓ → O → Ω1 → Ω1 → 0 X X˜ |X X 0 ↓↓ 1 1 (Ω )|X = Ω X˜ /Spec(A˜) X /Spec(A) ↓↓ 00
In this diagram the first row is the pullback of the second row and this implies that oξ (e) = 0. Conversely, assume that oξ (e) = 0. Then we have a commutative and exact diagram as follows:
0 ↓ ∗ 1 ∗ 1 0 → OX → f (Ω ) → f (Ω ) → 0 Spec(A˜)|Spec(A) Spec(A) ↓ ↓ 1 0 → OX → E → ΩX → 0 ↓ Ω1 X /Spec(A) ↓ 0 for some coherent sheaf E on X . By the construction of Theorem 1.1.10 one finds a sheaf of A-algebras OX˜ and an extension of sheaves of A-algebras
0 → OX → OX˜ → OX → 0
1 E = Ω O ˜ such that X˜ |X . It remains to be shown that X can be given a structure of sheaf of flat A˜-algebras. The shortest way to see this is to use Corollary 3.1.13(ii), to be proved in the next chapter: since X is a l.c.i. it implies that there are no obstruc- ˜ tions to lifting X locally to A. This means that the restriction of OX˜ to every affine ˜ open subset U ⊂ X defines a lifting of X|U to A, and therefore it is a sheaf of flat A˜-algebras. 72 2 Formal deformation theory
1 1 Example 2.4.9. If X is a reduced l.c.i. curve then Ext (Ω , OX ) is a torsion sheaf OX X 2 1 and Ext (Ω , OX ) = 0; therefore OX X
i j 1 H (X, Ext (Ω , OX )) = (0) OX X for all i, j with i + j = 2. It follows that Ext2 (Ω1 , O ) = 0 and X is unobstructed OX X X by Proposition 2.4.8. For a discussion of obstructions in the affine case we refer the reader to Subsec- tion 3.1.2.
2.4.3 Algebraic surfaces
In this subsection we will assume char(k) = 0. We will denote by S a projective nonsingular connected algebraic surface. Let (R, uˆ) be a semiuniversal formal de- formation of S, and denote by
µ(S) := dim(R) the number of moduli of S. Proposition 2.4.10.
2 0 1 10χ(OS) − 2(K ) + h (S, TS) ≤ µ(S) ≤ h (S, TS) (2.25)
2 If h (S, TS) = 0 then both inequalities are equalities. Proof. A direct application of the Riemann–Roch formula gives
1 2 2 0 h (S, TS) − h (S, TS) = 10χ(OS) − 2(K ) + h (S, TS) By applying Corollary 2.4.7 we obtain the conclusion. The first inequality was proved by Enriques (see [52]). Examples 2.4.11. (i) If S is a minimal ruled surface and S → C is the ruling over a projective nonsingular curve C, then letting S(x) =∼ IP 1 be the fibre of any x ∈ C we have 1 h (S(x), TS|S(x)) = 0 as an immediate consequence of the exact sequence
0 → TS(x) → TS|S(x) → NS(x)/S → 0 OS(x)
1 Therefore R p∗TS = 0 by Corollary 4.2.6, and the Leray spectral sequence implies 2 1 that h (S, TS) = 0. Therefore S is unobstructed and µ(S) = h (S, TS). This com- putation for the rational ruled surfaces Fm is also done in Example B.11(iii), page 288. 2.4 The local moduli functors 73
(ii) Assume that S is a K3-surface. Then 2( , ) = 0( ,Ω1) = 1( , O ) = h S TS h S S h S S 0 Therefore S is unobstructed. Moreover, 0( , ) = 2( ,Ω1) = 1( ,ω ) = h S TS h S S h S S 0 and DefS is prorepresentable (Corollary 2.6.4). Formula (2.25) gives in this case
1 µ(S) = h (S, TS) = 20
(iii) Let π : X → S be the blow-up of S at a point s and E = π −1(s) the exceptional curve. Then we have a standard exact sequence
dπ ∗ 0 → TX −→ π TS → OE (−E) → 0
(to see it one can use the exact sequence (3.50), page 172, and note that coker(dπ) = Nπ , the normal sheaf of π, which is defined on page 162). We thus see that
2 ∼ 2 H (X, TX ) = H (S, TS)
This implies, for example, that non-minimal rational or ruled surfaces and blow-ups of K3-surfaces are unobstructed. (iv) When the Kodaira dimension of S is ≥ 1 then in general
2 0 1 h (S, TS) = h (S,Ω ⊗ ωS) = 0 and in fact such surfaces can be obstructed. Examples are given in Theorem 3.4.26, 0 page 185. If we assume that h (S, TS) = 0 the estimate for µ(S) given by Proposi- tion 2.4.10 becomes
2 1 2 0 1 10χ(OS) − 2(K ) ≤ µ(S) ≤ h (S, TS) = 10χ(OS) − 2(K ) + h (S,Ω ⊗ ωS)
0 1 and to give an upper bound for µ(S) amounts to giving one for h (S,Ω ⊗ ωS) in 2 terms of pa, K , q. We refer the reader to [27] for a more detailed discussion of this point. For examples of obstructed surfaces see also [24], [87], [96], [28]. 0 (v) If h (S,ωS)>0 and q > 0 then certainly
0 1 h (S,Ω ⊗ ωS)>0
This is because there is a bilinear pairing 0( ,Ω1) × 0( ,ω ) → 0( ,Ω1 ⊗ ω ) H S S H S S H S S which is non-degenerate on each factor. 74 2 Formal deformation theory
For example, take S = C1 × C2 where C1 and C2 are projective nonsingular 0 connected curves of genera g1 ≥ 2 and g2 ≥ 2 respectively. Then h (S,ωS) = g1g2, q = g1 + g2 and − − T = p∗ω 1 ⊕ p∗ω 1 S 1 C1 2 C2 where pi : S → Ci is the i-th projection, i = 1, 2. Therefore
0 1 2 h (TS) = 0, h (TS) = 3(g1 + g2) − 6, h (TS) = g2(3g1 − 3) + g1(3g2 − 3)
On the other hand, S is unobstructed. In fact there is a natural morphism of functors
: × → f DefC1 DefC2 DefS which is clearly an isomorphism on tangent spaces: in fact
( × )( [ ]) := ( [ ]) × ( [ ]) = DefC1 DefC2 k DefC1 k DefC2 k
− − = H 1(C ,ω 1) ⊕ H 1(C ,ω 1) = H 1(S, T ) 1 C1 2 C2 S × Therefore, since DefC1 DefC2 is smooth because both factors are (Proposition 2.2.5(vii)), DefS is smooth by Corollary 2.3.7. Actually, f is an isomorphism be- cause both functors are prorepresentable (see Remark 2.3.8, page 60). This example can be generalized to any finite product of nonsingular projective connected curves of genera ≥ 2. If S is an abelian surface then
0 1 0 h (S,Ω ⊗ ωS) = 2 = h (S, TS)
Formula (2.25) gives 1 2 ≤ µ(S) ≤ h (S, TS) = 4 In fact the second equality holds because abelian surfaces are unobstructed despite 2 the fact that h (S, TS) = 0. This is a property common to all abelian varieties (see [137] and [135]). (vi) One should keep in mind that µ(S) is defined as the number of moduli of S in a formal sense. This is because the semiuniversal formal deformation (R, uˆ) can be non-algebraizable (see § 2.5 for the notion of algebraizability). For exam- ple µ(S) = 20 for a K3-surface, but every algebraic family of K3-surfaces with injective Kodaira–Spencer map at every point has dimension ≤ 19 (see § 3.3). Simi- larly an abelian surface has µ(S) = 4 but every algebraic family of abelian surfaces with injective Kodaira–Spencer map at every point has dimension ≤ 3 (see Example 3.3.13). In order to give an algebraic meaning to the number of moduli one should take the maximum dimension of a semiuniversal formal deformation of a pair (S, L) where L is an ample invertible sheaf on S. See § 3.3 and the appendix by Mumford to Chapter V of [189]. 2.5 Formal versus algebraic deformations 75 2.5 Formal versus algebraic deformations
We have already mentioned (see Examples 1.2.5 and 1.2.11) that infinitesimal de- formations do not explain faithfully some of the phenomena which can occur when one considers deformations parametrized by algebraic schemes or by the spectrum of an arbitrary noetherian, or even e.f.t., local ring. In this section we will make such statements precise. We start with a few definitions and some terminology. Let (S, s) be a pointed scheme. An etale neighbourhood of s in S is an etale morphism of pointed schemes f : (T, t) → (S, s) such that the following diagram commutes: T
t ↓f
s Spec(k(s)) −→ S The definition implies that k(s) =∼ k(t), i.e. f induces a trivial extension of the ˆ ∼ ˆ residue fields at s and t; therefore OS,s = OT,t by C.7. Affine neighbourhoods of s are particular etale neighbourhoods. Given two etale neighbourhoods (T, t) and (U, u) of s ∈ S a morphism (T, t) → (U, u) is given by a commutative diagram of pointed schemes: (T, t) → (U, u)
(S, s) Lemma 2.5.1. Let f : X → Y be an etale morphism and g : Y → X a section of f . Then g is etale.
Proof. Use C.2(v).
Proposition 2.5.2. Let S be a scheme. The etale neighbourhoods of a given s ∈ S form a filtered system of pointed schemes.
Proof. Given two etale neighbourhoods (S , s ) and (S , s ), they are dominated by a third, namely:
S ×S S → S ↓↓ S → S
Now let f1, f2 : (S , s ) → (S , s ) be two morphisms between etale neighbour- hoods. Then there exists a third etale neighbourhood (S , s ) and a morphism (S , s ) → (S , s ) which equalizes them. In fact, consider the diagram:
pr S ×S S −→ S ↓ pr ↓ S → S 76 2 Formal deformation theory
We can shrink S and S so that S is affine and S is connected. Then the graphs
Γ1 and Γ2 of f1 and f2 are closed, because S is affine, and open, because they are images of sections of the etale morphism pr , which are etale. Therefore they are connected components of S ×S S .But(s , s ) ∈ Γ1 ∩Γ2 and therefore Γ1 = Γ2.
It follows that f1 = f2 on S = Γ1 = Γ2. Definition 2.5.3. Given a scheme S and a point s ∈ S we define the local ring of S in s in the etale topology to be ˜ OS,s := lim OS ,s → (S ,s ) where the limit is taken for (S , s ) varying through all the etale neighbourhoods of s. ˜ ˜ The ring OS,s is also called the henselization of OS,s. (Note that OS,s is a local ring, because it is a limit of a filtering system of local rings and local homomorphisms.) A local ring A is called henselian if for the closed point s of S = Spec(A) one has ˜ ˜ A := OS,s = OS,s = A The henselization of an e.f.t. local k-algebra is called an algebraic local ring. Therefore the local ring in the etale topology of a point of an algebraic scheme is an algebraic local ring. For a given scheme S and point s ∈ S there is a canonical homomorphism ˜ OS,s → OS,s which is flat and induces an isomorphism of the completions ˆ ∼ ˜ OS,s = OS,s because every OS,s → OS ,s does. Moreover, ˜ ˆ OS,s ⊂ OS,s ⊂ OS,s ˜ because OS,s → OS,s is faithfully flat and OS,s is separated for the m-adic topology. ˜ ˆ ˆ In particular, we see that OS,s = OS,s if OS,s = OS,s, i.e. a local k-algebra in A (i.e. complete noetherian with residue field k) is henselian. Theorem 2.5.4 (Nagata). If A is a noetherian local ring then A˜ is noetherian. Proof. We have A ⊂ A˜ ⊂ Aˆ and Aˆ = A˜. Moreover,
A˜ = lim A → with A local algebras etale over A and inducing trivial residue field extension. To prove that A˜ is noetherian it suffices to prove that every ascending chain of finitely generated ideals of A˜ ⊆ ⊆···⊆ ⊆ a1 a2 an { ˆ} ˆ stabilizes. The chain an A stabilizes because A is noetherian. Therefore it suffices to prove that if a, b ⊂ A˜ are finitely generated ideals such that a Aˆ = bAˆ then 2.5 Formal versus algebraic deformations 77 a = b. Since a and b are finitely generated one can find A ⊃ A as above and finitely generated ideals a , b ⊂ A such that a = a A˜, b = b A˜. It follows that a Aˆ = b Aˆ. But since A is noetherian it follows that a = b and therefore a = b. The following proposition gives a geometrical characterization of the henselization.
Proposition 2.5.5. Let A be a local ring, S = Spec(A),s∈ S the closed point. A is henselian if and only if every morphism f : Z → S such that there is a point z ∈ Z with f (z) = s, k(s) = k(z) and f etale at z, admits a section.
Proof. Assume the condition is satisfied. If A → A is an etale homomorphism inducing an isomorphism of the residue fields then the induced morphism f : Spec(A ) → S admits a section, which defines an isomorphism A =∼ A; therefore A is henselian. Conversely, assume A is henselian and let f : Z → S be a morphism ∼ satisfying the stated conditions. Then f induces an isomorphism A = OZ,z because A is henselian. The section is the composition ∼ S = Spec(A) = Spec(OZ,z) ⊂ Z ∗∗∗∗∗∗
We will need the notion of “formal deformation of an algebraic scheme”, already introduced in § 2.2 for a general functor of Artin rings. Let X be an algebraic scheme and let A¯ be in ob(Aˆ). Then a formal deformation of X over A¯ is just a formal ¯ element ηˆ ∈ DefX (A) for DefX : by definition it is a sequence {ηn} of infinitesimal deformations of X fn X −→ Xn η : n ↓↓πn ¯ Spec(k) → Spec(An) ¯ ¯ n+1 where An = A/m ¯ , such that for all n ≥ 1 ηn induces ηn−1 by pullback under the A ¯ ¯ natural inclusion Spec(An−1) → Spec(An), i.e. we have:
fn−1 ¯ X −→ Xn ⊗ ¯ An−1 = Xn−1 η : An n−1 ↓↓πn−1 ¯ Spec(k) → Spec(An−1) ¯ ¯ We will denote such a formal deformation by (A, {ηn}) or by (A, η)ˆ . It can be also viewed as the morphism of formal schemes
π¯ : X → Specf(A¯) where X = (X, lim OX ), π¯ = lim π ← n ← n (see [84] and [16] for the definition and main properties of formal schemes). 78 2 Formal deformation theory
Note that π¯ is a flat morphism of formal schemes, namely for every x ∈ X O ¯ = O the local ring X ,x is flat over A Specf(A¯),π(¯ x). This is an almost immediate consequence of the general version of the local criterion of flatness ([3], ExposeIV,´ Corollaire 5.8). ¯ The formal deformation (A, {ηn}) will be called trivial (resp. locally trivial)if each ηn is trivial (resp. locally trivial). ¯ A formal deformation (A, {ηn}) is not to be confused with a deformation of X over Spec(A¯), just as a formal scheme over Specf(A¯) is not in general a formal com- pletion of a scheme over Spec(A¯) (see Definition 2.5.10 below and the discussion following it). Let X be a projective scheme and consider a flat family of deformations of X parametrized by an affine scheme S = Spec(B), with B in (k-algebras)
f X −→ X η : ↓↓π s Spec(k) −→ S namely a cartesian diagram with π projective and flat. The deformation η is called algebraic if B is a k-algebra of finite type. If B is in ob(A∗) then η is called a local deformation of X.IfB is in ob(A) we obtain an infinitesimal deformation of X;it is simultaneously local and algebraic. We will identify the deformation η with the couple (S,η)or (B,η)and we will also denote it by (S, s,η)or (B, s,η). Given such a deformation (S, s,η) let ηn be the infinitesimal deformation in- duced by pulling back η under the natural closed embedding
n+1 Spec(OS,s/m ) → S
n+1 ˆ n+1 ˆ We have OS,s/m = OS,s/mˆ and therefore it follows that (OS,s, {ηn}) is a formal deformation of X. It will be called the formal deformation defined by (or associated to) η. (S, s,η) is called formally trivial (resp. formally locally trivial) if the formal deformation defined by η is trivial (resp. locally trivial).
Lemma 2.5.6. Let (S, s,η)be a deformation of an algebraic scheme X, f : (S˜, s˜) → (S, s) an etale neighbourhood of s in S and (S˜, s˜, η)˜ the deformation of X obtained by pulling back η by f . Then the formal deformations of X defined by η and by η˜ are isomorphic.
Proof. We have a cartesian diagram of formal schemes:
X˜ → X ↓ π˜¯ ↓¯π (Oˆ ) → (Oˆ ) Specf S˜,s˜ Specf S,s where π˜¯ and π¯ are the formal deformations defined by η˜ and by η respectively. Since Oˆ =∼ Oˆ f is etale it induces an isomorphism S,s S˜,s˜ and the conclusion follows. 2.5 Formal versus algebraic deformations 79
Definition 2.5.7. A deformation (S, s,η)of X is called formally universal (resp. for- ˆ mally semiuniversal, formally versal) if the formal deformation (OS,s, {ηn}n≥0) as- sociated to η is universal (resp. semiuniversal, versal). An algebraic formally versal deformation of X is also called with general moduli. A flat family π : X → S is called formally universal (resp. formally semiuniver- sal, formally versal, with general moduli) at a k-rational point s ∈ Sif X (s) ⊂ X η : ↓↓π s Spec(k) −→ S is a formally universal, (resp. formally semiuniversal, formally versal, with general moduli) deformation of X (s).
The expression “general moduli” goes back to the classical geometers. Infor- mally, it means that the family parametrizes all possible “sufficiently small” deforma- tions of X (s); when the family π parametrizes varieties for which there is a moduli scheme, or just a moduli stack (whatever this means for the reader since we have not introduced these notions), π with general moduli means that the functorial morphism from S to the moduli scheme or stack is open at s. An expression like “consider a variety X with general moduli” is used to mean: “choose X as a general fibre in a family with general moduli”. The early literature on deformation theory of complex analytic manifolds (in the approach of Kodaira and Spencer) considered only families parametrized by complex analytic manifolds. In that context the expression “effectively parametrized” was used to mean “with injective Kodaira–Spencer map”, and the word “complete” was used to mean the analogue of the notion of formal versality, in the category of germs of complex analytic manifolds.
Proposition 2.5.8. Let (S, s,η)be a deformation of X. Then: (i) If η is formally versal (resp. formally semiuniversal or formally universal) then the Kodaira–Spencer map
κπ,s : Ts S → DefX (k[ ])
is surjective (resp. an isomorphism). (ii) If S is nonsingular at s and the Kodaira–Spencer map κπ,s is surjective (resp. an isomorphism) then η is formally versal (resp. formally semiuniversal) and X is unobstructed, i.e. the functor DefX is smooth.
Proof. (i) is obvious in view of the definitions of versality and semiuniversality of a formal couple applied to h ˆ → DefX . OS,s (ii) follows from Proposition 2.2.5(iii) applied to f : h ˆ → DefX . OS,s The proposition applies in particular to an algebraic deformation, giving a crite- rion for it to have general moduli. A classical result (see [107]) states the complete- ness of a complex analytic family of compact complex manifolds if the map κπ,s is 80 2 Formal deformation theory surjective. Part (ii) of Proposition 2.5.8 is the algebraic version of this result. It turns out to be very useful because it reduces the verification of formal versality and of unobstructedness to the computation of the Kodaira–Spencer map. ¯ Definition 2.5.9. A formal deformation (A, {ηn}) of X is called algebraizable if there ˆ ∼ ¯ exists an algebraic deformation (S, s,ξ)of X and an isomorphism OS,s = A sending ¯ ηn to ξn for all n (i.e. (A, {ηn}) is isomorphic to the formal deformation defined by ¯ ξ). The deformation (S, s,ξ)is called an algebraization of (A, {ηn}). It goes without saying that an algebraization of a formal versal (resp. semiuniver- sal, universal) deformation is formally versal (resp. formally semiuniversal, formally universal). The existence of algebraizations is a highly nontrivial problem. It can be considered as the counterpart of the convergence step in the construction of local families of deformations in the Kodaira–Spencer theory of deformations of com- pact complex manifolds. But the algebraic case presents some characteristic features which make the two theories radically different in methods and in results. In par- ticular, a projective algebraic variety X defined over the field of complex numbers need not have an algebraic formally versal deformation, even in the case when DefX is prorepresentable and unobstructed (see Example 2.5.12 below); but, according to the KNSK theory (see the Introduction), such a variety has a complete deformation in the complex analytic sense. ∗∗∗∗∗∗
For the rest of this section we will need to assume some familiarity with formal schemes: for some definitions and results not contained in [84] we will refer to [1]. The following definition introduces an important notion weaker than algebraizability.
Definition 2.5.10. Let X be an algebraic scheme and let Abein¯ ob(Aˆ).Aformal deformation (A¯, η)ˆ of X is called effective if there exists a deformation X → X η¯ : ↓↓π Spec(k) → Spec(A¯) of X over A¯ such that ηˆ is the formal deformation associated to η¯. Equivalently, letting π¯ : X → Specf(A¯) be the morphism of formal schemes associated to the formal deformation (A¯, η)ˆ , its effectivity means that there is a deformation η¯ such that X is the formal completion of X along X and π¯ is the morphism of formal schemes induced by π; in symbols:
X =∼ ( ¯) × X Specf A Spec(A¯)
It is obvious that the trivial formal deformation X → Specf(A¯), where
X = X × Specf(A¯) = (X, lim O ⊗ A¯/mn) ← X k is effective: it is the formal completion of the trivial deformation 2.5 Formal versus algebraic deformations 81
X × Spec(A¯) → Spec(A¯)
In particular, for any A¯ in ob(Aˆ) the formal projective space over A¯
Pr := ( r , O r ) ¯ IP lim IP ¯ A ← An is effective, being the formal completion of IP r × Spec(A¯) along the closed fibre IP r = IP r ×Spec(k). A consequence of Grothendieck’s theorem of formal functions is that a formal deformation of a proper algebraic scheme can be effective in at most one way; more precisely we have:
Theorem 2.5.11. Let X be a proper algebraic scheme. If X → X X → Y η¯ : ↓↓π ξ¯ : ↓↓q Spec(k) → Spec(A¯) Spec(k) → Spec(A¯) are two deformations of X with Ain¯ ob(Aˆ) such that the associated formal defor- mations (A¯, η)ˆ , (A¯, ξ)ˆ are isomorphic, then η¯ and ξ¯ are isomorphic deformations.
Proof. Let S = Spec(A¯) and Sˆ = Specf(A¯). For a given proper S-scheme f : Z → S we denote by Zˆ the formal completion of Z along Z(s) = f −1(s), where s ∈ S Fˆ O is the closed point, and by the Zˆ -sheaf obtained as the formal completion of a quasi-coherent OZ -sheaf F. It suffices to show that the correspondence ϕ →ˆϕ defines a one-to-one correspondence (X , Y) → (Xˆ, Yˆ) HomS HomSˆ because it will follow that Xˆ =∼ Yˆ, i.e. (A¯, η)ˆ =∼ (A¯, ξ)ˆ , implies X =∼ Y. The proof goes as follows. For any proper S-scheme f : Z → S and coherent sheaves F and G on Z the theorem of formal functions ([84], p. 277) implies that there is an isomorphism ∧ ∼ ˆ ˆ Hom(F, G) = lim HomO (F , G ) = Hom ˆ (F, G) ← Zn n n Z
Moreover, since Hom(F, G) is a finitely generated A¯-module, it coincides with its m A¯ -adic completion ([127], Theorem 8.7, p. 60); thus we have an isomorphism (F, G) =∼ (Fˆ , Gˆ) Hom HomZˆ
It maps a homomorphism u : F → G to its completion uˆ : Fˆ → Gˆ. It is easy to see that uˆ is injective (resp. surjective) if and only if u is injective (resp. surjective) ([1], ch. III, Cor. 5.1.3). In particular, we have a one-to-one correspondence between O O sheaves of ideals of Z and of Zˆ , equivalently between closed subschemes of Z and closed formal subschemes of Zˆ . Now take Z = X ×S Y and view it as an S-scheme by any of the projections. ˆ = Xˆ × Yˆ Then we have a natural identification Z Sˆ ([1], ch I, Prop. 10.9.7). We 82 2 Formal deformation theory deduce a one-to-one correspondence between closed subschemes of X ×S Y and Xˆ × Yˆ X → Y of Sˆ , in particular between graphs of S-morphisms and graphs of morphisms Xˆ → Yˆ of Sˆ-formal schemes. In general, not every formal deformation of a given algebraic scheme need to be effective, just as deformations of algebraic varieties defined over the field of complex numbers need not be algebraic. Here is a typical example.
Example 2.5.12 (K3-surfaces). For this example we will need a result to be proved in Chapter 3. Let X be a projective K 3-surface, and assume for simplicity that Pic(X) = ZZ[H] for some divisor H.Let(A¯, η)ˆ be the formal universal deforma- tion of X and X the corresponding formal scheme over Sˆ = Specf(A¯). By Example 2.4.11(ii) we know that ¯ ∼ A = k[[X1,...,X20]] where X1,...,X20 are indeterminates. Claim: (A¯, η)ˆ is not effective. Otherwise there is a proper smooth morphism f : X → S = Spec(A¯) such that Xˆ =∼ X , where Xˆ is the formal completion of X along X = f −1(s), s ∈ S the closed point. Since X is of finite type over the integral scheme S, it has a nontrivial line bundle L which we may assume to correspond to a Cartier divisor whose support does not contain X and has a nonempty intersection with X; therefore ∼ L has a nontrivial restriction to the closed fibre X,sayL ⊗ OX = nH, n = 0. By [1], Ch. III, Cor. 5.1.6, L corresponds to a line bundle Lˆ on X which extends ∼ L ⊗ OX = nH.ButnH cannot be extended to all of X because it extends to a 19-dimensional space of first-order deformations of X (see page 150). Therefore we have a contradiction and the claim is proved.
The following is a basic result of effectivity of formal deformations.
Theorem 2.5.13 (Grothendieck [71]). Let X be a projective scheme. Then: (i) Let π¯ : X → Specf(A¯), Ain¯ ob(Aˆ), be a formal deformation of X. Assume that there is a closed embedding of formal schemes j : X ⊂ Pr such that π¯ = pj A¯ where p : Pr → Specf(A¯) is the projection. Then π¯ is effective. A¯ 2 (ii) Assume that h (X, OX ) = 0. Then every formal deformation of X is effective.
Proof. (i) The structure sheaf OX and the ideal sheaf IX are coherent sheaves of OPr -modules. Repeating verbatim the proof of the classical result of Serre (see [84], A¯ Theorem II.5.15, p. 121), one shows that there is an exact sequence