Degeneration (algebraic Geometry)
   HOME

TheInfoList



OR:

In algebraic geometry, a degeneration (or specialization) is the act of taking a limit of a family of varieties. Precisely, given a morphism :\pi: \mathcal \to C, of a variety (or a scheme) to a curve ''C'' with origin 0 (e.g., affine or projective line), the fibers :\pi^(t) form a family of varieties over ''C''. Then the fiber \pi^(0) may be thought of as the limit of \pi^(t) as t \to 0. One then says the family \pi^(t), t \ne 0 ''degenerates'' to the ''special'' fiber \pi^(0). The limiting process behaves nicely when \pi is a
flat morphism In mathematics, in particular in algebraic geometry, a flat morphism ''f'' from a scheme (mathematics), scheme ''X'' to a scheme ''Y'' is a morphism such that the induced map on every Stalk (sheaf), stalk is a flat map of rings, i.e., :f_P\colon \ ...
and, in that case, the degeneration is called a flat degeneration. Many authors assume degenerations to be flat. When the family \pi^(t) is trivial away from a special fiber; i.e., \pi^(t) is independent of t \ne 0 up to (coherent) isomorphisms, \pi^(t), t \ne 0 is called a general fiber.


Degenerations of curves

In the study of
moduli of curves In algebraic geometry, a moduli space of (algebraic) curves is a geometric space (typically a scheme or an algebraic stack) whose points represent isomorphism classes of algebraic curves. It is thus a special case of a moduli space. Depending on ...
, the important point is to understand the boundaries of the moduli, which amounts to understand degenerations of curves.


Stability of invariants

Ruled-ness specializes. Precisely, Matsusaka'a theorem says :Let ''X'' be a normal irreducible
projective scheme In algebraic geometry, a projective variety is an algebraic variety that is a closed subvariety of a projective space. That is, it is the zero-locus in \mathbb^n of some finite family of homogeneous polynomials that generate a prime ideal, the de ...
over a discrete valuation ring. If the generic fiber is ruled, then each irreducible component of the special fiber is also ruled.


Infinitesimal deformations

Let ''D'' = ''k'' 'ε''be the ring of dual numbers over a field ''k'' and ''Y'' a scheme of finite type over ''k''. Given a closed subscheme ''X'' of ''Y'', by definition, an embedded first-order infinitesimal deformation of ''X'' is a closed subscheme ''X'' of ''Y'' ×Spec(''k'') Spec(''D'') such that the projection is flat and has ''X'' as the special fiber. If ''Y'' = Spec ''A'' and are affine, then an embedded infinitesimal deformation amounts to an ideal of ''A'' 'ε''such that is flat over ''D'' and the image of in ''A'' = ''A'' 'ε''''ε'' is . In general, given a pointed scheme (''S'', 0) and a scheme ''X'', a morphism of schemes : ''X'' → ''S'' is called the deformation of a scheme ''X'' if it is flat and the fiber of it over the distinguished point 0 of ''S'' is ''X''. Thus, the above notion is a special case when ''S'' = Spec ''D'' and there is some choice of embedding.


See also

*
Deformation theory In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution ''P'' of a problem to slightly different solutions ''P''ε, where ε is a small number, or a vector of small quantities. The infinitesima ...
*
Differential graded Lie algebra In mathematics, in particular abstract algebra and topology, a differential graded Lie algebra (or dg Lie algebra, or dgla) is a graded vector space with added Lie algebra and chain complex structures that are compatible. Such objects have applica ...
*
Kodaira–Spencer map In mathematics, the Kodaira–Spencer map, introduced by Kunihiko Kodaira and Donald C. Spencer, is a Map (mathematics), map associated to a Deformation theory, deformation of a Scheme (mathematics), scheme or complex manifold ''X'', taking a tangen ...
* Frobenius splitting * Relative effective Cartier divisor


References

*M. Artin
Lectures on Deformations of Singularities
– Tata Institute of Fundamental Research, 1976 *{{Hartshorne AG *E. Sernesi:

' *M. Gross, M. Siebert
An invitation to toric degenerations
*M. Kontsevich, Y. Soibelman: Affine structures and non-Archimedean analytic spaces, in: The unity of mathematics (P. Etingof, V. Retakh, I.M. Singer, eds.), 321–385, Progr. Math. 244, Birkh ̈auser 2006. *Karen E Smith, ''Vanishing, Singularities And Effective Bounds Via Prime Characteristic Local Algebra.'' *V. Alexeev, Ch. Birkenhake, and K. Hulek, Degenerations of Prym varieties, J. Reine Angew. Math. 553 (2002), 73–116.


External links

*http://mathoverflow.net/questions/88552/when-do-infinitesimal-deformations-lift-to-global-deformations Algebraic geometry