Degeneration (algebraic geometry)
In algebraic geometry, a degeneration (or specialization) is the act of taking a limit of a family of varieties. Precisely, given a morphism
- [math]\displaystyle{ \pi: \mathcal{X} \to C, }[/math]
of a variety (or a scheme) to a curve C with origin 0 (e.g., affine or projective line), the fibers
- [math]\displaystyle{ \pi^{-1}(t) }[/math]
form a family of varieties over C. Then the fiber [math]\displaystyle{ \pi^{-1}(0) }[/math] may be thought of as the limit of [math]\displaystyle{ \pi^{-1}(t) }[/math] as [math]\displaystyle{ t \to 0 }[/math]. One then says the family [math]\displaystyle{ \pi^{-1}(t), t \ne 0 }[/math] degenerates to the special fiber [math]\displaystyle{ \pi^{-1}(0) }[/math]. The limiting process behaves nicely when [math]\displaystyle{ \pi }[/math] is a flat morphism and, in that case, the degeneration is called a flat degeneration. Many authors assume degenerations to be flat.
When the family [math]\displaystyle{ \pi^{-1}(t) }[/math] is trivial away from a special fiber; i.e., [math]\displaystyle{ \pi^{-1}(t) }[/math] is independent of [math]\displaystyle{ t \ne 0 }[/math] up to (coherent) isomorphisms, [math]\displaystyle{ \pi^{-1}(t), t \ne 0 }[/math] is called a general fiber.
Degenerations of curves
In the study of moduli of curves, 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 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 X' → Spec D is flat and has X as the special fiber.
If Y = Spec A and X = Spec(A/I) are affine, then an embedded infinitesimal deformation amounts to an ideal I' of A[ε] such that A[ε]/ I' is flat over D and the image of I' in A = A[ε]/ε is I.
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
- differential graded Lie algebra
- Kodaira–Spencer map
- Frobenius splitting
- Relative effective Cartier divisor
References
- M. Artin, Lectures on Deformations of Singularities – Tata Institute of Fundamental Research, 1976
- Hartshorne, Robin (1977), Algebraic Geometry, Graduate Texts in Mathematics, 52, New York: Springer-Verlag, ISBN 978-0-387-90244-9
- E. Sernesi: Deformations of algebraic schemes
- 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
 |  |
