Deformations of Algebraic SchemesIn 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 coef?cients of their de?ning 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 dif?cult 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 for- 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 ?ll such a gap, at least p- tially. |
Was andere dazu sagen - Rezension schreiben
Es wurden keine Rezensionen gefunden.
Inhalt
1 | |
8 | |
Formal deformation theory | 37 |
Examples of deformation functors 103 | 102 |
Hilbert and Quot schemes | 187 |
A Flatness | 269 |
B Differentials | 279 |
Smoothness | 293 |
Complete intersections 305 | 304 |
E Functorial language | 313 |
320 | |
List of symbols | 329 |
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
affine algebraic schemes apply associated Assume automorphisms called closed embedding closed subscheme coherent commutative diagram complete complete intersection condition Consider construction Corollary corresponding couple cover curve deduce defined definition DefX denote dimension element equivalent etale exact sequence Example exists extension fact fibres finite flat follows formal formal deformation functor functor of Artin give given hence homomorphism ideal immediately implies induced infinitesimal deformation injective isomorphism k-algebra Lemma lifting linear locally free means module Moreover morphism natural Note notion obstruction space obtain obvious parametrized particular polynomial projective Proof properties Proposition prorepresentable prove quotient reader reduced regular relation relative represented resp respectively restriction result rigid satisfies semiuniversal sets sheaf sheaves singular smooth Spec Spec(A surface surjective tangent Theorem theory universal unobstructed variety versal