Knowledge (XXG)

Reider's theorem

Source 📝

656: 486: 275: 147: 421: 348: 197: 697: 371: 298: 721: 690: 726: 683: 48: 716: 77: 603: 428: 229: 101: 378: 305: 154: 663: 628: 17: 620: 499: 65: 667: 612: 640: 636: 601:
Reider, Igor (1988), "Vector bundles of rank 2 and linear systems on algebraic surfaces",
45: 353: 280: 710: 655: 25: 29: 624: 632: 92:| has no base points unless there exists a nonzero effective divisor 616: 220:| is very ample unless there exists a nonzero effective divisor 671: 506:
be an ample line bundle on a smooth projective surface
431: 381: 356: 308: 283: 232: 157: 104: 480: 415: 365: 342: 292: 269: 191: 141: 498:Reider's theorem implies the surface case of the 691: 8: 563:Thus by the first part of Reider's theorem | 698: 684: 575:| is base-point-free. Similarly, for any 466: 430: 401: 380: 355: 328: 307: 282: 252: 231: 177: 156: 124: 103: 611:(2), Annals of Mathematics: 309–316, 7: 652: 650: 670:. You can help Knowledge (XXG) by 14: 481:{\displaystyle DE=3,D=3E,E^{2}=1} 224:satisfying one of the following: 654: 208:> 8, then the linear system | 51:on a smooth projective surface 722:Theorems in algebraic geometry 28:on a projective surface to be 1: 270:{\displaystyle DE=0,E^{2}=-1} 142:{\displaystyle DE=0,E^{2}=-1} 416:{\displaystyle DE=2,E^{2}=0} 343:{\displaystyle DE=1,E^{2}=0} 192:{\displaystyle DE=1,E^{2}=0} 743: 649: 579:> 3 the linear system | 543:for any effective divisor 727:Algebraic geometry stubs 24:gives conditions for a 666:–related article is a 482: 417: 367: 344: 294: 271: 193: 143: 604:Annals of Mathematics 483: 418: 368: 345: 295: 272: 194: 144: 429: 379: 354: 306: 281: 230: 155: 102: 717:Algebraic surfaces 664:algebraic geometry 478: 413: 366:{\displaystyle -1} 363: 340: 293:{\displaystyle -2} 290: 267: 189: 139: 18:algebraic geometry 679: 678: 607:, Second Series, 591:| is very ample. 547:the ampleness of 514:> 2, then for 500:Fujita conjecture 76:> 4, then the 66:canonical divisor 734: 700: 693: 686: 658: 651: 643: 487: 485: 484: 479: 471: 470: 422: 420: 419: 414: 406: 405: 372: 370: 369: 364: 349: 347: 346: 341: 333: 332: 299: 297: 296: 291: 276: 274: 273: 268: 257: 256: 198: 196: 195: 190: 182: 181: 148: 146: 145: 140: 129: 128: 22:Reider's theorem 742: 741: 737: 736: 735: 733: 732: 731: 707: 706: 705: 704: 647: 617:10.2307/2007055 600: 597: 587: 571: 496: 462: 427: 426: 397: 377: 376: 352: 351: 324: 304: 303: 279: 278: 248: 228: 227: 216: 173: 153: 152: 120: 100: 99: 88: 63: 38: 12: 11: 5: 740: 738: 730: 729: 724: 719: 709: 708: 703: 702: 695: 688: 680: 677: 676: 659: 645: 644: 596: 593: 583: 567: 561: 560: 541: 495: 492: 491: 490: 489: 488: 477: 474: 469: 465: 461: 458: 455: 452: 449: 446: 443: 440: 437: 434: 424: 412: 409: 404: 400: 396: 393: 390: 387: 384: 374: 362: 359: 339: 336: 331: 327: 323: 320: 317: 314: 311: 301: 289: 286: 266: 263: 260: 255: 251: 247: 244: 241: 238: 235: 212: 202: 201: 200: 188: 185: 180: 176: 172: 169: 166: 163: 160: 150: 138: 135: 132: 127: 123: 119: 116: 113: 110: 107: 84: 59: 37: 34: 13: 10: 9: 6: 4: 3: 2: 739: 728: 725: 723: 720: 718: 715: 714: 712: 701: 696: 694: 689: 687: 682: 681: 675: 673: 669: 665: 660: 657: 653: 648: 642: 638: 634: 630: 626: 622: 618: 614: 610: 606: 605: 599: 598: 594: 592: 590: 586: 582: 578: 574: 570: 566: 558: 554: 550: 546: 542: 539: 535: 532: 528: 525: 524: 523: 521: 517: 513: 509: 505: 501: 493: 475: 472: 467: 463: 459: 456: 453: 450: 447: 444: 441: 438: 435: 432: 425: 410: 407: 402: 398: 394: 391: 388: 385: 382: 375: 360: 357: 337: 334: 329: 325: 321: 318: 315: 312: 309: 302: 287: 284: 264: 261: 258: 253: 249: 245: 242: 239: 236: 233: 226: 225: 223: 219: 215: 211: 207: 203: 186: 183: 178: 174: 170: 167: 164: 161: 158: 151: 136: 133: 130: 125: 121: 117: 114: 111: 108: 105: 98: 97: 95: 91: 87: 83: 79: 78:linear system 75: 71: 70: 69: 67: 62: 58: 54: 50: 47: 43: 35: 33: 31: 27: 23: 19: 672:expanding it 661: 646: 608: 602: 588: 584: 580: 576: 572: 568: 564: 562: 556: 552: 548: 544: 537: 533: 530: 526: 519: 515: 511: 507: 503: 497: 494:Applications 221: 217: 213: 209: 205: 93: 89: 85: 81: 73: 60: 56: 55:. Denote by 52: 41: 39: 21: 15: 559:≥ m > 2. 26:line bundle 711:Categories 595:References 96:such that 30:very ample 625:0003-486X 522:we have 358:− 285:− 262:− 134:− 36:Statement 557:m(L · E) 551:implies 641:0932299 633:2007055 540:> 4; 49:divisor 639:  631:  623:  502:. Let 68:of X. 662:This 629:JSTOR 553:D · E 510:. If 44:be a 668:stub 621:ISSN 149:, or 64:the 40:Let 613:doi 609:127 589:+mL 573:+mL 350:or 277:or 204:If 72:If 46:nef 16:In 713:: 637:MR 635:, 627:, 619:, 555:= 536:≥ 529:= 520:mL 218:+D 90:+D 32:. 20:, 699:e 692:t 685:v 674:. 615:: 585:X 581:K 577:m 569:X 565:K 549:L 545:E 538:m 534:L 531:m 527:D 518:= 516:D 512:m 508:X 504:L 476:1 473:= 468:2 464:E 460:, 457:E 454:3 451:= 448:D 445:, 442:3 439:= 436:E 433:D 423:; 411:0 408:= 403:2 399:E 395:, 392:2 389:= 386:E 383:D 373:; 361:1 338:0 335:= 330:2 326:E 322:, 319:1 316:= 313:E 310:D 300:; 288:2 265:1 259:= 254:2 250:E 246:, 243:0 240:= 237:E 234:D 222:E 214:X 210:K 206:D 199:; 187:0 184:= 179:2 175:E 171:, 168:1 165:= 162:E 159:D 137:1 131:= 126:2 122:E 118:, 115:0 112:= 109:E 106:D 94:E 86:X 82:K 80:| 74:D 61:X 57:K 53:X 42:D

Index

algebraic geometry
line bundle
very ample
nef
divisor
canonical divisor
linear system
Fujita conjecture
Annals of Mathematics
doi
10.2307/2007055
ISSN
0003-486X
JSTOR
2007055
MR
0932299
Stub icon
algebraic geometry
stub
expanding it
v
t
e
Categories
Algebraic surfaces
Theorems in algebraic geometry
Algebraic geometry stubs

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