Knowledge

Enumerative geometry

Source đź“ť

31: 178: 206: 117: 446:
called 'double lines'. This is because a double line intersects every line in the plane, since lines in the projective plane intersect, with multiplicity two because it is doubled, and thus satisfies the same intersection condition (intersection of multiplicity two) as a nondegenerate conic that is
191:
is one of the earliest examples of enumerative geometry. This problem asks for the number and construction of circles that are tangent to three given circles, points or lines. In general, the problem for three given circles has eight solutions, which can be seen as 2, each tangency condition
192:
imposing a quadratic condition on the space of circles. However, for special arrangements of the given circles, the number of solutions may also be any integer from 0 (no solutions) to six; there is no arrangement for which there are seven solutions to Apollonius' problem.
462:. From 32, 31 must be subtracted and attributed to the Veronese, to leave the correct answer (from the point of view of geometry), namely 1. This process of attributing intersections to 'degenerate' cases is a typical geometric introduction of a ' 371:
NaĂŻve application of dimension counting and BĂ©zout's theorem yields incorrect results, as the following example shows. In response to these problems, algebraic geometers introduced vague "
351:
value in broader areas. The specific needs of enumerative geometry were not addressed until some further attention was paid to them in the 1960s and 1970s (as pointed out for example by
559: 522: 771: 649: 745: 699: 719: 669: 619: 599: 579: 472:
was to overcome the apparently arbitrary nature of these interventions; this aspect goes beyond the foundational question of the Schubert calculus itself.
363:
as part of his foundational programme 1942–6, and again subsequently), but this did not exhaust the proper domain of enumerative questions.
949:; de la Ossa, Xenia; Green, Paul; Parks, Linda (1991). "A pair of Calabi-Yau manifolds as an exactly soluble superconformal field theory". 1045: 975:
Kleiman, S.; Strømme, S. A.; Xambó, S. (1987), "Sketch of a verification of Schubert's number 5819539783680 of twisted cubics",
992: 227: 138: 851:
5819539783680 The number of twisted cubic curves tangent to 12 given quadric surfaces in general position in 3-space (
1020: 929: 901: 253: 164: 74: 52: 235: 146: 45: 316: 917: 469: 231: 142: 840:
666841088 The number of quadric surfaces tangent to 9 given quadric surfaces in general position in 3-space (
458:
says 5 general quadrics in 5-space will intersect in 32 = 2 points. But the relevant quadrics here are not in
395: 339:
Enumerative geometry saw spectacular development towards the end of the nineteenth century, at the hands of
1086: 1091: 312: 817: 415: 531: 494: 402:, as passing through a given point imposes a linear condition. Similarly, tangency to a given line 216: 127: 39: 399: 391: 220: 131: 56: 275: 789: 750: 628: 406:(tangency is intersection with multiplicity two) is one quadratic condition, so determined a 188: 181: 781:
Some of the historically important examples of enumerations in algebraic geometry include:
724: 1030: 1002: 677: 284: 463: 8: 356: 328: 100: 20: 294: 99:
concerned with counting numbers of solutions to geometric questions, mainly by means of
1065: 704: 654: 604: 584: 581:
a positive integer, then there are only a finite number of rational curves with degree
564: 320: 308: 304: 270: 96: 1016: 1010: 988: 962: 925: 897: 828: 811: 489: 344: 280: 455: 1061: 1057: 980: 958: 701:
from the string theoretical viewpoint gives numbers of degree d rational curves on
459: 423: 387: 383: 340: 1026: 998: 946: 481: 821: 485: 352: 1015:, Reprint of the 1879 original (in German), Berlin-New York: Springer-Verlag, 979:, Lecture Notes in Math., vol. 1266, Berlin: Springer, pp. 156–180, 266:
A number of tools, ranging from the elementary to the more advanced, include:
1080: 804: 800: 796: 379: 300: 177: 747:. Prior to this, algebraic geometers could calculate these numbers only for 360: 372: 855:, p.184) (S. Kleiman, S. A. Strømme & S. XambĂł  348: 303:
of curves, maps and other geometric objects, sometimes via the theory of
88: 1069: 984: 419: 288: 1043: 674:
In 1991 the paper about mirror symmetry on the quintic threefold in
205: 116: 833:
4407296 The number of conics tangent to 8 general quadric surfaces
407: 366: 16:
Branch of algebraic geometry concerned with counting solutions
945: 788:
8 The number of circles tangent to 3 general circles (the
293:
The connection of counting intersections with cohomology is
785:
2 The number of lines meeting 4 general lines in space
375:", which were only rigorously justified decades later. 1009:
Schubert, Hermann (1979) , Kleiman, Steven L. (ed.),
753: 727: 707: 680: 657: 631: 607: 587: 567: 534: 497: 974: 856: 1044:Bashelor, Andrew; Ksir, Amy; Traves, Will (2008). 765: 739: 713: 693: 663: 643: 613: 593: 573: 553: 516: 347:, which has proved of fundamental geometrical and 418:consisting of all such quadrics is not without a 390:of dimension 5, taking their six coefficients as 1078: 625:This conjecture has been resolved in the case 367:Fudge factors and Hilbert's fifteenth problem 327:Enumerative geometry is very closely tied to 827:609250 The number of conics on a general 234:. Unsourced material may be challenged and 145:. Unsourced material may be challenged and 1046:"Enumerative Algebraic Geometry of Conics" 422:. In fact each such quadric contains the 254:Learn how and when to remove this message 165:Learn how and when to remove this message 75:Learn how and when to remove this message 1008: 876: 852: 841: 176: 38:This article includes a list of general 810:2875 The number of lines on a general 1079: 916: 845: 834: 524:and reached the following conjecture. 484:studied the counting of the number of 343:. He introduced it for the purpose of 795:27 The number of lines on a smooth 475: 334: 232:adding citations to reliable sources 199: 143:adding citations to reliable sources 110: 24: 382:tangent to five given lines in the 13: 977:Space curves (Rocca di Papa, 1985) 44:it lacks sufficient corresponding 14: 1103: 1037: 894:Foundations of Algebraic Geometry 1012:KalkĂĽl der abzählenden Geometrie 891: 879:KalkĂĽl der abzählenden Geometrie 818:conics tangent to 5 plane conics 561:be a general quintic threefold, 426:, which parametrizes the conics 359:had been rigorously defined (by 204: 115: 29: 651:, but is still open for higher 319:gave a significant progress in 1062:10.1080/00029890.2008.11920584 938: 910: 885: 870: 554:{\displaystyle X\subset P^{4}} 517:{\displaystyle X\subset P^{4}} 1: 863: 396:five points determine a conic 963:10.1016/0550-3213(91)90292-6 195: 7: 776: 470:Hilbert's fifteenth problem 10: 1108: 386:. The conics constitute a 106: 18: 416:linear system of divisors 378:As an example, count the 313:Gromov–Witten invariants 766:{\displaystyle d\leq 5} 644:{\displaystyle d\leq 9} 400:general linear position 398:, if the points are in 392:homogeneous coordinates 59:more precise citations. 767: 741: 740:{\displaystyle d>0} 715: 695: 665: 645: 615: 595: 575: 555: 518: 285:characteristic classes 184: 877:Schubert, H. (1879). 820:in general position ( 790:problem of Apollonius 768: 742: 716: 696: 694:{\displaystyle P^{4}} 666: 646: 616: 596: 576: 556: 519: 283:, and more generally 189:problem of Apollonius 182:Circles of Apollonius 180: 816:3264 The number of 751: 725: 705: 678: 655: 629: 605: 585: 565: 532: 495: 357:Intersection numbers 228:improve this section 139:improve this section 93:enumerative geometry 1087:Intersection theory 1050:Amer. Math. Monthly 922:Intersection Theory 329:intersection theory 101:intersection theory 21:Intersection theory 1092:Algebraic geometry 985:10.1007/BFb0078183 763: 737: 711: 691: 661: 641: 611: 591: 571: 551: 514: 476:Clemens conjecture 321:Clemens conjecture 309:quantum cohomology 305:quantum cohomology 271:Dimension counting 185: 97:algebraic geometry 994:978-3-540-18020-3 951:Nuclear Physics B 881:(published 1979). 829:quintic threefold 812:quintic threefold 714:{\displaystyle X} 664:{\displaystyle d} 614:{\displaystyle X} 594:{\displaystyle d} 574:{\displaystyle d} 490:quintic threefold 345:Schubert calculus 335:Schubert calculus 281:Schubert calculus 264: 263: 256: 175: 174: 167: 95:is the branch of 85: 84: 77: 1099: 1073: 1033: 1005: 967: 966: 947:Candelas, Philip 942: 936: 935: 920:(1984). "10.4". 914: 908: 907: 889: 883: 882: 874: 772: 770: 769: 764: 746: 744: 743: 738: 720: 718: 717: 712: 700: 698: 697: 692: 690: 689: 670: 668: 667: 662: 650: 648: 647: 642: 620: 618: 617: 612: 600: 598: 597: 592: 580: 578: 577: 572: 560: 558: 557: 552: 550: 549: 523: 521: 520: 515: 513: 512: 460:general position 424:Veronese surface 388:projective space 384:projective plane 341:Hermann Schubert 295:PoincarĂ© duality 276:BĂ©zout's theorem 259: 252: 248: 245: 239: 208: 200: 170: 163: 159: 156: 150: 119: 111: 80: 73: 69: 66: 60: 55:this article by 46:inline citations 33: 32: 25: 1107: 1106: 1102: 1101: 1100: 1098: 1097: 1096: 1077: 1076: 1040: 1023: 995: 971: 970: 943: 939: 932: 918:Fulton, William 915: 911: 904: 890: 886: 875: 871: 866: 779: 752: 749: 748: 726: 723: 722: 706: 703: 702: 685: 681: 679: 676: 675: 656: 653: 652: 630: 627: 626: 606: 603: 602: 586: 583: 582: 566: 563: 562: 545: 541: 533: 530: 529: 508: 504: 496: 493: 492: 486:rational curves 478: 369: 337: 317:mirror symmetry 307:. The study of 260: 249: 243: 240: 225: 209: 198: 171: 160: 154: 151: 136: 120: 109: 81: 70: 64: 61: 51:Please help to 50: 34: 30: 23: 17: 12: 11: 5: 1105: 1095: 1094: 1089: 1075: 1074: 1039: 1038:External links 1036: 1035: 1034: 1021: 1006: 993: 969: 968: 937: 930: 909: 902: 884: 868: 867: 865: 862: 861: 860: 849: 838: 831: 825: 814: 808: 793: 786: 778: 775: 762: 759: 756: 736: 733: 730: 710: 688: 684: 660: 640: 637: 634: 623: 622: 610: 590: 570: 548: 544: 540: 537: 511: 507: 503: 500: 477: 474: 456:BĂ©zout theorem 444: 443: 414:. However the 380:conic sections 368: 365: 353:Steven Kleiman 336: 333: 325: 324: 297: 291: 278: 273: 262: 261: 212: 210: 203: 197: 194: 173: 172: 123: 121: 114: 108: 105: 83: 82: 65:September 2012 37: 35: 28: 15: 9: 6: 4: 3: 2: 1104: 1093: 1090: 1088: 1085: 1084: 1082: 1071: 1067: 1063: 1059: 1055: 1051: 1047: 1042: 1041: 1032: 1028: 1024: 1022:3-540-09233-1 1018: 1014: 1013: 1007: 1004: 1000: 996: 990: 986: 982: 978: 973: 972: 964: 960: 956: 952: 948: 941: 933: 931:0-387-12176-5 927: 923: 919: 913: 905: 903:9780821874622 899: 895: 892:Weil, Andre. 888: 880: 873: 869: 858: 854: 853:Schubert 1879 850: 847: 843: 842:Schubert 1879 839: 836: 832: 830: 826: 823: 819: 815: 813: 809: 806: 802: 798: 797:cubic surface 794: 791: 787: 784: 783: 782: 774: 760: 757: 754: 734: 731: 728: 708: 686: 682: 672: 658: 638: 635: 632: 608: 588: 568: 546: 542: 538: 535: 527: 526: 525: 509: 505: 501: 498: 491: 487: 483: 473: 471: 467: 465: 461: 457: 452: 451:to the line. 450: 441: 437: 433: 429: 428: 427: 425: 421: 417: 413: 409: 405: 401: 397: 393: 389: 385: 381: 376: 374: 373:fudge factors 364: 362: 358: 354: 350: 346: 342: 332: 330: 322: 318: 314: 310: 306: 302: 301:moduli spaces 299:The study of 298: 296: 292: 290: 286: 282: 279: 277: 274: 272: 269: 268: 267: 258: 255: 247: 244:February 2023 237: 233: 229: 223: 222: 218: 213:This section 211: 207: 202: 201: 193: 190: 183: 179: 169: 166: 158: 155:February 2023 148: 144: 140: 134: 133: 129: 124:This section 122: 118: 113: 112: 104: 102: 98: 94: 90: 79: 76: 68: 58: 54: 48: 47: 41: 36: 27: 26: 22: 1056:(8): 701–7. 1053: 1049: 1011: 976: 957:(1): 21–74. 954: 950: 940: 921: 912: 893: 887: 878: 872: 835:Fulton (1984 780: 673: 624: 479: 468: 464:fudge factor 454:The general 453: 448: 445: 439: 435: 431: 411: 403: 377: 370: 338: 326: 265: 250: 241: 226:Please help 214: 186: 161: 152: 137:Please help 125: 92: 86: 71: 62: 43: 846:Fulton 1984 349:topological 89:mathematics 57:introducing 1081:Categories 864:References 844:, p.106) ( 482:H. Clemens 420:base locus 361:AndrĂ© Weil 289:cohomology 40:references 19:See also: 848:, p. 193) 837:, p. 193) 758:≤ 636:≤ 539:⊂ 502:⊂ 215:does not 196:Key tools 126:does not 1070:27642583 777:Examples 721:for all 480:In 1984 1031:0555576 1003:0908713 822:Chasles 449:tangent 408:quadric 236:removed 221:sources 147:removed 132:sources 107:History 53:improve 1068:  1029:  1019:  1001:  991:  928:  900:  805:Cayley 801:Salmon 394:, and 42:, but 1066:JSTOR 488:on a 442:) = 0 1017:ISBN 989:ISBN 926:ISBN 898:ISBN 857:1987 803:and 732:> 528:Let 315:and 219:any 217:cite 187:The 130:any 128:cite 1058:doi 1054:115 981:doi 959:doi 955:359 601:on 466:'. 410:in 355:). 287:in 230:by 141:by 87:In 1083:: 1064:. 1052:. 1048:. 1027:MR 1025:, 999:MR 997:, 987:, 953:. 944:* 924:. 896:. 792:). 773:. 671:. 440:cZ 438:+ 436:bY 434:+ 432:aX 331:. 311:, 103:. 91:, 1072:. 1060:: 983:: 965:. 961:: 934:. 906:. 859:) 824:) 807:) 799:( 761:5 755:d 735:0 729:d 709:X 687:4 683:P 659:d 639:9 633:d 621:. 609:X 589:d 569:d 547:4 543:P 536:X 510:4 506:P 499:X 430:( 412:P 404:L 323:. 257:) 251:( 246:) 242:( 238:. 224:. 168:) 162:( 157:) 153:( 149:. 135:. 78:) 72:( 67:) 63:( 49:.

Index

Intersection theory
references
inline citations
improve
introducing
Learn how and when to remove this message
mathematics
algebraic geometry
intersection theory

cite
sources
improve this section
adding citations to reliable sources
removed
Learn how and when to remove this message

Circles of Apollonius
problem of Apollonius

cite
sources
improve this section
adding citations to reliable sources
removed
Learn how and when to remove this message
Dimension counting
BĂ©zout's theorem
Schubert calculus
characteristic classes

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

↑