{{Short description|Branch of algebraic geometry concerned with counting solutions}} {{see also|Intersection theory}} {{more footnotes needed|date=September 2012}} In mathematics, '''enumerative geometry''' is the branch of algebraic geometry concerned with counting numbers of solutions to geometric questions, mainly by means of intersection theory.{{Citation needed|date=September 2025}}
While mathematicians mostly lost interest in the field, popular with the Ancient Greeks and afterward, in the mid-1900s, it has experienced a recent reawakening as methods have been discovered to apply motivic homotopy theory to the problems.<ref name=":02">{{Cite web |last=Howlett |first=Joseph |date=2025-09-26 |title=New Math Revives Geometry's Oldest Problems |url=https://www.quantamagazine.org/new-math-revives-geometrys-oldest-problems-20250926/ |access-date=2025-09-26 |website=Quanta Magazine |language=en}}</ref>
==History== [[File:Apollonius8ColorMultiplyV2.svg|thumb|right|Circles of Apollonius]] The problem of Apollonius is an early example of an enumerative geometry problem, which were popular with the Ancient Greeks.<ref name=":02"/> This problem asks for the number and construction of circles that are tangent to three given circles, points or lines.<ref name=":02"/> In general, the problem for three given circles has eight solutions,<ref name=":02"/> which can be seen as 2<sup>3</sup>, each tangency condition imposing a quadratic condition on the space of circles.{{Citation needed|date=September 2025}} 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.{{Citation needed|date=September 2025}}
Enumerative geometry got much more complicated over time, with questions becoming more complicated: for example, the number of lines on a cubic surface, or the number of quadratic curves on a quintic surface.<ref name=":02"/>
By about 1900, mathematicians had figured out how to solve any enumerative geometry problem over the complex numbers, but these methods failed to apply to any other number systems.<ref name=":02"/> At the time, some believed that studying enumerative geometry problems over other number systems, such as the integers, would reveal fundamental properties of the number systems and lead to new areas of mathematics.<ref name=":02"/> Hilbert, one of these people, included an enumerative geometry problem in the Hilbert problems.<ref name=":02"/>
By the mid-1900s, the field had become much less popular, with mathematicians beginning to focus on more abstract topics.<ref name=":02"/> There was a brief reawakening of interest in the 1990s.<ref name=":02"/>
Recently, mathematicians have discovered how to apply motivic homotopy theory to enumerative geometry problems.<ref name=":02"/> This allows a quadratic form to be constructed from each problem, which can be used to derive information about the solutions in any number system.<ref name=":02"/> For example, in the complex numbers, the number of solutions equals the number of terms, and in the real numbers the signature (# of positive terms - # of negative terms) gave a lower bound for the number of solutions; in other number systems it becomes more complicated, and deriving information from these quadratic forms is an active area of study.<ref name=":02"/>
==Key tools== A number of tools, ranging from the elementary to the more advanced, include: * Dimension counting * Bézout's theorem * Schubert calculus, and more generally characteristic classes in cohomology * The connection of counting intersections with cohomology is Poincaré duality * The study of moduli spaces of curves, maps and other geometric objects, sometimes via the theory of quantum cohomology. The study of quantum cohomology, Gromov–Witten invariants and mirror symmetry gave significant progress in Clemens conjecture.
Enumerative geometry is very closely tied to intersection theory.<ref>{{Cite book|first1=Steven L. |last1=Kleiman |author-link1=Steven Kleiman |first2=Anders |last2=Thorup |chapter=Intersection Theory and Enumerative Geometry: A Decade in Review |title=Algebraic Geometry–Bowdoin 1985, Part 2 |series=Proceedings of Symposia in Pure Mathematics |year=1987 |volume=46.2 |isbn=978-0-8218-1480-2 |doi=10.1090/pspum/046.2 |publisher=American Mathematical Society |pages=321–370 |mr=927987}}</ref>
More recently, motivic homotopy theory is included.<ref name=":02"/>
==Schubert calculus== Enumerative geometry saw spectacular development towards the end of the nineteenth century, at the hands of Hermann Schubert.<ref>{{Cite book|first=H. |last=Schubert|title=Kalkül der abzählenden Geometrie| year =1879|publication-date =1979}}</ref> He introduced it for the purpose of Schubert calculus, which has proved of fundamental geometrical and topological 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 Steven Kleiman). Intersection numbers had been rigorously defined (by André Weil as part of his foundational programme 1942–6,<ref>{{cite book| first= Andre| last= Weil| title= Foundations of Algebraic Geometry| date= 1947| publisher= American Mathematical Society}} {{isbn| 9780821874622}}.</ref> and again subsequently), but this did not exhaust the proper domain of enumerative questions.
==Fudge factors and Hilbert's fifteenth problem== 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 "fudge factors", which were only rigorously justified decades later.
As an example, count the conic sections tangent to five given lines in the projective plane.<ref>{{cite book|first=William|last= Fulton|author-link=William Fulton (mathematician)| title=Intersection Theory|year=1984|chapter= 10.4|publisher= Springer|isbn=0-387-12176-5}}</ref> The conics constitute a projective space of dimension 5, taking their six coefficients as homogeneous coordinates, and five points determine a conic, if the points are in general linear position, as passing through a given point imposes a linear condition. Similarly, tangency to a given line ''L'' (tangency is intersection with multiplicity two) is one quadratic condition, so determined a quadric in ''P''<sup>5</sup>. However the linear system of divisors consisting of all such quadrics is not without a base locus. In fact each such quadric contains the Veronese surface, which parametrizes the conics
:(''aX'' + ''bY'' + ''cZ'')<sup>2</sup> = 0
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 ''tangent'' to the line.
The general Bézout theorem says 5 general quadrics in 5-space will intersect in 32 = 2<sup>5</sup> points. But the relevant quadrics here are not in general position. 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 'fudge factor'.
Hilbert's fifteenth problem was to overcome the apparently arbitrary nature of these interventions; this aspect goes beyond the foundational question of the Schubert calculus itself.
==Clemens conjecture==
In 1984 H. Clemens studied the counting of the number of rational curves on a quintic threefold <math>X\subset P^4</math> and reached the following conjecture. : Let <math>X \subset P^4</math> be a general quintic threefold, <math>d</math> a positive integer, then there are only a finite number of rational curves with degree <math>d</math> on <math>X</math>.
This conjecture has been resolved in the case <math>d \le 9</math>, but is still open for higher <math>d</math>.
In 1991 the paper<ref>* {{cite journal |last1=Candelas |first1=Philip |author-link1=Philip Candelas |last2=de la Ossa |first2=Xenia |last3=Green |first3=Paul |last4=Parks |first4=Linda |date=1991 |title=A pair of Calabi-Yau manifolds as an exactly soluble superconformal field theory |journal=Nuclear Physics B |volume=359 |issue=1 |pages=21–74|doi=10.1016/0550-3213(91)90292-6 }}</ref> about mirror symmetry on the quintic threefold in <math>P^4</math> from the string theoretical viewpoint gives numbers of degree d rational curves on <math>X</math> for all <math>d > 0</math>. Prior to this, algebraic geometers could calculate these numbers only for <math>d \le 5</math>.
==Examples==
Some of the historically important examples of enumerations in algebraic geometry include:
*2 The number of lines meeting 4 general lines in space *8 The number of circles tangent to 3 general circles (the problem of Apollonius). *27 The number of lines on a smooth cubic surface (Salmon and Cayley) *2875 The number of lines on a general quintic threefold *3264 The number of conics tangent to 5 plane conics in general position (Chasles) *609250 The number of conics on a general quintic threefold *4407296 The number of conics tangent to 8 general quadric surfaces {{harvtxt|Fulton|1984|loc=p. 193}} *666841088 The number of quadric surfaces tangent to 9 given quadric surfaces in general position in 3-space {{harv|Schubert|1879|loc=p.106}} {{harv|Fulton|1984|loc=p. 193}} *5819539783680 The number of twisted cubic curves tangent to 12 given quadric surfaces in general position in 3-space {{harv|Schubert|1879|loc=p.184}} {{harvs|last=Kleiman|first=S.|last2= Strømme|first2= S. A.|last3= Xambó|first3= S.|year= 1987}}
==References== {{reflist}}
=== Bibliography === *{{citation|mr=0908713 |last1=Kleiman|first1=S.|last2= Strømme|first2= S. A.|last3= Xambó|first3= S.|chapter= Sketch of a verification of Schubert's number 5819539783680 of twisted cubics|title= Space curves (Rocca di Papa, 1985)|pages= 156–180|series= Lecture Notes in Math. |volume=1266|publisher= Springer|place= Berlin|year= 1987|doi=10.1007/BFb0078183|isbn=978-3-540-18020-3}} *{{citation|mr=0555576 |last=Schubert|first= Hermann |title=Kalkül der abzählenden Geometrie|language=de |series=Reprint of the 1879 original|editor-first=Steven L. |editor-last=Kleiman|publisher= Springer-Verlag|place= Berlin-New York|year= 1979|isbn= 3-540-09233-1 |orig-year=1879|url=https://archive.org/details/kalklderabzh00schuuoft}}
==External links== *{{cite journal|author=Bashelor, Andrew|author2=Ksir, Amy|author3=Traves, Will|title=Enumerative Algebraic Geometry of Conics|journal=Amer. Math. Monthly|volume=115|issue=8|year=2008|pages=701–7|url=http://www.maa.org/programs/maa-awards/writing-awards/enumerative-algebraic-geometry-of-conics|jstor=27642583|doi=10.1080/00029890.2008.11920584|archive-date=2023-12-01|access-date=2015-01-30|archive-url=https://web.archive.org/web/20231201062154/https://maa.org/programs/maa-awards/writing-awards/enumerative-algebraic-geometry-of-conics|url-status=dead}}
Category:Intersection theory Category:Algebraic geometry