Knowledge (XXG)

Degeneration (algebraic geometry)

Source 📝

533: 897:
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.
75: 518: 286: 441: 402: 332: 209: 170: 124: 467: 235: 352: 867: 916: 885: 829: 591:
over a discrete valuation ring. If the generic fiber is ruled, then each irreducible component of the special fiber is also ruled.
814: 859: 567:, the important point is to understand the boundaries of the moduli, which amounts to understand degenerations of curves. 931: 777: 906:
V. Alexeev, Ch. Birkenhake, and K. Hulek, Degenerations of Prym varieties, J. Reine Angew. Math. 553 (2002), 73–116.
854: 41: 819: 472: 240: 917:
http://mathoverflow.net/questions/88552/when-do-infinitesimal-deformations-lift-to-global-deformations
609: 824: 407: 368: 298: 175: 136: 90: 809: 863: 588: 446: 849: 564: 214: 877: 873: 337: 532: 925: 902:
Vanishing, Singularities And Effective Bounds Via Prime Characteristic Local Algebra.
584: 355: 35:) is the act of taking a limit of a family of varieties. Precisely, given a morphism 842: 17: 701:) are affine, then an embedded infinitesimal deformation amounts to an ideal 784:
if it is flat and the fiber of it over the distinguished point 0 of
892: 527: 575:
Ruled-ness specializes. Precisely, Matsusaka'a theorem says
84:
with origin 0 (e.g., affine or projective line), the fibers
53: 544: 475: 449: 410: 371: 340: 301: 243: 217: 178: 139: 93: 44: 512: 461: 435: 396: 346: 326: 280: 229: 203: 164: 118: 69: 792:. Thus, the above notion is a special case when 362:. Many authors assume degenerations to be flat. 358:and, in that case, the degeneration is called a 845:– Tata Institute of Fundamental Research, 1976 634:embedded first-order infinitesimal deformation 8: 404:is trivial away from a special fiber; i.e., 862:, vol. 52, New York: Springer-Verlag, 334:. The limiting process behaves nicely when 843:Lectures on Deformations of Singularities 480: 474: 448: 415: 409: 376: 370: 339: 306: 300: 248: 242: 216: 183: 177: 144: 138: 98: 92: 70:{\displaystyle \pi :{\mathcal {X}}\to C,} 52: 51: 43: 800:and there is some choice of embedding. 80:of a variety (or a scheme) to a curve 7: 893:An invitation to toric degenerations 753:In general, given a pointed scheme ( 513:{\displaystyle \pi ^{-1}(t),t\neq 0} 281:{\displaystyle \pi ^{-1}(t),t\neq 0} 830:Relative effective Cartier divisor 172:may be thought of as the limit of 25: 886:Deformations of algebraic schemes 531: 129:form a family of varieties over 815:differential graded Lie algebra 469:up to (coherent) isomorphisms, 495: 489: 430: 424: 391: 385: 321: 315: 263: 257: 221: 198: 192: 159: 153: 113: 107: 58: 1: 860:Graduate Texts in Mathematics 620:a scheme of finite type over 436:{\displaystyle \pi ^{-1}(t)} 397:{\displaystyle \pi ^{-1}(t)} 327:{\displaystyle \pi ^{-1}(0)} 204:{\displaystyle \pi ^{-1}(t)} 165:{\displaystyle \pi ^{-1}(0)} 119:{\displaystyle \pi ^{-1}(t)} 663:) such that the projection 624:. Given a closed subscheme 520:is called a general fiber. 237:. One then says the family 948: 596:Infinitesimal deformations 27:In algebraic geometry, a 761:, a morphism of schemes 571:Stability of invariants 524:Degenerations of curves 462:{\displaystyle t\neq 0} 891:M. Gross, M. Siebert, 678:as the special fiber. 640:is a closed subscheme 514: 463: 437: 398: 348: 328: 282: 231: 230:{\displaystyle t\to 0} 205: 166: 120: 71: 515: 464: 438: 399: 349: 329: 283: 232: 206: 167: 121: 72: 632:, by definition, an 610:ring of dual numbers 473: 447: 408: 369: 347:{\displaystyle \pi } 338: 299: 241: 215: 176: 137: 91: 42: 825:Frobenius splitting 820:Kodaira–Spencer map 932:Algebraic geometry 855:Algebraic Geometry 810:deformation theory 757:, 0) and a scheme 543:. You can help by 510: 459: 443:is independent of 433: 394: 344: 324: 278: 227: 201: 162: 116: 67: 869:978-0-387-90244-9 850:Hartshorne, Robin 727:and the image of 589:projective scheme 561: 560: 360:flat degeneration 133:. Then the fiber 18:Flat degeneration 16:(Redirected from 939: 880: 770: 764: 732: 721: 706: 674:is flat and has 668: 645: 565:moduli of curves 563:In the study of 556: 553: 535: 528: 519: 517: 516: 511: 488: 487: 468: 466: 465: 460: 442: 440: 439: 434: 423: 422: 403: 401: 400: 395: 384: 383: 365:When the family 353: 351: 350: 345: 333: 331: 330: 325: 314: 313: 287: 285: 284: 279: 256: 255: 236: 234: 233: 228: 210: 208: 207: 202: 191: 190: 171: 169: 168: 163: 152: 151: 125: 123: 122: 117: 106: 105: 76: 74: 73: 68: 57: 56: 21: 947: 946: 942: 941: 940: 938: 937: 936: 922: 921: 913: 900:Karen E Smith, 870: 848: 838: 806: 768: 762: 730: 719: 704: 666: 658: 643: 598: 573: 557: 551: 548: 541:needs expansion 526: 476: 471: 470: 445: 444: 411: 406: 405: 372: 367: 366: 336: 335: 302: 297: 296: 244: 239: 238: 213: 212: 179: 174: 173: 140: 135: 134: 94: 89: 88: 40: 39: 23: 22: 15: 12: 11: 5: 945: 943: 935: 934: 924: 923: 920: 919: 912: 911:External links 909: 908: 907: 904: 898: 895: 889: 881: 868: 846: 837: 834: 833: 832: 827: 822: 817: 812: 805: 802: 776:is called the 652: 597: 594: 593: 592: 572: 569: 559: 558: 538: 536: 525: 522: 509: 506: 503: 500: 497: 494: 491: 486: 483: 479: 458: 455: 452: 432: 429: 426: 421: 418: 414: 393: 390: 387: 382: 379: 375: 343: 323: 320: 317: 312: 309: 305: 277: 274: 271: 268: 265: 262: 259: 254: 251: 247: 226: 223: 220: 200: 197: 194: 189: 186: 182: 161: 158: 155: 150: 147: 143: 127: 126: 115: 112: 109: 104: 101: 97: 78: 77: 66: 63: 60: 55: 50: 47: 33:specialization 24: 14: 13: 10: 9: 6: 4: 3: 2: 944: 933: 930: 929: 927: 918: 915: 914: 910: 905: 903: 899: 896: 894: 890: 888: 887: 882: 879: 875: 871: 865: 861: 857: 856: 851: 847: 844: 840: 839: 835: 831: 828: 826: 823: 821: 818: 816: 813: 811: 808: 807: 803: 801: 799: 795: 791: 787: 783: 779: 775: 771: 760: 756: 751: 749: 745: 741: 737: 733: 726: 723:is flat over 722: 715: 711: 707: 700: 696: 692: 688: 684: 679: 677: 673: 669: 662: 656: 650: 646: 639: 635: 631: 627: 623: 619: 615: 612:over a field 611: 607: 603: 595: 590: 586: 582: 578: 577: 576: 570: 568: 566: 555: 552:November 2019 546: 542: 539:This section 537: 534: 530: 529: 523: 521: 507: 504: 501: 498: 492: 484: 481: 477: 456: 453: 450: 427: 419: 416: 412: 388: 380: 377: 373: 363: 361: 357: 356:flat morphism 341: 318: 310: 307: 303: 294: 290: 275: 272: 269: 266: 260: 252: 249: 245: 224: 218: 195: 187: 184: 180: 156: 148: 145: 141: 132: 110: 102: 99: 95: 87: 86: 85: 83: 64: 61: 48: 45: 38: 37: 36: 34: 30: 19: 901: 884: 883:E. Sernesi: 853: 797: 793: 789: 785: 781: 780:of a scheme 773: 766: 758: 754: 752: 747: 743: 739: 735: 728: 724: 717: 713: 709: 702: 698: 694: 690: 686: 682: 680: 675: 671: 670:→ Spec  664: 660: 654: 648: 641: 637: 633: 629: 625: 621: 617: 613: 605: 601: 599: 587:irreducible 580: 574: 562: 549: 545:adding to it 540: 364: 359: 292: 288: 130: 128: 81: 79: 32: 29:degeneration 28: 26: 778:deformation 289:degenerates 841:M. Artin, 836:References 712:such that 505:≠ 482:− 478:π 454:≠ 417:− 413:π 378:− 374:π 342:π 308:− 304:π 273:≠ 250:− 246:π 222:→ 185:− 181:π 146:− 142:π 100:− 96:π 59:→ 46:π 926:Category 852:(1977), 804:See also 878:0463157 796:= Spec 693:= Spec( 685:= Spec 608:be the 293:special 291:to the 876:  866:  585:normal 295:fiber 769:' 731:' 720:' 705:' 667:' 659:Spec( 653:Spec( 644:' 583:be a 354:is a 864:ISBN 689:and 616:and 600:Let 579:Let 31:(or 788:is 746:is 734:in 708:of 681:If 647:of 636:of 628:of 547:. 211:as 928:: 874:MR 872:, 858:, 772:→ 765:: 750:. 738:= 716:/ 604:= 798:D 794:S 790:X 786:S 782:X 774:S 767:X 763:π 759:X 755:S 748:I 744:ε 742:/ 740:A 736:A 729:I 725:D 718:I 714:A 710:A 703:I 699:I 697:/ 695:A 691:X 687:A 683:Y 676:X 672:D 665:X 661:D 657:) 655:k 651:× 649:Y 642:X 638:X 630:Y 626:X 622:k 618:Y 614:k 606:k 602:D 581:X 554:) 550:( 508:0 502:t 499:, 496:) 493:t 490:( 485:1 457:0 451:t 431:) 428:t 425:( 420:1 392:) 389:t 386:( 381:1 322:) 319:0 316:( 311:1 276:0 270:t 267:, 264:) 261:t 258:( 253:1 225:0 219:t 199:) 196:t 193:( 188:1 160:) 157:0 154:( 149:1 131:C 114:) 111:t 108:( 103:1 82:C 65:, 62:C 54:X 49:: 20:)

Index

Flat degeneration
flat morphism

adding to it
moduli of curves
normal
projective scheme
ring of dual numbers
deformation
deformation theory
differential graded Lie algebra
Kodaira–Spencer map
Frobenius splitting
Relative effective Cartier divisor
Lectures on Deformations of Singularities
Hartshorne, Robin
Algebraic Geometry
Graduate Texts in Mathematics
ISBN
978-0-387-90244-9
MR
0463157
Deformations of algebraic schemes
An invitation to toric degenerations
http://mathoverflow.net/questions/88552/when-do-infinitesimal-deformations-lift-to-global-deformations
Category
Algebraic geometry

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.