Knowledge (XXG)

Canonical singularity

Source đź“ť

388:
Two dimensional terminal singularities are smooth. If a variety has terminal singularities, then its singular points have codimension at least 3, and in particular in dimensions 1 and 2 all terminal singularities are smooth. In 3 dimensions they are isolated and were classified by
187: 713: 805: 759: 681: 635: 592: 525: 547: 472: 492: 291: 101: 54:
because smooth minimal models do not always exist, and thus one must allow certain singularities, namely the terminal singularities.
968: 852:(1988), "Crepant blowing-up of 3-dimensional canonical singularities and its application to degenerations of surfaces", 202: 997: 992: 377: 330: 686: 338: 769: 353: 310: 51: 43: 723: 645: 602: 559: 497: 530: 877: 445: 397: 35: 922: 869: 830: 373: 477: 912: 861: 976: 953: 934: 889: 842: 972: 949: 930: 885: 849: 838: 946:
Journées de Géometrie Algébrique d'Angers, Juillet 1979/Algebraic Geometry, Angers, 1979
822: 415:
Two dimensional log terminal singularities are analytically isomorphic to quotients of
896: 349: 306: 17: 494:
is a formal linear combination of prime divisors with rational coefficients such that
986: 818: 900: 326: 960: 941: 917: 926: 873: 834: 881: 430:
Two dimensional log canonical singularities have been classified by
865: 192:
where the sum is over the irreducible exceptional divisors, and the
182:{\displaystyle \displaystyle K_{X}=f^{*}(K_{Y})+\sum _{i}a_{i}E_{i}} 948:, Alphen aan den Rijn: Sijthoff & Noordhoff, pp. 273–310, 967:, Proc. Sympos. Pure Math., vol. 46, Providence, R.I.: 963:(1987), "Young person's guide to canonical singularities", 965:
Algebraic geometry, Bowdoin, 1985 (Brunswick, Maine, 1985)
823:"Minimal models of algebraic threefolds: Mori's program" 442:
More generally one can define these concepts for a pair
396:
Two dimensional canonical singularities are the same as
772: 726: 689: 648: 605: 562: 533: 500: 480: 448: 105: 104: 34:
appear as singularities of the canonical model of a
337:has canonical singularities if and only if it is a 799: 753: 707: 675: 629: 586: 541: 519: 486: 466: 400:, and are analytically isomorphic to quotients of 372:vanishes along any codimension 1 component of the 181: 66:is a normal variety such that its canonical class 42:are special cases that appear as singularities of 50:. Terminal singularities are important in the 708:{\displaystyle \lfloor \Delta \rfloor \leq 0} 8: 696: 690: 344:The singularities of a projective variety 301:The singularities of a projective variety 916: 901:"On 3-dimensional terminal singularities" 771: 725: 688: 647: 604: 561: 535: 534: 532: 505: 499: 479: 447: 172: 162: 152: 136: 123: 110: 103: 431: 91:be a resolution of the singularities of 292:multiplier ideal (algebraic geometry) 27:Singularities of projective varieties 7: 390: 47: 384:Classification in small dimensions 800:{\displaystyle (X,\Delta )\geq -1} 782: 736: 693: 658: 642:(Kawamata log terminal) if Discrep 615: 572: 514: 481: 458: 25: 754:{\displaystyle (X,\Delta )>-1} 676:{\displaystyle (X,\Delta )>-1} 630:{\displaystyle (X,\Delta )\geq 0} 201:are rational numbers, called the 720:(purely log terminal) if Discrep 587:{\displaystyle (X,\Delta )>0} 305:are canonical if the variety is 368:the pullback of any section of 348:are terminal if the variety is 785: 773: 739: 727: 661: 649: 618: 606: 575: 563: 461: 449: 142: 129: 1: 969:American Mathematical Society 944:(1980), "Canonical 3-folds", 549:-Cartier. The pair is called 520:{\displaystyle K_{X}+\Delta } 542:{\displaystyle \mathbb {Q} } 360:extends to a line bundle on 356:of the non-singular part of 317:extends to a line bundle on 313:of the non-singular part of 905:Nagoya Mathematical Journal 467:{\displaystyle (X,\Delta )} 1014: 766:(log canonical) if Discrep 289: 208:Then the singularities of 46:. They were introduced by 918:10.1017/s0027763000021358 419:by finite subgroups of GL 404:by finite subgroups of SL 282:≥ −1 for all 339:relative canonical model 487:{\displaystyle \Delta } 32:canonical singularities 18:Canonical singularities 801: 755: 709: 677: 631: 588: 543: 521: 488: 468: 380:of its singularities. 333:of its singularities. 264:> −1 for all 183: 40:terminal singularities 802: 756: 710: 678: 632: 589: 544: 522: 489: 469: 354:canonical line bundle 311:canonical line bundle 184: 52:minimal model program 971:, pp. 345–414, 770: 724: 687: 646: 603: 560: 531: 498: 478: 446: 398:du Val singularities 352:, some power of the 309:, some power of the 102: 998:Algebraic geometry 993:Singularity theory 797: 751: 705: 673: 627: 584: 539: 517: 484: 464: 246:≥ 0 for all 179: 178: 157: 79:-Cartier, and let 36:projective variety 374:exceptional locus 148: 16:(Redirected from 1005: 979: 956: 937: 920: 892: 850:Kawamata, Yujiro 845: 829:(177): 303–326, 806: 804: 803: 798: 760: 758: 757: 752: 714: 712: 711: 706: 682: 680: 679: 674: 636: 634: 633: 628: 593: 591: 590: 585: 548: 546: 545: 540: 538: 526: 524: 523: 518: 510: 509: 493: 491: 490: 485: 473: 471: 470: 465: 188: 186: 185: 180: 177: 176: 167: 166: 156: 141: 140: 128: 127: 115: 114: 30:In mathematics, 21: 1013: 1012: 1008: 1007: 1006: 1004: 1003: 1002: 983: 982: 959: 940: 897:Mori, Shigefumi 895: 866:10.2307/1971417 848: 817: 814: 768: 767: 722: 721: 685: 684: 644: 643: 601: 600: 558: 557: 529: 528: 501: 496: 495: 476: 475: 444: 443: 440: 432:Kawamata (1988) 422: 407: 386: 299: 294: 281: 263: 245: 228:> 0 for all 227: 200: 168: 158: 132: 119: 106: 100: 99: 74: 60: 28: 23: 22: 15: 12: 11: 5: 1011: 1009: 1001: 1000: 995: 985: 984: 981: 980: 957: 938: 893: 846: 813: 810: 809: 808: 796: 793: 790: 787: 784: 781: 778: 775: 761: 750: 747: 744: 741: 738: 735: 732: 729: 715: 704: 701: 698: 695: 692: 672: 669: 666: 663: 660: 657: 654: 651: 637: 626: 623: 620: 617: 614: 611: 608: 594: 583: 580: 577: 574: 571: 568: 565: 537: 516: 513: 508: 504: 483: 463: 460: 457: 454: 451: 439: 436: 420: 405: 385: 382: 298: 295: 288: 287: 277: 268: 259: 250: 241: 232: 223: 196: 190: 189: 175: 171: 165: 161: 155: 151: 147: 144: 139: 135: 131: 126: 122: 118: 113: 109: 70: 59: 56: 44:minimal models 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 1010: 999: 996: 994: 991: 990: 988: 978: 974: 970: 966: 962: 958: 955: 951: 947: 943: 939: 936: 932: 928: 924: 919: 914: 910: 906: 902: 898: 894: 891: 887: 883: 879: 875: 871: 867: 863: 860:(1): 93–163, 859: 855: 854:Ann. of Math. 851: 847: 844: 840: 836: 832: 828: 824: 820: 819:Kollár, János 816: 815: 811: 794: 791: 788: 779: 776: 765: 762: 748: 745: 742: 733: 730: 719: 716: 702: 699: 670: 667: 664: 655: 652: 641: 638: 624: 621: 612: 609: 598: 595: 581: 578: 569: 566: 555: 552: 551: 550: 511: 506: 502: 455: 452: 437: 435: 433: 428: 426: 418: 413: 411: 403: 399: 394: 392: 383: 381: 379: 375: 371: 367: 363: 359: 355: 351: 347: 342: 340: 336: 332: 328: 325:has the same 324: 320: 316: 312: 308: 304: 296: 293: 285: 280: 276: 272: 271:log canonical 269: 267: 262: 258: 254: 251: 249: 244: 240: 236: 233: 231: 226: 222: 218: 215: 214: 213: 211: 206: 204: 203:discrepancies 199: 195: 173: 169: 163: 159: 153: 149: 145: 137: 133: 124: 120: 116: 111: 107: 98: 97: 96: 94: 90: 86: 82: 78: 73: 69: 65: 62:Suppose that 57: 55: 53: 49: 45: 41: 37: 33: 19: 964: 945: 908: 904: 857: 853: 826: 763: 717: 639: 596: 553: 441: 429: 424: 416: 414: 409: 401: 395: 387: 369: 365: 361: 357: 345: 343: 334: 322: 318: 314: 302: 300: 283: 278: 274: 270: 265: 260: 256: 253:log terminal 252: 247: 242: 238: 234: 229: 224: 220: 216: 212:are called: 209: 207: 197: 193: 191: 92: 88: 84: 80: 76: 71: 67: 63: 61: 39: 31: 29: 961:Reid, Miles 942:Reid, Miles 391:Mori (1985) 327:plurigenera 48:Reid (1980) 987:Categories 827:AstĂ©risque 812:References 599:if Discrep 556:if Discrep 378:resolution 331:resolution 297:Properties 290:See also: 58:Definition 927:0027-7630 911:: 43–66, 874:0003-486X 835:0303-1179 792:− 789:≥ 783:Δ 746:− 737:Δ 700:≤ 697:⌋ 694:Δ 691:⌊ 668:− 659:Δ 622:≥ 616:Δ 597:canonical 573:Δ 515:Δ 482:Δ 459:Δ 235:canonical 150:∑ 125:∗ 899:(1985), 821:(1989), 554:terminal 217:terminal 95:. Then 977:0927963 954:0605348 935:0792770 890:0924674 882:1971417 843:1040578 329:as any 975:  952:  933:  925:  888:  880:  872:  841:  833:  474:where 364:, and 350:normal 321:, and 307:normal 38:, and 878:JSTOR 856:, 2, 438:Pairs 376:of a 923:ISSN 870:ISSN 831:ISSN 743:> 683:and 665:> 579:> 273:if 255:if 237:if 219:if 913:doi 862:doi 858:127 718:plt 640:klt 527:is 427:). 412:). 205:. 75:is 989:: 973:MR 950:MR 931:MR 929:, 921:, 909:98 907:, 903:, 886:MR 884:, 876:, 868:, 839:MR 837:, 825:, 764:lc 434:. 393:. 341:. 915:: 864:: 807:. 795:1 786:) 780:, 777:X 774:( 749:1 740:) 734:, 731:X 728:( 703:0 671:1 662:) 656:, 653:X 650:( 625:0 619:) 613:, 610:X 607:( 582:0 576:) 570:, 567:X 564:( 536:Q 512:+ 507:X 503:K 462:) 456:, 453:X 450:( 425:C 423:( 421:2 417:C 410:C 408:( 406:2 402:C 370:V 366:V 362:V 358:V 346:V 335:V 323:V 319:V 315:V 303:V 286:. 284:i 279:i 275:a 266:i 261:i 257:a 248:i 243:i 239:a 230:i 225:i 221:a 210:Y 198:i 194:a 174:i 170:E 164:i 160:a 154:i 146:+ 143:) 138:Y 134:K 130:( 121:f 117:= 112:X 108:K 93:Y 89:Y 87:→ 85:X 83:: 81:f 77:Q 72:Y 68:K 64:Y 20:)

Index

Canonical singularities
projective variety
minimal models
Reid (1980)
minimal model program
discrepancies
multiplier ideal (algebraic geometry)
normal
canonical line bundle
plurigenera
resolution
relative canonical model
normal
canonical line bundle
exceptional locus
resolution
Mori (1985)
du Val singularities
Kawamata (1988)
Kollár, János
"Minimal models of algebraic threefolds: Mori's program"
ISSN
0303-1179
MR
1040578
Kawamata, Yujiro
doi
10.2307/1971417
ISSN
0003-486X

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

↑