- Enumerative geometry
In

mathematics ,**enumerative geometry**is the branch ofalgebraic geometry concerned with counting numbers of solutions to geometric questions, mainly by means ofintersection theory .**History**The

problem of Apollonius 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^{3}, each tangency condition 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.**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 generallycharacteristic class es incohomology

* The connection of counting intersections with cohomology isPoincaré duality

* The study ofmoduli spaces of curves, maps and other geometric objects, sometimes via the theory ofquantum cohomology .Enumerative geometry is very closely tied to intersection theory.

**chubert calculus**Enumerative geometry saw spectacular development towards the end of the

nineteenth century , at the hands ofHermann Schubert . He introduced for the purpose theSchubert calculus , which has proved of fundamental geometrical andtopological value in broader areas. The specific needs of enumerative geometry were not addressed, in the general assumption that algebraic geometry had been fully axiomatised, until some further attention was paid to them in the 1960s and 1970s (as pointed out for example bySteven Kleiman ).Intersection number s had been rigorously defined (byAndré Weil as part of his foundational programme 1942–6, and again subsequently). This did not exhaust the proper domain of enumerative questions.**Fudge factors and Hilbert's fifteenth problem**Naïve application of dimension counting and Bezout’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.

William Fulton gives the following example: count the

conic section s tangent to five given lines in theprojective plane . The conics constitute aprojective space of dimension 5, taking their six coefficients ashomogeneous coordinates . Tangency to a given line "L" is one condition, so determined aquadric in "P"^{5}. However thelinear system of divisors consisting of all such quadrics is not without abase locus . In fact each such quadric contains theVeronese surface , which parametrizes the conics:("aX" + "bY" + "cZ")

^{2}= 0called 'double lines'. The general

Bézout theorem says 5 quadrics will intersect in 32 = 2^{5}points. But the relevant quadrics here are not ingeneral 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 '.It was a

Hilbert problem (the fifteenth, in a more stringent reading) to overcome the apparently arbitrary nature of these interventions; this aspect goes beyond the foundational question of the Schubert calculus itself.**References***H. Schubert, "Kalkul der abzählenden Geometrie" (1879) reprinted 1979.

*William Fulton, "Intersection Theory" (1984), Chapter 10.4

*Wikimedia Foundation.
2010.*

### Look at other dictionaries:

**Projective geometry**— is a non metrical form of geometry, notable for its principle of duality. Projective geometry grew out of the principles of perspective art established during the Renaissance period, and was first systematically developed by Desargues in the 17th … Wikipedia**Tropical geometry**— is a relatively new area in mathematics, which might loosely be described as a piece wise linear or skeletonized version of algebraic geometry. Its leading ideas had appeared in different guises in previous works of George M. Bergman and of… … Wikipedia**Problem of Apollonius**— In Euclidean plane geometry, Apollonius problem is to construct circles that are tangent to three given circles in a plane (Figure 1); two circles are tangent if they touch at a single point. Apollonius of Perga (ca. 262 BC ndash; ca. 190 BC)… … Wikipedia**Hermann Schubert**— Infobox Scientist name = Hermann Schubert caption = Hermann Cäsar Hannibal Schubert birth date = birth date|1848|5|22|df=y birth place = Potsdam, Brandenburg, Germany death date = death date and age|1911|7|20|1848|5|22|df=y death place = Hamburg … Wikipedia**Schubert calculus**— In mathematics, Schubert calculus is a branch of algebraic geometry introduced in the nineteenth century by Hermann Schubert, in order to solve various counting problems of projective geometry (part of enumerative geometry). It was a precursor of … Wikipedia**Ravi Vakil**— Ravi D. Vakil (born February 22, 1970, Toronto, Ontario, Canada) is a Canadian American mathematician. Vakil attended high school at Martingrove Collegiate Institute in Etobicoke, Ontario, where he won several mathematical contests and olympiads … Wikipedia**Steven Kleiman**— Infobox Scientist name = Steven Lawrence Kleiman birth date = birth date|1942|03|31 birth place = Boston, USA death date = death place = field = Mathematician work institution = Massachusetts Institute of Technology alma mater = Massachusetts… … Wikipedia**List of mathematics articles (E)**— NOTOC E E₇ E (mathematical constant) E function E₈ lattice E₈ manifold E∞ operad E7½ E8 investigation tool Earley parser Early stopping Earnshaw s theorem Earth mover s distance East Journal on Approximations Eastern Arabic numerals Easton s… … Wikipedia**Chasles, Michel**— ▪ French mathematician born November 15, 1793, Épernon, France died December 18, 1880, Paris French mathematician who, independently of the Swiss German mathematician Jakob Steiner (Steiner, Jakob), elaborated on the theory of modern… … Universalium**Grassmannian**— In mathematics, a Grassmannian is a space which parameterizes all linear subspaces of a vector space V of a given dimension. For example, the Grassmannian Gr 1( V ) is the space of lines through the origin in V , so it is the same as the… … Wikipedia