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:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.